summaryrefslogtreecommitdiff
path: root/backends/lean/Base
diff options
context:
space:
mode:
authorEscherichia2024-03-26 17:00:47 +0100
committerEscherichia2024-03-28 15:33:57 +0100
commitc47e349dedaaf0e3161869740ea769332ffd24ca (patch)
treebb7b51b5b5cc37f331198c9c5f1f5dab8c4f17e2 /backends/lean/Base
parent7a304e990d80dc052f63f66401544040fa0f2728 (diff)
changes to extract_ty and related functions to use the right meta
Diffstat (limited to 'backends/lean/Base')
0 files changed, 0 insertions, 0 deletions