(self, width=32)
return ty
Returns the singleton associated to the BV type for the given width.

        This function takes care of building and registering the type
        whenever needed. To see the functions provided by the type look at
        _BVType.
Returns the singleton associated to the BV type for the given width.
Returns the singleton associated to the BV type for the given width .
def BVType(self, width=32):
        """Returns the singleton associated to the BV type for the given width.

        This function takes care of building and registering the type
        whenever needed. To see the functions provided by the type look at
        _BVType.
        """
        try:
            ty = self._bv_types[width]
        except KeyError:
            ty = _BVType(width=width)
            self._bv_types[width] = ty
        return ty
def BVType ( self , width = 32 ) : try : ty = self . _bv_types [ width ] except KeyError : ty = _BVType ( width = width ) self . _bv_types [ width ] = ty return ty