Module proof

Source

Enums§

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

Traits§

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