This member is added by an implicit conversion from OpenAssumptionIndex to
any2stringadd[OpenAssumptionIndex] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from OpenAssumptionIndex to
ArrowAssoc[OpenAssumptionIndex] performed by method ArrowAssoc in scala.Predef.
This member is added by an implicit conversion from OpenAssumptionIndex to
StringFormat[OpenAssumptionIndex] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from OpenAssumptionIndex to
ArrowAssoc[OpenAssumptionIndex] performed by method ArrowAssoc in scala.Predef.
The globally unique index of an open assumption in a proof state.