Poly (mina_base.Mina_base.Signed_command

module Stable : sig ... end

type ('common, 'body) t = ( 'common, 'body ) Stable.Latest.t = {

common : 'common;

body : 'body;

}

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

val of_yojson : 
  ( Yojson.Safe.t -> 'common Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'body Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'common, 'body ) t Ppx_deriving_yojson_runtime.error_or

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

include Ppx_sexp_conv_lib.Sexpable.S2
  with type ('common, 'body) t := ( 'common, '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

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state -> 'common -> 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 ->
  ( 'common, 'body ) t ->
  Ppx_hash_lib.Std.Hash.state

val compare : 
  ( 'common -> 'common -> int ) ->
  ( 'body -> 'body -> int ) ->
  ( 'common, 'body ) t ->
  ( 'common, 'body ) t ->
  int

val to_hlist : 
  ( 'common, 'body ) t ->
  ( unit, 'common -> 'body -> unit ) H_list.t

val of_hlist : 
  ( unit, 'common -> 'body -> unit ) H_list.t ->
  ( 'common, 'body ) t