Module `Slambdaeval`

module Or_missing : sig ... end

type closure

type halves = {

slv_comptime : value Or_missing.t;
slv_runtime : Lambda.lambda;

}

and value =

| SLVhalves of halves
| SLVlayout of Lambda.layout
| SLVrecord of value Or_missing.t array
| SLVclosure of closure

val eval : Lambda.slambda -> halves