ASTVector (docs.findlib-94.z3.Z3.AST.ASTVector)

type ast_vector

val mk_ast_vector : context -> ast_vector

val get_size : ast_vector -> int

val get : ast_vector -> int -> ast

val set : ast_vector -> int -> ast -> unit

val resize : ast_vector -> int -> unit

val push : ast_vector -> ast -> unit

val translate : ast_vector -> context -> ast_vector

val to_list : ast_vector -> ast list

val to_expr_list : ast_vector -> Expr.expr list

val to_string : ast_vector -> string