Module Slambdaeval

module Or_missing : sig ... end
type closure
type halves = {
  1. slv_comptime : value Or_missing.t;
  2. slv_runtime : Lambda.lambda;
}
and value =
  1. | SLVhalves of halves
  2. | SLVlayout of Lambda.layout
  3. | SLVrecord of value Or_missing.t array
  4. | SLVclosure of closure
val eval : Lambda.slambda -> halves