air-mir 0.4.0

Intermediate representation for the AirScript language
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
29
30
31
32
33
34
35
36

mod accessor;
mod add;
mod boundary;
mod bus_op;
mod call;
mod enf;
mod exp;
mod fold;
mod for_op;
mod if_op;
mod matrix;
mod mul;
mod parameter;
mod sub;
mod value;
mod vector;

pub use accessor::Accessor;
pub use add::Add;
pub use boundary::Boundary;
pub use bus_op::{BusOp, BusOpKind};
pub use call::Call;
pub use enf::Enf;
pub use exp::Exp;
pub use fold::{Fold, FoldOperator};
pub use for_op::For;
pub use if_op::If;
pub use matrix::Matrix;
pub use mul::Mul;
pub use parameter::Parameter;
pub use sub::Sub;
pub use value::{
    BusAccess, ConstantValue, MirType, MirValue, PeriodicColumnAccess, PublicInputAccess,
    PublicInputTableAccess, SpannedMirValue, TraceAccess, TraceAccessBinding, Value,
};
pub use vector::Vector;