∃ ( ... seq quot: ( ... elt -- ... ? ) -- ... ? )

Vocabulary

math.unicode

Word description

An alias for any?.

Definition

USING: sequences ;

IN: math.unicode

ALIAS: ∃ any? inline