jukebox-0.5.5: A first-order reasoning toolbox
Safe HaskellSafe-Inferred
LanguageHaskell2010

Jukebox.TPTP.ParseSnippet

Documentation

tff :: [(String, Type)] -> [(String, Function)] -> String -> Form Source #

cnf :: [(String, Type)] -> [(String, Function)] -> String -> Form Source #

form :: Symbolic a => Parser a -> [(String, Type)] -> [(String, Function)] -> String -> a Source #