Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/doc-dev-test
/
.
/
tests
/
compiler
/
phashmap.lean.expected.out
blob: 622f1b9b0c0d1fcc98e43043795830c8cadd4269 [
file
] [
edit
]
{
nodes
:=
1057
,
null
:=
27768
,
collisions
:=
0
,
depth
:=
3
}
{
nodes
:=
529
,
null
:=
13900
,
collisions
:=
0
,
depth
:=
3
}
50
{
nodes
:=
17
,
null
:=
478
,
collisions
:=
0
,
depth
:=
2
}
5
{
nodes
:=
1
,
null
:=
27
,
collisions
:=
0
,
depth
:=
1
}