Copilot.Compile.C99.Test.Iteration

Documentation

newtype Iteration

Constructors

Iteration

Fields

iterationOutputs :: Map String [Output]

Instances

Eq Iteration

Show Iteration

execTraceToIterations :: ExecTrace -> [Iteration]