package links
val scopes : (Var.var, Ir.scope) Links_core.Utility.Hashtbl.tval fun_defs : (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.tval cont_defs : (Var.var, Ir.computation) Links_core.Utility.Hashtbl.tval cont_vars : (Var.var, Utility.intset) Links_core.Utility.Hashtbl.tval find : ('a, 'b) Links_core.Utility.Hashtbl.t -> 'a -> 'bval lookup : ('a, 'b) Links_core.Utility.Hashtbl.t -> 'a -> 'b optionval mem : ('a, 'b) Links_core.Utility.Hashtbl.t -> 'a -> bool