def sorted

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

import bend-kit-collections@0.1.4.1/LAWS.bend as LAWS

import Base

145def sorted(~K: Data, ~cmp: K -> K -> Cmp, xs: List<&2, K>) -> Bool:
146  match xs:
147    case Nil{}:
148      True{}
149    case Con{+h, t}:
150      sorted.go(~K, ~cmp, t, h)

Uses (4)

Used by (4)