The type of immutable singly-linked lists.
Use the constructors [] and '::' (infix) to create values of this type, or
the notation [1;2;3]. Use the values in the [[List]] module to manipulate
values of this type, or pattern match against the values directly.
Note: an abbreviation for List<'a>
Full Type Signature
type 'a list = List<'a>
|