Module type Bindlib.Map2

Type of a module equipped with a "binary" map function.

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