copilot-c99-2.2.1: A compiler for Copilot targeting C99.
Copilot.Compile.C99.Test.Iteration
newtype Iteration Source #
Constructors
Fields
Instances
Methods
(==) :: Iteration -> Iteration -> Bool #
(/=) :: Iteration -> Iteration -> Bool #
showsPrec :: Int -> Iteration -> ShowS #
show :: Iteration -> String #
showList :: [Iteration] -> ShowS #
execTraceToIterations :: ExecTrace -> [Iteration] Source #