diff options
| author | Hugo Herbelin | 2018-07-24 08:38:45 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-07-24 08:38:45 +0200 |
| commit | 89a325e9aa761f343f25ed55f3d85f0d5c7f9cfd (patch) | |
| tree | c221c712be1ad50bf576131d9110cfe66269f108 /kernel/nativevalues.ml | |
| parent | 32415df7e24d4d79a00fae95a5f619980b006c61 (diff) | |
| parent | 84c1ed18d204f9ca478cf2cd26b0e5e9648e5b87 (diff) | |
Merge PR #6597: Binary, Octal, and Hex conversions between [positive], [Z], [N], [nat] and [string]
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions