Function mk_empty_sequence 

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

Create an empty sequence of the given element sort. @param tm The term manager instance. @param sort The element sort of the sequence. @return The empty sequence with given element sort.