(*args)
return get_env().formula_manager.BVConcat(*args)
Returns the Concatenation of the two BVs

    :param args: Specify the bitvectors to concatenate
    :returns: The concatenation of the given BVs
    :rtype: FNode
Returns the Concatenation of the two BVs
Returns the Concatenation of the two BVs
def BVConcat(*args):
    """Returns the Concatenation of the two BVs

    :param args: Specify the bitvectors to concatenate
    :returns: The concatenation of the given BVs
    :rtype: FNode
    """
    return get_env().formula_manager.BVConcat(*args)
def BVConcat ( * args ) : return get_env ( ) . formula_manager . BVConcat ( * args )