- List-of? #!rest oks?procedure
- List-of? k #!rest oks?procedure
returs a predicate on a biglist, which checks, if every item<procedure>(or Take k item) is a finite biglist
returs a predicate on a biglist, which checks, if every item<procedure>(or Take k item) is a finite biglist