Pervasives.my_ref.Pervasives.contents.Pervasives.value 
(bon, ok, je trolle)
Et je sais, j'avais essayé, mais si c'est dans le même namespace (comme ça risque fréquemment d'arriver si on ne fait pas de l'OO, par exemple "c_statement.label" et "asm_statement.label"), on est bel et bien foutu (sauf si on utilise dans la moitié du code l'un et dans l'autre moitié l'autre, mais ça revient à séparer en fichiers et je pense que même avec la plus mauvaise foi du monde tu aurais du mal à dire que c pas gore
[impossible d'échanger l'endroit de définition de deux fonctions 
])
D'ailleurs, ces histoires d'endroit de définition de fonctions me rappellent que tu as éludé cette histoire de cross-references
(ce serait un peu con que le même code ne fasse pas la même chose à des endroits différents du prog, non ? 
)
[EDIT : cross]