Cont
0.0.0
Cont
/
arrow
/
RestrictedCont
/
map
map
open
fun
<
B
>
map
(
f
:
(
A
)
->
B
)
:
RestrictedCont
<
R
,
B
>
Content copied to clipboard
Sources
common source
Link copied to clipboard