parser_context_dec_ref method
\brief Decrement the reference counter of the given \c Z3_parser_context object.
def_API('Z3_parser_context_dec_ref', VOID, (_in(CONTEXT), _in(PARSER_CONTEXT)))
Implementation
void parser_context_dec_ref(
Z3_context c,
Z3_parser_context pc,
) {
return _parser_context_dec_ref(
c,
pc,
);
}