Snarky_backendless.Pedersen
val local_function : negate:( 'a -> 'b ) -> 'c Tuple_lib.Quadruple.t -> (bool * bool * bool) -> 'd
module Make (Impl : Snark_intf.S) (Weierstrass_curve : sig ... end) (Params : sig ... end) : sig ... end