def lines.sort
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
523def lines.sort(xs: List<&2, CovLine>) -> List<&2, CovLine>:
524 lines.sort.go(lines.deal(xs, Nil{}, Nil{}))
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
523def lines.sort(xs: List<&2, CovLine>) -> List<&2, CovLine>:
524 lines.sort.go(lines.deal(xs, Nil{}, Nil{}))