Module `Cduce_core.Eval`

val ns_table : Ns.table Stdlib.ref
val register_op : string -> (Value.t list -> Value.t) -> unit
val get_globals : (Cduce_types.Compunit.t -> Value.t array) Stdlib.ref
val get_external : (Cduce_types.Compunit.t -> int -> Value.t) Stdlib.ref
val set_external : (Cduce_types.Compunit.t -> int -> Value.t -> unit) Stdlib.ref
val get_builtin : (string -> Value.t) Stdlib.ref
val expr : Lambda.expr -> int -> Value.t
val eval_toplevel : Lambda.code_item list -> unit
val eval_var : Lambda.var_loc -> Value.t
val eval_unit : Value.t array -> Lambda.code_item list -> unit
val eval_apply : Value.t -> Value.t -> Value.t