Module type Id.Comparable

type identity;
type t;
let cmp: cmp(t, identity);