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
|
val fffffffff : aaaaaa -> bbbbbbbbbb ccccccccc -> dddd
val fffffffff : aaaaaa -> bbbbbbbbbb ccccccccc -> dddd -> dddd -> dddd -> dddd
val fffffffff :
aaaaaa -> (bbbbbbbbbb ccccccccc -> int) -> bbbbbbbbbb ccccccccc -> dddd
val fffffffff :
eeee:('a, 'b) aaaaaa ->
(bbbbbbbbbb ccccccccc -> int) ->
bbbbbbbbbb ccccccccc ->
dddd ->
dddd
val m : (module S with type t = t)
val f :
( 'aaaaaaaaaaaaaaaaaaaa,
xxxxxxxxxxxxxxxxxxxxxxxxx ->
yyyyyyyyyyyyyyyyyyyyyyyyy ->
bbbbbbbbbbbbbbbbbbbb,
'dddddddddddddddddddd )
s
type t =
| Cstr of
(xxxxxxxxxxxxxxxxxxxxxxxxx ->
yyyyyyyyyyyyyyyyyyyyyyyyy ->
aaaaaaaaaaaaaaaaaaaa)
* bbbbbbbbbbbbbbbbbbbb
type t =
| Cstr of
aaaaaaaaaaaaaaaaaaaa
* (xxxxxxxxxxxxxxxxxxxxxxxxx ->
yyyyyyyyyyyyyyyyyyyyyyyyy ->
bbbbbbbbbbbbbbbbbbbb)
* cccccccccccccccccccc
type ('aaaa, 'bbbb, 'cccc) t =
llll:('aaaa, 'bbbb, 'cccc) s -> dddddd list -> 'aaaa * 'cccc -> 'bbbb uuuuu
external ident : a -> b -> c -> d = "something"
external ident : a -> b -> c -> d = "something" "else"
val ident : a -> b -> c -> d
val ident : arg1_is_loooooooooooooooooooooooooooooooong -> arg2 -> arg3 -> arg4
external ident :
arg1_is_loooooooooooooooooooooooooooooooong -> arg2 -> arg3 -> arg4
= "something" "else"
type t = { field1 : a -> b -> c; field2 : int; field3 : a -> b -> c -> d -> e }
type t = {
field1 : a -> b -> c;
field2 : int;
field3 : a -> b -> c -> d -> e -> f;
}
type t = {
field1 : a -> b -> c;
field2 : int;
field3 :
a_is_loooooooooooooooooooooooooooooooong ->
b_is_loooooooooooooooooooooooooooooooong ->
c ->
d ->
e;
field4 : a_is_loooooooooooooooooooong -> b_is_loooooooooong -> c -> d -> e;
field5 :
a loooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong typ;
}
|
