Module Ptmap


module Ptmap: sig .. end

val debug : bool Pervasives.ref
module type Tagged_type = sig .. end
module Make: 
functor (X : sig
type t 
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) ->
functor (V : Tagged_type) ->
functor (Initial_Values : sig
val v : (X.t * V.t) list list
end) -> sig .. end