air-codegen-winter 0.4.0

Winterfell code generator 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

use super::Scope;

/// Adds the required imports to the provided scope.
pub(super) fn add_imports(scope: &mut Scope) {
    // add winterfell imports
    scope.import("winter_air", "Air");
    scope.import("winter_air", "AirContext");
    scope.import("winter_air", "Assertion");
    scope.import("winter_air", "AuxRandElements");
    scope.import("winter_air", "EvaluationFrame");
    scope.import("winter_air", "ProofOptions as WinterProofOptions");
    scope.import("winter_air", "TransitionConstraintDegree");
    scope.import("winter_air", "TraceInfo");
    scope.import("winter_math::fields::f64", "BaseElement as Felt");
    scope.import("winter_math", "ExtensionOf");
    scope.import("winter_math", "FieldElement");
    scope.import("winter_math", "ToElements");
    scope.import("winter_utils", "ByteWriter");
    scope.import("winter_utils", "Serializable");
}