Prefix.skip.comma: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 102-108 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=102&end_line=108

import Base

# a comma at the depth: the argument's end at depth zero, else inside it
def skip.comma(dd: Nat) -> Skip:
  match dd:
    case 0n:
      SComma{}
    case 1n+p:
      SGo{1n+p}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=Skip