~/jendhub

def cx.go

bend-kit-zlib@0.5.1.0 · zlib.bend:786

import bend-kit-zlib@0.5.1.0/zlib.bend as Zlib
import Base

786def cx.go(bs: List<&2, U32>, es: List<&2, U32>, +v: U32, +i: U32, +best: Cx) -> Cx:
787  match bs:
788    case Nil{}:
789      best
790    case Con{+b, bt}:
791      match es:
792        case Nil{}:
793          best
794        case Con{+e, et}:
795          cx.go(bt, et, v, (i + 1 : U32), Bool.pick(Cx, U32.is_le(b, v), Cx{i, b, e}, best))

Uses (6)

Used by (1)