Module StdLabels.List

module List: ListLabels