Result (snark_work_lib.Snark_work

module Stable : sig ... end

type ('spec, 'single) t = ( 'spec, 'single ) Stable.Latest.t = {

proofs : 'single One_or_two.t;

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

spec : 'spec;

prover : Signature_lib.Public_key.Compressed.t;

}

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

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

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

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

module Fields : sig ... end