- value : α
Instances For
Set of pointers. It is a low-level auxiliary datastructure used for traversing DAGs.
@[reducible, inline]
@[reducible, inline]
Map of pointers. It is a low-level auxiliary datastructure used for traversing DAGs.
@[reducible, inline]
unsafe abbrev
Lean.PtrMap.insert
{α β : Type}
(s : Lean.PtrMap α β)
(a : α)
(b : β)
:
Lean.PtrMap α β
@[reducible, inline]
@[reducible, inline]