Transaction_snark_work.Checked
type nonrec t = t = {
fee : Currency.Fee.t;
proofs : Ledger_proof.t One_or_two.t;
prover : Signature_lib.Public_key.Compressed.t;
}
val to_yojson : t -> Yojson.Safe.t
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 compare : t -> t -> int
module Stable : module type of Stable
val create_unsafe : unchecked -> t
val statement : t -> Statement.t