Copilot.Compile.SBV.Common

Documentation

mkTmpStVar :: Id -> String

mkUpdateStFn :: Id -> String

mkQueueVar :: Id -> String

mkQueuePtrVar :: Id -> String

mkExtTmpVar :: String -> String

mkObserverFn :: String -> String

mkTriggerGuardFn :: String -> String

mkTriggerArgFn :: Int -> String -> String

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