Function z3_sys::Z3_is_eq_func_decl

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

Compare terms.