Type Definition U15
Other items inccm::consts
type U15 = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>;