Skip to main content

List.tail

tail

Group: Selections

Documentation​

Get all elements from the list except the first.

Examples​

This returns (Cons 2 Nil).​

      import Standard.Examples

      example_tail = Examples.list.tail