Type Definition z3_sys::Z3_parameter_kind [−] [src]

type Z3_parameter_kind = Enum_Unnamed4;