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
|
module type Not_inlined =
sig
type t
end
include Not_inlined
module type Inlined =
sig
type u
end
include Inlined
(** @inline *)
module type Not_inlined_and_closed =
sig
type v
end
include Not_inlined_and_closed
(** @closed *)
module type Not_inlined_and_opened =
sig
type w
end
include Not_inlined_and_opened
(** @open
@closed *)
(* This demostrates that overridden values are never rendered*)
module type Inherent_Module =
sig
val a : t
end
include Inherent_Module
module type Dorminant_Module =
sig
include Inherent_Module
val a : u
end
include Dorminant_Module
|
