Désolé de flooder...
en fait  ma question n'avait pas trop de sens a priori, parceque caml n'a
pas moyen à partir du type d'être sûr que l'implémentation va être la
même (ce qui est d'ailleurs l'intérêt des modules), il me semble que je
suis plus ou moins obligé d'utiliser des trucs genre :

module Trans ... = struct
type IdMap = SSADef.IdMap ;
...
end;

et que c'est le plus propre.
Ceci dit, il n'y a vraiment pas moyen de dire à caml que deux modules
sont les mêmes ? (lui forcer un peu la patte ?)