Searched defs:x_sub_y (Results 1 – 3 of 3) sorted by relevance
27 uint64_t x_sub_y = x - y; in FStar_UInt64_gte_mask() local49 uint32_t x_sub_y = x - y; in FStar_UInt32_gte_mask() local71 uint16_t x_sub_y = x - y; in FStar_UInt16_gte_mask() local93 uint8_t x_sub_y = x - y; in FStar_UInt8_gte_mask() local
31 uint64_t x_sub_y = x - y; in FStar_UInt64_gte_mask() local53 uint32_t x_sub_y = x - y; in FStar_UInt32_gte_mask() local75 uint16_t x_sub_y = (uint32_t)x - (uint32_t)y; in FStar_UInt16_gte_mask() local97 uint8_t x_sub_y = (uint32_t)x - (uint32_t)y; in FStar_UInt8_gte_mask() local