Type Definition cipher::consts::P1⎘[−]

type P1 = PInt<UInt<UTerm, B1>>;