Poly (consensus.Consensus.Intf.Blockchain

type ('staged_ledger_hash, 'snarked_ledger_hash, 'local_state, 'time, 'body_ref)
  t

val sexp_of_t : 
  ( 'staged_ledger_hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'snarked_ledger_hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'local_state -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'time -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'body_ref -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'staged_ledger_hash, 'snarked_ledger_hash, 'local_state, 'time, 'body_ref )
    t ->
  Ppx_sexp_conv_lib.Sexp.t

val t_of_sexp : 
  ( Ppx_sexp_conv_lib.Sexp.t -> 'staged_ledger_hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'snarked_ledger_hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'local_state ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'time ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'body_ref ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'staged_ledger_hash, 'snarked_ledger_hash, 'local_state, 'time, 'body_ref )
    t