Type Definition bbqueue::cm_mutex::consts::P118

type P118 = PInt<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>>;