Crate singleton_trait[−][src]
Structs
The Exists struct witnesses the logical ownership of a value of type T while remaining zero-sized. This can be used for ghost proofs of soundness.
Traits
The Exists trait is intended to be used with impl, to denote
an argument where the existence of a value is sufficient as an argument
This trait denotes a type which has at most one logical identity at all times. This is sufficient to make borrowing decisions based only on the type, without regards to value identity.