module type IdentifiedType = sig .. end
sig
end
Datatype already identified by unique integers.
type t
val id : t -> int
t -> int