Fee_with_prover (mina_base.Mina_base.Fee_with

module Stable : sig ... end

type t = Stable.Latest.t = {

fee : Currency.Fee.t;

prover : Signature_lib.Public_key.Compressed.t;

}

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val (>=) : Stable.V1.T.t -> Stable.V1.T.t -> bool

val (<=) : Stable.V1.T.t -> Stable.V1.T.t -> bool

val (=) : Stable.V1.T.t -> Stable.V1.T.t -> bool

val (>) : Stable.V1.T.t -> Stable.V1.T.t -> bool

val (<) : Stable.V1.T.t -> Stable.V1.T.t -> bool

val (<>) : Stable.V1.T.t -> Stable.V1.T.t -> bool

val equal : Stable.V1.T.t -> Stable.V1.T.t -> bool

val compare : Stable.V1.T.t -> Stable.V1.T.t -> int

val min : Stable.V1.T.t -> Stable.V1.T.t -> Stable.V1.T.t

val max : Stable.V1.T.t -> Stable.V1.T.t -> Stable.V1.T.t

val ascending : Stable.V1.T.t -> Stable.V1.T.t -> int

val descending : Stable.V1.T.t -> Stable.V1.T.t -> int

val between : Stable.V1.T.t -> low:Stable.V1.T.t -> high:Stable.V1.T.t -> bool

val clamp_exn : 
  Stable.V1.T.t ->
  min:Stable.V1.T.t ->
  max:Stable.V1.T.t ->
  Stable.V1.T.t

val clamp : 
  Stable.V1.T.t ->
  min:Stable.V1.T.t ->
  max:Stable.V1.T.t ->
  Stable.V1.T.t Base__.Or_error.t

type comparator_witness =
  Core_kernel__Comparable.Make(Stable.V1.T).comparator_witness

val comparator : 
  ( Stable.V1.T.t, comparator_witness ) Base__Comparator.comparator

val validate_lbound : 
  min:Stable.V1.T.t Base__.Maybe_bound.t ->
  Stable.V1.T.t Base__.Validate.check

val validate_ubound : 
  max:Stable.V1.T.t Base__.Maybe_bound.t ->
  Stable.V1.T.t Base__.Validate.check

val validate_bound : 
  min:Stable.V1.T.t Base__.Maybe_bound.t ->
  max:Stable.V1.T.t Base__.Maybe_bound.t ->
  Stable.V1.T.t Base__.Validate.check

module Replace_polymorphic_compare : sig ... end

module Map : sig ... end

module Set : sig ... end

val gen : t Core_kernel.Quickcheck.Generator.t