diff options
| author | Son Ho | 2024-06-03 12:52:04 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-03 12:52:04 +0200 |
| commit | 9aa328a70011d2784a943830bffabc600caba4ab (patch) | |
| tree | 999a71525576b91d254e59368f3e6a437160c196 /tests/fstar/betree/BetreeMain.FunsExternal.fsti | |
| parent | 18623d7ee894a8e21bca9ef58fb4087cb4be558b (diff) | |
Cleanup a bit
Diffstat (limited to 'tests/fstar/betree/BetreeMain.FunsExternal.fsti')
0 files changed, 0 insertions, 0 deletions