Vocabulary
sequences

Inputs
seqa sequence
quota quotation with stack effect ( ... elt -- ... ? )


Outputs
?a boolean


Word description
Tests if all elements in the sequence satisfy the predicate by checking each element in turn. Given an empty sequence, vacuously outputs t.

Definition


: all? ( ... seq quot: ( ... elt -- ... ? ) -- ... ? )
(each) all-integers? ; inline