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
|
[@@@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
|
