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

import Base

# A step of a path. Positions count what was passed on the way, so that
# following a path never compares two names: AtIndex{i} is element i of a
# list, AtField{skip, name} the field `skip` places after this one in the
# schema, BoundAt{i, key} the bound of element i of a bounded list. The names
# are for the host to print.
type Step is Data:
  AtIndex{i: Nat}
  AtField{skip: Nat, name: String}
  BoundAt{i: Nat, key: String}
  AtKey{key: String}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String