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
    • One or more equations did not get rendered due to their size.
    Instances For