Compresses an ExpansionSequent by mapping over the antecedent and succedent.
Compresses an ExpansionSequent by mapping over the antecedent and succedent.
The ExpansionSequent to be compressed.
The corresponding MultiExpansionSequent.
Compresses an ExpansionTree.
Compresses an ExpansionTree.
The ExpansionTree to be compressed.
The corresponding MultiExpansionTree.
Converts an ExpansionTree to a MultiExpansionTree by squishing quantifiers together into blocks. Can also be called on ExpansionSequents.