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(KnownBits_1.const(1)),
                   ones(KnownBits_1.const(0))),
            Concat(unknowns(KnownBits_1.const(1)),
                   unknowns(KnownBits_1.const(0))))