def facts

bolt@1.27.0.0 · src/role.bend:86

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

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