visitTheory

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

Visit a parse tree produced by PrologParser#theory.

The default implementation returns the result of calling visitChildren on {@code ctx}.