Type Definition typenum::False

type False = B0;