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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
[@@@ocamlformat "break-struct=natural"]
module M =
X
(Y)
(struct
let x = k
end)
module Hash = struct
include Hash
module type S = S.HASH
end
module Hash = struct
include Hash
include Hash
module type S = S.HASH
module type S = S.HASH
end
module Hash = struct
include Hash
include Hash
include Hash
module type S = S.HASH
module type S = S.HASH
module type S = S.HASH
end
module Hash = struct
let z = zzzzzzzzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzz zzzzzzzzzz
let z = zzzzzzzzzzzzzz zzzzzzzzzzzzzzz zzzzzzzzzzzzzzz zzzzzzzzzzzzzzz zzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzzzz zzzzzzzzzzzzzzzzzz
include Hash
module type S = S.HASH
end
module Vector = struct
include Vector
let pp sep pp_elt fs v = List.pp sep pp_elt fs (to_list v)
end
module Hash = struct
include Hash
include Hash
module type S = S.HASH
module type S = S.HASH
end
module M = struct
include A
end
module M = struct
include A
include B
end
module M = struct
include A
include B
include C
end
module M = struct
include A
include B
include C
include D
end
module M = struct
include A
include B
include C
include D
let x = xxxxxxxxxxx xxxxxxxxxxxxx
let z = zzzzzzzzzzzzz
end
include (
Ast_407 :
module type of struct include Ast_407
end
with module Location := Ast_407.Location )
module type S = sig
type t =
| AAaaaaaaaaaaaaaaaaaa
| Bbbbbbbbbbbbbbbbbbbbbbbbbbb
| Ccccccccccccccccccccccc
| Dddddddddddddddddd
end
module S : sig
type t =
| AAaaaaaaaaaaaaaaaaaa
| Bbbbbbbbbbbbbbbbbbbbbbbbbbb
| Ccccccccccccccccccccccc
| Dddddddddddddddddd
end = struct
type t =
| AAaaaaaaaaaaaaaaaaaa
| Bbbbbbbbbbbbbbbbbbbbbbbbbbb
| Ccccccccccccccccccccccc
| Dddddddddddddddddd
end
module type Module_type_fail = sig
include S
module F : functor (_ : T) -> sig end
include S
end
module A : sig
type a
type b
end =
B
module A : sig
type a
type b
end = struct
type a
type b
end
module type S = sig
module Make (Config : sig
val blah : string
val boo : int
end) : S
end
|
