Bind.plan.skip: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 426-454 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=426&end_line=454

import Base

# the mode the rest is read in after a head that means nothing in this mode
def plan.skip(mode: Mode) -> Mode:
  match mode:
    case MBlock{}:
      MStop{}
    case MCtors{}:
      MStop{}
    case MCtor{}:
      MSig{}
    case MHead{}:
      MHead{}
    case MName{}:
      MSig{}
    case MSig{}:
      MTerm{}
    case MTele{kind}:
      MTele{kind}
    case MTeleType{kind}:
      MTeleType{kind}
    case MLhs{outer, kind}:
      MLhs{outer, kind}
    case MLhsType{outer}:
      MLhsType{outer}
    case MTerm{}:
      MTerm{}
    case MSkip{next}:
      next
    case MStop{}:
      MStop{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Mode