crypto/openssh/libcrux_mlkem768_sha3.h

10110

libcrux_ml_kem_vector_portable_vector_type_PortableVector t =

crypto/openssh/libcrux_mlkem768_sha3.h

10115

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____1 =

crypto/openssh/libcrux_mlkem768_sha3.h

10320

libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10324

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

10387

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10389

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10390

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

10409

libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10415

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

10440

libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10444

libcrux_ml_kem_vector_portable_vector_type_PortableVector tmp =

crypto/openssh/libcrux_mlkem768_sha3.h

10447

libcrux_ml_kem_vector_portable_vector_type_PortableVector tmp0 =

crypto/openssh/libcrux_mlkem768_sha3.h

10449

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

10491

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10493

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10514

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10516

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10533

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

10552

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10554

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10575

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10577

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10594

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

10663

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10665

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10686

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10688

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10705

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

10723

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10725

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10746

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

10748

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

10765

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficients =

crypto/openssh/libcrux_mlkem768_sha3.h

11233

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

11235

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

11257

libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

11261

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

11333

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

12307

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

12309

libcrux_ml_kem_vector_portable_vector_type_PortableVector *self) {

crypto/openssh/libcrux_mlkem768_sha3.h

5879

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

5882

libcrux_ml_kem_vector_portable_vector_type_PortableVector lit;

crypto/openssh/libcrux_mlkem768_sha3.h

5897

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

5991

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

crypto/openssh/libcrux_mlkem768_sha3.h

6030

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

6109

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6111

libcrux_ml_kem_vector_portable_vector_type_PortableVector lit;

crypto/openssh/libcrux_mlkem768_sha3.h

6131

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6138

libcrux_ml_kem_vector_portable_vector_type_PortableVector v =

crypto/openssh/libcrux_mlkem768_sha3.h

6163

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6170

libcrux_ml_kem_vector_portable_vector_type_PortableVector x,

crypto/openssh/libcrux_mlkem768_sha3.h

6180

libcrux_ml_kem_vector_portable_vector_type_PortableVector x,

crypto/openssh/libcrux_mlkem768_sha3.h

6704

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6709

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6711

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

crypto/openssh/libcrux_mlkem768_sha3.h

6712

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

crypto/openssh/libcrux_mlkem768_sha3.h

6726

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6728

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

crypto/openssh/libcrux_mlkem768_sha3.h

6729

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

crypto/openssh/libcrux_mlkem768_sha3.h

6733

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6735

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

crypto/openssh/libcrux_mlkem768_sha3.h

6736

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

crypto/openssh/libcrux_mlkem768_sha3.h

6750

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6752

libcrux_ml_kem_vector_portable_vector_type_PortableVector lhs,

crypto/openssh/libcrux_mlkem768_sha3.h

6753

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs) {

crypto/openssh/libcrux_mlkem768_sha3.h

6757

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6759

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t c) {

crypto/openssh/libcrux_mlkem768_sha3.h

6773

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6775

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t c) {

crypto/openssh/libcrux_mlkem768_sha3.h

6779

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6781

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t c) {

crypto/openssh/libcrux_mlkem768_sha3.h

6795

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6797

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t c) {

crypto/openssh/libcrux_mlkem768_sha3.h

6802

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6804

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

6831

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6833

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

6872

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6874

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

6889

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6891

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

6952

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6954

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t c) {

crypto/openssh/libcrux_mlkem768_sha3.h

6969

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

6971

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t r) {

crypto/openssh/libcrux_mlkem768_sha3.h

7008

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7010

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

7025

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7027

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

7050

libcrux_ml_kem_vector_portable_vector_type_PortableVector *v, int16_t zeta,

crypto/openssh/libcrux_mlkem768_sha3.h

7059

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7061

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7086

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7088

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7094

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7096

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7121

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7123

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7128

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7130

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t zeta) {

crypto/openssh/libcrux_mlkem768_sha3.h

7152

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7154

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta) {

crypto/openssh/libcrux_mlkem768_sha3.h

7159

libcrux_ml_kem_vector_portable_vector_type_PortableVector *v, int16_t zeta,

crypto/openssh/libcrux_mlkem768_sha3.h

7170

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7172

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7197

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7199

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7205

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7207

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7232

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7234

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta0,

crypto/openssh/libcrux_mlkem768_sha3.h

7240

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7242

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t zeta) {

crypto/openssh/libcrux_mlkem768_sha3.h

7266

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7268

libcrux_ml_kem_vector_portable_vector_type_PortableVector a, int16_t zeta) {

crypto/openssh/libcrux_mlkem768_sha3.h

7296

libcrux_ml_kem_vector_portable_vector_type_PortableVector *a,

crypto/openssh/libcrux_mlkem768_sha3.h

7297

libcrux_ml_kem_vector_portable_vector_type_PortableVector *b, int16_t zeta,

crypto/openssh/libcrux_mlkem768_sha3.h

7299

libcrux_ml_kem_vector_portable_vector_type_PortableVector *out) {

crypto/openssh/libcrux_mlkem768_sha3.h

7314

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7316

libcrux_ml_kem_vector_portable_vector_type_PortableVector *lhs,

crypto/openssh/libcrux_mlkem768_sha3.h

7317

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs,

crypto/openssh/libcrux_mlkem768_sha3.h

7319

libcrux_ml_kem_vector_portable_vector_type_PortableVector out =

crypto/openssh/libcrux_mlkem768_sha3.h

7344

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7346

libcrux_ml_kem_vector_portable_vector_type_PortableVector *lhs,

crypto/openssh/libcrux_mlkem768_sha3.h

7347

libcrux_ml_kem_vector_portable_vector_type_PortableVector *rhs,

crypto/openssh/libcrux_mlkem768_sha3.h

7355

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

crypto/openssh/libcrux_mlkem768_sha3.h

7379

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

7384

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7386

libcrux_ml_kem_vector_portable_vector_type_PortableVector result =

crypto/openssh/libcrux_mlkem768_sha3.h

7410

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7450

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

crypto/openssh/libcrux_mlkem768_sha3.h

7477

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

7523

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7529

libcrux_ml_kem_vector_portable_vector_type_PortableVector v =

crypto/openssh/libcrux_mlkem768_sha3.h

7554

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7594

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

crypto/openssh/libcrux_mlkem768_sha3.h

7620

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

7677

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7683

libcrux_ml_kem_vector_portable_vector_type_PortableVector v =

crypto/openssh/libcrux_mlkem768_sha3.h

7708

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7751

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

crypto/openssh/libcrux_mlkem768_sha3.h

7792

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

7856

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7863

libcrux_ml_kem_vector_portable_vector_type_PortableVector v =

crypto/openssh/libcrux_mlkem768_sha3.h

7888

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

7917

libcrux_ml_kem_vector_portable_vector_type_PortableVector v,

crypto/openssh/libcrux_mlkem768_sha3.h

7972

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

7996

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8017

libcrux_ml_kem_vector_portable_vector_type_PortableVector re =

crypto/openssh/libcrux_mlkem768_sha3.h

8042

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8186

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficients[16U];

crypto/openssh/libcrux_mlkem768_sha3.h

8248

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8320

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8322

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8345

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8347

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8368

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

8370

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8384

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8386

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8409

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8411

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8432

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

8434

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8455

libcrux_ml_kem_vector_portable_vector_type_PortableVector fst;

crypto/openssh/libcrux_mlkem768_sha3.h

8456

libcrux_ml_kem_vector_portable_vector_type_PortableVector snd;

crypto/openssh/libcrux_mlkem768_sha3.h

8465

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8467

libcrux_ml_kem_vector_portable_vector_type_PortableVector v, int16_t fer) {

crypto/openssh/libcrux_mlkem768_sha3.h

8481

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

8482

libcrux_ml_kem_vector_portable_vector_type_PortableVector b,

crypto/openssh/libcrux_mlkem768_sha3.h

8484

libcrux_ml_kem_vector_portable_vector_type_PortableVector t =

crypto/openssh/libcrux_mlkem768_sha3.h

8515

libcrux_ml_kem_vector_portable_vector_type_PortableVector x = uu____0.fst;

crypto/openssh/libcrux_mlkem768_sha3.h

8516

libcrux_ml_kem_vector_portable_vector_type_PortableVector y = uu____0.snd;

crypto/openssh/libcrux_mlkem768_sha3.h

8535

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8606

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8689

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8691

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8714

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8716

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8737

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

8739

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8753

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8755

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8778

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

8780

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

8803

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____1 =

crypto/openssh/libcrux_mlkem768_sha3.h

8869

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8909

libcrux_ml_kem_vector_portable_vector_type_PortableVector),

