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

If this type is directly used as a ghost resource, one should rather use crate::ghost::resource::Authority or crate::ghost::resource::Fragment, which provides convenient wrappers which the provers prefer.

Aliased Type

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