export type BinaryXnor<X extends `${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}`, Y extends `${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}`> = BinaryXnorParser<X, Y>;
export type BinaryXnorParser<X extends string, Y extends string, A extends string = ""> = X extends `${infer F}${infer R}` ? Y extends `${infer F2}${infer R2}` ? F extends "1" ? F2 extends "1" ? BinaryXnorParser<R, R2, `${A}1`> : BinaryXnorParser<R, R2, `${A}0`> : F2 extends "1" ? BinaryXnorParser<R, R2, `${A}0`> : BinaryXnorParser<R, R2, `${A}1`> : A : A;