summaryrefslogtreecommitdiff
path: root/tests/lean/Hashmap.lean
blob: 4163020519c2d4a3436f4795e945b07395826364 (plain)
1
import Hashmap.Funs