Documentation

Init.Data.Int.Package

source
@[instance_reducible]
instance Int.instLinearOrderPackage :
Std.LinearOrderPackage Int
Equations
  • One or more equations did not get rendered due to their size.