Module ne_ordered_set

Module ne_ordered_set 

Source

Structsยง

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