summaryrefslogtreecommitdiff
path: root/tests/coq/betree/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-03-07 23:31:57 +0100
committerSon HO2023-06-04 21:44:33 +0200
commitfa76f1b94e1f68d520b02c0dc1072cb73fa9d8be (patch)
tree6d301b14dc1909beff34691796c4abae88490408 /tests/coq/betree/_CoqProject
parenta946df8b716695f4d387d852b7e74cf288ddb03e (diff)
Add a special expression for structure creation/update
Diffstat (limited to 'tests/coq/betree/_CoqProject')
0 files changed, 0 insertions, 0 deletions