visitTheory
Rejects direct theory conversion because this visitor produces one Term at a time.
Throws
always; theories must be converted clause by clause
Rejects direct theory conversion because this visitor produces one Term at a time.
always; theories must be converted clause by clause