Module type Data.IdentifiedType

module type IdentifiedType = sig .. end
Datatype already identified by unique integers.

type t 
val id : t -> int
include Data.Info