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