textual input, cf. http://www.lri.fr/~marche/tpdb/format.html
Documentation
trs :: String -> Either String (TRS Identifier Identifier)Source
Reader Identifier | warning: by definition, {}[] may appear in identifiers |
Reader s => Reader [s] | |
Reader (SRS Identifier) | |
Reader u => Reader (Rule u) | |
Reader (TRS Identifier Identifier) | |
(Reader v, Reader s) => Reader (Term v s) |
data Declaration u Source
Var_Declaration [Identifier] | |
Theory_Declaration | |
Strategy_Declaration | |
Rules_Declaration [Rule u] | |
Unknown_Declaration | this is super-ugly: a parenthesized, possibly nested, possibly comma-separated, list of identifiers or strings |
declaration :: Reader u => Bool -> Parser (Declaration u)Source
make_srs :: [Declaration [s]] -> SRS sSource