usr.bin/ssh/libcrux_internal.h

1660

static KRML_MUSTINLINE Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

1661

libcrux_secrets_int_public_integers_declassify_d8_75(Eurydice_array_u8x2 self)

usr.bin/ssh/libcrux_internal.h

16984

Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

18441

Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

19482

Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

21866

static KRML_MUSTINLINE Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

21889

return (KRML_CLITERAL(Eurydice_array_u8x2){ .data = { result0, result1 } });

usr.bin/ssh/libcrux_internal.h

21892

static inline Eurydice_array_u8x2 libcrux_ml_kem_vector_portable_serialize_1(Eurydice_arr_d6 a)

usr.bin/ssh/libcrux_internal.h

21901

static inline Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

23413

Eurydice_array_u8x2

usr.bin/ssh/libcrux_internal.h

3085

Eurydice_array_to_slice_shared_82(const Eurydice_array_u8x2 *a)

usr.bin/ssh/libcrux_internal.h

312

static inline uint16_t core_num__u16__from_le_bytes(Eurydice_array_u8x2 buf) {