non_empty_list

API

Library non_empty_list

• Non_empty_list A non-empty list is defined as a immutable (singly) linked list containing at least 1 element. Identical in terms of complexity to List. The API is inspired by Janestreet's Base.List (but is not identical).