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
107
108
109
110
111
112
113
114
115
116
117
|
(* Bad: unboxing the function type *)
external i : (int -> float[@unboxed]) = "i" "i_nat"
module type M = sig
val action : action
(** Formatting action: input type and source, and output destination. *)
val doc_atrs :
(string Location.loc * payload) list
-> (string Location.loc * bool) list option
* (string Location.loc * payload) list
val transl_modtype_longident (* from Typemod *) :
(Location.t -> Env.t -> Longident.t -> Path.t) ref
val transl_modtype_longident
(* foooooooooo fooooooooooooo foooooooooooo foooooooooooooo
foooooooooooooo foooooooooooo *) :
(Location.t -> Env.t -> Longident.t -> Path.t) ref
val imported_sets_of_closures_table :
Simple_value_approx.function_declarations option Set_of_closures_id.Tbl.t
type 'a option_decl =
names:string list
-> doc:string
-> section:[`Formatting | `Operational]
-> ?allow_inline:bool
-> (config -> 'a -> config)
-> (config -> 'a)
-> 'a t
val select :
(* The fsevents context *)
env
-> (* Additional file descriptor to select for reading *)
?read_fdl:fd_select list
-> (* Additional file descriptor to select for writing *)
?write_fdl:fd_select list
-> (* Timeout...like Unix.select *)
timeout:float
-> (* The callback for file system events *)
(event list -> unit)
-> unit
val f :
x:t
(** an extremely long comment about [x] that does not fit on the
same line with [x] *)
-> unit
val f :
fooooooooooooooooo:
( fooooooooooooooo
-> fooooooooooooooooooo
-> foooooooooooooo
-> foooooooooooooo * fooooooooooooooooo
-> foooooooooooooooo )
(** an extremely long comment about [x] that does not fit on the
same line with [x] *)
-> unit
end
let ssmap :
(module MapT
with type key = string
and type data = string
and type map = SSMap.map ) =
()
let ssmap :
(module MapT
with type key = string
and type data = string
and type map = SSMap.map )
-> unit =
()
let long_function_name : type a.
a long_long_type -> a -> a -> a -> wrap_wrap_wrap -> unit =
fun () -> ()
let array_fold_transf (f : numbering -> 'a -> numbering * 'b) n (a : 'a array) :
numbering * 'b array =
match Array.length a with 0 -> (n, [||]) | 1 -> x
let to_clambda_function (id, (function_decl : Flambda.function_declaration)) :
Clambda.ufunction =
(* All that we need in the environment, for translating one closure from a
closed set of closures, is the substitutions for variables bound to the
various closures in the set. Such closures will always be ... *)
x
let f :
(module M : S
with type foo = foooooooooooooooooooooooooooooooooooooo
and type foo = foooooooooooooooooooooooooooooooooooooo) -> fooo =
f
let f :
fooooooooooooooooooooooooooooooooooooo
-> (module M : S
with type foo = foooooooooooooooooooooooooooooooooooooo
and type foo = foooooooooooooooooooooooooooooooooooooo) -> fooo =
f
let f :
fooooooooooooooooooooooooooooooooooooo
-> (module Foooooooooooooooooooooooooooooooooooooo :
Foooooooooooooooooooooooooooooooooooooo) -> fooo =
f
let f :
(module
Foooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo :
S) -> fooo =
f
|
