Transaction_snark_scan_state.Ledger_proof_with_sok_message
type t = Ledger_proof.t * Mina_base.Sok_message.t