Pull.skip: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
Lines 1642-1647 of emerging-ezjson@1.3.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&start_line=1642&end_line=1647

import Base

# drop the next value: one scalar, or one array or object with everything
# inside it. The cursor is left where that value ended. A string with no
# escapes is not copied; a string being skipped is not decoded into a buffer
def skip(cur: Cur) -> Cur:
  Cur{rest, stack, done, bad} = cur
  skip.open(rest, stack, done, bad)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=Cur
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/pull.bend&name=skip.open