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::{
10    Felt, Word,
11    field::{PrimeCharacteristicRing, PrimeField64},
12    prettier,
13    utils::DisplayHex,
14};
15pub use miden_debug_types as debuginfo;
16pub use miden_utils_diagnostics::{self as diagnostics, Report};
17
18#[cfg(feature = "arbitrary")]
19pub mod arbitrary;
20pub mod ast;
21pub mod library;
22mod parse;
23pub mod parser;
24pub mod sema;
25pub mod testing;
26
27#[doc(hidden)]
28pub use self::{
29    ast::{Path, PathBuf, PathComponent, PathError},
30    library::{KernelLibrary, Library, LibraryError, Version, VersionError},
31    parser::{ModuleParser, ParsingError},
32};
33pub use self::{
34    parse::{Parse, ParseOptions},
35    sema::SemanticAnalysisError,
36};
37
38/// The modulus of the Miden field as a raw u64 integer
39pub(crate) const FIELD_MODULUS: u64 = miden_core::Felt::ORDER_U64;
miden_assembly_syntax/lib.rs

miden_assembly_syntax/
lib.rs
