summaryrefslogtreecommitdiff
path: root/tests/fstar-split/betree
diff options
context:
space:
mode:
authorSon Ho2024-03-08 09:22:08 +0100
committerSon Ho2024-03-08 09:22:08 +0100
commit41d6f78a0ad6bd272164894bead3258b2001ec0c (patch)
tree741881f6bcb3fbed897b93e6c6dbcae6ee0fab2f /tests/fstar-split/betree
parentb6f63f106baef03dd61f1100bd46c9bad7cb79e4 (diff)
Update the tuples notations
Diffstat (limited to 'tests/fstar-split/betree')
0 files changed, 0 insertions, 0 deletions