(left, right)
return get_env().formula_manager.BVSGE(left, right)
Returns the Signed Greater-Equal comparison of the two BVs.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: The Signed Greater-Equal comparison of the two BVs.
    :rtype: FNode
Returns the Signed Greater-Equal comparison of the two BVs.
Returns the Signed Greater - Equal comparison of the two BVs .
def BVSGE(left, right):
    """Returns the Signed Greater-Equal comparison of the two BVs.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: The Signed Greater-Equal comparison of the two BVs.
    :rtype: FNode
    """
    return get_env().formula_manager.BVSGE(left, right)
def BVSGE ( left , right ) : return get_env ( ) . formula_manager . BVSGE ( left , right )