Poly (mina_base.Mina_base.User

module Stable : sig ... end

type ('u, 's) t = ( 'u, 's ) Stable.Latest.t =

| Signed_command of 'u

| Zkapp_command of 's

val to_yojson : 
  'u 's. ( 'u -> Yojson.Safe.t ) ->
  ( 's -> Yojson.Safe.t ) ->
  ( 'u, 's ) t ->
  Yojson.Safe.t

val of_yojson : 
  'u 's. ( Yojson.Safe.t -> 'u Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 's Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'u, 's ) t Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'a, 'b ) t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : 
  'u 's. ( Ppx_sexp_conv_lib.Sexp.t -> 'u ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 's ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'u, 's ) t

val sexp_of_t : 
  'u 's. ( 'u -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 's -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'u, 's ) t ->
  Ppx_sexp_conv_lib.Sexp.t

val compare : 
  'u 's. ( 'u -> 'u -> int ) ->
  ( 's -> 's -> int ) ->
  ( 'u, 's ) t ->
  ( 'u, 's ) t ->
  int

val equal : 
  'u 's. ( 'u -> 'u -> bool ) ->
  ( 's -> 's -> bool ) ->
  ( 'u, 's ) t ->
  ( 'u, 's ) t ->
  bool

val hash_fold_t : 
  'u 's. ( Ppx_hash_lib.Std.Hash.state -> 'u -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 's -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'u, 's ) t ->
  Ppx_hash_lib.Std.Hash.state