at.logic.skeptik.judgment
A class for immutable sequents whose cedents are seqs.
A class for immutable sequents whose cedents are immutable sets.