++ package:clash-prelude

Append two vectors.
>>> (1:>2:>3:>Nil) ++ (7:>8:>Nil)
1 :> 2 :> 3 :> 7 :> 8 :> Nil
Concatenate two BitVectors