from typing import List


def get_label_list(labels: List[List[int]]) -> List[int]:
    """Gets a sorted list of all the unique labels from `labels`.

    Args:
        labels: A list of lists, each corresponding to the label-sequence of a text.

    Returns:
        All the unique labels the ever appear in `labels`, given in a sorted list.

    Example:
        Given `labels=[[0, 0, 3, 2, 5], [4, 0], [5, 2, 3]]`, returns `[0, 2, 3, 4, 5]`.
    """
    unique_labels = set()
    for label in labels:
        unique_labels = unique_labels | set(label)
    label_list = list(unique_labels)
    label_list.sort()
    return label_list