blob: 4dbef6c167bc58a358dc7f9b23562cb28a877921 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
(* TEST
plugins = "odoc_test.ml";
flags = "-I ${ocamlsrcdir}/ocamldoc";
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
|