Adds a formula to the succedent of the sequent.
Adds a formula to the succedent of the sequent.
the formula to be added.
the sequent itself.
s += f
Removes a formula from the succedent of the sequent.
Removes a formula from the succedent of the sequent.
the formula to be removed.
the sequent itself.
s += f
Adds a formula to the antecedent of the sequent.
Adds a formula to the antecedent of the sequent.
the formula to be added.
the sequent itself.
s += f
Removes a formula from the antecedent of the sequent.
Removes a formula from the antecedent of the sequent.
the formula to be removed.
the sequent itself.
s += f
(sequentLike: StringAdd).+(other)
(sequentLike: StringAdd).self
(sequentLike: StringFormat).self
(sequentLike: ArrowAssoc[SequentLike[This]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(sequentLike: Ensuring[SequentLike[This]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A trait for mutable sequent-like data structures.
0.2
0.2