parser-js
/
it.unibo.tuprolog.parser
/
PrologParserVisitor
/
visitTheory
visit
Theory
open fun
visitTheory
(ctx:
TheoryContext
):
T
Content copied to clipboard