def ev.merge

gralha-coverage@0.1.0.1 · cover.bend:403

import Base

403def ev.merge(xs: List<&2, CovEv>, ys: List<&2, CovEv>) -> List<&2, CovEv>:
404  match xs:
405    case Nil{}: ys
406    case Con{x, xt}:
407      match ys:
408        case Nil{}: Con{x, xt}
409        case Con{y, yt}: ev.merge.go(ev.order(x, xt, y, yt))