Type Definition verified::And

type And<A, B> = <A as BitAnd<B>>::Output;

Alias for the associated type of BitAnd: And<A, B> = <A as BitAnd<B>>::Output