x_or_minus_x (definition) in projects: mbedtls-development

Searched defs:x_or_minus_x (Results 1 – 1 of 1) sorted by relevance

/mbedtls-development/3rdparty/everest/library/kremlib/
A D	FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c	`17 uint64_t x_or_minus_x = x \| minus_x; in FStar_UInt64_eq_mask() local 39 uint32_t x_or_minus_x = x \| minus_x; in FStar_UInt32_eq_mask() local 61 uint16_t x_or_minus_x = x \| minus_x; in FStar_UInt16_eq_mask() local 83 uint8_t x_or_minus_x = x \| minus_x; in FStar_UInt8_eq_mask() local`

Completed in 3 milliseconds