Increments the index by a natural number.
Decrements the index by a natural number.
(sequentIndex: any2stringadd[SequentIndex]).+(other)
(sequentIndex: Ordered[SequentIndex]).<(that)
(sequentIndex: Ordered[SequentIndex]).<=(that)
(sequentIndex: Ordered[SequentIndex]).>(that)
(sequentIndex: Ordered[SequentIndex]).>=(that)
(sequentIndex: Ordered[SequentIndex]).compare(that)
(sequentIndex: Ordered[SequentIndex]).compareTo(that)
Represents an index of an element in a sequent.
In a sequent, the elements have the following indices: Ant(0), Ant(1), ..., Ant(m) :- Suc(0), Suc(1), ..., Suc(n)