[][src]Type Definition verified::True

type True = B1;