given_Order_PositiveLong
stdx.collections.PositiveLong$package.PositiveLong.given_Order_PositiveLong
object given_Order_PositiveLong extends Order[PositiveLong]
Attributes
- Graph
-
- Supertypes
- Self type
Members list
Extensions
Inherited extensions
extension (a: PositiveLong)
Attributes
- Inherited from:
- PartialOrder
Attributes
- Inherited from:
- PartialOrder
In this article