miden 0.14.0

Miden SDK
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

/// Prints a message through Miden's trace-based `PrintLn` functionality.
///
/// # Formatting
///
/// The formatting variant requires the `alloc` crate and a configured global allocator.
///
/// This supports most common use cases of Rust's `format!`. However, named arguments without
/// argument list are not supported, for example `println!("result: {res}");`
#[macro_export]
macro_rules! println {
    ($message:literal) => {{
        $crate::debug::println($message);
    }};
    ($message:expr) => {{
        $crate::debug::println($message);
    }};
    ($format:literal, $($arg:tt)+) => {{
        let message = ::alloc::format!($format, $($arg)+);
        $crate::debug::println(&message);
    }};
}

#[inline(always)]
pub fn println(s: &str) {
    let bytes = s.as_bytes();
    miden_stdlib_sys::intrinsics::debug::println(bytes.as_ptr(), bytes.len());
}