libcrux_sha3_generic_keccak_xof_KeccakXofState_97
typedef libcrux_sha3_generic_keccak_xof_KeccakXofState_97
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
static inline libcrux_sha3_generic_keccak_xof_KeccakXofState_97
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 lit;
static inline libcrux_sha3_generic_keccak_xof_KeccakXofState_97
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,
libcrux_sha3_generic_keccak_xof_KeccakXofState_97 *self,