def sk.eq
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1546def sk.eq(a: Sk, b: Sk) -> Bool:
1547 Sk{p, x} = a
1548 Sk{q, y} = b
1549 Bool.not(Bool.xor(x, y)) && pcs.eq(p, q)
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1546def sk.eq(a: Sk, b: Sk) -> Bool:
1547 Sk{p, x} = a
1548 Sk{q, y} = b
1549 Bool.not(Bool.xor(x, y)) && pcs.eq(p, q)