diff options
| author | Vincent Laporte | 2018-09-11 17:18:45 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2018-09-18 06:51:28 +0000 |
| commit | f5e33af81f56253ba777cde96831ef23f25addba (patch) | |
| tree | 2c69b1471cfca69646d36f8faa4bc4795f90d4d4 /kernel/nativecode.ml | |
| parent | f1482433ff225831d9937753f946cff2577b9309 (diff) | |
Zify: replace local definitions by equations
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions