def same

bendtorch-core@0.1.0.0 · src/storage/model.bend:36

import Base

36def same(d: Nat, a: Path(d), b: Path(d)) -> Bool:
37  match d:
38    case 0n:
39      True{}
40    case 1n+p:
41      Step{ab, ar} = a
42      Step{bb, br} = b
43      Bool.and(Bool.not(Bool.xor(ab, bb)), same(p, ar, br))