Type Definition typenum::consts::True

type True = B1;