Type Definition verified::uint::GetBitOut

type GetBitOut<N, I> = <N as GetBit<I>>::Output;