Type Alias Auth 

pub type Auth<T> = View<AuthViewRel<T>>;

The ‘authority’ Resource Algebra.

This is a specialisation of View, where:

• both Auth and Frag are the same type
• the relation between the two is specified by AuthViewRel: it asserts that Frag must always be included in Auth

Aliased Type

pub struct Auth<T>(/* private fields */);