miden_stdlib_sys/lib.rs
1#![no_std]
2#![cfg_attr(all(target_family = "wasm", miden), feature(linkage))]
3#![deny(warnings)]
4
5extern crate alloc;
6
7pub mod intrinsics;
8mod stdlib;
9
10pub use intrinsics::{
11 Digest, Felt, Word, WordAligned, advice::emit_falcon_sig_to_stack, assert, assert_eq, assertz,
12};
13pub use stdlib::*;