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