diff options
| author | Matthieu Sozeau | 2014-06-15 13:36:42 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-15 13:36:42 +0200 |
| commit | 0082e3c26ede3f1cabc3237f82be15d013817385 (patch) | |
| tree | d77531fa31f38e7ba38da675be4642496b475035 /kernel/nativelib.ml | |
| parent | e04ce4144522b71c0d6bf3df868b2f3586eb5d5f (diff) | |
The semantics of Variable x y : T is to have the exact same type T for x and y,
while Context gives different type to each variable, this test-suite file shows this.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions