Pickles.Prover
type ('prev_values, 'local_widths, 'local_heights, 'a_value, 'proof) t = ?handler: ( Snarky_backendless.Request.request -> Snarky_backendless.Request.response ) -> 'a_value -> 'proof