Inputs (snarky_curve.Snarky_curve.For_native_base

module Impl : Snarky_backendless.Snark_intf.Run

Snarky instance to use.

include Inputs_intf
  with module Impl := Impl
   and type F.t = Impl.Field.t
   and type F.Constant.t = Impl.field

module F : sig ... end

module Constant : Constant_intf with type field := F.Constant.t

module Params : sig ... end