diff options
| author | Kazuhiko Sakaguchi | 2021-03-26 00:24:37 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2021-03-26 00:24:37 +0900 |
| commit | f71129454d2c4ecde10e2a2e4284d6a576ee39ca (patch) | |
| tree | cb03500d72f07d6e7f4a688e5ad99508200c724b /kernel/float64_common.ml | |
| parent | 27270870ea75e77808d8e1b4af4998c0b57255ae (diff) | |
Expose less interface in coercionops.mli
Diffstat (limited to 'kernel/float64_common.ml')
0 files changed, 0 insertions, 0 deletions