V1 (mina_state.Mina_state.Protocol_state.Body.Poly.Stable.V1)

type ('state_hash, 'blockchain_state, 'consensus_state, 'constants) t =
  ( 'state_hash, 'blockchain_state, 'consensus_state, 'constants )
    Mina_wire_types.Mina_state.Protocol_state.Body.Poly.V1.t

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

val bin_size_t : 
  'a Core_kernel.Bin_prot.Size.sizer ->
  'b Core_kernel.Bin_prot.Size.sizer ->
  'c Core_kernel.Bin_prot.Size.sizer ->
  'd Core_kernel.Bin_prot.Size.sizer ->
  ( 'a, 'b, 'c, 'd ) t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'a Core_kernel.Bin_prot.Write.writer ->
  'b Core_kernel.Bin_prot.Write.writer ->
  'c Core_kernel.Bin_prot.Write.writer ->
  'd Core_kernel.Bin_prot.Write.writer ->
  ( 'a, 'b, 'c, 'd ) t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b Core_kernel.Bin_prot.Type_class.writer ->
  'c Core_kernel.Bin_prot.Type_class.writer ->
  'd Core_kernel.Bin_prot.Type_class.writer ->
  ( 'a, 'b, 'c, 'd ) t Core_kernel.Bin_prot.Type_class.writer

val bin_read_t : 
  'a Core_kernel.Bin_prot.Read.reader ->
  'b Core_kernel.Bin_prot.Read.reader ->
  'c Core_kernel.Bin_prot.Read.reader ->
  'd Core_kernel.Bin_prot.Read.reader ->
  ( 'a, 'b, 'c, 'd ) t Core_kernel.Bin_prot.Read.reader

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

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b Core_kernel.Bin_prot.Type_class.reader ->
  'c Core_kernel.Bin_prot.Type_class.reader ->
  'd Core_kernel.Bin_prot.Type_class.reader ->
  ( 'a, 'b, 'c, 'd ) t Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b Core_kernel.Bin_prot.Type_class.t ->
  'c Core_kernel.Bin_prot.Type_class.t ->
  'd Core_kernel.Bin_prot.Type_class.t ->
  ( 'a, 'b, 'c, 'd ) t Core_kernel.Bin_prot.Type_class.t

val __versioned__ : unit

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

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