The Bindlib library provides support for free and bound variables in the OCaml language. The main application in the representation of types with a binding structure (e.g., abstract syntax trees).
