Documentation

Batteries.Lean.Meta.DiscrTree

Compare two Keys. The ordering is total but otherwise arbitrary. (It uses Name.quickCmp internally.)

Equations
    Instances For

      Merge two Tries. Duplicate values are preserved.

      @[inline]

      Merge two DiscrTrees. Duplicate values are preserved.

      Equations
        Instances For