Language.Copilot.AtomToC

Defines a main() and print statements to easily execute generated Copilot specs.

Documentation

getPrePostCode :: Name -> StreamableMaps Spec -> [(Type, Var, ExtVars)] -> [(String, Int)] -> Vars -> Period -> (String, String)