Module Integer.Interval

type t =
  1. | Constant of Snarky_integer.Util.B.t
  2. | Less_than of Snarky_integer.Util.B.t