@[irreducible]

def Subarray.mergeSort {α : Type u_1} (xs : Subarray α) (le : α → α → Bool := by exact (· ≤ ·)) : Array α

Equations

• One or more equations did not get rendered due to their size.

@[inline]

def Array.mergeSort {α : Type u_1} (xs : Array α) (le : α → α → Bool := by exact (· ≤ ·)) : Array α

Equations

• xs.mergeSort le = (Std.Rii.Sliceable.mkSlice xs *...*).mergeSort le