public interface Node
Represents a node in a term DAG. A node can be either a an instance of Term or Var.
Term
Var