sig type t val id : Data.IdentifiedType.t -> int end