ogma-language-smv-1.7.0: Ogma: Runtime Monitor translator: SMV Language Frontend
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.SMV.Substitution

Documentation

subsName :: Eq b => (b, b) -> b -> b Source #