summaryrefslogtreecommitdiff
path: root/backends/lean/Base/IList
ModeNameSize
-rw-r--r--IList.lean18427logplain