File tree
13 files changed
+87
-14
lines changed- docs/api
13 files changed
+87
-14
lines changedDiff for: Changes
+3-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| 21 | + | |
| 22 | + | |
21 | 23 |
| |
22 | 24 |
| |
23 | 25 |
| |
|
Diff for: docs/api/Js.Int.html
+2-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
215 | 215 |
| |
216 | 216 |
| |
217 | 217 |
| |
218 |
| - | |
| 218 | + | |
| 219 | + |
Diff for: docs/api/Js.List.html
+8-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
101 | 101 |
| |
102 | 102 |
| |
103 |
| - | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + |
Diff for: docs/api/Js.Option.html
+1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
72 | 72 |
| |
73 | 73 |
| |
74 | 74 |
| |
| 75 | + | |
75 | 76 |
| |
76 | 77 |
| |
77 | 78 |
| |
|
Diff for: docs/api/Js.Vector.html
+2-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
93 | 93 |
| |
94 | 94 |
| |
95 | 95 |
| |
96 |
| - | |
97 |
| - | |
| 96 | + | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
|
Diff for: docs/api/Js_int.html
+2-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
215 | 215 |
| |
216 | 216 |
| |
217 | 217 |
| |
218 |
| - | |
| 218 | + | |
| 219 | + |
Diff for: docs/api/Js_list.html
+8-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
94 | 94 |
| |
95 | 95 |
| |
96 | 96 |
| |
97 |
| - | |
| 97 | + | |
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
101 | 101 |
| |
102 | 102 |
| |
103 |
| - | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
| 109 | + |
Diff for: docs/api/Js_option.html
+1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
| 67 | + | |
67 | 68 |
| |
68 | 69 |
| |
69 | 70 |
| |
|
Diff for: docs/api/Js_vector.html
+2-2
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
102 | 102 |
| |
103 | 103 |
| |
104 | 104 |
| |
105 |
| - | |
106 |
| - | |
| 105 | + | |
| 106 | + | |
107 | 107 |
| |
108 | 108 |
| |
109 | 109 |
| |
|
Diff for: docs/api/index_values.html
+49-1
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
650 | 650 |
| |
651 | 651 |
| |
652 | 652 |
| |
| 653 | + | |
| 654 | + | |
| 655 | + | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
653 | 659 |
| |
654 | 660 |
| |
655 | 661 |
| |
| |||
836 | 842 |
| |
837 | 843 |
| |
838 | 844 |
| |
| 845 | + | |
| 846 | + | |
| 847 | + | |
| 848 | + | |
| 849 | + | |
| 850 | + | |
839 | 851 |
| |
840 | 852 |
| |
841 | 853 |
| |
842 | 854 |
| |
843 | 855 |
| |
844 | 856 |
| |
| 857 | + | |
| 858 | + | |
| 859 | + | |
| 860 | + | |
| 861 | + | |
| 862 | + | |
845 | 863 |
| |
846 | 864 |
| |
847 | 865 |
| |
| |||
975 | 993 |
| |
976 | 994 |
| |
977 | 995 |
| |
| 996 | + | |
| 997 | + | |
| 998 | + | |
| 999 | + | |
| 1000 | + | |
| 1001 | + | |
978 | 1002 |
| |
979 | 1003 |
| |
980 | 1004 |
| |
| |||
995 | 1019 |
| |
996 | 1020 |
| |
997 | 1021 |
| |
| 1022 | + | |
| 1023 | + | |
| 1024 | + | |
| 1025 | + | |
| 1026 | + | |
| 1027 | + | |
998 | 1028 |
| |
999 | 1029 |
| |
1000 | 1030 |
| |
| |||
1064 | 1094 |
| |
1065 | 1095 |
| |
1066 | 1096 |
| |
| 1097 | + | |
| 1098 | + | |
| 1099 | + | |
| 1100 | + | |
| 1101 | + | |
| 1102 | + | |
1067 | 1103 |
| |
1068 | 1104 |
| |
1069 | 1105 |
| |
| |||
1301 | 1337 |
| |
1302 | 1338 |
| |
1303 | 1339 |
| |
1304 |
| - | |
| 1340 | + | |
1305 | 1341 |
| |
1306 | 1342 |
| |
1307 | 1343 |
| |
| |||
2173 | 2209 |
| |
2174 | 2210 |
| |
2175 | 2211 |
| |
| 2212 | + | |
| 2213 | + | |
| 2214 | + | |
| 2215 | + | |
| 2216 | + | |
| 2217 | + | |
2176 | 2218 |
| |
2177 | 2219 |
| |
2178 | 2220 |
| |
| |||
2274 | 2316 |
| |
2275 | 2317 |
| |
2276 | 2318 |
| |
| 2319 | + | |
| 2320 | + | |
| 2321 | + | |
| 2322 | + | |
| 2323 | + | |
| 2324 | + | |
2277 | 2325 |
| |
2278 | 2326 |
| |
2279 | 2327 |
| |
|
Diff for: docs/api/type_Js_list.html
+6
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
27 | 33 |
|
0 commit comments