Module Nativelambda
type lambda= Nativevalues.t Genlambda.lambda
val is_lazy : Constr.constr -> boolval lambda_of_constr : Environ.env -> Genlambda.evars -> Constr.constr -> lambda
Nativelambdatype lambda = Nativevalues.t Genlambda.lambdaval is_lazy : Constr.constr -> boolval lambda_of_constr : Environ.env -> Genlambda.evars -> Constr.constr -> lambda