Snark_params.Make_snarkable
module Impl : Snarky_backendless.Snark_intf.S
module type S = sig ... end
module Bits : sig ... end