NotEmptySet
@SinceKotools(project = Project.Types, version = "1.3")
Content copied to clipboard
Creates a NotEmptySet starting with a head and containing all the elements of the optional tail.
Creates a NotEmptySet starting with a head and containing all the elements of the optional tail.