Vnorm
val cbv_vm : Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.types -> EConstr.constr
Reduction functions