Parameter Make.Elt

type t
val unique_id : t -> int

Each element must be uniquely identified by an integer.