Copilot.Compile.SBV.Driver

Generates the code around the SBV functions to hold the state-updates, external variables, etc.

Documentation

driver :: Params -> MetaTable -> Spec -> String -> String -> IO ()

driverName :: Params -> String