Type Alias BinaryAndParser<X, Y, A>

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

Type Parameters

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