src/main/scala/leon/purescala/Definitions.scala · bcf8954ae4f9eaf7c3b7001859dab39db1dd5397 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
bcf8954a
Added draft for converting class definitions. · bcf8954a
Mikaël Mayer authored 9 years ago
```
Found out that replaceFunDef is incomplete (i.e. no unapply pattern replacement)
```
bcf8954a

History
Added draft for converting class definitions.
Mikaël Mayer authored 9 years ago
```
Found out that replaceFunDef is incomplete (i.e. no unapply pattern replacement)
```