src/parser/typing.ml · b12615b808d33bf330ed2ae0a1cabc46d55bbcec · Why3 / why3 · GitLab

Find file Blame History Permalink

- accept metas in theories (see algebra.why) and drivers · b12615b8
Andrei Paskevich authored Jul 09, 2010
```
- bring driver syntax closer to that of theories
- some simple API improvements
```
b12615b8