El tipo estático complementario quadbin contiene un único identificador de celda QUADBIN (no temporal); quadbinset contiene un conjunto finito de ellos. Comparten la misma representación textual hexadecimal / decimal que el tipo temporal. El tipo estático lleva los operadores estándar de igualdad / orden (una clase de operadores btree y una clase hash), y expone los predicados de validez siguientes.
Devuelve si un valor es un identificador QUADBIN estructuralmente válido (etiqueta de cabecera y campo de resolución correctos)
isValidIndex(quadbin) → boolean
Devuelve si un valor es una celda QUADBIN válida (un índice válido cuyas coordenadas de tesela están dentro de los límites de su resolución)
isValidCell(quadbin) → boolean
SELECT isValidCell(quadbin '480fffffffffffff'); -- true SELECT isValidCell(quadbin '0'); -- false