parseTheory
abstract fun parseTheory(input: LexedSource, operators: OperatorTable = OperatorTables.empty()): SyntaxTree<TheoryNode>
Parses the complete input as zero or more clauses with a fixed operator table.
This operation does not execute op/3 directives.
Throws
if lexing or parsing fails