Digest.next_line: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/digest.bend as Digest
Lines 191-200 of bolt@1.27.0.0/src/rules/digest.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/digest.bend&start_line=191&end_line=200

import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline

# the line of the next item that ends an item's lines: any but a constructor,
# which the outline lists inside its type
def next_line(items: List<&2, Outline.Item>) -> Maybe<&2, U32>:
  match items:
    case Nil{}:
      None{}
    case Con{Outline.Item{Outline.ICtor{}, name, line, sig, doc, path}, rest}:
      next_line(rest)
    case Con{Outline.Item{kind, name, line, sig, doc, path}, rest}:
      Some{line}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=ItemKind