Belt_Id.MakeComparableU
module M : sig ... end
type identity
type t = M.t
val cmp : (t, identity) cmp