def soa.lines.done
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
848def soa.lines.done(st: Array<F32> & (Array<U32> & List<&2, CovLine>)) -> List<&2, CovLine>:
849 (a, (order, acc)) = st
850 acc
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
848def soa.lines.done(st: Array<F32> & (Array<U32> & List<&2, CovLine>)) -> List<&2, CovLine>:
849 (a, (order, acc)) = st
850 acc