usr.bin/ssh/libcrux_mlkem768_sha3.h

10010

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

10012

libcrux_ml_kem_vector_portable_vector_type_PortableVector vector) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

10031

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

10035

libcrux_ml_kem_vector_portable_vector_type_PortableVector sum =

usr.bin/ssh/libcrux_mlkem768_sha3.h

10038

libcrux_ml_kem_vector_portable_vector_type_PortableVector red =

usr.bin/ssh/libcrux_mlkem768_sha3.h

10215

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

usr.bin/ssh/libcrux_mlkem768_sha3.h

11075

libcrux_ml_kem_vector_portable_vector_type_PortableVector ret[16U];

usr.bin/ssh/libcrux_mlkem768_sha3.h

11078

libcrux_ml_kem_vector_portable_vector_type_PortableVector, void *);

usr.bin/ssh/libcrux_mlkem768_sha3.h

11081

sizeof(libcrux_ml_kem_vector_portable_vector_type_PortableVector));

usr.bin/ssh/libcrux_mlkem768_sha3.h

5539

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5542

libcrux_ml_kem_vector_portable_vector_type_PortableVector lit;

usr.bin/ssh/libcrux_mlkem768_sha3.h

5557

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5574

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5576

libcrux_ml_kem_vector_portable_vector_type_PortableVector lit;

usr.bin/ssh/libcrux_mlkem768_sha3.h

5588

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5593

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5595

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

5596

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5610

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5612

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

5613

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5617

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5619

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

5620

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5634

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5636

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

5637

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5641

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5643

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec, int16_t c) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5657

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5659

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec, int16_t c) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5667

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5669

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5686

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5688

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5726

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5728

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5744

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5746

libcrux_ml_kem_vector_portable_vector_type_PortableVector vector) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5810

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5812

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec, int16_t c) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5827

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5829

libcrux_ml_kem_vector_portable_vector_type_PortableVector vector,

usr.bin/ssh/libcrux_mlkem768_sha3.h

5835

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5837

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec, int16_t c) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5852

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5854

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5863

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5865

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5866

libcrux_ml_kem_vector_portable_vector_type_PortableVector t =

usr.bin/ssh/libcrux_mlkem768_sha3.h

5868

libcrux_ml_kem_vector_portable_vector_type_PortableVector fm =

usr.bin/ssh/libcrux_mlkem768_sha3.h

5878

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5880

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5921

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5923

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5938

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5940

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5963

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5965

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5966

libcrux_ml_kem_vector_portable_vector_type_PortableVector z =

usr.bin/ssh/libcrux_mlkem768_sha3.h

5968

libcrux_ml_kem_vector_portable_vector_type_PortableVector s =

usr.bin/ssh/libcrux_mlkem768_sha3.h

5970

libcrux_ml_kem_vector_portable_vector_type_PortableVector res =

usr.bin/ssh/libcrux_mlkem768_sha3.h

5980

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

5982

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

5987

libcrux_ml_kem_vector_portable_vector_type_PortableVector *vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

5999

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6001

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6026

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6028

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6034

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6036

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6061

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6063

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6068

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6070

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6095

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6097

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

6102

libcrux_ml_kem_vector_portable_vector_type_PortableVector *vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6115

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6117

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6142

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6144

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6150

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6152

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6177

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6179

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6185

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6187

libcrux_ml_kem_vector_portable_vector_type_PortableVector vec,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6212

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6214

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

6242

libcrux_ml_kem_vector_portable_vector_type_PortableVector *a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6243

libcrux_ml_kem_vector_portable_vector_type_PortableVector *b, int16_t zeta,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6244

size_t i, libcrux_ml_kem_vector_portable_vector_type_PortableVector *out) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

6274

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6276

libcrux_ml_kem_vector_portable_vector_type_PortableVector *lhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6277

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6283

libcrux_ml_kem_vector_portable_vector_type_PortableVector out =

usr.bin/ssh/libcrux_mlkem768_sha3.h

6316

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6318

libcrux_ml_kem_vector_portable_vector_type_PortableVector *lhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6319

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6327

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6352

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6364

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6369

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6418

KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){

usr.bin/ssh/libcrux_mlkem768_sha3.h

6424

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6434

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6474

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6495

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6507

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6553

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6560

KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){

usr.bin/ssh/libcrux_mlkem768_sha3.h

6566

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6576

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6623

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6660

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6672

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6752

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6760

KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){

usr.bin/ssh/libcrux_mlkem768_sha3.h

6766

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6776

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6803

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6856

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6868

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

6892

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6914

KRML_CLITERAL(libcrux_ml_kem_vector_portable_vector_type_PortableVector){

usr.bin/ssh/libcrux_mlkem768_sha3.h

6921

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

6931

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7045

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficients[16U];

usr.bin/ssh/libcrux_mlkem768_sha3.h

7072

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7079

sizeof(libcrux_ml_kem_vector_portable_vector_type_PortableVector));

usr.bin/ssh/libcrux_mlkem768_sha3.h

7122

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7182

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7184

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

7210

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7212

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

7234

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7236

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7257

libcrux_ml_kem_vector_portable_vector_type_PortableVector fst;

usr.bin/ssh/libcrux_mlkem768_sha3.h

7258

libcrux_ml_kem_vector_portable_vector_type_PortableVector snd;

usr.bin/ssh/libcrux_mlkem768_sha3.h

7270

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

7271

libcrux_ml_kem_vector_portable_vector_type_PortableVector b,

usr.bin/ssh/libcrux_mlkem768_sha3.h

7273

libcrux_ml_kem_vector_portable_vector_type_PortableVector t =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7305

libcrux_ml_kem_vector_portable_vector_type_PortableVector x = uu____0.fst;

usr.bin/ssh/libcrux_mlkem768_sha3.h

7306

libcrux_ml_kem_vector_portable_vector_type_PortableVector y = uu____0.snd;

usr.bin/ssh/libcrux_mlkem768_sha3.h

7325

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7386

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7489

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7491

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

7517

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7519

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

7540

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7542

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7572

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7579

sizeof(libcrux_ml_kem_vector_portable_vector_type_PortableVector));

usr.bin/ssh/libcrux_mlkem768_sha3.h

7625

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7675

libcrux_ml_kem_vector_portable_vector_type_PortableVector),

usr.bin/ssh/libcrux_mlkem768_sha3.h

7676

libcrux_ml_kem_vector_portable_vector_type_PortableVector);

usr.bin/ssh/libcrux_mlkem768_sha3.h

7679

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7754

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7771

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

usr.bin/ssh/libcrux_mlkem768_sha3.h

7772

libcrux_ml_kem_vector_portable_vector_type_PortableVector b,

usr.bin/ssh/libcrux_mlkem768_sha3.h

7774

libcrux_ml_kem_vector_portable_vector_type_PortableVector a_minus_b =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7810

libcrux_ml_kem_vector_portable_vector_type_PortableVector x = uu____0.fst;

usr.bin/ssh/libcrux_mlkem768_sha3.h

7811

libcrux_ml_kem_vector_portable_vector_type_PortableVector y = uu____0.snd;

usr.bin/ssh/libcrux_mlkem768_sha3.h

7855

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7859

libcrux_ml_kem_vector_portable_vector_type_PortableVector diff =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7862

libcrux_ml_kem_vector_portable_vector_type_PortableVector red =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7923

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

7925

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

7941

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

usr.bin/ssh/libcrux_mlkem768_sha3.h

7944

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

8157

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

usr.bin/ssh/libcrux_mlkem768_sha3.h

8159

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

8504

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

8877

libcrux_ml_kem_vector_portable_vector_type_PortableVector t =

usr.bin/ssh/libcrux_mlkem768_sha3.h

8882

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____1 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9070

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9074

libcrux_ml_kem_vector_portable_vector_type_PortableVector sum =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9077

libcrux_ml_kem_vector_portable_vector_type_PortableVector red =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9157

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9159

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

9181

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9183

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

9200

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9341

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9347

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9368

libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9372

libcrux_ml_kem_vector_portable_vector_type_PortableVector sum1 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9375

libcrux_ml_kem_vector_portable_vector_type_PortableVector sum2 =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9377

libcrux_ml_kem_vector_portable_vector_type_PortableVector red =

usr.bin/ssh/libcrux_mlkem768_sha3.h

9438

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9440

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

9462

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

usr.bin/ssh/libcrux_mlkem768_sha3.h

9464

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

usr.bin/ssh/libcrux_mlkem768_sha3.h

9481

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =