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};
17pub use semver;
18
19#[cfg(feature = "arbitrary")]
20pub mod arbitrary;
21pub mod ast;
22pub mod library;
23mod parse;
24pub mod parser;
25pub mod sema;
26pub mod testing;
27
28#[doc(hidden)]
29pub use self::{
30    ast::{Path, PathBuf, PathComponent, PathError},
31    library::{KernelLibrary, Library, LibraryError, Version, VersionError},
32    parser::{ModuleParser, ParsingError},
33};
34pub use self::{
35    parse::{Parse, ParseOptions},
36    sema::SemanticAnalysisError,
37};
38
39/// Maximum allowed iteration count for `repeat.<count>` blocks.
40pub const MAX_REPEAT_COUNT: u32 = 1_000_000;
41
42/// The modulus of the Miden field as a raw u64 integer
43pub(crate) const FIELD_MODULUS: u64 = miden_core::Felt::ORDER_U64;
miden_assembly_syntax/lib.rs

miden_assembly_syntax/
lib.rs
