Type Alias P725

pub type P725 = PInt<U725>;