miden-air 0.22.3

Algebraic intermediate representation of Miden VM processor
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
28

//! No-op tagging helpers for non-testing or no-std builds.

use miden_crypto::stark::air::LiftedAirBuilder;
/// No-op tagging extension for non-testing builds.
///
/// The methods call the provided closure directly so they have no runtime overhead beyond
/// the call itself (which the optimizer should inline away).
pub trait TaggingAirBuilderExt: LiftedAirBuilder {
    fn tagged<R>(
        &mut self,
        _id: usize,
        _namespace: &'static str,
        f: impl FnOnce(&mut Self) -> R,
    ) -> R {
        f(self)
    }

    fn tagged_list<R, const N: usize>(
        &mut self,
        _ids: [usize; N],
        _namespace: &'static str,
        f: impl FnOnce(&mut Self) -> R,
    ) -> R {
        f(self)
    }
}

impl<T: LiftedAirBuilder> TaggingAirBuilderExt for T {}