Type Definition diffgeom::typenum::True

type True = B1;