Skip to content
Snippets Groups Projects

Remove type scope from forall notation

Merged Tej Chajed requested to merge tchajed/stdpp:fix-forall-scope into master
Loading