Module SymbolTab


module SymbolTab: sig .. end


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