Searched refs:FStar_UInt128_u32_combine_ (Results 1 – 1 of 1) sorted by relevance
384 static uint64_t FStar_UInt128_u32_combine_(uint64_t hi, uint64_t lo) in FStar_UInt128_u32_combine_() function399 FStar_UInt128_u32_combine_(u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), in FStar_UInt128_mul_wide_impl()
