Module indexing::proof

Enums

NonEmpty	Length marker for range known to not be empty.
Unknown	Length marker for unknown length.

Traits

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