miden_stdlib_sys/
lib.rs

1#![no_std]
2#![deny(warnings)]
3
4extern crate alloc;
5
6pub mod intrinsics;
7mod stdlib;
8
9pub use intrinsics::{
10    Digest, Felt, Word, WordAligned, advice::emit_falcon_sig_to_stack, assert_eq,
11};
12pub use stdlib::*;