Documentation
Init
.
Data
.
Nat
.
Package
Search
return to top
source
Imports
Init.Data.Nat.Compare
Init.Data.Nat.Order
Init.Data.Order.PackageFactories
Imported by
Nat
.
instLawfulOrderBEq
source
instance
Nat
.
instLawfulOrderBEq
:
Std.LawfulOrderBEq
Nat