Module Id.MakeComparableU

Parameters

module M : sig ... end

Signature

type identity
type t = M.t
val cmp : (t, identity) cmp