| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
x-origin-cache: HIT
last-modified: Sun, 16 Dec 2018 17:40:59 GMT
access-control-allow-origin: *
etag: W/"5c168e2b-1d71"
expires: Mon, 29 Dec 2025 23:38:22 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 194D:3946E9:9586A1:A7F111:69530E96
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 23:28:22 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210076-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767050903.709724,VS0,VE206
vary: Accept-Encoding
x-fastly-request-id: d23271f358416f6e143770e5e1d4d5070a29352f
content-length: 1885
Interactive session for
Interactive session for regular-map.mz
use the arrows to
step through the program!
Non-duplicable permissions
Duplicable permissions
open list
val rec map [a, b] (f: (consumes a -> b), consumes xs: list a): list b =
match xs with
| Cons { head = h; tail = t } ->
let h' = f h in
let t' = map (f, t) in
Cons { head = h'; tail = t' }
| Nil ->
xs
end