chickadee » biglists » Merge

Merge <? xs ysprocedure

merges two finite finite biglists xs and ys, both lazy or both eager, with respect to <?