Core.is_keyed: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 1805-1820 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=1805&end_line=1820

import Base

# A record chain (ending in SEnd) or a variant chain (ending in SVEnd): what
# SStrict may wrap, so every key its encoding writes is a declared name.
# A chain of keys (SField or SVariant links, ending in SEnd or SVEnd): what
# SStrict may wrap, so every key its encoding writes is a name it declares.
def is_keyed(s: Schema) -> Bool:
  match s:
    case SField{n, fs, rest}:
      is_keyed(rest)
    case SEnd{}:
      True{}
    case SVariant{n, vs, rest}:
      is_keyed(rest)
    case SVEnd{}:
      True{}
    case _:
      False{}

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