diff options
| author | SimonBoulier | 2020-01-08 10:20:20 +0100 |
|---|---|---|
| committer | SimonBoulier | 2020-01-08 10:20:20 +0100 |
| commit | 9cbd740cd7e8936a9411528fc5dd4d5ddb0d3c1d (patch) | |
| tree | 514fff0539a5d9aa291fe88889d5e13c21cdba62 /kernel/nativevalues.ml | |
| parent | bb22f188b46527fb5829562edc946b743b326309 (diff) | |
Trailing implicit: Maxime's suggestions
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions