/tests/lean/hashmap/Hashmap/Clauses/
../
Clauses.lean
Template.lean