T (uptime_service.Uptime_service.Uptime_snark

module F = Rpc_parallel.Function

type 'w functions = {

perform_single : ( 'w,
                   Mina_base.Sok_message.t * Prod.single_spec,
                   (Ledger_proof.t * Core_kernel.Time.Span.t)
                     Core_kernel.Or_error.t )
                   F.t;

}

module Worker_state = Worker_state

module Connection_state : sig ... end

module Functions
  (C : 
    Rpc_parallel.Creator
      with type worker_state := Worker_state.t
       and type connection_state := Connection_state.t) : 
  sig ... end