Module type Function.CONTRAVARIANT_F

Parameters

• T : Interface.TYPE

Signature

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

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