sig
type
+
'
a t
val
map : (
'
a
->
'
b)
->
'
a
CCCat
.
FUNCTOR
.t
->
'
b
CCCat
.
FUNCTOR
.t
end