Cbn
val whd_cbn : RedFlags.reds -> Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.constr
Weak-head cbn reduction. Despite the name, the cbn reduction is a complex reduction distinct from call-by-name or call-by-need.
val norm_cbn : RedFlags.reds -> Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.constr
Strong variant of cbn reduction.