def runs.emit.some

gralha-coverage@0.1.0.1 · cover.bend:427

import Base

427def runs.emit.some(skip: Bool, +x0: U32, +x1: U32, +v: F32, acc: List<&2, Run>) -> List<&2, Run>:
428  match skip:
429    case True{}: acc
430    case False{}:
431      match acc:
432        case Nil{}: Con{Run{x0, x1, v}, Nil{}}
433        case Con{Run{a, b, u}, rest}:
434          +aa = a
435          +bb = b
436          +uu = u
437          runs.emit.join(U32.is_eq(aa, x1) && F32.is_eq(uu, v), x0, x1, v, bb, Run{aa, bb, uu}, rest)