| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.SMV.Substitution
Documentation
substituteBoolExpr :: Foldable t => t (String, String) -> BoolSpec -> BoolSpec Source #
mapBoolSpecIdent :: (String -> String) -> BoolSpec -> BoolSpec Source #
mapNumExprIdent :: (String -> String) -> NumExpr -> NumExpr Source #