substitute abstract method

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

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

Implementation

Node substitute(Map<Variable, Node>? bindings);