#::
scala
&
FOLFormula
HOLFormula
*
Vector
OccConnector
+
Vector
Ant
SequentIndex
Suc
HashMultiset
Multiset
++
List
Sequent
++:
Sequent
+:
Sequent
scala
+=
PublishingBuffer
+=:
PublishingBuffer
-
Vector
Ant
SequentIndex
Suc
HashMultiset
Multiset
-->
FOLFormula
HOLFormula
->
expr
TA
:+
Sequent
scala
:++
Sequent
::
LambdaPosition
Substitution
FOLPosition
HOLPosition
List
scala
<
Vector
<=
Vector
=^
RichOccSequent
=^=
FormulaOccurrence
>
Vector
>=
Vector
|
FOLFormula
HOLFormula