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