Body.Value
type t = ( Mina_base.State_hash.t, Blockchain_state.Value.t, Data.Consensus_state.Value.t, Mina_base.Protocol_constants_checked.Value.Stable.V1.t ) Poly.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