def word_same

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:175

import Base

175def word_same(n: Nat, a: Word(n), b: Word(n)) -> Bool:
176  match n:
177    case 0n:
178      True{}
179    case 1n+p:
180      WCon{ab, at} = a
181      WCon{bb, bt} = b
182      Bool.and(Bool.not(Bool.xor(ab, bb)), word_same(p, at, bt))