libcrux_hacl_rs/
lib.rs

1//! This crate contains hacl-generated utility modules for other hacl-generated code.
2//! You most likely don't need to import this.
3//!
4//! hacl-star commit: efbf82f29190e2aecdac8899e4f42c8cb9defc98
5
6#![no_std]
7
8// Utility modules. In the generated hacl-rs, these are individual crates.
9pub mod bignum;
10pub mod fstar;
11pub mod lowstar;
12pub mod util;
13
14// Utility modules that were modules of hacl in the generated code
15pub mod bignum25519_51;
16pub mod curve25519_51;
17pub mod streaming_types;
18
19pub mod prelude {
20    extern crate alloc;
21
22    pub use alloc::boxed::Box;
23    pub use alloc::{vec, vec::Vec};
24
25    pub use crate::{bignum, fstar, lowstar, streaming_types, util as lib};
26}
libcrux_hacl_rs/lib.rs

libcrux_hacl_rs/
lib.rs
