Type Alias BinaryNandParser<X, Y, A>

BinaryNandParser: X extends `${infer F}${infer R}`
    ? Y extends `${infer F2}${infer R2}`
        ? F extends "1"
            ? F2 extends "1"
                ? BinaryNandParser<R, R2, `${A}0`>
                : BinaryNandParser<R, R2, `${A}1`>
            : BinaryNandParser<R, R2, `${A}1`>
        : A
    : A

Type Parameters

  • X extends string
  • Y extends string
  • A extends string = ""