Documentation

nr :: Range

sort :: SORT

botTok :: Token

bot :: CASLTERM

folType :: Int -> [SORT]

sigMap :: Sign -> CASLSign

sigMapH :: Sign -> NAME -> CASLSign -> CASLSign

generateAxioms :: Sign -> [Named CASLFORMULA]

generatePredAxioms :: Sign -> [NAME] -> [Named CASLFORMULA]

generatePredAxiomsH :: Sign -> NAME -> [Named CASLFORMULA]

generateFuncAxioms :: Sign -> [NAME] -> [Named CASLFORMULA]

generateFuncAxiomsH :: Sign -> NAME -> [Named CASLFORMULA]

generateSortAxioms :: Sign -> [NAME] -> [Named CASLFORMULA]

generateSortAxiomsH1 :: Sign -> NAME -> [Named CASLFORMULA]

generateSortAxiomsH2 :: Sign -> NAME -> [Named CASLFORMULA]

generateSortAxiomsH3 :: Sign -> [NAME] -> Named CASLFORMULA

generateSortAxiomsH4 :: Sign -> [NAME] -> [Named CASLFORMULA]

generateSortAxiomsH4H :: Sign -> (NAME, NAME) -> Named CASLFORMULA

makeArgNames :: String -> Int -> [NAME]

makeVar :: NAME -> CASLTERM

makeApplication :: NAME -> [CASLTERM] -> Sign -> CASLTERM

makePredication :: NAME -> [CASLTERM] -> Sign -> CASLFORMULA

makeForall :: [NAME] -> CASLFORMULA -> CASLFORMULA

makeExists :: [NAME] -> CASLFORMULA -> CASLFORMULA

makeTypeHyp :: TYPE -> CASLTERM -> Sign -> CASLFORMULA

makeTypeHyps :: [TYPE] -> [CASLTERM] -> Sign -> CASLFORMULA

termTransl :: Sign -> TERM -> CASLTERM

sigTransl :: Sign -> (CASLSign, [Named CASLFORMULA])

theoryTransl :: (Sign, [Named FORMULA]) -> (CASLSign, [Named CASLFORMULA])

morphTransl :: Morphism -> CASLMor

addSymbolTransl :: Sign -> CASLMor -> (NAME, NAME) -> CASLMor

makeTypesAndVars :: [DECL] -> ([TYPE], [NAME], [CASLTERM])

senTransl :: Sign -> FORMULA -> CASLFORMULA

namedSenTransl :: Sign -> Named FORMULA -> Named CASLFORMULA

symbolTransl :: Sign -> Symbol -> Set Symbol