pub trait Value { type Type; }
The Value trait provides an abstract notion of a value.
Value
All we know about values abstractly is that they have a Type.
Type
The type of this value.