Type Definition typenum::True

type True = B1;