pub trait View {
type ViewTy;
}Expand description
The view of a type is its logical model as typically used to specify a data
structure. It is typically “shallow”, and does not involve the model of
other types contained by the datastructure.
This kind of model is mostly useful for notation purposes,
because this trait is linked to the @ notation of pearlite.