Searched defs:xi (Results 1 – 2 of 2) sorted by relevance
46 uint128_t xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_() local57 uint128_t xi = output[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local294 uint64_t xi = a[i]; in Hacl_Bignum_fsum() local323 uint64_t xi = a[i]; in Hacl_Bignum_fdifference() local349 uint64_t xi = b[i]; in Hacl_Bignum_fscalar() local
50 FStar_UInt128_uint128 xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_() local65 FStar_UInt128_uint128 xi = output[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local336 uint64_t xi = a[i]; in Hacl_Bignum_fsum() local365 uint64_t xi = a[i]; in Hacl_Bignum_fdifference() local391 uint64_t xi = b[i]; in Hacl_Bignum_fscalar() local
