summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Primitives.fst
diff options
context:
space:
mode:
authorSon Ho2023-11-27 16:17:11 +0100
committerSon Ho2023-11-27 16:17:11 +0100
commita3a3ab9723348e24f83073a52145128f34022265 (patch)
tree3a4807b26856c0c2e21f1a8a4cdf80da136c26ec /tests/fstar/traits/Primitives.fst
parent6f8f1213e056804eda4c521922cdf45f4e92a509 (diff)
Update the flake.lock
Diffstat (limited to 'tests/fstar/traits/Primitives.fst')
0 files changed, 0 insertions, 0 deletions