Module `Cduce_lib_js.Eval`

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