blob: 1c2e0a774e43b60c96ca6db006dde7a632580044 (
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
39
40
41
42
43
44
45
46
47
48
49
50
51
|
#
# 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 ob = < f : int >
type obj_type =
< bar : float -> string; f : int; foo : int;
gee : int -> int * string >
type g = [ `A ]
type h = [ `A | `B of int | `C of 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.ob:
# manifest (Odoc_info.string_of_type_expr):
<[< f: int ; >]>
# type T01.MT.obj_type:
# manifest (Odoc_info.string_of_type_expr):
<[< bar: float -> string ; f: int ; foo: int ; gee: int -> int * string ; >]>
# type T01.MT.g:
# manifest (Odoc_info.string_of_type_expr):
<[[ `A ]]>
# type T01.MT.h:
# manifest (Odoc_info.string_of_type_expr):
<[[ `A | `B of int | `C of string ]]>
|
