Cbnval whd_cbn : CClosure.RedFlags.reds -> Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.constrWeak-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 : CClosure.RedFlags.reds -> Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.constrStrong variant of cbn reduction.