Searched defs:bitsX (Results 1 – 1 of 1) sorted by relevance
583 N_word bitsX; in BitVector_Concat() local1048 N_word bitsX = bits_(X); in BitVector_Interval_Copy() local1396 N_word bitsX = bits_(X); in BitVector_Lexicompare() local1423 N_word bitsX = bits_(X); in BitVector_Compare() local