API Reference shot_un v#0.1.1

Copy Markdown View Source

Modules

ShotUn

Implements (syntactic) higher-order pre-unification for term pairs based on projection and imitation.

ShotUn.UnifSolution

Represents a single solution to a unification problem.