src/main/scala/leon/purescala/Expressions.scala · 741fbbe1be860ff1fb792f2308ca583ae5a0a71a · LARA / inox

9 years ago

Nicolas Voirol authored 9 years ago

- First-class functions in ADTs
- ADTs with invariants
- ADTs with fields that are not most general type

741fbbe1

Nicolas Voirol authored 9 years ago

- First-class functions in ADTs
- ADTs with invariants
- ADTs with fields that are not most general type