chickadee
»
basic-sequences
»
tagged-vector-of
Identifier search
tagged-vector-of
ok?
...
procedure
generates a tagged vector predicate which checks all of its arguments