diff options
| author | Tanaka Akira | 2019-01-31 15:56:59 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-01-31 15:56:59 +0900 |
| commit | dae0b322108d68c7d57837d99a4d15baf6ce5489 (patch) | |
| tree | 246a1ad7914853d6b9f30238ab21e99be75b2565 /kernel/nativelambda.mli | |
| parent | b090f65cf35e45596c10a7513bb3e8058069e4fd (diff) | |
Make "1" and "n" in "u1" and "un" suffixes.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions