Module IdSolverSource

Utilities for managing node environements (items tables)

Sourcetype t = {
  1. id2const : Lv6Id.idref -> Lxm.t -> Lic.const;
  2. id2type : Lv6Id.idref -> Lxm.t -> Lic.type_;
  3. id2node : Lv6Id.idref -> Lic.static_arg list -> Lxm.t -> Lic.node_exp;
  4. id2var : Lv6Id.t -> Lxm.t -> Lic.var_info;
  5. global_symbols : AstTabSymbol.t;
  6. all_srcs : AstTab.t;
}
Sourcetype local_env = {
  1. lenv_node_key : Lic.node_key;
  2. lenv_types : (Lv6Id.t, Lic.type_) Hashtbl.t;
  3. lenv_const : (Lv6Id.t, Lic.const) Hashtbl.t;
  4. lenv_nodes : (Lv6Id.t, Lic.node_key) Hashtbl.t;
  5. lenv_vars : (Lv6Id.t, Lic.var_info) Hashtbl.t;
}
Sourceval make_local_env : Lic.node_key -> local_env
Sourceval dump_local_env : out_channel -> local_env -> unit
Sourcetype node_env = {
  1. local : local_env;
  2. global : t;
}
Sourceval lookup_type : local_env -> Lv6Id.idref -> Lxm.t -> Lic.type_
Sourceval lookup_node : local_env -> Lv6Id.idref -> Lxm.t -> Lic.node_key
Sourceval lookup_const : local_env -> Lv6Id.idref -> Lxm.t -> Lic.const
Sourceval lookup_var : local_env -> Lv6Id.t -> Lxm.t -> Lic.var_info
Sourceval node_exp_of_node_key : t -> Lic.node_key -> Lxm.t -> Lic.node_exp
Sourceval var_info_of_ident : t -> Lv6Id.t -> Lxm.t -> Lic.var_info
Sourceval const_eff_of_item_key : t -> Lic.item_key -> Lxm.t -> Lic.const