Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
renameAvoidingKeywords :: Symbolic a => a -> NameM a Source
renameTPTP :: Symbolic a => a -> a Source
showProblem :: Problem Form -> String Source
pPrintProblem :: Problem Form -> Doc Source
pPrintDecls :: Problem Form -> [Doc] Source
pPrintName :: Name -> Doc Source
pPrintType :: Type -> Doc Source
pPrintInput :: Input Form -> Doc Source
pPrintForm :: Form -> Doc Source
pPrintAtomic :: Atomic -> Doc Source
pPrintTerm :: Term -> Doc Source