Datatype unrolling adds support for: - First-class functions in ADTs - ADTs with invariants - ADTs with fields that are not most general type
Datatype unrolling adds support for:
- First-class functions in ADTs
- ADTs with invariants
- ADTs with fields that are not most general type

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless