Safe Haskell | None |
---|
Documentation
updateStates :: MetaTable -> Spec -> [SBVFunc]Source
updateObservers :: MetaTable -> Spec -> [SBVFunc]Source
fireTriggers :: MetaTable -> Spec -> [SBVFunc]Source
getExtArrs :: MetaTable -> [SBVFunc]Source
getExtFuns :: MetaTable -> [SBVFunc]Source