G_redexprval int_or_var : int Locus.or_var Procq.Entry.tval nat_or_var : int Locus.or_var Procq.Entry.tval pattern_occ : Genredexpr.r_trm Locus.with_occurrences_expr Procq.Entry.tval unfold_occ : Genredexpr.r_cst Locus.with_occurrences_expr Procq.Entry.tval ref_or_pattern_occ : (Genredexpr.r_cst, Genredexpr.r_pat) Util.union Locus.with_occurrences_expr Procq.Entry.tval occs_nums : Locus.occurrences_expr Procq.Entry.tval occs : Locus.occurrences_expr Procq.Entry.tval delta_flag : Genredexpr.r_cst Genredexpr.red_atom Procq.Entry.tval strategy_flag : Genredexpr.r_cst Genredexpr.glob_red_flag Procq.Entry.t