Module type Id.Comparable

type identity
type t
val cmp : (t, identity) cmp