exitTheory

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

Exit a parse tree produced by theory.

Parameters

ctx

the parse tree