/tests/lean/Hashmap/

• ../
• Funs.lean
• Properties.lean
• Types.lean