Module Snark_intf.Snarkable

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