Module Ptmap


module Ptmap: sig .. end

module type Tagged_type = sig .. end
module Generic: 
functor (X : sig
type t 
val name : string
val id : t -> int
val pretty : Format.formatter -> t -> unit
end) ->
functor (V : Tagged_type) ->
functor (Initial_Values : sig
val v : (X.t * V.t) list list
end) -> sig .. end