def ev.order

gralha-coverage@0.1.0.1 · cover.bend:387

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

import Base

387def ev.order(x: CovEv, xt: List<&2, CovEv>, y: CovEv, yt: List<&2, CovEv>) -> EvOrder:
388  +xx = x
389  +yy = y
390  ev.order.pick(U32.is_ge(ev.cell(xx), ev.cell(yy)), xx, xt, yy, yt)
391
392@unsafe

Uses (6)

Used by (2)