convert higher ranked Predicates to PredicateKind::ForAll#73503
Merged
bors merged 28 commits intorust-lang:masterfrom Jul 27, 2020
Merged
convert higher ranked Predicates to PredicateKind::ForAll#73503bors merged 28 commits intorust-lang:masterfrom
Predicates to PredicateKind::ForAll#73503bors merged 28 commits intorust-lang:masterfrom
Commits
Commits on Jul 27, 2020
- committed
- committed
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
