module Ptmap:sig
..end
val debug : bool Pervasives.ref
module type Tagged_type =sig
..end
module Make:functor (
X
:
sig
typet
val name :string
val id :t -> int
val pretty :Format.formatter -> t -> unit
val equal :t -> t -> bool
module Datatype:Project.Datatype.S
with type t = t
end
) ->