hacl_sys/
hacl_bindings.rs

1#![allow(dead_code)]
2
3// Include bindgen output
4// The bindings are freshly generated on Linux and MacOS builds.
5// For Windows the prebuilt bindings.rs from the repository are used.
6include!("bindings/bindings.rs");
7
8#[repr(C)]
9#[derive(Copy, Clone, Debug)]
10pub struct EverCrypt_AEAD_state_s {
11    r#impl: u8,
12    ek: *mut u8,
13}