src/transform/libencoding.ml · 5e1168b35f7f5c96c96ea02c133d758e3a22a22f · Why3 / why3 · GitLab

Find file Blame History Permalink

Libencoding: reuse type constants that replace type variables in goals · 5e1168b3
Andrei Paskevich authored Nov 03, 2013
```
Sharing is caring, right?
```
5e1168b3