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