Type Alias P7

pub type P7 = PInt<U7>;