type ('state_hash, 'blockchain_state, 'consensus_state, 'constants) t
val sexp_of_t :
( 'state_hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'blockchain_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'consensus_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'constants -> Ppx_sexp_conv_lib.Sexp.t ) ->
( 'state_hash, 'blockchain_state, 'consensus_state, 'constants ) t ->
Ppx_sexp_conv_lib.Sexp.t
val t_of_sexp :
( Ppx_sexp_conv_lib.Sexp.t -> 'state_hash ) ->
( Ppx_sexp_conv_lib.Sexp.t -> 'blockchain_state ) ->
( Ppx_sexp_conv_lib.Sexp.t -> 'consensus_state ) ->
( Ppx_sexp_conv_lib.Sexp.t -> 'constants ) ->
Ppx_sexp_conv_lib.Sexp.t ->
( 'state_hash, 'blockchain_state, 'consensus_state, 'constants ) t