Core.key_names: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 254-265 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=254&end_line=265

import Base

# ---- a strict object: its keys ----
#
# The names a record or variant chain declares. SStrict refuses a key that is
# not one of them; wf asks that SStrict wrap such a chain.
def key_names(s: Schema) -> List<&2, String>:
  match s:
    case SField{n, fs, rest}:
      n <> key_names(rest)
    case SVariant{n, vs, rest}:
      n <> key_names(rest)
    case _:
      Nil{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Schema