parser-js
/
it.unibo.tuprolog.parser
/
PrologParserListener
/
enterTheory
enter
Theory
open fun
enterTheory
(ctx:
TheoryContext
)
Content copied to clipboard