Common (mina_base.Mina_base.Signed_command

module Poly : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t

val compare : t -> t -> int

val equal : t -> t -> bool

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

val to_input_legacy : 
  t ->
  ( Snark_params.Tick.Field.t, bool ) Random_oracle.Input.Legacy.t

val gen : t Core_kernel.Quickcheck.Generator.t

type var =
  ( Currency.Fee.var,
    Mina_base_import.Public_key.Compressed.var,
    Mina_numbers.Account_nonce.Checked.t,
    Mina_numbers.Global_slot.Checked.t,
    Signed_command_memo.Checked.t )
    Poly.t

val typ : ( var, t ) Snark_params.Tick.Typ.t

module Checked : sig ... end