hax-bounded-integers v0.4.2 — Newtypes for working with bounded integers with hax

Sign in to join the discussion — your thebay.events account works here.