1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
# Module `Module`
Foo.
```
val foo : unit
```
The module needs at least one signature item, otherwise a bug causes the compiler to drop the module comment (above). See [https://caml.inria.fr/mantis/view.php?id=7701](https://caml.inria.fr/mantis/view.php?id=7701).
```
module type S = sig ... end
```
```
module type S1
```
```
module type S2 = S
```
```
module type S3 = S with type t = int and type u = string
```
```
module type S4 = S with type t := int
```
```
module type S5 = S with type 'a v := 'a list
```
```
type ('a, 'b) result
```
```
module type S6 = S with type ('a, 'b) w := ('a, 'b) result
```
```
module M' : sig ... end
```
```
module type S7 = S with module M = M'
```
```
module type S8 = S with module M := M'
```
```
module type S9 = module type of M'
```
```
module Mutually : sig ... end
```
```
module Recursive : sig ... end
```
|
