summaryrefslogtreecommitdiff
path: root/testsuite/tests/tool-ocamldoc/Include_module_type_of.mli
blob: b33cbb5c5c15baa6dd5d1a1ade5789740888f162 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
(* TEST
 {
   ocamldoc with html;
 }{
   ocamldoc with latex;
 }
*)

(** Test [include module type of...] variants *)

module A: sig type t end
module M: sig
  (** A module M *)

  module Inner: sig type t end
  module Alias = A
  type t
end

module B: sig
  include module type of M
end

include module type of struct include M end