summaryrefslogtreecommitdiff
path: root/tests/lean/HashmapMain.lean
blob: 1a4e7f82deb0c49ffff209c13c7cca617d7740d6 (plain)
1
import HashmapMain.Funs