Searched refs:scrut (Results 1 – 2 of 2) sorted by relevance
391 K___uint64_t_uint64_t_uint64_t_uint64_t scrut = FStar_UInt128_mul_wide_impl_t_(x, y); in FStar_UInt128_mul_wide_impl() local392 uint64_t u1 = scrut.fst; in FStar_UInt128_mul_wide_impl()393 uint64_t w3 = scrut.snd; in FStar_UInt128_mul_wide_impl()394 uint64_t x_ = scrut.thd; in FStar_UInt128_mul_wide_impl()395 uint64_t t_ = scrut.f3; in FStar_UInt128_mul_wide_impl()
11144 ne pouvait rien décider sans avoir observé et scruté;--que de loin on se