withOperators

fun withOperators(operators: OperatorSet, scope: Scope = Scope.empty()): TermParserImpl

Creates a parser using operators as its default and allocating terms in scope.


fun withOperators(vararg operators: Operator, scope: Scope = Scope.empty()): TermParserImpl

Creates a parser from individual default operators and the supplied scope.