def ASet.both_f
bend-ml-tensor-array@0.1.19.0 · main.bend:2271
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base
2271def ASet.both_f(-T: Data, -xs: Array<T>, -ys: Array<T>, +n: U32, +j: U32, +v: T, +k: U32, +w: Bool, sx: ASet.Side(T, xs, U32.shr(n), k, U32.is_lt(k, U32.shr(U32.shr(n)))), f: ASet.Both(T, ys, U32.shr(n), U32.sub(j, U32.shr(n)), v, U32.is_lt(U32.sub(j, U32.shr(n)), U32.shr(U32.shr(n))), U32.sub(k, U32.shr(n)), U32.is_lt(U32.sub(k, U32.shr(n)), U32.shr(U32.shr(n))))) -> ASet.Both(T, ANode{xs, ys}, n, j, v, False{}, k, w):
2272 match sx:
2273 case Tuple{+s, r1}:
2274 match r1:
2275 case Tuple{+g, u}:
2276 match f:
2277 case Tuple{o, r}:
2278 (ASet.node_f(T, xs, ys, n, j, v, s, o), ASet.reads_f(T, xs, ys, n, j, v, k, w, g, r))