Module Cduce_lib.Compile

type env
val global_size : env -> int
val empty : Cduce_types.Compunit.t -> env
val empty_toplevel : env
val find : Cduce_types.Ident.id -> env -> Cduce_core.Lambda.var_loc
val find_slot : Cduce_types.Ident.id -> env -> int
val compile_eval_expr : env -> Cduce_core.Typed.texpr -> Cduce_core.Value.t
val comp_unit : ?⁠run:bool -> ?⁠show:(Cduce_types.Ident.id option -> Cduce_types.Types.t -> Cduce_core.Value.t option -> unit) -> ?⁠directive:(Cduce_core.Typer.t -> env -> Cduce_core.Ast.toplevel_directive -> unit) -> Cduce_core.Typer.t -> env -> Cduce_core.Ast.pmodule_item list -> Cduce_core.Typer.t * env * Cduce_core.Lambda.code_item list
val from_comp_unit : (Cduce_types.Compunit.t -> env) Stdlib.ref