copilot-c99-0.2.4: A compiler for Copilot targeting C99.
Copilot.Compile.C99.Test.Iteration
newtype Iteration Source
Constructors
Fields
Instances
execTraceToIterations :: ExecTrace -> [Iteration]Source