Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A functor is an abstract container which is mappable
val return : 'a -> 'a t
return a
makes an abstract container containing the value a
.