Module type Data.IdentifiedType

module type IdentifiedType = sig .. end

Datatype already identified by unique integers.


type t 
val id : t -> int