Documentation

data SemInfPrg Source

data UnrollSemInf Source

data UnrollPlugin Source

data Unroll1 Source

data Unroll2 Source

isJust :: Maybe t -> BoolSource

getVarNameDecl :: Declaration t -> StringSource

renameDeclaration :: Declaration t -> String -> Declaration tSource

renameVariable :: Variable t -> String -> Variable tSource