match method

@override Map<Variable, Node>? match(Node other)

Attempts to unify this node with other, returning variable bindings or null.

Implementation

@override
Map<Variable, Node>? match(Node other) {
  final bindings = _newBindings();
  if (this != other) {
    bindings[this] = other;
  }
  return bindings;
}