chickadee » lazy-lists » Merge

Merge <? Lst1 Lst2procedure

merge two sorted finite lazy lists with respect to <?