Skip to main content

Module non_empty

Module non_empty 

Source
Expand description

A list that always has a first element.

Structsยง

EmptyListError
NonEmpty