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