/usr/lib/ocaml/gsl/gsl_multimin.annot is in libocamlgsl-ocaml-dev 1.19.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 | "lib/gsl_multimin.ml" 30 632 636 "lib/gsl_multimin.ml" 30 632 640
type(
kind ->
int ->
Gsl_fun.multim_fun_fdf ->
x:Gsl_vector.vector -> step:float -> tol:float -> t
)
ident(
def make "lib/gsl_multimin.ml" 36 767 767 "lib/gsl_multimin.ml" 50 1186 1189
)
"lib/gsl_multimin.ml" 30 632 641 "lib/gsl_multimin.ml" 30 632 645
type(
kind
)
ident(
def kind "lib/gsl_multimin.ml" 30 632 646 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 30 632 646 "lib/gsl_multimin.ml" 30 632 649
type(
int
)
ident(
def dim "lib/gsl_multimin.ml" 30 632 650 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 30 632 650 "lib/gsl_multimin.ml" 30 632 652
type(
Gsl_fun.multim_fun_fdf
)
ident(
def gf "lib/gsl_multimin.ml" 30 632 653 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 30 632 654 "lib/gsl_multimin.ml" 30 632 655
type(
Gsl_vector.vector
)
ident(
def x "lib/gsl_multimin.ml" 30 632 656 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 30 632 657 "lib/gsl_multimin.ml" 30 632 661
type(
float
)
ident(
def step "lib/gsl_multimin.ml" 30 632 662 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 30 632 663 "lib/gsl_multimin.ml" 30 632 666
type(
float
)
ident(
def tol "lib/gsl_multimin.ml" 31 669 671 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 31 669 675 "lib/gsl_multimin.ml" 31 669 679
type(
t
)
ident(
def mini "lib/gsl_multimin.ml" 32 701 703 "lib/gsl_multimin.ml" 34 759 765
)
"lib/gsl_multimin.ml" 31 669 682 "lib/gsl_multimin.ml" 31 669 688
type(
kind -> int -> t
)
ident(
int_ref _alloc "lib/gsl_multimin.ml" 20 355 355 "lib/gsl_multimin.ml" 21 391 433
)
"lib/gsl_multimin.ml" 31 669 689 "lib/gsl_multimin.ml" 31 669 693
type(
kind
)
ident(
int_ref kind "lib/gsl_multimin.ml" 30 632 641 "lib/gsl_multimin.ml" 30 632 645
)
"lib/gsl_multimin.ml" 31 669 694 "lib/gsl_multimin.ml" 31 669 697
type(
int
)
ident(
int_ref dim "lib/gsl_multimin.ml" 30 632 646 "lib/gsl_multimin.ml" 30 632 649
)
"lib/gsl_multimin.ml" 31 669 682 "lib/gsl_multimin.ml" 31 669 697
type(
t
)
"lib/gsl_multimin.ml" 32 701 703 "lib/gsl_multimin.ml" 32 701 714
type(
(t -> unit) -> t -> unit
)
ident(
ext_ref Gc.finalise
)
"lib/gsl_multimin.ml" 32 701 715 "lib/gsl_multimin.ml" 32 701 720
type(
t -> unit
)
ident(
int_ref _free "lib/gsl_multimin.ml" 23 435 435 "lib/gsl_multimin.ml" 24 462 503
)
"lib/gsl_multimin.ml" 32 701 721 "lib/gsl_multimin.ml" 32 701 725
type(
t
)
ident(
int_ref mini "lib/gsl_multimin.ml" 31 669 675 "lib/gsl_multimin.ml" 31 669 679
)
"lib/gsl_multimin.ml" 32 701 703 "lib/gsl_multimin.ml" 32 701 725
call(
stack
)
type(
unit
)
"lib/gsl_multimin.ml" 33 728 730 "lib/gsl_multimin.ml" 33 728 734
type(
t ->
Gsl_fun.multim_fun_fdf ->
x:Gsl_vector.vector -> step:float -> tol:float -> unit
)
ident(
int_ref _set "lib/gsl_multimin.ml" 26 505 505 "lib/gsl_multimin.ml" 28 590 630
)
"lib/gsl_multimin.ml" 33 728 735 "lib/gsl_multimin.ml" 33 728 739
type(
t
)
ident(
int_ref mini "lib/gsl_multimin.ml" 31 669 675 "lib/gsl_multimin.ml" 31 669 679
)
"lib/gsl_multimin.ml" 33 728 740 "lib/gsl_multimin.ml" 33 728 742
type(
Gsl_fun.multim_fun_fdf
)
ident(
int_ref gf "lib/gsl_multimin.ml" 30 632 650 "lib/gsl_multimin.ml" 30 632 652
)
"lib/gsl_multimin.ml" 33 728 744 "lib/gsl_multimin.ml" 33 728 745
type(
Gsl_vector.vector
)
ident(
int_ref x "lib/gsl_multimin.ml" 30 632 654 "lib/gsl_multimin.ml" 30 632 655
)
"lib/gsl_multimin.ml" 33 728 747 "lib/gsl_multimin.ml" 33 728 751
type(
float
)
ident(
int_ref step "lib/gsl_multimin.ml" 30 632 657 "lib/gsl_multimin.ml" 30 632 661
)
"lib/gsl_multimin.ml" 33 728 753 "lib/gsl_multimin.ml" 33 728 756
type(
float
)
ident(
int_ref tol "lib/gsl_multimin.ml" 30 632 663 "lib/gsl_multimin.ml" 30 632 666
)
"lib/gsl_multimin.ml" 33 728 730 "lib/gsl_multimin.ml" 33 728 756
type(
unit
)
"lib/gsl_multimin.ml" 34 759 761 "lib/gsl_multimin.ml" 34 759 765
type(
t
)
ident(
int_ref mini "lib/gsl_multimin.ml" 31 669 675 "lib/gsl_multimin.ml" 31 669 679
)
"lib/gsl_multimin.ml" 33 728 730 "lib/gsl_multimin.ml" 34 759 765
type(
t
)
"lib/gsl_multimin.ml" 32 701 703 "lib/gsl_multimin.ml" 34 759 765
type(
t
)
"lib/gsl_multimin.ml" 31 669 671 "lib/gsl_multimin.ml" 34 759 765
type(
t
)
"lib/gsl_multimin.ml" 71 1515 1519 "lib/gsl_multimin.ml" 71 1515 1523
type(
kind ->
int ->
Gsl_fun.multim_fun ->
x:Gsl_vector.vector -> step_size:Gsl_vector.vector -> t
)
ident(
def make "lib/gsl_multimin.ml" 77 1650 1650 "lib/gsl_multimin.ml" 91 2022 2025
)
"lib/gsl_multimin.ml" 71 1515 1524 "lib/gsl_multimin.ml" 71 1515 1528
type(
kind
)
ident(
def kind "lib/gsl_multimin.ml" 71 1515 1529 "lib/gsl_multimin.ml" 75 1642 1648
)
"lib/gsl_multimin.ml" 71 1515 1529 "lib/gsl_multimin.ml" 71 1515 1532
type(
int
)
ident(
def dim "lib/gsl_multimin.ml" 71 1515 1533 "lib/gsl_multimin.ml" 75 1642 1648
)
"lib/gsl_multimin.ml" 71 1515 1533 "lib/gsl_multimin.ml" 71 1515 1535
type(
Gsl_fun.multim_fun
)
ident(
def gf "lib/gsl_multimin.ml" 71 1515 1536 "lib/gsl_multimin.ml" 75 1642 1648
)
"lib/gsl_multimin.ml" 71 1515 1537 "lib/gsl_multimin.ml" 71 1515 1538
type(
Gsl_vector.vector
)
ident(
def x "lib/gsl_multimin.ml" 71 1515 1539 "lib/gsl_multimin.ml" 75 1642 1648
)
"lib/gsl_multimin.ml" 71 1515 1540 "lib/gsl_multimin.ml" 71 1515 1549
type(
Gsl_vector.vector
)
ident(
def step_size "lib/gsl_multimin.ml" 72 1552 1554 "lib/gsl_multimin.ml" 75 1642 1648
)
"lib/gsl_multimin.ml" 72 1552 1558 "lib/gsl_multimin.ml" 72 1552 1562
type(
t
)
ident(
def mini "lib/gsl_multimin.ml" 73 1584 1586 "lib/gsl_multimin.ml" 75 1642 1648
)
"lib/gsl_multimin.ml" 72 1552 1565 "lib/gsl_multimin.ml" 72 1552 1571
type(
kind -> int -> t
)
ident(
int_ref _alloc "lib/gsl_multimin.ml" 61 1255 1255 "lib/gsl_multimin.ml" 62 1291 1331
)
"lib/gsl_multimin.ml" 72 1552 1572 "lib/gsl_multimin.ml" 72 1552 1576
type(
kind
)
ident(
int_ref kind "lib/gsl_multimin.ml" 71 1515 1524 "lib/gsl_multimin.ml" 71 1515 1528
)
"lib/gsl_multimin.ml" 72 1552 1577 "lib/gsl_multimin.ml" 72 1552 1580
type(
int
)
ident(
int_ref dim "lib/gsl_multimin.ml" 71 1515 1529 "lib/gsl_multimin.ml" 71 1515 1532
)
"lib/gsl_multimin.ml" 72 1552 1565 "lib/gsl_multimin.ml" 72 1552 1580
type(
t
)
"lib/gsl_multimin.ml" 73 1584 1586 "lib/gsl_multimin.ml" 73 1584 1597
type(
(t -> unit) -> t -> unit
)
ident(
ext_ref Gc.finalise
)
"lib/gsl_multimin.ml" 73 1584 1598 "lib/gsl_multimin.ml" 73 1584 1603
type(
t -> unit
)
ident(
int_ref _free "lib/gsl_multimin.ml" 64 1333 1333 "lib/gsl_multimin.ml" 65 1360 1399
)
"lib/gsl_multimin.ml" 73 1584 1604 "lib/gsl_multimin.ml" 73 1584 1608
type(
t
)
ident(
int_ref mini "lib/gsl_multimin.ml" 72 1552 1558 "lib/gsl_multimin.ml" 72 1552 1562
)
"lib/gsl_multimin.ml" 73 1584 1586 "lib/gsl_multimin.ml" 73 1584 1608
call(
stack
)
type(
unit
)
"lib/gsl_multimin.ml" 74 1611 1613 "lib/gsl_multimin.ml" 74 1611 1617
type(
t ->
Gsl_fun.multim_fun ->
x:Gsl_vector.vector -> step_size:Gsl_vector.vector -> unit
)
ident(
int_ref _set "lib/gsl_multimin.ml" 67 1401 1401 "lib/gsl_multimin.ml" 69 1475 1513
)
"lib/gsl_multimin.ml" 74 1611 1618 "lib/gsl_multimin.ml" 74 1611 1622
type(
t
)
ident(
int_ref mini "lib/gsl_multimin.ml" 72 1552 1558 "lib/gsl_multimin.ml" 72 1552 1562
)
"lib/gsl_multimin.ml" 74 1611 1623 "lib/gsl_multimin.ml" 74 1611 1625
type(
Gsl_fun.multim_fun
)
ident(
int_ref gf "lib/gsl_multimin.ml" 71 1515 1533 "lib/gsl_multimin.ml" 71 1515 1535
)
"lib/gsl_multimin.ml" 74 1611 1627 "lib/gsl_multimin.ml" 74 1611 1628
type(
Gsl_vector.vector
)
ident(
int_ref x "lib/gsl_multimin.ml" 71 1515 1537 "lib/gsl_multimin.ml" 71 1515 1538
)
"lib/gsl_multimin.ml" 74 1611 1630 "lib/gsl_multimin.ml" 74 1611 1639
type(
Gsl_vector.vector
)
ident(
int_ref step_size "lib/gsl_multimin.ml" 71 1515 1540 "lib/gsl_multimin.ml" 71 1515 1549
)
"lib/gsl_multimin.ml" 74 1611 1613 "lib/gsl_multimin.ml" 74 1611 1639
type(
unit
)
"lib/gsl_multimin.ml" 75 1642 1644 "lib/gsl_multimin.ml" 75 1642 1648
type(
t
)
ident(
int_ref mini "lib/gsl_multimin.ml" 72 1552 1558 "lib/gsl_multimin.ml" 72 1552 1562
)
"lib/gsl_multimin.ml" 74 1611 1613 "lib/gsl_multimin.ml" 75 1642 1648
type(
t
)
"lib/gsl_multimin.ml" 73 1584 1586 "lib/gsl_multimin.ml" 75 1642 1648
type(
t
)
"lib/gsl_multimin.ml" 72 1552 1554 "lib/gsl_multimin.ml" 75 1642 1648
type(
t
)
|