Describes behaviour of the AVM.
Return statistic of AVM server Wasm module heap footprint.
Describes result of applying functor apply to streams.
Contains arguments of a call instruction and all other necessary information
required for calling a service.
Represents an executed host function result.
The type Canon trace CID refers to.
Contains ids of element that were on a stream at the moment of an appropriate canon call.
Stores CID to Value corresponance.
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.
Represents parameters obtained from a particle.
Describes an origin that set corresponding value.
A proof of service result execution result.
Descriptor of a subtrace inside execution trace.