Copilot.Compile.Header.C99

Generates a C99 header from a copilot-specification. The functionality provided by the header must be implemented by back-ends targetting C99.

Documentation

genC99Header :: Maybe String -> FilePath -> Spec -> IO ()

c99HeaderName :: Maybe String -> String