diff options
| author | Escherichia | 2024-03-12 17:19:14 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 14:59:52 +0100 |
| commit | 8f89bd8df9f382284eabb5a2020a2fa634f92fac (patch) | |
| tree | 753f7dc3c5b2a05c4c6a8205299ad0e64f66b26a /tests/fstar/traits/Primitives.fst | |
| parent | a64fdc8b1be70de43afe35ff788ba3240318daac (diff) | |
WIP: does not compile yet because we need to propagate the meta variable.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions