diff options
| author | Pierre Letouzey | 2017-05-23 10:18:33 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-05-23 10:18:33 +0200 |
| commit | 60ca3fb1f2724f9a6d1b2e808a94a394711b7258 (patch) | |
| tree | 02afd2b139db1c05016c7172c87a3251644db538 /kernel/type_errors.mli | |
| parent | 107ef2db28b7abc75afe32350e7c2eb3c8ddbe82 (diff) | |
Bigint.euclid: clarify which sign convention is used
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions