full и fully

full - возвращает NIL, если any является непустым списком с хотя бы одним элементом NIL, в противном случае T. (full X) эквивалентно (not (memq NIL X)).

: (full (1 2 3))
-> T
: (full (1 NIL 3))
-> NIL
: (full 123)
-> T

fully - применяет fun к последовательным элементам lst и немедленно возвращает NIL, если один из результатов равен NIL. В противном случае возвращается T. Когда указаны дополнительные аргументы lst, их элементы также передаются в fun. (fully foo Lst) эквивалентно (not (find '((X) (not (foo X))) Lst)).

: (fully gt0 (1 2 3))
-> T
: (fully gt0 (1 -2 3))
-> N

https://picolisp.tiddlyhost.com/#full