V1 (snark_work_lib.Snark_work_lib.Work.Result.Stable.V1)

type ('spec, 'single) t = {

proofs : 'single One_or_two.Stable.V1.t;

metrics : (Core.Time.Stable.Span.V1.t * [ `Transition | `Merge ])
            One_or_two.Stable.V1.t;

spec : 'spec;

prover : Signature_lib.Public_key.Compressed.Stable.V1.t;

}

val bin_shape_t : 
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t

val bin_size_t : 
  'spec 'single. 'spec Core_kernel.Bin_prot.Size.sizer ->
  'single Core_kernel.Bin_prot.Size.sizer ->
  ( 'spec, 'single ) t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'spec 'single. 'spec Core_kernel.Bin_prot.Write.writer ->
  'single Core_kernel.Bin_prot.Write.writer ->
  ( 'spec, 'single ) t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b Core_kernel.Bin_prot.Type_class.writer ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'spec 'single. 'spec Core_kernel.Bin_prot.Read.reader ->
  'single Core_kernel.Bin_prot.Read.reader ->
  ( int -> ( 'spec, 'single ) t ) Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'spec 'single. 'spec Core_kernel.Bin_prot.Read.reader ->
  'single Core_kernel.Bin_prot.Read.reader ->
  ( 'spec, 'single ) t Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b Core_kernel.Bin_prot.Type_class.reader ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b Core_kernel.Bin_prot.Type_class.t ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.t

val version : int

val __versioned__ : unit

val prover : ( 'a, 'b ) t -> Signature_lib.Public_key.Compressed.Stable.V1.t

val spec : ( 'a, 'b ) t -> 'c

val metrics : 
  ( 'a, 'b ) t ->
  (Core.Time.Stable.Span.V1.t * [ `Merge | `Transition ])
    One_or_two.Stable.V1.t

val proofs : ( 'a, 'b ) t -> 'b One_or_two.Stable.V1.t

module Fields : sig ... end