diff options
| author | Hugo Herbelin | 2018-10-10 14:26:12 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-10-11 23:07:42 +0200 |
| commit | c4d3daaeb75a746b2a2717d2aaf21a65ebcc7775 (patch) | |
| tree | 3b7dc2a932601138a2871354a69a000474ef0f29 /kernel/environ.ml | |
| parent | 27fd525445e8ab37e67eebfb2bca1963e33c7f64 (diff) | |
Adding a functional version of constant_of_delta_kn.
Diffstat (limited to 'kernel/environ.ml')
0 files changed, 0 insertions, 0 deletions