Core.Schema: type of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 100-125 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=100&end_line=125

import Base

type Schema is Data:
  SNat{}
  SNatIn{lo: Nat, hi: Nat}
  SStr{}
  SStrLen{lo: Nat, hi: Nat, s: Schema}
  SOpt{inner: Schema}
  SList{elem: Schema}
  SField{name: String, s: Schema, rest: Schema}
  SEnd{}
  SRule{s: Schema, tag: Nat}
  SStrict{s: Schema}
  STagged{key: String, name: String, s: Schema, rest: Schema}
  STagEnd{key: String}
  SBool{}
  STrue{}
  SEnum{names: List<&2, String>}
  SVariant{name: String, s: Schema, rest: Schema}
  SVEnd{}
  STuple{s: Schema, rest: Schema}
  STEnd{}
  SOptional{inner: Schema}
  SListLen{lo: Nat, hi: Nat, s: Schema}
  SJson{}
  SInt{}
  SIntIn{lo: Int, hi: Int}
  SEither{l: Schema, r: Schema}

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=Nat
  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=Int