Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/expose-array-back
/
.
/
tests
/
compile
/
phashmap3.lean.out.expected
blob: 9d39d4f30e14142f2d5ccfceee898d0f253f1145 [
file
] [
edit
]
{
nodes
:=
7
,
null
:=
185
,
collisions
:=
3
,
depth
:=
7
}
{
nodes
:=
1
,
null
:=
31
,
collisions
:=
0
,
depth
:=
1
}