Module SET.Comparable

type identity;
type t;