diff options
| author | Son Ho | 2023-10-26 14:50:57 +0200 |
|---|---|---|
| committer | Son Ho | 2023-10-26 14:50:57 +0200 |
| commit | 76e7a6e4c4ead2e48bc56118b38347b59f4f30db (patch) | |
| tree | 6123a2aa9f354a184fdc0a1bc44ed1c5dbf9141a /tests/fstar/betree_back_stateful/BetreeMain.Opaque.fsti | |
| parent | bfafe1f4d1cb69c9b921a77c7193c92b45cc21df (diff) | |
Regenerate the betree example for Lean
Diffstat (limited to 'tests/fstar/betree_back_stateful/BetreeMain.Opaque.fsti')
0 files changed, 0 insertions, 0 deletions