Pedersen.Make
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