law heap_sort

bend-kit-collections@0.1.4.1 · LAWS.bend:436

import Base
import bend-kit-collections@0.1.4.1/heap.bend as H

436law heap_sort:
437  {H.Heap.sort(~U32, ~U32.is_le, [3, 1, 4, 1, 5]) == [1, 1, 3, 4, 5] : List<&2, U32>}