visitTheory

abstract fun visitTheory(ctx: PrologParser.TheoryContext): T
Content copied to clipboard

Visit a parse tree produced by theory.

Return

the visitor result

Parameters

ctx

the parse tree