package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val init_size : int

val scopes : (Var.var, Ir.scope) Links_core.Utility.Hashtbl.t

val fun_defs : (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t

val cont_defs : (Var.var, Ir.computation) Links_core.Utility.Hashtbl.t

val cont_vars : (Var.var, Utility.intset) Links_core.Utility.Hashtbl.t

val find : ('a, 'b) Links_core.Utility.Hashtbl.t -> 'a -> 'b

val lookup : ('a, 'b) Links_core.Utility.Hashtbl.t -> 'a -> 'b option

val mem : ('a, 'b) Links_core.Utility.Hashtbl.t -> 'a -> bool