ordInt top-level property

Ord<int> ordInt
final

Implementation

final Ord<int> ordInt = IntegerOrd();