Symbol: Eurydice_array_u8x4
usr.bin/ssh/libcrux_internal.h
316
static inline Eurydice_array_u8x4 core_num__u32__to_be_bytes(uint32_t src) {
usr.bin/ssh/libcrux_internal.h
318
Eurydice_array_u8x4 a;
usr.bin/ssh/libcrux_internal.h
324
static inline Eurydice_array_u8x4 core_num__u32__to_le_bytes(uint32_t src) {
usr.bin/ssh/libcrux_internal.h
325
Eurydice_array_u8x4 a;
usr.bin/ssh/libcrux_internal.h
330
static inline uint32_t core_num__u32__from_le_bytes(Eurydice_array_u8x4 buf) {