Integer.Interval
type t =
| Constant of Snarky_integer.Util.B.t
| Less_than of Snarky_integer.Util.B.t