package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t

val make_eval_def : Ir.fun_def -> Ir.eval_fun_def

val add : 
  (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t ->
  Ir.fun_def ->
  unit

val binding : 
  (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t ->
  Ir.binding ->
  unit

val bindings : 
  (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t ->
  Ir.binding list ->
  unit

val computation : 
  (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t ->
  (Ir.binding list * 'a) ->
  unit

val program : 
  (Var.var, Ir.eval_fun_def) Links_core.Utility.Hashtbl.t ->
  (Ir.binding list * 'a) ->
  unit