diff options
author | Son Ho | 2023-09-17 05:15:18 +0200 |
---|---|---|
committer | Son Ho | 2023-09-17 05:15:18 +0200 |
commit | 47bc2ba74c90c1a29a081b8950022f74408f037e (patch) | |
tree | f33aa9ec176637c6311686360ce113a186272078 /tests/lean/Hashmap/Funs.lean | |
parent | 296f97bb6a768ffd85f35db2762f2db4f7a357ad (diff) |
Merge trans_ctx and decls_ctx
Diffstat (limited to 'tests/lean/Hashmap/Funs.lean')
0 files changed, 0 insertions, 0 deletions