libcrux_sha3_Algorithm
static inline size_t libcrux_sha3_digest_size(libcrux_sha3_Algorithm mode) {
static inline uint32_t libcrux_sha3_from_6c(libcrux_sha3_Algorithm v) {
static inline libcrux_sha3_Algorithm libcrux_sha3_from_29(uint32_t v) {