Abstract syntax tree for the lambda calculus

Helper functions common to all Catala compiler backends

Translation from the default calculus to the lambda calculus. This translation uses exceptions handle empty default terms.

Translation from the default calculus to the lambda calculus. This translation uses an option monad to handle empty defaults terms. This transformation is one piece to permit to compile toward legacy languages that does not contains exceptions.

Formats a lambda calculus program into a valid OCaml program