diff options
| author | Pierre Roux | 2020-12-02 16:32:34 +0100 |
|---|---|---|
| committer | Pierre Roux | 2020-12-02 16:32:34 +0100 |
| commit | fcfa0075082136098841d1a95dfc43552b54d27c (patch) | |
| tree | 22fd90c83a6970ebf4ad325becff776bfc736ce7 /kernel/type_errors.ml | |
| parent | ad8cf0108e628710128e5a6e266b72895eed98b9 (diff) | |
Document Number Notation for primitive integers
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions