summaryrefslogtreecommitdiff
path: root/tests/fstar/arrays/Arrays.Funs.fst
diff options
context:
space:
mode:
authorEscherichia2024-03-12 17:19:14 +0100
committerEscherichia2024-03-28 14:59:52 +0100
commit8f89bd8df9f382284eabb5a2020a2fa634f92fac (patch)
tree753f7dc3c5b2a05c4c6a8205299ad0e64f66b26a /tests/fstar/arrays/Arrays.Funs.fst
parenta64fdc8b1be70de43afe35ff788ba3240318daac (diff)
WIP: does not compile yet because we need to propagate the meta variable.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions