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

Find file Blame History Permalink

automatically generate projection functions for the named · e0230d0e
Andrei Paskevich authored Jun 29, 2010
```
constructor parameters : mainly useful for records, see 
examples/programs/vacid_0_sparse_array
```
e0230d0e