parser-core/it.unibo.tuprolog.core.parsing/TermParser/Companion/withDefaultOperators

withDefaultOperators

@JvmStatic
@JvmOverloads
fun withDefaultOperators(scope: <ERROR CLASS> = Scope.empty()): TermParser
Content copied to clipboard