Searched refs:FStar_UInt128_add_u64_shift_right_respec (Results 1 – 1 of 1) sorted by relevance
160 static uint64_t FStar_UInt128_add_u64_shift_right_respec(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_right_respec() function175 flat = { FStar_UInt128_add_u64_shift_right_respec(a.high, a.low, s), a.high >> s }; in FStar_UInt128_shift_right_small()
