law sort_sorted

bend-lawful-stdlib@0.1.0.0 · src/sorted.bend:131

import Base
import bend-lawful-stdlib@0.1.0.0/src/class.bend as C

131# sort's output is sorted.
132law sort_sorted:
133  for ~A: Data
134  for ~o: C.Ord<A>
135  for xs: List<&2, A>
136  Sorted(~A, ~o, sort(~A, ~o, xs))