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

import Base

def has_kind(s: Schema, +k: JKind) -> Bool:
  match s:
    case SNat{}:
      kind_eq(KNum{}, k)
    case SNatIn{lo, hi}:
      kind_eq(KNum{}, k)
    case SInt{}:
      kind_eq(KNum{}, k)
    case SIntIn{lo, hi}:
      kind_eq(KNum{}, k)
    case SStr{}:
      kind_eq(KStr{}, k)
    case SEnum{names}:
      kind_eq(KStr{}, k)
    case SBool{}:
      kind_eq(KBool{}, k)
    case STrue{}:
      kind_eq(KBool{}, k)
    case SList{e}:
      kind_eq(KList{}, k)
    case STuple{ts, rest}:
      kind_eq(KList{}, k)
    case STEnd{}:
      kind_eq(KList{}, k)
    case SField{n, fs, rest}:
      kind_eq(KObj{}, k)
    case SEnd{}:
      kind_eq(KObj{}, k)
    case STagged{key, n, cs, rest}:
      kind_eq(KObj{}, k)
    case STagEnd{key}:
      kind_eq(KObj{}, k)
    case SVariant{n, vs, rest}:
      kind_eq(KObj{}, k)
    case SVEnd{}:
      kind_eq(KObj{}, k)
    case SJson{}:
      kind_eq(KJson{}, k)
    case SOpt{i}:
      Bool.or(kind_eq(KNull{}, k), has_kind(i, k))
    case SOptional{i}:
      Bool.or(kind_eq(KAbsent{}, k), has_kind(i, k))
    case SStrLen{lo, hi, s2}:
      has_kind(s2, k)
    case SListLen{lo, hi, s2}:
      has_kind(s2, k)
    case SRule{s2, tag}:
      has_kind(s2, k)
    case SStrict{s2}:
      has_kind(s2, k)
    case SEither{l, r}:
      Bool.or(has_kind(l, k), has_kind(r, k))

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=Bool.or
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=JKind
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Schema
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=kind_eq