Type Alias Z3_parameter_kind 

pub type Z3_parameter_kind = ParameterKind;

Aliased Type

#[repr(u32)]
pub enum Z3_parameter_kind {
    Int = 0,
    Double = 1,
    Rational = 2,
    Symbol = 3,
    Sort = 4,
    Ast = 5,
    FuncDecl = 6,
    Internal = 7,
    Zstring = 8,
}

Variants

Int = 0

used for integer parameters.

Double = 1

used for double parameters.

Rational = 2

used for parameters that are rational numbers.

Symbol = 3

used for parameters that are symbols.

Sort = 4

used for sort parameters.

Ast = 5

used for expression parameters.

FuncDecl = 6

used for function declaration parameters.

Internal = 7

used for parameters that are private to Z3. They cannot be accessed.

Zstring = 8

used for string parameters.