summaryrefslogtreecommitdiff
path: root/tests/fstar/array/Array.Clauses.Template.fst
diff options
context:
space:
mode:
authorSon Ho2023-11-09 11:22:39 +0100
committerSon Ho2023-11-09 11:22:39 +0100
commiteb9ff46c69b9a95c453d64eee059916130d59846 (patch)
treed66fdbdf8727731459498d3e05f155ce6c971354 /tests/fstar/array/Array.Clauses.Template.fst
parent9df1d191cfaf929b755e9d26d55811531acd939d (diff)
Regenerate some Lean tests
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions