Documentation
parse :: String -> [TPTP_Input]Source
parseFile :: FilePath -> IO [TPTP_Input]Source
parseWithComment :: String -> [TPTP_Input_C]Source
parse :: String -> [TPTP_Input]Source
parseFile :: FilePath -> IO [TPTP_Input]Source
parseWithComment :: String -> [TPTP_Input_C]Source