Function z3_sys::Z3_is_eq_sort
source · pub unsafe extern "C" fn Z3_is_eq_sort(
c: Z3_context,
s1: Z3_sort,
s2: Z3_sort
) -> bool
Expand description
compare sorts.
pub unsafe extern "C" fn Z3_is_eq_sort(
c: Z3_context,
s1: Z3_sort,
s2: Z3_sort
) -> bool
compare sorts.