1-Blockchain_state.Value
type t = ( Mina_base.Staged_ledger_hash.t, Mina_base.Frozen_ledger_hash.t, Mina_transaction_logic.Zkapp_command_logic.Local_state.Value.t, Block_time.t, Body_reference.t ) Poly.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