Module type Data.IdentifiedType

Datatype already identified by unique integers.

type t
val id : t -> int