Function mk_empty_set 

pub unsafe extern "C" fn mk_empty_set(
    tm: *mut TermManager,
    sort: Sort,
) -> Term

Create a constant representing an empty set of the given sort. @param tm The term manager instance. @param sort The sort of the set elements. @return The empty set constant.