visitTheory

open fun visitTheory(ctx: TheoryContext): T