And what about include (it is your import) ? It allows what you want and
is short ?


module Mylist = struct
  let id x = x
end

module Hislist = struct
  let id2 x = x
end

module Alllist = struct
  include Mylist
  include Hislist
end

What is really missing is renaming when opening or doing include (with
regular expression pattern matching for instance).

Cheers,
Christophe


-- 
Christophe Raffalli
Universite de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tel: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution 
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------