gi est une petite interface gérant des séléctions par menus déroulants et des actions par boutons.
Pour comprendre la syntaxe, le plus facile est de voir son utilisation dans hanoi.ml qui fournit un assez bon exemple.