Revision 3d1f9d9f
Added by Lélio Brun over 3 years ago
| src/spec_types.mli | ||
|---|---|---|
| 5 | 5 |
|
| 6 | 6 |
type 'a expression_t = |
| 7 | 7 |
| Val of 'a |
| 8 |
| Tag of ident |
|
| 8 |
| Tag of ident * Types.t
|
|
| 9 | 9 |
| Var of var_decl |
| 10 | 10 |
| Memory of register_t |
| 11 | 11 |
|
Also available in: Unified diff
more agressive optim propagation in spec in order to remove unecessarry existential variables that were eliminated (helps the solvers)