libcrux_sha3_generic_keccak_KeccakState_17
static KRML_MUSTINLINE libcrux_sha3_generic_keccak_KeccakState_17
libcrux_sha3_generic_keccak_KeccakState_17 lit;
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, size_t_x2 index) {
libcrux_sha3_generic_keccak_KeccakState_17 *self, uint64_t ret[5U]) {
libcrux_sha3_generic_keccak_KeccakState_17 *self, size_t i, size_t j,
libcrux_sha3_generic_keccak_KeccakState_17 *self, uint64_t t[5U]) {
libcrux_sha3_generic_keccak_KeccakState_17 *uu____0 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____1 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____2 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____3 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____4 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____5 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____6 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____7 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____8 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____9 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____10 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____11 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____12 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____13 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____14 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____15 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____16 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____17 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____18 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____19 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____20 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____21 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____22 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *uu____23 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *self) {
libcrux_sha3_generic_keccak_KeccakState_17 old = self[0U];
libcrux_sha3_generic_keccak_KeccakState_17 *self) {
libcrux_sha3_generic_keccak_KeccakState_17 old = self[0U];
libcrux_sha3_generic_keccak_KeccakState_17 *self, size_t i) {
libcrux_sha3_generic_keccak_KeccakState_17 *self) {
libcrux_sha3_generic_keccak_KeccakState_17 *uu____0 = self;
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *blocks,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *last,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 s =
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *blocks,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *last,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 s =
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *last,
libcrux_sha3_generic_keccak_KeccakState_17 s =
typedef libcrux_sha3_generic_keccak_KeccakState_17
static KRML_MUSTINLINE libcrux_sha3_generic_keccak_KeccakState_17
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *last,
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice data0) {
libcrux_sha3_generic_keccak_KeccakState_17 *uu____0 = s;
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out) {
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice out0) {
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice out0) {
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *blocks,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *last,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 s =
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *blocks,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *last,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 s =
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *input,
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice *blocks,
libcrux_sha3_generic_keccak_KeccakState_17 s =
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out) {
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice out0) {
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice data) {
libcrux_sha3_generic_keccak_KeccakState_17 *uu____0 = s;
static KRML_MUSTINLINE libcrux_sha3_generic_keccak_KeccakState_17
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out) {
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice out) {
libcrux_sha3_generic_keccak_KeccakState_17 *self, Eurydice_slice out,
libcrux_sha3_generic_keccak_KeccakState_17 *s, Eurydice_slice out) {
libcrux_sha3_generic_keccak_KeccakState_17 inner;
libcrux_sha3_generic_keccak_KeccakState_17 inner;
static inline libcrux_sha3_generic_keccak_KeccakState_17
libcrux_sha3_generic_keccak_KeccakState_17 *self) {
libcrux_sha3_generic_keccak_KeccakState_17 shake128_state[3U];
libcrux_sha3_generic_keccak_KeccakState_17 repeat_expression[3U];
(size_t)3U * sizeof(libcrux_sha3_generic_keccak_KeccakState_17));