Work.Result
type t = ( Spec.t, Ledger_proof.t ) Snark_work_lib.Work.Result.t
val transactions : t -> Mina_transaction.Transaction.t option One_or_two.Stable.V1.t