parser_context_add_decl method

void parser_context_add_decl(Z3_context c, Z3_parser_context pc, Z3_func_decl f)

\brief Add a function declaration.

def_API('Z3_parser_context_add_decl', VOID, (_in(CONTEXT), _in(PARSER_CONTEXT), _in(FUNC_DECL)))

Implementation

void parser_context_add_decl(
  Z3_context c,
  Z3_parser_context pc,
  Z3_func_decl f,
) {
  return _parser_context_add_decl(
    c,
    pc,
    f,
  );
}