Module `Dummy_zk_rollup.Bounded`

Modules to manipulate bounded integers, both as OCaml values and in circuit representation.

module P : sig ... end

module V (L : sig ... end) : sig ... end

module Encoding (L : sig ... end) : sig ... end