Role.facts: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/role.bend as Role
Lines 86-92 of bolt@1.27.0.0/src/role.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/role.bend&start_line=86&end_line=92

import Base
import bolt@1.27.0.0/src/src.bend as Src

# every file's fact, in order
def facts(ss: List<&2, Src.Src>) -> List<&2, Fact>:
  match ss:
    case Nil{}:
      Nil{}
    case Con{s, rest}:
      fact(s) <> facts(rest)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=Fact
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=fact
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src