Documentation

Batteries.Data.NameSet

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.

      Equations
        Instances For