head
| Name | Type | Description | Optional |
|---|---|---|---|
input |
list<?0> |
a non-empty list |
no |
| Name | Type | Description | Optional |
|---|---|---|---|
output |
?0 |
the first element of the input list |
no |
head reads its input, which must be a non-empty list, and outputs its first element.