I feel like I must be missing something obvious. I could not find a function 'a t -> 'b t -> ('a * 'b) t which zips the sequences, stopping when the first one runs out, or something which does the same thing but combines the sequences with a function 'a->'b->'c instead. I found only more complicated combinations. ??
I feel like I must be missing something obvious. I could not find a function
'a t -> 'b t -> ('a * 'b) t
which zips the sequences, stopping when the first one runs out, or something which does the same thing but combines the sequences with a function'a->'b->'c
instead. I found only more complicated combinations. ??