    -- | Settings used by the code generator to customize the code.
    module Copilot.Compile.C99.Settings
        ( CSettings(..)
        , mkDefaultCSettings
        )
      where

    -- | Settings used to customize the code generated.
    data CSettings = CSettings
      { CSettings -> String
    cSettingsStepFunctionName :: String
      , CSettings -> String
    cSettingsOutputDirectory  :: FilePath
      }

    -- | Default settings with a step function called @step@.
    mkDefaultCSettings :: CSettings
    mkDefaultCSettings :: CSettings
    mkDefaultCSettings = String -> String -> CSettings
    CSettings String
    "step" String
    "."