Type Alias BinaryAbs<X>

BinaryAbs: X extends `${infer F}${infer _}`
    ? F extends "1" ? BinaryComplement<X> : X
    : never

Type Parameters

  • X extends `${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}${0 | 1}`