Staged_ledger_diff (staged_ledger_diff.Staged_ledger

include module type of struct include Diff end

module At_most_two : sig ... end

module At_most_one : sig ... end

module Pre_diff_two : sig ... end

module Pre_diff_one : sig ... end

module Pre_diff_with_at_most_two_coinbase : sig ... end

module Pre_diff_with_at_most_one_coinbase : sig ... end

module Diff : sig ... end

type t = Mina_wire_types.Staged_ledger_diff.V2.t = {

diff : Diff.t;

}

val to_yojson : t -> Yojson.Safe.t

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

val equal : t -> t -> bool

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val compare : t -> t -> int

val diff : t -> Diff.t

module Fields : sig ... end

module Stable : sig ... end

module With_valid_signatures_and_proofs : sig ... end

module With_valid_signatures : sig ... end

val forget_proof_checks : 
  With_valid_signatures_and_proofs.t ->
  With_valid_signatures.t

val validate_commands : 
  t ->
  check:
    ( Mina_base.User_command.t list ->
      ( Mina_base.User_command.Valid.t list, 'e ) Core_kernel.Result.t
        Async.Deferred.Or_error.t ) ->
  ( With_valid_signatures.t, 'e ) Core_kernel.Result.t
    Async.Deferred.Or_error.t

val forget : With_valid_signatures_and_proofs.t -> t

val commands : t -> Mina_base.User_command.t Mina_base.With_status.t list

val completed_works : t -> Transaction_snark_work.t list

val coinbase : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  supercharge_coinbase:bool ->
  t ->
  Currency.Amount.t option

val net_return : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  supercharge_coinbase:bool ->
  t ->
  Currency.Amount.t option

val empty_diff : t

module Body : sig ... end

module Bitswap_block : sig ... end

val genesis_body_reference : Consensus.Body_reference.t