type-predicates function

Sparse vector type checkers