Type Definition aead::consts::True[]

type True = B1;