src/core/task.mli · babd2215375204024729e5ea3499cb42a1094456 · Why3 / why3 · GitLab

Mentions légales du service

Mar 29, 2010
ea1e0bec
- separate Theory.tdecl and Task.tdecl and make both private · ea1e0bec
Andrei Paskevich authored Mar 29, 2010
```
- provide several helper functions in Task
- Pretty.print_named_task will also print Use and Clone decls
```
ea1e0bec
- separate Theory.tdecl and Task.tdecl and make both private
Andrei Paskevich authored Mar 29, 2010
```
- provide several helper functions in Task
- Pretty.print_named_task will also print Use and Clone decls
```