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

withStandardOperators

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