use aead::array::ArraySize;
use aead::array::typenum::Unsigned;
use aead::array::typenum::type_operators::{IsGreaterOrEqual, IsLessOrEqual};
use aead::consts::{U4, U16};
mod private {
pub trait SealedTag {}
impl<T> SealedTag for T where
T: super::IsGreaterOrEqual<super::U4> + super::IsLessOrEqual<super::U16>
{
}
}
pub trait TagSize: ArraySize + Unsigned + private::SealedTag {}
impl<T> TagSize for T where T: ArraySize + IsGreaterOrEqual<U4> + IsLessOrEqual<U16> {}