parameters: (self, sz)
docstring: Resize the vector to `sz` elements.
  
          >>> A = AstVector()
          >>> A.resize(10)
          >>> len(A)
          10
          >>> for i in range(10): A[i] = Int('x')
          >>> A[5]
          x
docstring_summary: Resize the vector to `sz` elements.
docstring_tokens: Resize the vector to sz elements .
function: def resize(self, sz):
          """Resize the vector to `sz` elements.
  
          >>> A = AstVector()
          >>> A.resize(10)
          >>> len(A)
          10
          >>> for i in range(10): A[i] = Int('x')
          >>> A[5]
          x
          """
          Z3_ast_vector_resize(self.ctx.ref(), self.vector, sz)
function_tokens: def resize ( self , sz ) : Z3_ast_vector_resize ( self . ctx . ref ( ) , self . vector , sz )