def sorted.go

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

import Base

138def sorted.go(~K: Data, ~cmp: K -> K -> Cmp, xs: List<&2, K>, +prev: K) -> Bool:
139  match xs:
140    case Nil{}:
141      True{}
142    case Con{+h, t}:
143      Cmp.is_lt(cmp(prev, h)) && sorted.go(~K, ~cmp, t, h)