def word_value_same
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layoutimport Base
184def word_value_same(a: U32, b: U32) -> Bool:
185 match a b:
186 case U32{x} U32{y}:
187 word_same(32n, x, y)
Uses (3)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/layout:words_same
- bendtorch-core@0.1.0.0/src/tensor/transform_PROOF:words_equal
- bendtorch-core@0.1.0.0/src/tensor/permutation_mapping:words_same_refl
- bendtorch-core@0.1.0.0/src/tensor/permutation_mapping:word_value_same_refl
- bendtorch-core@0.1.0.0/src/tensor/transform_PROOF:word_value_equal