Module type Data.IdentifiedType

module type IdentifiedType = sig .. end

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