Snarky_integer
module Integer : sig ... end
Positive integers as field elements.
module Util : sig ... end