Searched defs:minus_x (Results 1 – 1 of 1) 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