def ev.merge.go

gralha-coverage@0.1.0.1 · cover.bend:393

import Base

393def ev.merge.go(o: EvOrder) -> List<&2, CovEv>:
394  match o:
395    case EvOrder{first, rest, other}:
396      match rest:
397        case Nil{}: Con{first, other}
398        case Con{x, xt}:
399          match other:
400            case Nil{}: Con{first, Con{x, xt}}
401            case Con{y, yt}: Con{first, ev.merge.go(ev.order(x, xt, y, yt))}