substitute method

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

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

Implementation

@override
Term substitute(Map<Variable, Node>? bindings) =>
    Term(name, arguments.map((arg) => arg.substitute(bindings)));