# shot_to v0.1.0 - API Reference

## Modules

- [ShotTo](ShotTo.md): `ShotTo` provides a decidable instance of the βη-long-normal Computability
Path Order (NCPO-LNF) of Niederhauser and Middeldorp (*NCPO goes
Beta-Eta-Long Normal Form*, 2025) for terms of Church's simple type theory
as represented by the `shot_ds` library.
- [ShotTo.Ncpo](ShotTo.Ncpo.md): Implementation of NCPO-LNF (the βη-long-normal Computability Path Order).
- [ShotTo.Parameters](ShotTo.Parameters.md): Parameters that define a concrete instance of NCPO-LNF.
- [ShotTo.TypeOrder](ShotTo.TypeOrder.md): Admissible type order `≻_T` and related predicates used by NCPO-LNF.