Module Ledger_proof.For_tests

val mk_dummy_proof : Transaction_snark.Statement.t -> t