summaryrefslogtreecommitdiff
path: root/tests/lean/Betree
diff options
context:
space:
mode:
authorSon Ho2024-05-29 01:00:38 +0200
committerSon Ho2024-05-29 01:00:38 +0200
commit5330a6f728add1525854ad4cedd86b8e1d3a1fa7 (patch)
tree674356fb329c7646460db6f8d0bdd2798f0f662e /tests/lean/Betree
parentb5eac0384818e1f51fbfd900ab580514e851b0ca (diff)
Factor out code in ExtractBuiltin.ml
Diffstat (limited to 'tests/lean/Betree')
0 files changed, 0 insertions, 0 deletions