Description
A list type based on the Kleene star and plus.
Description
This package provides a simple list type which is defined mutually with a non-empty list type. This makes interop between the two simpler. The types take their names from the Kleene star and plus.