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

import Base

def Meaning(s: Schema) -> Data:
  match s:
    case SNat{}:
      Nat
    case SNatIn{lo, hi}:
      Nat
    case SStr{}:
      String
    case SStrLen{lo, hi, s2}:
      Meaning(s2)
    case SListLen{lo, hi, s2}:
      Meaning(s2)
    case SOpt{i}:
      Maybe<&2, Meaning(i)>
    case SOptional{i}:
      Maybe<&2, Meaning(i)>
    case SList{e}:
      List<&2, Meaning(e)>
    case SField{n, fs, rest}:
      Both<Meaning(fs), Meaning(rest)>
    case SEnd{}:
      Unit
    case SRule{s2, tag}:
      Meaning(s2)
    case SStrict{s2}:
      Meaning(s2)
    case STagged{k, n, cs, rest}:
      Either<&2, &2, Meaning(cs), Meaning(rest)>
    case STagEnd{k}:
      Empty
    case SBool{}:
      Bool
    case STrue{}:
      Unit
    case SEnum{names}:
      String
    case SVariant{n, vs, rest}:
      Either<&2, &2, Meaning(vs), Meaning(rest)>
    case SVEnd{}:
      Empty
    case STuple{ts, rest}:
      Both<Meaning(ts), Meaning(rest)>
    case STEnd{}:
      Unit
    case SJson{}:
      Json
    case SInt{}:
      Int
    case SIntIn{lo, hi}:
      Int
    case SEither{l, r}:
      Either<&2, &2, Meaning(l), Meaning(r)>

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Either
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Empty
  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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Both
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Int
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Schema