Priced_proof (network_pool.Network_pool.Priced

module Stable : sig ... end

type 'proof t = 'proof Stable.Latest.t = {

proof : 'proof;

fee : Mina_base.Fee_with_prover.t;

}

val to_yojson : 
  'proof. ( 'proof -> Yojson.Safe.t ) ->
  'proof t ->
  Yojson.Safe.t

val of_yojson : 
  'proof. ( Yojson.Safe.t -> 'proof Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  'proof t Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  'a t Ppx_deriving_yojson_runtime.error_or

val compare : 
  'proof. ( 'proof -> 'proof -> int ) ->
  'proof t ->
  'proof t ->
  int

val fee : 'a t -> Mina_base.Fee_with_prover.t

val proof : 'a t -> 'b

module Fields : sig ... end

val t_of_sexp : 
  'proof. ( Ppx_sexp_conv_lib.Sexp.t -> 'proof ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'proof t

val sexp_of_t : 
  'proof. ( 'proof -> Ppx_sexp_conv_lib.Sexp.t ) ->
  'proof t ->
  Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t : 
  'proof. ( Ppx_hash_lib.Std.Hash.state ->
            'proof ->
            Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  'proof t ->
  Ppx_hash_lib.Std.Hash.state

val map : 'a t -> f:( 'b -> 'c ) -> 'd t