~/jendhub

def ASet.no_leaf

bend-ml-tensor-array@0.1.19.0 · main.bend:2191

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base

2191def ASet.no_leaf(-T: Data, -x: T, -n: U32, -j: U32, -v: T, -z: Bool, -k: U32, -w: Bool, h: ASet.Apart(T, ALeaf{x}, n, j, z, k, w)) -> {Pair.snd(Array<T>, T, Array.get.go(T, ASet.NA(T, ALeaf{x}, n, j, v, z), n, k, w)) == Pair.snd(Array<T>, T, Array.get.go(T, ALeaf{x}, n, k, w)) : T}:
2192  match h:

Uses (7)

Used by (1)