@[instance_reducible]

instance instOrdUnit_dY : Ord Unit

Equations

• instOrdUnit_dY = { compare := fun (x x_1 : Unit) => Ordering.eq }

instance instReflOrdUnit_dY : Std.ReflOrd Unit

instance instLawfulEqOrdUnit_dY : Std.LawfulEqOrd Unit

instance instOrientedOrdUnit_dY : Std.OrientedOrd Unit

instance instTransOrdUnit_dY : Std.TransOrd Unit