~/jendhub

def distinct_keys

near-architecture@0.9.1.0 · arc.bend:337

import near-architecture@0.9.1.0/arc.bend as Arc
import Base

337# No key names two things.
338def distinct_keys(xs: List<&2, String>) -> Bool:
339  match xs:
340    case []:
341      True{}
342    case +k <> +rest:
343      Bool.not(has(k, rest)) && distinct_keys(rest)

Uses (6)

Used by (1)