def rect.data

gralha-coverage@0.1.0.1 · cover.bend:1223

import Base

1223def rect.data(trees: Bool, +depth: Nat, +w: U32, +h: U32) -> CovData:
1224  match trees:
1225    case True{}: CovTreed{tree.rect(depth, 0, 0, w, h)}
1226    case False{}: CovRows{rect.rows(U32.to_nat(h), w, Nil{})}