parser-theory/it.unibo.tuprolog.theory.parsing/ClausesReader/Companion/withOperators

withOperators

@JvmStatic
fun withOperators(operators: OperatorSet): ClausesReader
Content copied to clipboard
@JvmStatic
fun withOperators(vararg operators: Operator): ClausesReader
Content copied to clipboard