def paint.span
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
5368def paint.span(+at: U32, +size: U32, +lo: U32, +hi: U32) -> U32:
5369 +a = paint.from(at, lo)
5370 +b = U.choose(U32, U32.is_lt((at + size : U32), hi), (at + size : U32), hi)
5371 U.choose(U32, U32.is_gt(b, a), (b - a : U32), 0)