Impl.Async_generic
module Promise : Base.Monad.S
val as_prover : ( unit -> unit Promise.t ) -> unit Promise.t
val unit_request : ( unit -> unit Promise.t Snarky_backendless.Request.t ) -> unit Promise.t