Searched defs:Bits_80 (Results 1 – 4 of 4) sorted by relevance
39 type Bits_80 is mod 2 ** Bits; type