sig
  type ast_vector
  val mk_ast_vector : Z3.context -> Z3.AST.ASTVector.ast_vector
  val get_size : Z3.AST.ASTVector.ast_vector -> int
  val get : Z3.AST.ASTVector.ast_vector -> int -> Z3.AST.ast
  val set : Z3.AST.ASTVector.ast_vector -> int -> Z3.AST.ast -> unit
  val resize : Z3.AST.ASTVector.ast_vector -> int -> unit
  val push : Z3.AST.ASTVector.ast_vector -> Z3.AST.ast -> unit
  val translate :
    Z3.AST.ASTVector.ast_vector -> Z3.context -> Z3.AST.ASTVector.ast_vector
  val to_list : Z3.AST.ASTVector.ast_vector -> Z3.AST.ast list
  val to_expr_list : Z3.AST.ASTVector.ast_vector -> Z3.Expr.expr list
  val to_string : Z3.AST.ASTVector.ast_vector -> string
end