src/predefSemantics.ml · 1aab41bfad182b316f309780aae3fb78ddca42a4 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

16 years ago
4b6b3659
Use a more general unification in order to be able to infer the type · 4b6b3659
Erwan Jahier authored 16 years ago
```
of "red<<if, 3>>".

Put the unification stuff in  a dedicated module, and add some random
unit tests to it.
```
4b6b3659

History
Use a more general unification in order to be able to infer the type
Erwan Jahier authored 16 years ago
```
of "red<<if, 3>>".

Put the unification stuff in  a dedicated module, and add some random
unit tests to it.
```

predefSemantics.ml 19.84 KiB