substitute method

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

Implementation

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