1 2 3 4 5 6 7
module F() = struct module M = struct let aaa = assert false let bbb () = assert false end let ccc () = M.bbb () end