Up – Package index » coq-core » Library coq-core.kernel » Genlambda » Make

Module `Genlambda.Make`Source

Parameters

module Val : S

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