Type Definition verified::Shright

type Shright<A, B> = <A as Shr<B>>::Output;

Alias for the associated type of Shr: Shright<A, B> = <A as Shr<B>>::Output