diff options
| author | Yao Li | 2018-04-11 23:21:16 -0400 |
|---|---|---|
| committer | Yao Li | 2018-11-22 17:52:19 -0500 |
| commit | 408dbcd87d49f4ced433e0dccc7f505ce9194c86 (patch) | |
| tree | e864d34096ce4a79f9f9635d2a0bdbfea17e24e4 /kernel/type_errors.mli | |
| parent | 8fb01564fba587142c2471708ff18219f1c64903 (diff) | |
The usual order of strings.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions