libcrux_sha3_internal.h (894B)
1 /* 2 * SPDX-FileCopyrightText: 2025 Cryspen Sarl <info@cryspen.com> 3 * 4 * SPDX-License-Identifier: MIT or Apache-2.0 5 * 6 * This code was generated with the following revisions: 7 * Charon: 667d2fc98984ff7f3df989c2367e6c1fa4a000e7 8 * Eurydice: 2381cbc416ef2ad0b561c362c500bc84f36b6785 9 * Karamel: 80f5435f2fc505973c469a4afcc8d875cddd0d8b 10 * F*: 71d8221589d4d438af3706d89cb653cf53e18aab 11 * Libcrux: 68dfed5a4a9e40277f62828471c029afed1ecdcc 12 */ 13 14 #ifndef libcrux_sha3_internal_H 15 #define libcrux_sha3_internal_H 16 17 #include "eurydice_glue.h" 18 19 #if defined(__cplusplus) 20 extern "C" { 21 #endif 22 23 #define libcrux_sha3_Algorithm_Sha224 1 24 #define libcrux_sha3_Algorithm_Sha256 2 25 #define libcrux_sha3_Algorithm_Sha384 3 26 #define libcrux_sha3_Algorithm_Sha512 4 27 28 typedef uint8_t libcrux_sha3_Algorithm; 29 30 #if defined(__cplusplus) 31 } 32 #endif 33 34 #define libcrux_sha3_internal_H_DEFINED 35 #endif /* libcrux_sha3_internal_H */