def ASet.Both

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

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

import Base

2258# ASet.Both: the six facts of the first two laws and the four of the third, from one pass
2259def ASet.Both(-T: Data, -a: Array<T>, -n: U32, -j: U32, -v: T, -z: Bool, -k: U32, -w: Bool) -> Type:
2260  ASet.Facts(T, a, n, j, v, z) & ASet.Reads(T, a, n, j, v, z, k, w)

Uses (6)

Used by (4)