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