diff options
| author | Guillaume Melquiond | 2020-08-31 08:55:28 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2020-10-08 11:22:24 +0200 |
| commit | c3cfb3c26241c374545380f08aa4345eb553000e (patch) | |
| tree | 6962bd3aba332715f49dcd64baa0f0956b98332f /kernel/type_errors.ml | |
| parent | e3764e1e857fce9b6d4cb018db676db3612c00a0 (diff) | |
Check complexity of primitive arrays.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions