Vocabulary
splitting

Inputs
seqa sequence
subseqa sequence


Outputs
before-slicea slice
after-slicea slice


Word description
Splits seq at the last occurrence of subseq, and outputs the pieces before and after the split as slices. If subseq does not occur in seq, then before is just seq and after is f.

See also
split1, split1-slice, split1-last

Definition