Compare two Key
s. The ordering is total but otherwise arbitrary. (It uses
Name.quickCmp
internally.)
Equations
Instances For
@[inline]
Merge two DiscrTree
s. Duplicate values are preserved.
Compare two Key
s. The ordering is total but otherwise arbitrary. (It uses
Name.quickCmp
internally.)
Merge two DiscrTree
s. Duplicate values are preserved.