Searched defs:minus_x (Results 1 – 3 of 3) sorted by relevance
16 uint64_t minus_x = ~x + (uint64_t)1U; in FStar_UInt64_eq_mask() local38 uint32_t minus_x = ~x + (uint32_t)1U; in FStar_UInt32_eq_mask() local60 uint16_t minus_x = ~x + (uint16_t)1U; in FStar_UInt16_eq_mask() local82 uint8_t minus_x = ~x + (uint8_t)1U; in FStar_UInt8_eq_mask() local
20 uint64_t minus_x = ~x + 1ULL; in FStar_UInt64_eq_mask() local42 uint32_t minus_x = ~x + 1U; in FStar_UInt32_eq_mask() local64 uint16_t minus_x = (uint32_t)~x + 1U; in FStar_UInt16_eq_mask() local86 uint8_t minus_x = (uint32_t)~x + 1U; in FStar_UInt8_eq_mask() local