links

The Links Programming Language
IN THIS PACKAGE
val make_eval_def : Ir.fun_def -> Ir.eval_fun_def
val binding : ( Var.var, Ir.eval_fun_def ) Utility.Hashtbl.t -> Ir.binding -> unit
val bindings : ( Var.var, Ir.eval_fun_def ) Utility.Hashtbl.t -> Ir.binding list -> unit
val computation : ( Var.var, Ir.eval_fun_def ) Utility.Hashtbl.t -> (Ir.binding list * 'a) -> unit
val program : ( Var.var, Ir.eval_fun_def ) Utility.Hashtbl.t -> (Ir.binding list * 'a) -> unit