[]Type Definition signatory::digest::generic_array::typenum::consts::True

type True = B1;