Searched defs:yi (Results 1 – 2 of 2) sorted by relevance
58 uint64_t yi = input[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local295 uint64_t yi = b[i]; in Hacl_Bignum_fsum() local324 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference() local
66 uint64_t yi = input[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local337 uint64_t yi = b[i]; in Hacl_Bignum_fsum() local366 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference() local