Hi,

is there some way to put extra module annotations on modules when each module is put in separate files. I want to have a private, friend an public interface to my modules (discussed previously in this thread:
http://www.mail-archive.com/caml-list@yquem.inria.fr/msg06513.html

If I put it in one file, it seems to work:
module type MP = (* Signature of public module *)
sig
type t
val make_t : int -> t
val public : t -> int
end

module type MF = (* Signature of 'friend' module *)
sig
include MP
val friend : t -> int
end

module T = (* Type of t *)
struct
type t = int
end

module MI = (* Implementation *)
struct
type t = T.t
let make_t a = a
let priv a = a + a
let friend a = a + a
let public a = a + a
end

module MP : MP = MI (* Public module *)
module MF : (MF with type t = T.t) = MI (* Friend module *)

module type F = (* Signatur of friend *)
sig
val f1 : int -> int
val f2 : int -> int
end

module F : F =
struct
module M = MF
let f1 a = a + (M.public (M.make_t a))
let f2 a = a + (M.friend a)
end

let _ = F.f1 3
let _ = F.f2 3
let _ = MP.public (MP.make_t 10)

But I can not figure out how to put the signatures on MP and MF modules when I put them in mP.ml and mF.ml. Do I need to put them inside nested structs inside the files?

Thanks,

Hans