diff options
| author | Hugo Herbelin | 2018-10-22 22:38:21 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-06-22 17:44:13 +0200 |
| commit | 9dc1f1fd48484b00d67871b6869a4c0c48e26f26 (patch) | |
| tree | ff8c8b9895aac529bd248b122013ef88cfee7f7e /kernel/type_errors.ml | |
| parent | b34680b8d23025ba083854800438bf0e7b092de2 (diff) | |
Elementary properties about IZR for generic use.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions