src/transform/libencoding.ml · 1501f43a33122e29411fc4210818a1df941fecbe · Why3 / why3 · GitLab

Find file Blame History Permalink

make term traversal functions take one fnT function · 1501f43a
Andrei Paskevich authored May 16, 2011
```
move old fnT+fnF versions of t_map, t_fold, etc. to a submodule
```
1501f43a