def ASet.both_t
bend-ml-tensor-array@0.1.19.0 · main.bend:2262
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base
2262def ASet.both_t(-T: Data, -xs: Array<T>, -ys: Array<T>, +n: U32, +j: U32, +v: T, +k: U32, +w: Bool, sy: ASet.Side(T, ys, U32.shr(n), U32.sub(k, U32.shr(n)), U32.is_lt(U32.sub(k, U32.shr(n)), U32.shr(U32.shr(n)))), f: ASet.Both(T, xs, U32.shr(n), j, v, U32.is_lt(j, U32.shr(U32.shr(n))), k, U32.is_lt(k, U32.shr(U32.shr(n))))) -> ASet.Both(T, ANode{xs, ys}, n, j, v, True{}, k, w):
2263 match sy:
2264 case Tuple{+s, r1}:
2265 match r1:
2266 case Tuple{+g, u}:
2267 match f:
2268 case Tuple{o, r}:
2269 (ASet.node_t(T, xs, ys, n, j, v, o), ASet.reads_t(T, xs, ys, n, j, v, k, w, g, r))