ordDouble top-level property

Ord<double> ordDouble
final

Implementation

final Ord<double> ordDouble = DoubleOrd();