~/jendhub

def ev.order.pick

gralha-coverage@0.1.0.1 · cover.bend:382

import gralha-coverage@0.1.0.1/cover.bend as Cover
import Base

382def ev.order.pick(hit: Bool, x: CovEv, xt: List<&2, CovEv>, y: CovEv, yt: List<&2, CovEv>) -> EvOrder:
383  match hit:
384    case True{}: EvOrder{x, xt, Con{y, yt}}
385    case False{}: EvOrder{y, yt, Con{x, xt}}

Uses (4)

Used by (1)