Searched refs:FStar_UInt128_shift_left_small (Results 1 – 1 of 1) sorted by relevance
122 FStar_UInt128_shift_left_small(FStar_UInt128_uint128 a, uint32_t s) in FStar_UInt128_shift_left_small() function147 return FStar_UInt128_shift_left_small(a, s); in FStar_UInt128_shift_left()