kdrag.contrib.absint.knownbit.Concat

kdrag.contrib.absint.knownbit.Concat(a, b)

>>> a = KB1.const(1) # 1
>>> b = KB1.const(0) # 0
>>> Concat(a, b)
KnownBits_2(Concat(ones(const(1)), ones(const(0))),
        Concat(unknowns(const(1)), unknowns(const(0))))