diff options
| author | Olivier Laurent | 2019-11-26 19:43:42 +0100 |
|---|---|---|
| committer | Olivier Laurent | 2019-12-06 14:34:30 +0100 |
| commit | d7ee99a2d73a83fe02d49c0faa53d12894486a78 (patch) | |
| tree | e3107062fe66d4f5863799c36835a03446cb374f /kernel/type_errors.ml | |
| parent | c4e906383824dad74083a89013b65d03ae530cc9 (diff) | |
add elt_eq_unit
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions