def lines.empty

gralha-coverage@0.1.0.1 · cover.bend:1260

import Base

1260def lines.empty() -> CovLines:
1261  CovLines{Nil{}, 1000000000.0, 1000000000.0, F32.neg(1000000000.0), F32.neg(1000000000.0), 0}