prove_predicate.rs 1.5 KB