Safe Haskell | None |
---|
Documentation
data UnrollSemInf Source
getVarNameDecl :: Declaration t -> StringSource
renameDeclaration :: Declaration t -> String -> Declaration tSource
renameVariable :: Variable t -> String -> Variable tSource
Safe Haskell | None |
---|
data UnrollSemInf Source
getVarNameDecl :: Declaration t -> StringSource
renameDeclaration :: Declaration t -> String -> Declaration tSource
renameVariable :: Variable t -> String -> Variable tSource