diff options
| author | Jim Fehrle | 2021-01-01 11:06:37 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2021-01-06 13:13:47 -0800 |
| commit | 36aca7f0fa7da700325c9bd99fbef5a6aafea4e7 (patch) | |
| tree | ec6d46790fe5adb2c5d8c66c6b3c23ee938656f7 /kernel/nativelambda.mli | |
| parent | 039f04c2caf7c8da380ca8d582e9edae3e6d5c06 (diff) | |
Improve description of rewrite_strat/innermost and outermost
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions