def take_word
bendtorch-core@0.1.0.0 · src/tensor/permute_build_proof.bend:242
import bendtorch-core@0.1.0.0/src/tensor/permute_build_proof.bend as PermuteBuildProof
import Base
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as Build
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
242def take_word(-e: Array<F32>, pair: Array<F32> & F32) ->
243 {Pair.fst(F32, Array<F32> & Array<F32>, Build.take(e, pair)) == Refinement.second(F32, pair) : F32}:
244 (x, w) = pair
245 {==}