Digest.from_line: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/digest.bend as Digest
Lines 276-288 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=276&end_line=288

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

# the items from the first on or after a line; the items are in line order,
# and so are a tree's laws, so an item this drops lies above every later law
# too. stop is from_line.stop of items, carried so the step stays a loop
def from_line(items: List<&2, Outline.Item>, +at: U32, +stop: Bool) -> List<&2, Outline.Item>:
  match items:
    case Nil{}:
      Nil{}
    case Con{h, +rest}:
      match stop:
        case True{}:
          h <> rest
        case False{}:
          from_line(rest, at, from_line.stop(rest, at))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/rules/digest.bend&name=from_line.stop
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/outline.bend&name=Item