Parameter Make.W

Module signature for an ordered type equipped with a compare function.

This is similar to Set.OrderedType and Map.OrderedType, but includes pre-built Set and Map modules.

type t
val pp : t Fmt.t
val compare : t -> t -> int
module Set : Stdlib.Set.S with type elt = t
module Map : Stdlib.Map.S with type key = t