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