[−][src]Module indexing::proof

Enums

NonEmpty	Length marker for range/index known to not be empty.
Unknown	Length marker for range/index of unknown length (may be empty).

Represents the combination of two proofs P and Q by a new type Sum.