def node.rows

gralha-coverage@0.1.0.1 · cover.bend:1093

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

1093# Rows past the end of the list are empty; row i of size is a top row when i < half.
1094def node.rows(rows: List<&2, List<&2, Run>>, +i: U32, +size: U32, +half: U32, +x0: U32) -> Node:
1095  match rows:
1096    case Nil{}: Node{False{}, U.choose(F32, U32.is_lt(i, size), 0.0, 2.0), Nil{}, Nil{}, Nil{}, Nil{}}
1097    case Con{r, rest}: node.push(node.rows(rest, (i + 1 : U32), size, half, x0), runs.halves(r, (x0 + half : U32), x0, (x0 + size : U32)), U32.is_lt(i, half))