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