@[inline]

def Array.insertionSort {α : Type u_1} (xs : Array α) (lt : α → α → Bool := by exact (· < ·)) : Array α

Sorts an array using insertion sort.

The optional parameter lt specifies an ordering predicate. It defaults to LT.lt, which must be decidable to be used for sorting.

@[specialize #[]]

def Array.insertionSort.traverse {α : Type u_1} (lt : α → α → Bool := by exact (· < ·)) (xs : Array α) (i fuel : Nat) : Array α

@[specialize #[]]

def Array.insertionSort.swapLoop {α : Type u_1} (lt : α → α → Bool := by exact (· < ·)) (xs : Array α) (j : Nat) (h : j < xs.size) : Array α