diff options
| author | Son Ho | 2023-12-23 00:41:25 +0100 |
|---|---|---|
| committer | Son Ho | 2023-12-23 00:41:25 +0100 |
| commit | b6ef8ee33802e75409c3bd2b82e7b5ad22f1d053 (patch) | |
| tree | 8c649905852a0fe17782985c6b88300e15288450 /tests/fstar/betree/BetreeMain.FunsExternal.fsti | |
| parent | aa5e25785738a779ca5fd89191c85d6ab828c142 (diff) | |
Improve the micro passes to eliminate pattern `let f := fun x => g x`
Diffstat (limited to 'tests/fstar/betree/BetreeMain.FunsExternal.fsti')
0 files changed, 0 insertions, 0 deletions