Revision control
Copy as Markdown
Other Tools
//! This crate contains hacl-generated utility modules for other hacl-generated code.
//! You most likely don't need to import this.
//!
//! hacl-star commit: efbf82f29190e2aecdac8899e4f42c8cb9defc98
#![no_std]
// Utility modules. In the generated hacl-rs, these are individual crates.
pub mod bignum;
pub mod fstar;
pub mod lowstar;
pub mod util;
// Utility modules that were modules of hacl in the generated code
pub mod bignum25519_51;
pub mod curve25519_51;
pub mod streaming_types;
pub mod prelude {
extern crate alloc;
pub use alloc::boxed::Box;
pub use alloc::{vec, vec::Vec};
pub use crate::{bignum, fstar, lowstar, streaming_types, util as lib};
}