Type Definition verified::Length

type Length<T> = <T as Len>::Output;

Alias for the associated type of Len: Length<A> = <A as Len>::Output