module SrcTab: sig .. end
sig
end
type t
val create : Syntaxe.namespace list -> t
Syntaxe.namespace list -> t
val pack_body_env : t -> string -> SymbolTab.t
t -> string -> SymbolTab.t
val pack_prov_env : t -> string -> SymbolTab.t option
t -> string -> SymbolTab.t option
val pack_list : t -> string list
t -> string list
val dump : t -> unit
t -> unit