Crate air_interpreter_data[−][src]
Structs
Describes result of applying functor apply to streams.
Let’s consider an example of trace that could be produces by the following fold: (fold $stream v (call 1) (call 2) (next v) (call 3) (call 4) )
The AIR interpreter could be considered as a function f(prev_data: InterpreterData, current_data: InterpreterData, … ) -> (result_data: InterpreterData, …). This function receives prev and current data and produces a result data. All these data have the following format.
Descriptor of a subtrace inside execution trace.
Enums
Statics
Type Definitions
This type represents all information in an execution trace about states executed during a fold execution.