diff options
| author | Escherichia | 2024-03-26 17:00:47 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 15:33:57 +0100 |
| commit | c47e349dedaaf0e3161869740ea769332ffd24ca (patch) | |
| tree | bb7b51b5b5cc37f331198c9c5f1f5dab8c4f17e2 /tests/lean/lean-toolchain | |
| parent | 7a304e990d80dc052f63f66401544040fa0f2728 (diff) | |
changes to extract_ty and related functions to use the right meta
Diffstat (limited to 'tests/lean/lean-toolchain')
0 files changed, 0 insertions, 0 deletions