[]Type Definition digest::consts::True

type True = B1;