Redopsval make_red_flag : 'a Genredexpr.red_atom list -> 'a Genredexpr.glob_red_flagval all_flags : 'a Genredexpr.glob_red_flagMapping red_expr_gen
val map_red_expr_gen : ('a -> 'd) -> ('b -> 'e) -> ('c -> 'f) -> ('a, 'b, 'c) Genredexpr.red_expr_gen -> ('d, 'e, 'f) Genredexpr.red_expr_gen