blob: a2280cf8f3b7135903c82d9e655b747c8b15a7a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(* TEST
plugins="odoc_test.ml"
* ocamldoc
flags="-I ${ocamlsrcdir}/ocamldoc"
*)
module Foo = struct type u type t = int let x = 1 end;;
module type TFoo = module type of Foo;;
module type TBar = TFoo with type u := float;;
module type Gee =
sig
module M : module type of Foo
include module type of Foo
end
|