#::
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