Up – Package index » libzipperposition » Library libzipperposition.calculi » Libzipperposition_calculi » Simplex » Make » Var

Parameter `Make.Var`

libzipperposition
- CHANGELOG
- README
- Library libzipperposition
  - Libzipperposition
- Library libzipperposition.calculi
  - Libzipperposition_calculi
- Library libzipperposition.phases
  - Libzipperposition_phases
- Sources

type t

val compare : t -> t -> int