Cbv
type cbv_infos
Entry point for cbv normalization of a constr
val create_cbv_infos : RedFlags.reds -> strong:bool -> Environ.env -> Evd.evar_map -> cbv_infos
val cbv_norm : cbv_infos -> EConstr.constr -> EConstr.constr