Function func_sort

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