Type Alias P578

pub type P578 = PInt<U578>;