V1 (mina_state.Mina_state.Snark_transition.Poly.Stable.V1)

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

include Core_kernel.Bin_prot.Binable.S3
  with type ('blockchain_state, 'consensus_transition, 'pending_coinbase_update) t :=
         ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
           t

val bin_shape_t : 
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t

val bin_size_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Size.sizer3

val bin_write_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Write.writer3

val bin_read_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Read.reader3

val __bin_read_t__ : 
  ( 'a, 'b, 'c, int -> ( 'a, 'b, 'c ) t ) Bin_prot.Read.reader3

val bin_writer_t : 
  ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Type_class.S3.writer

val bin_reader_t : 
  ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Type_class.S3.reader

val bin_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Type_class.S3.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

val __versioned__ : unit