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
|
Indexed shapes:
Resolved: Index_bindingops.3:
(and+) (File "index_bindingops.ml", line 30, characters 8-14)
Resolved: Index_bindingops.0:
(let+) (File "index_bindingops.ml", line 29, characters 8-14)
Resolved: Index_bindingops.11:
man (File "index_bindingops.ml", line 27, characters 14-17)
Resolved: Index_bindingops.10:
bar (File "index_bindingops.ml", line 27, characters 8-11)
Resolved: Index_bindingops.9:
foo (File "index_bindingops.ml", line 27, characters 2-5)
Unresolved: CU Stdlib . "+"[value] :
(+) (File "index_bindingops.ml", line 27, characters 6-7)
Unresolved: CU Stdlib . "-"[value] :
(-) (File "index_bindingops.ml", line 27, characters 12-13)
Resolved: Index_bindingops.3:
(and+) (File "index_bindingops.ml", line 26, characters 2-6)
Resolved: Index_bindingops.3:
(and+) (File "index_bindingops.ml", line 25, characters 2-6)
Resolved: Index_bindingops.0:
(let+) (File "index_bindingops.ml", line 24, characters 2-6)
Resolved: Index_bindingops.5:
y (File "index_bindingops.ml", line 21, characters 31-32)
Resolved: Index_bindingops.7:
y (File "index_bindingops.ml", line 21, characters 27-28)
Resolved: Index_bindingops.6:
x (File "index_bindingops.ml", line 21, characters 24-25)
Unresolved: CU Stdlib . "Option"[module] :
Option (File "index_bindingops.ml", line 21, characters 2-8)
Unresolved: CU Stdlib . "Option"[module] . "map"[value] :
Option.map (File "index_bindingops.ml", line 21, characters 2-12)
Resolved: Index_bindingops.4:
x (File "index_bindingops.ml", line 20, characters 14-15)
Unresolved: CU Stdlib . "Option"[module] :
Option (File "index_bindingops.ml", line 20, characters 2-8)
Unresolved: CU Stdlib . "Option"[module] . "bind"[value] :
Option.bind (File "index_bindingops.ml", line 20, characters 2-13)
Resolved: Index_bindingops.1:
x (File "index_bindingops.ml", line 17, characters 30-31)
Resolved: Index_bindingops.2:
f (File "index_bindingops.ml", line 17, characters 28-29)
Unresolved: CU Stdlib . "Option"[module] :
Option (File "index_bindingops.ml", line 17, characters 17-23)
Unresolved: CU Stdlib . "Option"[module] . "map"[value] :
Option.map (File "index_bindingops.ml", line 17, characters 17-27)
Uid of decls:
Index_bindingops.0:
let+ (File "index_bindingops.ml", line 17, characters 4-10)
Index_bindingops.3:
and+ (File "index_bindingops.ml", line 19, characters 4-10)
Index_bindingops.8:
minus_three (File "index_bindingops.ml", line 23, characters 4-15)
|
