public extern static Z3_ast Z3_func_entry_get_arg(Z3_context a0, Z3_func_entry a1, uint a2);
public extern static uint Z3_func_entry_get_num_args(Z3_context a0, Z3_func_entry a1);
public extern static Z3_ast Z3_func_entry_get_value(Z3_context a0, Z3_func_entry a1);
public extern static void Z3_func_entry_dec_ref(Z3_context a0, Z3_func_entry a1);
public static Z3_ast Z3_func_entry_get_arg(Z3_context a0, Z3_func_entry a1, uint a2) { Z3_ast r = LIB.Z3_func_entry_get_arg(a0, a1, a2); Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0); if (err != Z3_error_code.Z3_OK) throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err))); return r; }
public static void Z3_func_entry_dec_ref(Z3_context a0, Z3_func_entry a1) { LIB.Z3_func_entry_dec_ref(a0, a1); Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0); if (err != Z3_error_code.Z3_OK) throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err))); }