def Heap.sort

bend-kit-collections@0.1.4.1 · heap.bend:102

import Base

102# heapsort
103def Heap.sort(~A: Data, ~le: A -> A -> Bool, xs: List<&2, A>) -> List<&2, A>:
104  Heap.to_list(~A, ~le, Heap.from_list(~A, ~le, xs))