Caml étant un langage fonctionnel fortement typé, nous avons choisi de représenter les différents niveaux, correspondant aux diverses entités sémantiques de la structure, par des listes. Le principe général de l'organisation informatique est celle du double linking, pour exprimer les relations entre entités de différents niveaux. Nous allons avant tout présenter le codage de chaque type d'entité.