Source

mutated_ocaml / testsuite / tests / typing-modules-bugs / pr5164_ok.ml

Full commit
1
2
3
4
5
6
7
8
9
module type INCLUDING = sig
  include module type of List
  include module type of ListLabels
end

module Including_typed: INCLUDING = struct
  include List
  include ListLabels
end