Documentation

Init.Data.UInt.Package

source
@[instance_reducible]
instance instLinearOrderPackageUInt8 :
Std.LinearOrderPackage UInt8
Equations
  • One or more equations did not get rendered due to their size.
source
@[instance_reducible]
instance instLinearOrderPackageUInt16 :
Std.LinearOrderPackage UInt16
Equations
  • One or more equations did not get rendered due to their size.
source
@[instance_reducible]
instance instLinearOrderPackageUInt32 :
Std.LinearOrderPackage UInt32
Equations
  • One or more equations did not get rendered due to their size.
source
@[instance_reducible]
instance instLinearOrderPackageUInt64 :
Std.LinearOrderPackage UInt64
Equations
  • One or more equations did not get rendered due to their size.
source
@[instance_reducible]
instance instLinearOrderPackageUSize :
Std.LinearOrderPackage USize
Equations
  • One or more equations did not get rendered due to their size.