lablgtk: LablGTK lablgtk: lablgtk: LablGTK is is an Objective Caml interface to gtk+. It uses the rich lablgtk: type system of Objective Caml 3 to provide a strongly typed, yet very lablgtk: comfortable, object-oriented interface to gtk+. This is not that easy lablgtk: if you know the dynamic typing approach taken by gtk+ lablgtk: lablgtk: lablgtk: lablgtk: lablgtk: