sig
type
'
a f =
'
a list
val
map : (
'
a
->
'
b)
->
'
a f
->
'
b f
end