Up – Package index » libzipperposition » Library libzipperposition » Libzipperposition » ProofState_intf

Module `Libzipperposition.ProofState_intf`

libzipperposition
- Library libzipperposition
  - Libzipperposition
- Library libzipperposition.avatar
  - Libzipperposition_avatar
- Library libzipperposition.calculi
  - Libzipperposition_calculi
- Library libzipperposition.induction
  - Libzipperposition_induction
- Library libzipperposition.phases
  - Libzipperposition_phases
- Sources

module type S = sig ... end