Module Uptime_snark_worker.Prod

module Ledger_proof = Ledger_proof.Prod
module Worker_state : sig ... end
val bin_shape_single_spec : Core.Bin_prot.Shape.t
val __bin_read_single_spec__ : ( int -> single_spec ) Core.Bin_prot.Read.reader
val bin_read_single_spec : single_spec Core.Bin_prot.Read.reader
val bin_reader_single_spec : single_spec Core.Bin_prot.Type_class.reader
val bin_size_single_spec : single_spec Core.Bin_prot.Size.sizer
val bin_write_single_spec : single_spec Core.Bin_prot.Write.writer
val bin_writer_single_spec : single_spec Core.Bin_prot.Type_class.writer
val bin_single_spec : single_spec Core.Bin_prot.Type_class.t
val single_spec_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> single_spec
val sexp_of_single_spec : single_spec -> Ppx_sexp_conv_lib.Sexp.t
val zkapp_command_inputs_to_yojson : zkapp_command_inputs -> Yojson.Safe.t
val _ : zkapp_command_inputs -> Yojson.Safe.t
val zkapp_command_inputs_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> zkapp_command_inputs
val sexp_of_zkapp_command_inputs : zkapp_command_inputs -> Ppx_sexp_conv_lib.Sexp.t
val perform_single : Worker_state.t -> message:Mina_base.Sok_message.t -> single_spec -> (Transaction_snark.t * Core.Time.Span.t) Async.Deferred.Or_error.t