Searched defs:BV16 (Results 1 – 3 of 3) sorted by relevance
| /dports/math/py-pysmt/pysmt-0.9.0/pysmt/ |
| H A D | typing.py | 388 BV1, BV8, BV16, BV32, BV64, BV128 = [_BVType(i) for i in [1, 8, 16, 32, 64, 128]] variable
|
| /dports/chinese/tintin++/tt/src/ |
| H A D | tintin.h | 361 #define BV16 (1 << 15) macro
|
| /dports/net/tintin++/tt/src/ |
| H A D | tintin.h | 361 #define BV16 (1 << 15) macro
|