sig
val
iter :
'
a list
->
f:(
'
a
->
unit)
->
unit
val
map :
'
a list
->
f:(
'
a
->
'
b)
->
'
b list
end