Cover.take.go: def of gralha-coverage@0.1.0.1
Import: import gralha-coverage@0.1.0.1/cover.bend as Cover
Lines 310-320 of gralha-coverage@0.1.0.1/cover.bend: https://jend.leeeet.dev/read.txt?path=gralha-coverage@0.1.0.1/cover.bend&start_line=310&end_line=320

import Base

def take.go(t: Take, +sy: F32) -> Take:
  match t:
    case Take{done, pending, acc}:
      match done:
        case True{}: Take{True{}, pending, acc}
        case False{}:
          match pending:
            case Nil{}: Take{True{}, Nil{}, acc}
            case Con{l, rest}:
              +ll = l
              take.go(take.pick(F32.is_le(line.top(ll), sy), ll, rest, sy, acc), sy)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=Take
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=line.top
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=take.pick