diff options
| author | Kenji Maillard | 2020-04-22 17:05:44 +0200 |
|---|---|---|
| committer | Kenji Maillard | 2020-04-22 17:05:44 +0200 |
| commit | 6803af12007d388f7bf1fe5f181ea3b6404721b5 (patch) | |
| tree | ab7eb3b47efbee8cd473b95c0f1704bde6354ede /kernel/nativecode.ml | |
| parent | 0c4775fcb48207c96752b81c76f67c17e5fd3c99 (diff) | |
Document `+` in polymorphic universe levels
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions