Create a Lean.NameSet
from a List
. This operation is O(n)
in the length of the list.
Equations
Instances For
Create a Lean.NameSet
from an Array
. This operation is O(n)
in the size of the array.
Create a Lean.NameSet
from a List
. This operation is O(n)
in the length of the list.
Create a Lean.NameSet
from an Array
. This operation is O(n)
in the size of the array.