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
|
(** Reference to a shadowed module. References should be resolved after the
whole signature has been added to the scope. *)
type t
module M : sig
(** . *)
(** Should resolve to [M.t]: {{!t} Before-shadowed}.
Of course, it's possible to reference {!Shadowed.t}. *)
type t
(** Should resolve to [M.t]: {{!t} After-shadowed} *)
end
external f : int -> int = "%identity"
module N : sig
(** [val] and [external] both define a value.
Should resolve to [N.f]: {!f}
Should resolve to [Shadowed.f]: {!Shadowed.f} *)
val f : int -> int
end
|
