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
13pub mod ast;
14pub mod library;
15mod parse;
16pub mod parser;
17mod sema;
18pub mod testing;
19
20#[doc(hidden)]
21pub use self::{
22    library::{
23        KernelLibrary, Library, LibraryError, LibraryNamespace, LibraryPath, LibraryPathComponent,
24        PathError, Version, VersionError,
25    },
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
