summaryrefslogtreecommitdiff
path: root/tests/lean/Hashmap/Funs.lean
diff options
context:
space:
mode:
authorSon Ho2023-09-17 03:17:51 +0200
committerSon Ho2023-09-17 03:17:51 +0200
commitf2928eaa854688b679f7e504c036866ee7664fe5 (patch)
treee69e64c6c865400e11c235ad0ebd13906a704977 /tests/lean/Hashmap/Funs.lean
parent245a19a962c2fbd546c90c4ff16767a03af591e9 (diff)
Update the handling of calls to trait impl methods
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions