Prefix.Skip: type of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 90-96 of bolt@1.27.0.0/src/rules/suspicious/prefix.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&start_line=90&end_line=96

import Base

# where the scan of a take's first argument stands: inside it at a depth of
# brackets it opened, just past the comma that ends it, or at the bracket
# that closes the take before any such comma
type Skip is Data:
  SGo{depth: Nat}
  SComma{}
  SClose{}

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