Function z3_sys::Z3_is_eq_func_decl

pub unsafe extern "C" fn Z3_is_eq_func_decl(
    c: Z3_context, 
    f1: Z3_func_decl, 
    f2: Z3_func_decl
) -> Z3_bool