[]Type Definition elliptic_curve::consts::True

type True = B1;