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
|
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
}
|
