Source

ocamlspot / tests / module_and_modtype.ml

Full commit
1
2
3
4
5
6
7
module O = struct
  module M = struct end
  module type (* O.M => *) M (* <= O.M *) = sig end 
end

module N : O.M (* ? O.M *) = struct end