chickadee
»
basic-sequences
»
tagged-vector?
Identifier search
tagged-vector?
xpr
procedure
type predicate