Module Cduce_core.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 -> Lambda.var_loc
val find_slot : Cduce_types.Ident.id -> env -> int
val compile_eval_expr : env -> Typed.texpr -> Value.t
val comp_unit : ?⁠run:bool -> ?⁠show:(Cduce_types.Ident.id option -> Cduce_types.Types.t -> Value.t option -> unit) -> ?⁠directive:(Typer.t -> env -> Ast.toplevel_directive -> unit) -> Typer.t -> env -> Ast.pmodule_item list -> Typer.t * env * Lambda.code_item list
val from_comp_unit : (Cduce_types.Compunit.t -> env) Stdlib.ref