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

> 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 ?)

Si j'ai bien compris la question et en supposant qu'il existe une
signature TRANS déclarant un module IdMap de même signature (au plus) que
celle de SSADef.IdMap :

module Trans : TRANS with module IdMap = SSADef.IdMap = struct
  module IdMap = SSADef.IdMap
  ...
end


Julien
-- 
mailto:Julien.Signoles@lri.fr ; http://www.lri.fr/~signoles
"In theory, practice and theory are the same,
but in practice they are different" (Larry McVoy)