sig
  type ast_map
  val mk_ast_map : Z3.context -> Z3.AST.ASTMap.ast_map
  val contains : Z3.AST.ASTMap.ast_map -> Z3.AST.ast -> bool
  val find : Z3.AST.ASTMap.ast_map -> Z3.AST.ast -> Z3.AST.ast
  val insert : Z3.AST.ASTMap.ast_map -> Z3.AST.ast -> Z3.AST.ast -> unit
  val erase : Z3.AST.ASTMap.ast_map -> Z3.AST.ast -> unit
  val reset : Z3.AST.ASTMap.ast_map -> unit
  val get_size : Z3.AST.ASTMap.ast_map -> int
  val get_keys : Z3.AST.ASTMap.ast_map -> Z3.AST.ast list
  val to_string : Z3.AST.ASTMap.ast_map -> string
end