def unique.keys.fin

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

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

import Base

848def unique.keys.fin(r: Val & Bool & List<&2, List<&2, U32>>) -> Val & Bool:
849  (v, ok, keys) = r
850  (v, Bool.and(ok, unique.check(keys)))

Uses (8)

Used by (1)

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