Searched refs:FStar_UInt128_shift_right_small (Results 1 – 1 of 1) sorted by relevance
166 FStar_UInt128_shift_right_small(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_right_small() function191 return FStar_UInt128_shift_right_small(a, s); in FStar_UInt128_shift_right()