Nativelambda
This file defines the lambda code generation phase of the native compiler
type lambda = Nativevalues.t Genlambda.lambda
val is_lazy : Constr.constr -> bool
val lambda_of_constr : Environ.env -> Genlambda.evars -> Constr.constr -> lambda