def ASet.RH
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
2188def ASet.RH(-T: Data, ys: Array<T>, +n: U32, +k: U32) -> Array<T> & T:
2189 Array.get.go(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))))