testsuite/tests/tool-ocamldoc/t02.ml


1
2
3
4
5
6
7
8
9
10

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