Module MAP.Comparable

type identity;
type t;