pub trait KnownTypeValue { type Value; fn value() -> Self::Value; }
Defines relation between types and values, like between True and true.
True
true
The value-level counterpart of this type-value.
The value of this type-value.