Function z3_sys::Z3_is_well_sorted
[−]
[src]
pub unsafe extern "C" fn Z3_is_well_sorted(c: Z3_context, t: Z3_ast) -> Z3_bool
Return true if the given expression t
is well sorted.