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

import Base

# a closing bracket at the depth: the take's own at depth zero, else one
# bracket the argument opened
def skip.close(dd: Nat) -> Skip:
  match dd:
    case 0n:
      SClose{}
    case 1n+p:
      SGo{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