package bindlib

  1. Overview
  2. Docs

Module type Bindlib.Map2Source

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

Sourcetype ('a, 'b) t
Sourceval map : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t