Poly (consensus.Consensus.Proof_of_stake.Hooks.Make_state_hooks.3-Snark

type ('blockchain_state, 'consensus_transition, 'pending_coinbase_update) t

include Ppx_sexp_conv_lib.Sexpable.S3
  with type ('blockchain_state, 'consensus_transition, 'pending_coinbase_update) t :=
         ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
           t

val t_of_sexp : 
  ( Sexplib0__.Sexp.t -> 'a ) ->
  ( Sexplib0__.Sexp.t -> 'b ) ->
  ( Sexplib0__.Sexp.t -> 'c ) ->
  Sexplib0__.Sexp.t ->
  ( 'a, 'b, 'c ) t

val sexp_of_t : 
  ( 'a -> Sexplib0__.Sexp.t ) ->
  ( 'b -> Sexplib0__.Sexp.t ) ->
  ( 'c -> Sexplib0__.Sexp.t ) ->
  ( 'a, 'b, 'c ) t ->
  Sexplib0__.Sexp.t