prove_predicate.rs 2.0 KB