def runs.halves
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
1076def runs.halves(rs: List<&2, Run>, +mid: U32, +x0: U32, +x1: U32) -> Halves:
1077 match rs:
1078 case Nil{}: Halves{0.0, Nil{}, Nil{}}
1079 case Con{Run{a, b, u}, rest}: halves.push(runs.halves(rest, mid, x0, x1), a, b, u, mid, x0, x1)