substitute method

@override Term substitute(Map<Variable, Node>? bindings)

Substitutes variables in this node with their bound values in bindings.

Implementation

@override
Term substitute(Map<Variable, Node>? bindings) => this;