Module Snarky_integer

module Integer : sig ... end

Positive integers as field elements.

module Util : sig ... end