sig
type 'a hereflaged = Here of 'a | 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