Module Circuit.Async_generic

Parameters

module Promise : Base.Monad.S

Signature

val as_prover : (unit -> unit Promise.t) -> unit Promise.t
val unit_request : (unit -> unit Promise.t Snarky_backendless.Request.t) -> unit Promise.t