bitindex_t
bitstring_t
bool
dimsup
dimsup_t
equation_t
matrix_t
Overflow
pkint_t
satmat_t
t
tbool
vector_t