blob: d5159bdfc9b819380a9236a5ad17319b4b5966d7 (
plain)
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
|
#
# module T01:
# Odoc_info.string_of_module_type:
<[sig end]>
# Odoc_info.string_of_module_type ~complete: true :
<[sig end]>
#
# module T01.M:
# Odoc_info.string_of_module_type:
<[sig end]>
# Odoc_info.string_of_module_type ~complete: true :
<[sig val y : int end]>
#
# module type T01.MT:
# Odoc_info.string_of_module_type:
<[sig end]>
# Odoc_info.string_of_module_type ~complete: true :
<[sig
type t =
string ->
int ->
string ->
string * string * string ->
string * string * string -> string * string * string -> unit
val y : int
type obj_type =
< bar : float -> string; foo : int; gee : int -> int * string >
end]>
# type T01.MT.t:
# manifest (Odoc_info.string_of_type_expr):
<[string ->
int ->
string ->
string * string * string ->
string * string * string -> string * string * string -> unit]>
# type T01.MT.obj_type:
# manifest (Odoc_info.string_of_type_expr):
<[< bar: float -> string ; foo: int ; gee: int -> int * string ; >]>
|
