Type Definition fixed::types::extra::True

type True = B1;