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::{self, Error as VersionError, Version};
18
19#[cfg(feature = "arbitrary")]
20pub mod arbitrary;
21pub mod ast;
22pub mod module;
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    parser::{ModuleParser, ParsingError},
32};
33pub use self::{
34    parse::Parse,
35    sema::{ExportedTypeUse, SemanticAnalysisError},
36};
37
38/// Maximum allowed iteration count for `repeat.<count>` blocks.
39pub const MAX_REPEAT_COUNT: u32 = 1_000_000;
40
41/// The modulus of the Miden field as a raw u64 integer
42pub(crate) const FIELD_MODULUS: u64 = Felt::ORDER_U64;
miden_assembly_syntax/lib.rs

miden_assembly_syntax/
lib.rs
