Transaction_snark_work (transaction_snark_work.Transaction_snark

module Statement : sig ... end

module Info : sig ... end

type t = Mina_wire_types.Transaction_snark_work.V2.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

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val compare : t -> t -> int

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 fee : t -> Currency.Fee.t

val info : t -> Info.t

val statement : t -> Statement.t

module Stable : sig ... end

type unchecked = t

module Checked : sig ... end

val forget : Checked.t -> t