Function Z3_parser_context_add_decl 

pub unsafe extern "C" fn Z3_parser_context_add_decl(
    c: Z3_context,
    pc: Z3_parser_context,
    f: Z3_func_decl,
)

Add a function declaration.