Appearance
Id.MakeComparableU
module M : sig ... end
module M: { ... }
type identity
type identity;
type t = M.t
type t = M.t;
val cmp : (t, identity) cmp
let cmp: cmp(t, identity);