sig
  type 'a hereflaged = Here of '| NotHere of CompUtils.fullid
  type t
  val create : unit -> SymbolTab.t
  val find_type :
    SymbolTab.t ->
    string -> Syntaxe.type_info Lxm.srcflaged SymbolTab.hereflaged
  val find_const :
    SymbolTab.t ->
    string -> Syntaxe.const_info Lxm.srcflaged SymbolTab.hereflaged
  val find_oper :
    SymbolTab.t ->
    string -> Syntaxe.oper_info Lxm.srcflaged SymbolTab.hereflaged
  val add_import_const : SymbolTab.t -> string -> CompUtils.fullid -> unit
  val add_import_type : SymbolTab.t -> string -> CompUtils.fullid -> unit
  val add_import_oper : SymbolTab.t -> string -> CompUtils.fullid -> unit
  val add_type :
    SymbolTab.t -> string -> Syntaxe.type_info Lxm.srcflaged -> unit
  val add_const :
    SymbolTab.t -> string -> Syntaxe.const_info Lxm.srcflaged -> unit
  val add_oper :
    SymbolTab.t -> string -> Syntaxe.oper_info Lxm.srcflaged -> unit
  val iter_types :
    SymbolTab.t ->
    (string -> Syntaxe.type_info Lxm.srcflaged SymbolTab.hereflaged -> unit) ->
    unit
  val iter_consts :
    SymbolTab.t ->
    (string -> Syntaxe.const_info Lxm.srcflaged SymbolTab.hereflaged -> unit) ->
    unit
  val iter_opers :
    SymbolTab.t ->
    (string -> Syntaxe.oper_info Lxm.srcflaged SymbolTab.hereflaged -> unit) ->
    unit
  val dump : SymbolTab.t -> unit
end