Copilot.Compile.SBV.Common

Documentation

mkTmpStVar :: Id -> String

mkUpdateStFn :: Id -> String

mkQueueVar :: Id -> String

mkQueuePtrVar :: Id -> String

mkExtTmpVar :: String -> String

mkExtTmpTag :: String -> Maybe Tag -> String

mkExtArrFn :: String -> String

mkExtFunArgFn :: Int -> String -> Maybe Tag -> String

mkObserverFn :: String -> String

mkTriggerGuardFn :: String -> String

mkTriggerArgFn :: Int -> String -> String

mkArgIdx :: [a] -> [(Int, a)]

tagExtract :: Maybe Tag -> Tag