module type Id_Datatype =Input signature of the functorsig
..end
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