Index of modules

B
Bindlib

The Bindlib library provides support for free and bound variables in the OCaml language.

L
Lift [Bindlib]

Functorial interface used to build lifting functions for any type equipped with a map function.

Lift2 [Bindlib]

Similar to the Lift functor, but handles "binary" map functions.