Global_state (init.Init.Transaction_snark_profiler.Sparse_ledger.Global

type t = {

ledger : sparse_ledger;

fee_excess : Currency.Amount.Signed.t;

supply_increase : Currency.Amount.Signed.t;

protocol_state : Mina_base.Zkapp_precondition.Protocol_state.View.t;

}

val to_yojson : t -> Yojson.Safe.t

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