node

abstract val node: AtomicTerm<A>

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