41 inline static void Hacl_Bignum_Fproduct_copy_from_wide_(uint64_t *output, uint128_t *input)  in Hacl_Bignum_Fproduct_copy_from_wide_()
52 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(uint128_t *output, uint64_t *input, uint64_t s)  in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()
78 inline static void Hacl_Bignum_Fmul_shift_reduce(uint64_t *output)  in Hacl_Bignum_Fmul_shift_reduce()
97 Hacl_Bignum_Fmul_mul_shift_reduce_(uint128_t *output, uint64_t *input, uint64_t *input2)  in Hacl_Bignum_Fmul_mul_shift_reduce_()
115 inline static void Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input2)  in Hacl_Bignum_Fmul_fmul()
155 inline static void Hacl_Bignum_Fsquare_fsquare__(uint128_t *tmp, uint64_t *output)  in Hacl_Bignum_Fsquare_fsquare__()
179 inline static void Hacl_Bignum_Fsquare_fsquare_(uint128_t *tmp, uint64_t *output)  in Hacl_Bignum_Fsquare_fsquare_()
216 Hacl_Bignum_Fsquare_fsquare_times(uint64_t *output, uint64_t *input, uint32_t count1)  in Hacl_Bignum_Fsquare_fsquare_times()
231 inline static void Hacl_Bignum_Fsquare_fsquare_times_inplace(uint64_t *output, uint32_t count1)  in Hacl_Bignum_Fsquare_fsquare_times_inplace()
330 inline static void Hacl_Bignum_fscalar(uint64_t *output, uint64_t *b, uint64_t s)  in Hacl_Bignum_fscalar()
365 inline static void Hacl_Bignum_fmul(uint64_t *output, uint64_t *a, uint64_t *b)  in Hacl_Bignum_fmul()
370 inline static void Hacl_Bignum_crecip(uint64_t *output, uint64_t *input)  in Hacl_Bignum_crecip()
407 static void Hacl_EC_Point_copy(uint64_t *output, uint64_t *input)  in Hacl_EC_Point_copy()
415 static void Hacl_EC_Format_fexpand(uint64_t *output, uint8_t *input)  in Hacl_EC_Format_fexpand()
529 static void Hacl_EC_Format_fcontract_store(uint8_t *output, uint64_t *input)  in Hacl_EC_Format_fcontract_store()
550 static void Hacl_EC_Format_fcontract(uint8_t *output, uint64_t *input)  in Hacl_EC_Format_fcontract()