Arrow_choice.WITH_ARROW_AND_SPLIT_AND_CHOOSE
Minimal definition using arrow
and fst
and choose
.
Split the input between the two argument arrows, re-tagging and merging their outputs.
val arrow : ('a -> 'b) -> ('a, 'b) t
Lift a function to an Arrow
.