Module 1-Impl.Snarkable

module type S = sig ... end
module Bits : sig ... end