Poly (consensus.Consensus.Intf.Protocol

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