Module ne_ordered_set

Source

Structsยง

NEOrderedSet
An ordered non-empty set type guaranteeing at least one element.