Logic.Lambda
This module implements basic operations on lambda terms. It uses de Bruijn indices.
module Lambda : sig ... end
This is the actual module