Searched defs:x_sub_y_xor_y (Results 1 – 1 of 1) sorted by relevance
28 uint64_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt64_gte_mask() local50 uint32_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt32_gte_mask() local72 uint16_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt16_gte_mask() local94 uint8_t x_sub_y_xor_y = x_sub_y ^ y; in FStar_UInt8_gte_mask() local