Http.Skip: type of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/http.bend as Http
Lines 1490-1495 of emerging-ezhttp@0.21.0.0/src/http.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/http.bend&start_line=1490&end_line=1495

import Base

# bytes of UTF-8 walked off the front of a string: all of it, with this many
# still owed, or a stop at the first character that does not fit in what was
# left, with what was left and the text from that character on
type Skip is Data:
  Short{owed: Nat}
  Over{left: Nat, rest: 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