(width=None)
return get_env().formula_manager.BVOne(width)
Returns the unsigned one constant BitVector.

    :param width: Specify the width of the BitVector
    :returns: The unsigned one constant BitVector
    :rtype: FNode
Returns the unsigned one constant BitVector.
Returns the unsigned one constant BitVector .
def BVOne(width=None):
    """Returns the unsigned one constant BitVector.

    :param width: Specify the width of the BitVector
    :returns: The unsigned one constant BitVector
    :rtype: FNode
    """
    return get_env().formula_manager.BVOne(width)
def BVOne ( width = None ) : return get_env ( ) . formula_manager . BVOne ( width )