diff options
| author | Erik Martin-Dorel | 2019-04-03 01:07:11 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-23 20:22:31 +0200 |
| commit | 6835590f6e0a8e96719c7f37ef6f8bb789bd349b (patch) | |
| tree | 06e47d72e9a80b0e1810620b5e2f75cf83adb71d /kernel/nativelambda.mli | |
| parent | 96513a4a8bb361aee6034b1f76127acaf613415a (diff) | |
[ssr] Add small output test for "under eq_G => m do rewrite subnn"
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions