Function sort_fun_get_codomain 

pub unsafe extern "C" fn sort_fun_get_codomain(sort: Sort) -> Sort

Get the codomain of a given function sort. @param sort The sort. @return The codomain sort of a function sort.