libcrux_sha3_generic_keccak_KeccakXofState_78
typedef libcrux_sha3_generic_keccak_KeccakXofState_78
libcrux_sha3_generic_keccak_KeccakXofState_78 *self,
libcrux_sha3_generic_keccak_KeccakXofState_78 *self,
libcrux_sha3_generic_keccak_KeccakXofState_78 *uu____0 = self;
libcrux_sha3_generic_keccak_KeccakXofState_78 *self,
libcrux_sha3_generic_keccak_KeccakXofState_78 *uu____0 = self;
libcrux_sha3_generic_keccak_KeccakXofState_78 *self, Eurydice_slice input) {
typedef libcrux_sha3_generic_keccak_KeccakXofState_78
libcrux_sha3_generic_keccak_KeccakXofState_78 *self,
libcrux_sha3_generic_keccak_KeccakXofState_78 *uu____0 = self;
static inline libcrux_sha3_generic_keccak_KeccakXofState_78
libcrux_sha3_generic_keccak_KeccakXofState_78 self, Eurydice_slice input) {
static inline libcrux_sha3_generic_keccak_KeccakXofState_78
libcrux_sha3_generic_keccak_KeccakXofState_78 lit;
static inline libcrux_sha3_generic_keccak_KeccakXofState_78
libcrux_sha3_generic_keccak_KeccakXofState_78 *self,
libcrux_sha3_generic_keccak_KeccakXofState_78 *self, Eurydice_slice out) {