Type Definition elliptic_curve::consts::U0[]

type U0 = UTerm;