summaryrefslogtreecommitdiff
path: root/tests/fstar/betree_back_stateful/BetreeMain.Clauses.fst
diff options
context:
space:
mode:
authorSon Ho2023-09-18 13:52:52 +0200
committerSon Ho2023-09-18 13:52:52 +0200
commit685391d3faa78d75f8d4bbded9cba12acbba5fcd (patch)
tree6716f5a7e12f2f3a8c3c77d457dc7b36a931c236 /tests/fstar/betree_back_stateful/BetreeMain.Clauses.fst
parent985277c435feaafcdb034cd51ff113d67b9304a6 (diff)
Add notations for the Isize.ofInt, etc.
Diffstat (limited to 'tests/fstar/betree_back_stateful/BetreeMain.Clauses.fst')
0 files changed, 0 insertions, 0 deletions