exitTheory

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

Exit a parse tree produced by PrologParser#theory.

The default implementation does nothing.