[]Type Definition elliptic_curve::consts::N1

type N1 = NInt<UInt<UTerm, B1>>;