Make (snarky.Snarky_backendless.Pedersen.Make)

Parameters

module Impl : Snark_intf.S

module Weierstrass_curve : sig ... end

module Params : sig ... end

module Digest : sig ... end

module Section : sig ... end

val hash : 
  init:(int * Section.Acc.t) ->
  Impl.Boolean.var Tuple_lib.Triple.t list ->
  Weierstrass_curve.var Impl.Checked.t

val digest : Weierstrass_curve.var -> Digest.var