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