Nativenorm
This module implements normalization by evaluation to OCaml code
val native_norm : Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.types -> EConstr.constr