usr.bin/ssh/libcrux_mlkem768_sha3.h

274

EURYDICE_CFIELD(.fst =) \

usr.bin/ssh/libcrux_mlkem768_sha3.h

276

EURYDICE_CFIELD(.snd =) \

usr.bin/ssh/libcrux_mlkem768_sha3.h

282

EURYDICE_CFIELD(.fst =) \

usr.bin/ssh/libcrux_mlkem768_sha3.h

283

KRML_CLITERAL(Eurydice_slice){EURYDICE_CFIELD(.ptr =)(slice.ptr), \

usr.bin/ssh/libcrux_mlkem768_sha3.h

284

EURYDICE_CFIELD(.len =) mid}, \

usr.bin/ssh/libcrux_mlkem768_sha3.h

285

EURYDICE_CFIELD(.snd =) KRML_CLITERAL(Eurydice_slice) { \

usr.bin/ssh/libcrux_mlkem768_sha3.h

286

EURYDICE_CFIELD(.ptr =) \

usr.bin/ssh/libcrux_mlkem768_sha3.h

288

EURYDICE_CFIELD(.len =)(slice.len - mid) \

usr.bin/ssh/libcrux_mlkem768_sha3.h

462

? (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 0, \

usr.bin/ssh/libcrux_mlkem768_sha3.h

463

EURYDICE_CFIELD(.f0 =) 0}) \

usr.bin/ssh/libcrux_mlkem768_sha3.h

464

: (KRML_CLITERAL(ret_t){EURYDICE_CFIELD(.tag =) 1, \

usr.bin/ssh/libcrux_mlkem768_sha3.h

465

EURYDICE_CFIELD(.f0 =)(iter_ptr)->start++}))