[]Type Definition elliptic_curve::consts::U1

type U1 = UInt<UTerm, B1>;