def data.at
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
67def data.at(d: CovData, +half: U32, +x: U32, +y: U32) -> F32:
68 match d:
69 case CovTreed{t}: tree.at(t, half, x, y)
70 case CovRows{rows}: rows.at(rows, y, x)
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
67def data.at(d: CovData, +half: U32, +x: U32, +y: U32) -> F32:
68 match d:
69 case CovTreed{t}: tree.at(t, half, x, y)
70 case CovRows{rows}: rows.at(rows, y, x)