Source code
Revision control
Copy as Markdown
Other Tools
/*
* SPDX-FileCopyrightText: 2025 Cryspen Sarl <info@cryspen.com>
*
* SPDX-License-Identifier: MIT or Apache-2.0
*
* This code was generated with the following revisions:
* Charon: 667d2fc98984ff7f3df989c2367e6c1fa4a000e7
* Eurydice: 2381cbc416ef2ad0b561c362c500bc84f36b6785
* Karamel: 80f5435f2fc505973c469a4afcc8d875cddd0d8b
* F*: 71d8221589d4d438af3706d89cb653cf53e18aab
* Libcrux: 68dfed5a4a9e40277f62828471c029afed1ecdcc
*/
#ifndef internal_libcrux_sha3_internal_H
#define internal_libcrux_sha3_internal_H
#include "eurydice_glue.h"
#if defined(__cplusplus)
extern "C" {
#endif
#include "../libcrux_sha3_internal.h"
typedef uint8_t libcrux_sha3_Sha3_512Digest[64U];
typedef uint8_t libcrux_sha3_Sha3_384Digest[48U];
typedef uint8_t libcrux_sha3_Sha3_256Digest[32U];
typedef uint8_t libcrux_sha3_Sha3_224Digest[28U];
#if defined(__cplusplus)
}
#endif
#define internal_libcrux_sha3_internal_H_DEFINED
#endif /* internal_libcrux_sha3_internal_H */