An extension to Objective Caml allowing the use of labeled and
optional arguments, and also polymorphic variants. Comes with LablTk,
a labelized interface to Tcl/Tk, and LablBrowser, a source and
compiled interface browser.