Type Alias P723

pub type P723 = PInt<U723>;