Module type Ptset.Id_Datatype


module type Id_Datatype = sig .. end
Input signature of the functor Set.Make.

type t 
val id : t -> int
val name : string
val pretty : Format.formatter -> t -> unit
val equal : t -> t -> bool
module Datatype: Project.Datatype.S  with type t = t