Searched refs:FStar_UInt128_add_u64_shift_right (Results 1 – 1 of 1) sorted by relevance
155 static uint64_t FStar_UInt128_add_u64_shift_right(uint64_t hi, uint64_t lo, uint32_t s) in FStar_UInt128_add_u64_shift_right() function162 return FStar_UInt128_add_u64_shift_right(hi, lo, s); in FStar_UInt128_add_u64_shift_right_respec()