Hello, 2010/5/21 Ashish Agarwal > > write a script to generate the P.mli file > > Why do you need Bar.mli and Foo.mli at all? Just write the P.mli only. > If your pack is big, you may want to mask internals of Bar and Foo to others modules of the pack. Actually, values exported in Bar/Foo but not in P exactly are the module counterparts of "friend methods" in OO languages. -- Julien