match abstract method

Map<Variable, Node>? match(
  1. Node other
)

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

Implementation

Map<Variable, Node>? match(Node other);