Module Nativelambda

This file defines the lambda code generation phase of the native compiler

val is_lazy : Constr.constr -> bool
val lambda_of_constr : Environ.env -> Genlambda.evars -> Constr.constr -> lambda