Function sort_dt_constructor_get_codomain 

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

Get the codomain sort of a datatype constructor sort. @param sort The sort. @return The codomain sort of a constructor sort.