# shot_un v0.1.2 - API Reference

## Modules

- [ShotUn](ShotUn.md): Implements (syntactic) higher-order pre-unification for term pairs based on
projection and imitation.

- [ShotUn.UnifSolution](ShotUn.UnifSolution.md): Represents a single solution to a unification problem.