Type Alias P817

pub type P817 = PInt<U817>;