src/main/scala/leon/synthesis/rules/StringRender.scala · db92b5557a706b716f95c982b1b7fc408ac95429 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
db92b555
StringRender now considers pretty functions in scope and use them by default. · db92b555
Mikaël Mayer authored 9 years ago
```
Started also to tolerate higher-order functions as pretty-printer if their signature match.
```
db92b555

History
StringRender now considers pretty functions in scope and use them by default.
Mikaël Mayer authored 9 years ago
```
Started also to tolerate higher-order functions as pretty-printer if their signature match.
```

StringRender.scala 28.32 KiB