Module type Id.Comparable
ocaml
type identityreasonml
type identity;ocaml
type treasonml
type t;ocaml
val cmp : (t, identity) cmpreasonml
let cmp: cmp(t, identity);