crypto/openssh/libcrux_mlkem768_sha3.h

8910

libcrux_ml_kem_vector_portable_vector_type_PortableVector);

crypto/openssh/libcrux_mlkem768_sha3.h

8913

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8980

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

8997

libcrux_ml_kem_vector_portable_vector_type_PortableVector a,

crypto/openssh/libcrux_mlkem768_sha3.h

8998

libcrux_ml_kem_vector_portable_vector_type_PortableVector b,

crypto/openssh/libcrux_mlkem768_sha3.h

9000

libcrux_ml_kem_vector_portable_vector_type_PortableVector a_minus_b =

crypto/openssh/libcrux_mlkem768_sha3.h

9035

libcrux_ml_kem_vector_portable_vector_type_PortableVector x = uu____0.fst;

crypto/openssh/libcrux_mlkem768_sha3.h

9036

libcrux_ml_kem_vector_portable_vector_type_PortableVector y = uu____0.snd;

crypto/openssh/libcrux_mlkem768_sha3.h

9084

libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

9088

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

9133

static KRML_MUSTINLINE libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

9135

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

9153

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

9155

libcrux_ml_kem_vector_portable_vector_type_PortableVector v) {

crypto/openssh/libcrux_mlkem768_sha3.h

9165

static inline libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

9167

libcrux_ml_kem_vector_portable_vector_type_PortableVector a) {

crypto/openssh/libcrux_mlkem768_sha3.h

9168

libcrux_ml_kem_vector_portable_vector_type_PortableVector t =

crypto/openssh/libcrux_mlkem768_sha3.h

9170

libcrux_ml_kem_vector_portable_vector_type_PortableVector fm =

crypto/openssh/libcrux_mlkem768_sha3.h

9188

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

9191

libcrux_ml_kem_vector_portable_vector_type_PortableVector

crypto/openssh/libcrux_mlkem768_sha3.h

9364

libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient =

crypto/openssh/libcrux_mlkem768_sha3.h

9366

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =

crypto/openssh/libcrux_mlkem768_sha3.h

9757

libcrux_ml_kem_vector_portable_vector_type_PortableVector uu____0 =