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.