summaryrefslogtreecommitdiff
path: root/tests/fstar/betree/Primitives.fst
diff options
context:
space:
mode:
authorSon Ho2024-04-04 15:29:11 +0200
committerSon Ho2024-04-04 15:30:05 +0200
commitfc0b39c4fe48fdbab06d5fd32e0a2b7dcae674e6 (patch)
treed91a1e767d99c25d903a50e6c1af98784151b6cc /tests/fstar/betree/Primitives.fst
parentb4f5719a10427dfc168f1210b05397599e761f9a (diff)
Fix the coerce notation for scalars and update some lemmas
Diffstat (limited to 'tests/fstar/betree/Primitives.fst')
0 files changed, 0 insertions, 0 deletions