Text.hdata.keys: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/text.bend as Text
Lines 211-216 of cswap-bend-cli@0.1.0.0/usage/text.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/text.bend&start_line=211&end_line=216

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

def hdata.keys(ks: List<&2, String>, j: Json.Json) -> Maybe<&2, Json.Json>:
  match ks:
    case Nil{}:
      None{}
    case Con{h, t}:
      Some{j}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json