Set of pointers. It is a low-level auxiliary datastructure used for traversing DAGs.
Instances For
@[inline, reducible]
Instances For
@[inline, reducible]
Lean.Util.PtrSet
Set of pointers. It is a low-level auxiliary datastructure used for traversing DAGs.