Up – Package index » coq-core » Library coq-core.kernel » Nativelambda

Module `Nativelambda`Source

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

Sourcetype lambda = Nativevalues.t Genlambda.lambda

Sourceval is_lazy : Constr.constr -> bool

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