Module Function.Bicontravariant

Parameters

• T : Interface.TYPE

Signature

type ('a, 'b) t = 'a -> 'b -> T.t

val bicmap : ('b -> 'a) -> ('d -> 'c) -> ('a, 'c) t -> ('b, 'd) t