Json.unique.keys: def of bend-kit-json@0.7.0.0
Import: import bend-kit-json@0.7.0.0/json.bend as Json
Lines 852-855 of bend-kit-json@0.7.0.0/json.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-json@0.7.0.0/json.bend&start_line=852&end_line=855

import Base

# Returns the value and whether every object's decoded keys are unique.
# This predicate checks keys. Syntax and depth limits belong to the parser.
def unique.keys(v: Val) -> Val & Bool:
  unique.keys.fin(unique.go(v))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=unique.go
  https://jend.leeeet.dev/definition.txt?path=bend-kit-json@0.7.0.0/json.bend&name=unique.keys.fin