This member is added by an implicit conversion from RichFormulaSequent to
any2stringadd[RichFormulaSequent] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from RichFormulaSequent to
ArrowAssoc[RichFormulaSequent] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from RichFormulaSequent to
StringFormat[RichFormulaSequent] performed by method StringFormat in scala.Predef.
Interpretation of the sequent as a formula.
Why is this not the definition of a sequent (/\ F -> \/ G)? The current implementation (\/-F \/ G) is
only classically equivalent (In IL a -> b :/- -a \/ b).
This member is added by an implicit conversion from RichFormulaSequent to
ArrowAssoc[RichFormulaSequent] performed by method ArrowAssoc in scala.Predef.