diff options
| author | Jonathan Protzenko | 2023-02-02 23:49:23 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | f09eabd7c0fce7c20a0124749c841cbf5b550c52 (patch) | |
| tree | bbc761ab3d205981d5da598d5325cc9f4b9d8f4c /tests/fstar/betree/BetreeMain.Opaque.fsti | |
| parent | 40e7df701d246faa453003374206014606ca6b6d (diff) | |
All of the generated code is syntactically correct
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions