Symbol: uint8_t_x2
usr.bin/ssh/libcrux_internal.h
9338
static inline uint8_t_x2
usr.bin/ssh/libcrux_internal.h
9342
(KRML_CLITERAL(uint8_t_x2){ .fst = (uint8_t)(index / width), .snd = (uint8_t)(index % width) });
usr.bin/ssh/libcrux_internal.h
9345
static KRML_MUSTINLINE uint16_t libcrux_ml_dsa_sample_generate_domain_separator(uint8_t_x2 _)
usr.bin/ssh/libcrux_internal.h
9353
libcrux_ml_dsa_sample_add_domain_separator(Eurydice_borrow_slice_u8 slice, uint8_t_x2 indices)