Symbol: libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
10026
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10027
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
10057
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10058
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
10072
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *t_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10073
libcrux_ml_kem_polynomial_PolynomialRingElement_1d (*matrix_A)[3U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
10074
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *s_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10075
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error_as_ntt) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
10080
libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]),
usr.bin/ssh/libcrux_mlkem768_sha3.h
10081
libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]);
usr.bin/ssh/libcrux_mlkem768_sha3.h
10084
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *row = matrix_A[i0];
usr.bin/ssh/libcrux_mlkem768_sha3.h
10085
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
10092
libcrux_ml_kem_polynomial_PolynomialRingElement_1d),
usr.bin/ssh/libcrux_mlkem768_sha3.h
10093
libcrux_ml_kem_polynomial_PolynomialRingElement_1d);
usr.bin/ssh/libcrux_mlkem768_sha3.h
10096
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *matrix_element =
usr.bin/ssh/libcrux_mlkem768_sha3.h
10098
libcrux_ml_kem_polynomial_PolynomialRingElement_1d product =
usr.bin/ssh/libcrux_mlkem768_sha3.h
10170
libcrux_ml_kem_polynomial_PolynomialRingElement_1d(*uu____1)[3U] =
usr.bin/ssh/libcrux_mlkem768_sha3.h
10181
libcrux_ml_kem_polynomial_PolynomialRingElement_1d error_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
10210
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re, uint8_t ret[384U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
10238
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *key,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10244
libcrux_ml_kem_polynomial_PolynomialRingElement_1d),
usr.bin/ssh/libcrux_mlkem768_sha3.h
10245
libcrux_ml_kem_polynomial_PolynomialRingElement_1d);
usr.bin/ssh/libcrux_mlkem768_sha3.h
10248
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re = key[i0];
usr.bin/ssh/libcrux_mlkem768_sha3.h
10271
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *t_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10298
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *t_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
10639
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
10660
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
10661
libcrux_ml_kem_polynomial_PolynomialRingElement_1d deserialized_pk[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
10673
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
10692
libcrux_ml_kem_polynomial_PolynomialRingElement_1d deserialized_pk[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
10699
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *uu____0 = deserialized_pk;
usr.bin/ssh/libcrux_mlkem768_sha3.h
11030
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
11051
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
11071
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
11073
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
11074
libcrux_ml_kem_polynomial_PolynomialRingElement_1d lit;
usr.bin/ssh/libcrux_mlkem768_sha3.h
11092
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ind_cpa_a[3U][3U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
11093
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U][3U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
11094
libcrux_ml_kem_polynomial_PolynomialRingElement_1d A[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11103
libcrux_ml_kem_polynomial_PolynomialRingElement_1d _a_i[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11106
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11109
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
11116
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11147
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11150
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11151
libcrux_ml_kem_polynomial_PolynomialRingElement_1d A[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11153
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____1[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11156
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11159
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11571
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11574
libcrux_ml_kem_polynomial_PolynomialRingElement_1d, void *);
usr.bin/ssh/libcrux_mlkem768_sha3.h
11581
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11583
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
11586
libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U], void *);
usr.bin/ssh/libcrux_mlkem768_sha3.h
11589
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
11685
libcrux_ml_kem_polynomial_PolynomialRingElement_1d(*uu____2)[3U] =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7055
libcrux_ml_kem_polynomial_PolynomialRingElement_1d secret_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
7069
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7071
libcrux_ml_kem_polynomial_PolynomialRingElement_1d lit;
usr.bin/ssh/libcrux_mlkem768_sha3.h
7100
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7111
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7114
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7140
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *secret_as_ntt) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7143
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7170
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7223
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7226
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7250
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7290
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7320
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7340
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7360
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7382
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7405
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7416
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7447
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7448
libcrux_ml_kem_polynomial_PolynomialRingElement_1d u_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
7480
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
7530
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7533
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7557
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7569
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7571
libcrux_ml_kem_polynomial_PolynomialRingElement_1d lit;
usr.bin/ssh/libcrux_mlkem768_sha3.h
7616
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7618
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7619
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *rhs) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7620
libcrux_ml_kem_polynomial_PolynomialRingElement_1d out =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7651
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7653
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7654
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *rhs) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7669
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7670
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *rhs) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7698
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7699
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *rhs) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7710
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7731
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7750
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7793
size_t *zeta_i, libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7825
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7848
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7850
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7851
libcrux_ml_kem_polynomial_PolynomialRingElement_1d b) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7880
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7882
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7883
libcrux_ml_kem_polynomial_PolynomialRingElement_1d b) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7899
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
7901
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *v,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7902
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *secret_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
7903
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *u_as_ntt) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7904
libcrux_ml_kem_polynomial_PolynomialRingElement_1d result =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7908
libcrux_ml_kem_polynomial_PolynomialRingElement_1d product =
usr.bin/ssh/libcrux_mlkem768_sha3.h
7937
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re, uint8_t ret[32U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
7995
libcrux_ml_kem_polynomial_PolynomialRingElement_1d u_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
7997
libcrux_ml_kem_polynomial_PolynomialRingElement_1d v =
usr.bin/ssh/libcrux_mlkem768_sha3.h
8002
libcrux_ml_kem_polynomial_PolynomialRingElement_1d message =
usr.bin/ssh/libcrux_mlkem768_sha3.h
8024
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret0[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8032
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
8090
libcrux_ml_kem_polynomial_PolynomialRingElement_1d t_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8092
libcrux_ml_kem_polynomial_PolynomialRingElement_1d A[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8108
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8116
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
8118
libcrux_ml_kem_polynomial_PolynomialRingElement_1d repeat_expression0[3U][3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8120
libcrux_ml_kem_polynomial_PolynomialRingElement_1d repeat_expression[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8126
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
8130
sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]));
usr.bin/ssh/libcrux_mlkem768_sha3.h
8146
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8149
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re =
usr.bin/ssh/libcrux_mlkem768_sha3.h
8178
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *deserialized_pk) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8189
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
8497
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8499
libcrux_ml_kem_polynomial_PolynomialRingElement_1d result =
usr.bin/ssh/libcrux_mlkem768_sha3.h
8525
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8543
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8561
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8586
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret0[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8595
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
8606
libcrux_ml_kem_polynomial_PolynomialRingElement_1d (*A_transpose)[3U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
8620
libcrux_ml_kem_polynomial_PolynomialRingElement_1d sampled[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8626
libcrux_ml_kem_polynomial_PolynomialRingElement_1d),
usr.bin/ssh/libcrux_mlkem768_sha3.h
8627
libcrux_ml_kem_polynomial_PolynomialRingElement_1d);
usr.bin/ssh/libcrux_mlkem768_sha3.h
8630
libcrux_ml_kem_polynomial_PolynomialRingElement_1d sample = sampled[j];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8659
libcrux_ml_kem_polynomial_PolynomialRingElement_1d(*uu____1)[3U] =
usr.bin/ssh/libcrux_mlkem768_sha3.h
8694
libcrux_ml_kem_polynomial_PolynomialRingElement_1d fst[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
8695
libcrux_ml_kem_polynomial_PolynomialRingElement_1d snd;
usr.bin/ssh/libcrux_mlkem768_sha3.h
8720
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8813
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8859
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8873
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8896
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
8929
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
8972
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
8992
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error_1) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9004
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9052
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9065
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9066
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9095
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9096
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9110
libcrux_ml_kem_polynomial_PolynomialRingElement_1d (*a_as_ntt)[3U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
9111
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *r_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9112
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error_1,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9113
libcrux_ml_kem_polynomial_PolynomialRingElement_1d ret[3U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9114
libcrux_ml_kem_polynomial_PolynomialRingElement_1d result[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9125
libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]),
usr.bin/ssh/libcrux_mlkem768_sha3.h
9126
libcrux_ml_kem_polynomial_PolynomialRingElement_1d[3U]);
usr.bin/ssh/libcrux_mlkem768_sha3.h
9129
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *row = a_as_ntt[i1];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9134
libcrux_ml_kem_polynomial_PolynomialRingElement_1d),
usr.bin/ssh/libcrux_mlkem768_sha3.h
9135
libcrux_ml_kem_polynomial_PolynomialRingElement_1d);
usr.bin/ssh/libcrux_mlkem768_sha3.h
9138
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *a_element = &row[j];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9139
libcrux_ml_kem_polynomial_PolynomialRingElement_1d product =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9149
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
9195
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re, uint8_t ret[320U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9223
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *re, uint8_t ret[320U]) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9242
libcrux_ml_kem_polynomial_PolynomialRingElement_1d input[3U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
9248
libcrux_ml_kem_polynomial_PolynomialRingElement_1d),
usr.bin/ssh/libcrux_mlkem768_sha3.h
9249
libcrux_ml_kem_polynomial_PolynomialRingElement_1d);
usr.bin/ssh/libcrux_mlkem768_sha3.h
9252
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re = input[i0];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9280
libcrux_ml_kem_polynomial_PolynomialRingElement_1d (*matrix)[3U],
usr.bin/ssh/libcrux_mlkem768_sha3.h
9284
libcrux_ml_kem_polynomial_PolynomialRingElement_1d r_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9293
libcrux_ml_kem_polynomial_PolynomialRingElement_1d error_1[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9305
libcrux_ml_kem_polynomial_PolynomialRingElement_1d error_2 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9308
libcrux_ml_kem_polynomial_PolynomialRingElement_1d u[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9310
libcrux_ml_kem_polynomial_PolynomialRingElement_1d uu____0[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9313
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
9316
libcrux_ml_kem_polynomial_PolynomialRingElement_1d copy_of_r_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9319
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
9323
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
9334
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9337
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9360
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9362
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *myself,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9363
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *message,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9364
libcrux_ml_kem_polynomial_PolynomialRingElement_1d result) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9395
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9397
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *self,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9398
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *message,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9399
libcrux_ml_kem_polynomial_PolynomialRingElement_1d result) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9413
static KRML_MUSTINLINE libcrux_ml_kem_polynomial_PolynomialRingElement_1d
usr.bin/ssh/libcrux_mlkem768_sha3.h
9415
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *t_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9416
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *r_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9417
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error_2,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9418
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *message) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9419
libcrux_ml_kem_polynomial_PolynomialRingElement_1d result =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9423
libcrux_ml_kem_polynomial_PolynomialRingElement_1d product =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9476
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9504
libcrux_ml_kem_polynomial_PolynomialRingElement_1d re, Eurydice_slice out) {
usr.bin/ssh/libcrux_mlkem768_sha3.h
9517
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *t_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9518
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *r_as_ntt,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9519
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *error_2,
usr.bin/ssh/libcrux_mlkem768_sha3.h
9521
libcrux_ml_kem_polynomial_PolynomialRingElement_1d message_as_ring_element =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9523
libcrux_ml_kem_polynomial_PolynomialRingElement_1d v =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9597
libcrux_ml_kem_polynomial_PolynomialRingElement_1d r_as_ntt[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9600
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
9601
libcrux_ml_kem_polynomial_PolynomialRingElement_1d error_2 = uu____0.snd;
usr.bin/ssh/libcrux_mlkem768_sha3.h
9602
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *uu____1 =
usr.bin/ssh/libcrux_mlkem768_sha3.h
9604
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *uu____2 = r_as_ntt;
usr.bin/ssh/libcrux_mlkem768_sha3.h
9605
libcrux_ml_kem_polynomial_PolynomialRingElement_1d *uu____3 = &error_2;
usr.bin/ssh/libcrux_mlkem768_sha3.h
9944
libcrux_ml_kem_polynomial_PolynomialRingElement_1d repeat_expression[3U];
usr.bin/ssh/libcrux_mlkem768_sha3.h
9950
(size_t)3U * sizeof(libcrux_ml_kem_polynomial_PolynomialRingElement_1d));
usr.bin/ssh/libcrux_mlkem768_sha3.h
9998
static inline libcrux_ml_kem_polynomial_PolynomialRingElement_1d