package z3

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ast

module ASTVector : sig ... end

module ASTMap : sig ... end

val hash : ast -> int

val get_id : ast -> int

val get_ast_kind : ast -> Z3enums.ast_kind

val is_expr : ast -> bool

val is_var : ast -> bool

val is_quantifier : ast -> bool

val is_sort : ast -> bool

val is_func_decl : ast -> bool

val to_string : ast -> string

val to_sexpr : ast -> string

val equal : ast -> ast -> bool

val compare : ast -> ast -> int

val translate : ast -> context -> ast