Type Alias Z3_ast_kind 

pub type Z3_ast_kind = AstKind;

Aliased Type

#[repr(u32)]
pub enum Z3_ast_kind {
    Numeral = 0,
    App = 1,
    Var = 2,
    Quantifier = 3,
    Sort = 4,
    FuncDecl = 5,
    Unknown = 1_000,
}

Variants

Numeral = 0

numeral constants

App = 1

constant and applications

Var = 2

bound variables

Quantifier = 3

quantifiers

Sort = 4

sort

FuncDecl = 5

function declaration

Unknown = 1_000

internal