Up – libzipperposition » Libzipperposition_calculi » Simplex » MakeHelp » 1-Var

Parameter `MakeHelp.1-Var`

type t

val compare : t -> t -> int