diff options
| author | Pierre-Marie Pédrot | 2020-11-21 19:43:44 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-30 18:46:50 +0100 |
| commit | bf111baffe75ebc1fc57aeb163e56a344d0632b8 (patch) | |
| tree | 2f5b284ccafe1ff6acbf67dfc55012d71a0b1156 /kernel/vmlambda.ml | |
| parent | bb97b0fef935bbd80daf944c4093a56a808fdb94 (diff) | |
Add test for this new function.
Diffstat (limited to 'kernel/vmlambda.ml')
0 files changed, 0 insertions, 0 deletions