Module type Function.FUNCTOR_F

Parameters

• T : Interface.TYPE

Signature

type 'a t = T.t -> 'a

val map : ('a -> 'b) -> 'a t -> 'b t