Functor.WITH_MAP
The minimum definition of a Functor. It is by using the combinators of this module that the other combinators will be derived.
Functor
type 'a t
The type held by the Functor.
val map : ('a -> 'b) -> 'a t -> 'b t
Mapping over t from 'a to 'b.
t
'a
'b