V1 (mina_state.Mina_state.Protocol

type ('state_hash, 'body) t =
  ( 'state_hash, 'body ) Mina_wire_types.Mina_state.Protocol_state.Poly.V1.t =
  {

previous_state_hash : 'state_hash;

body : 'body;

}

val compare : 
  ( 'state_hash -> 'state_hash -> Ppx_deriving_runtime.int ) ->
  ( 'body -> 'body -> Ppx_deriving_runtime.int ) ->
  ( 'state_hash, 'body ) t ->
  ( 'state_hash, 'body ) t ->
  Ppx_deriving_runtime.int

val to_yojson : 
  ( 'state_hash -> Yojson.Safe.t ) ->
  ( 'body -> Yojson.Safe.t ) ->
  ( 'state_hash, 'body ) t ->
  Yojson.Safe.t

include Core_kernel.Bin_prot.Binable.S2
  with type ('state_hash, 'body) t := ( 'state_hash, 'body ) t

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

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

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

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

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

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

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

val bin_t : ( 'a, 'b, ( 'a, 'b ) t ) Bin_prot.Type_class.S2.t

val __versioned__ : unit

val equal : 
  ( 'state_hash -> 'state_hash -> bool ) ->
  ( 'body -> 'body -> bool ) ->
  ( 'state_hash, 'body ) t ->
  ( 'state_hash, 'body ) t ->
  bool

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state -> 'state_hash -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'body -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'state_hash, 'body ) t ->
  Ppx_hash_lib.Std.Hash.state

include Ppx_sexp_conv_lib.Sexpable.S2
  with type ('state_hash, 'body) t := ( 'state_hash, 'body ) t

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

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