Function func_sort 

pub(crate) fn func_sort(
    genv: GlobalEnv<'_, '_>,
    def_id: FluxId<MaybeExternId>,
) -> PolyFuncSort