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

Parameter `Make.1-Var`

type t

val compare : t -> t -> int