Index of module types

M
Map [Bindlib]	Type of a module equipped with a `map` function.
Map2 [Bindlib]	Type of a module equipped with a "binary" `map` function.