def unique.sorted

bend-kit-json@0.7.0.0 · json.bend:787

import bend-kit-json@0.7.0.0/json.bend as Json

import Base

787def unique.sorted(xs: List<&2, List<&2, U32>>) -> Bool:
788  match xs:
789    case Nil{}:
790      True{}
791    case +x <> t:
792      unique.distinct(t, x)

Uses (4)

Used by (1)

bend-kit-json@0.7.0.0/json:unique.check