def Said.all

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:570

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

570# What the comments say, in order, each numbered; `out` holds those so far, last first.
571def Said.all(
572  comments: List<&2, Comment>,
573  +known: List<&2, String>,
574  +index: U32,
575  out: List<&2, Said>
576) -> List<&2, Said>:
577  match comments:
578    case Nil{}:
579      List.reverse(&2, Said, out)
580    case Con{c, rest}:
581      Said.all(rest, known, (index + 1: U32), Lists.push(Said, Said.read(c, known, index), out))