node

open override val node: AtomicTerm<A>

Return the node that will represent this term in the constraint graph.