/tests/lean/misc/loops/Loops/

• ../
• Clauses
• Funs.lean
• Types.lean