summaryrefslogtreecommitdiff
path: root/tests/fstar/traits/Primitives.fst
diff options
context:
space:
mode:
authorSon Ho2024-05-24 16:50:25 +0200
committerSon Ho2024-05-24 16:50:25 +0200
commit169af47945f013e61b14d67e7ebdc9c03636c5a2 (patch)
tree58f0a2de653f57a986bb5e5f26453a1fbdf0ef17 /tests/fstar/traits/Primitives.fst
parent3b4139de5b9bcf5f43213330652ad01383e975d3 (diff)
Update an .opam file
Diffstat (limited to 'tests/fstar/traits/Primitives.fst')
0 files changed, 0 insertions, 0 deletions