1#![allow(non_upper_case_globals)] 2#![allow(non_camel_case_types)] 3#![allow(non_snake_case)] 4#![doc = include_str!("../README.md")] 5 6mod hacl_bindings; 7pub use hacl_bindings::*;