Searched defs:minus_x (Results 1 – 2 of 2) 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
397 TNode<Float64T> minus_x = Float64Neg(x); in Float64Ceil() local449 TNode<Float64T> minus_x = Float64Neg(x); in Float64Floor() local540 TNode<Float64T> minus_x = Float64Neg(x); in Float64Trunc() local