summaryrefslogtreecommitdiff
path: root/Test/dafny0/TypeInstantiations.dfy
Commit message (Collapse)AuthorAge
* Support for type synonyms in refinementsGravatar Rustan Leino2014-07-14
Started allowing arbitrary types to have type parameters