(width=32)
return mgr.BVType(width=width)
Returns the BV type for the given width.
Returns the BV type for the given width.
Returns the BV type for the given width .
def BVType(width=32):
    """Returns the BV type for the given width."""
    mgr = pysmt.environment.get_env().type_manager
    return mgr.BVType(width=width)
def BVType ( width = 32 ) : mgr = pysmt . environment . get_env ( ) . type_manager return mgr . BVType ( width = width )