parser-jvm
/
it.unibo.tuprolog.parser.dynamic
/
DynamicParser
/
removeOperator
remove
Operator
open fun
removeOperator
(functor:
String
)
Content copied to clipboard