Module Protocol_state.Poly

module Stable : sig ... end
type ('state_hash, 'body) t = ( 'state_hash, 'body ) Stable.Latest.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
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