miden_assembly_syntax/
lib.rs

1#![no_std]
2
3#[macro_use]
4extern crate alloc;
5
6#[cfg(any(test, feature = "std"))]
7extern crate std;
8
9pub use miden_core::{Felt, FieldElement, StarkField, Word, prettier, utils::DisplayHex};
10pub use miden_debug_types as debuginfo;
11pub use miden_utils_diagnostics::{self as diagnostics, Report};
12
13#[cfg(feature = "arbitrary")]
14pub mod arbitrary;
15pub mod ast;
16pub mod library;
17mod parse;
18pub mod parser;
19pub mod sema;
20pub mod testing;
21
22#[doc(hidden)]
23pub use self::{
24    ast::{Path, PathBuf, PathComponent, PathError},
25    library::{KernelLibrary, Library, LibraryError, Version, VersionError},
26    parser::{ModuleParser, ParsingError},
27};
28pub use self::{
29    parse::{Parse, ParseOptions},
30    sema::SemanticAnalysisError,
31};
32
33/// The modulus of the Miden field as a raw u64 integer
34pub(crate) const FIELD_MODULUS: u64 = miden_core::Felt::MODULUS;
miden_assembly_syntax/lib.rs

miden_assembly_syntax/
lib.rs
