Type Definition verified::Shleft

type Shleft<A, B> = <A as Shl<B>>::Output;

Alias for the associated type of Shl: Shleft<A, B> = <A as Shl<B>>::Output