Simplify forSome statements into wildcard existentials (fix #471)#483
Open
wiwa wants to merge 1 commit intotwitter:masterfrom
Open
Simplify forSome statements into wildcard existentials (fix #471)#483wiwa wants to merge 1 commit intotwitter:masterfrom
wiwa wants to merge 1 commit intotwitter:masterfrom
Commits
Commits on Oct 1, 2019
- committed
Win Wang