summaryrefslogtreecommitdiff
path: root/backends/fstar
diff options
context:
space:
mode:
authorSon Ho2023-09-18 19:59:19 +0200
committerSon Ho2023-09-18 19:59:19 +0200
commit92887b89e35607e99bae2f19e4c5b2f162683d02 (patch)
treef2547abe4f19a8474dd8af07e8e69369064fd41a /backends/fstar
parent0eb62047b052cb4fbf842525170dd916679e8b7e (diff)
Prove that Vec is inhabited
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions