/usr/lib/ocaml/gsl/gsl_misc.annot is in libocamlgsl-ocaml-dev 1.19.1-2build2.
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 | "lib/gsl_misc.ml" 6 192 196 "lib/gsl_misc.ml" 6 192 209
type(
'a option -> 'a -> 'a
)
ident(
def maybe_or_else "lib/gsl_misc.ml" 11 267 267 "lib/gsl_misc.ml" 1 0 -1
)
"lib/gsl_misc.ml" 6 192 210 "lib/gsl_misc.ml" 6 192 211
type(
'a option
)
ident(
def o "lib/gsl_misc.ml" 6 192 212 "lib/gsl_misc.ml" 9 250 265
)
"lib/gsl_misc.ml" 6 192 212 "lib/gsl_misc.ml" 6 192 215
type(
'a
)
ident(
def def "lib/gsl_misc.ml" 7 219 221 "lib/gsl_misc.ml" 9 250 265
)
"lib/gsl_misc.ml" 7 219 227 "lib/gsl_misc.ml" 7 219 228
type(
'a option
)
ident(
int_ref o "lib/gsl_misc.ml" 6 192 210 "lib/gsl_misc.ml" 6 192 211
)
"lib/gsl_misc.ml" 8 234 238 "lib/gsl_misc.ml" 8 234 242
type(
'a option
)
"lib/gsl_misc.ml" 8 234 246 "lib/gsl_misc.ml" 8 234 249
type(
'a
)
ident(
int_ref def "lib/gsl_misc.ml" 6 192 212 "lib/gsl_misc.ml" 6 192 215
)
"lib/gsl_misc.ml" 9 250 259 "lib/gsl_misc.ml" 9 250 260
type(
'a
)
ident(
def v "lib/gsl_misc.ml" 9 250 264 "lib/gsl_misc.ml" 9 250 265
)
"lib/gsl_misc.ml" 9 250 254 "lib/gsl_misc.ml" 9 250 260
type(
'a option
)
"lib/gsl_misc.ml" 9 250 264 "lib/gsl_misc.ml" 9 250 265
type(
'a
)
ident(
int_ref v "lib/gsl_misc.ml" 9 250 259 "lib/gsl_misc.ml" 9 250 260
)
"lib/gsl_misc.ml" 7 219 221 "lib/gsl_misc.ml" 9 250 265
type(
'a
)
"lib/gsl_misc.ml" 11 267 271 "lib/gsl_misc.ml" 11 267 274
type(
'a option -> ('a -> unit) -> unit
)
ident(
def may "lib/gsl_misc.ml" 16 333 333 "lib/gsl_misc.ml" 1 0 -1
)
"lib/gsl_misc.ml" 11 267 275 "lib/gsl_misc.ml" 11 267 277
type(
'a option
)
ident(
def vo "lib/gsl_misc.ml" 11 267 278 "lib/gsl_misc.ml" 14 314 331
)
"lib/gsl_misc.ml" 11 267 278 "lib/gsl_misc.ml" 11 267 279
type(
'a -> unit
)
ident(
def f "lib/gsl_misc.ml" 12 283 285 "lib/gsl_misc.ml" 14 314 331
)
"lib/gsl_misc.ml" 12 283 291 "lib/gsl_misc.ml" 12 283 293
type(
'a option
)
ident(
int_ref vo "lib/gsl_misc.ml" 11 267 275 "lib/gsl_misc.ml" 11 267 277
)
"lib/gsl_misc.ml" 13 299 303 "lib/gsl_misc.ml" 13 299 307
type(
'a option
)
"lib/gsl_misc.ml" 13 299 311 "lib/gsl_misc.ml" 13 299 313
type(
unit
)
"lib/gsl_misc.ml" 14 314 323 "lib/gsl_misc.ml" 14 314 324
type(
'a
)
ident(
def v "lib/gsl_misc.ml" 14 314 328 "lib/gsl_misc.ml" 14 314 331
)
"lib/gsl_misc.ml" 14 314 318 "lib/gsl_misc.ml" 14 314 324
type(
'a option
)
"lib/gsl_misc.ml" 14 314 328 "lib/gsl_misc.ml" 14 314 329
type(
'a -> unit
)
ident(
int_ref f "lib/gsl_misc.ml" 11 267 278 "lib/gsl_misc.ml" 11 267 279
)
"lib/gsl_misc.ml" 14 314 330 "lib/gsl_misc.ml" 14 314 331
type(
'a
)
ident(
int_ref v "lib/gsl_misc.ml" 14 314 323 "lib/gsl_misc.ml" 14 314 324
)
"lib/gsl_misc.ml" 14 314 328 "lib/gsl_misc.ml" 14 314 331
call(
tail
)
type(
unit
)
"lib/gsl_misc.ml" 12 283 285 "lib/gsl_misc.ml" 14 314 331
type(
unit
)
"lib/gsl_misc.ml" 16 333 337 "lib/gsl_misc.ml" 16 333 346
type(
('a -> unit) option -> 'a -> unit
)
ident(
def may_apply "lib/gsl_misc.ml" 21 404 404 "lib/gsl_misc.ml" 1 0 -1
)
"lib/gsl_misc.ml" 16 333 347 "lib/gsl_misc.ml" 16 333 349
type(
('a -> unit) option
)
ident(
def fo "lib/gsl_misc.ml" 16 333 350 "lib/gsl_misc.ml" 19 385 402
)
"lib/gsl_misc.ml" 16 333 350 "lib/gsl_misc.ml" 16 333 351
type(
'a
)
ident(
def v "lib/gsl_misc.ml" 17 354 356 "lib/gsl_misc.ml" 19 385 402
)
"lib/gsl_misc.ml" 17 354 362 "lib/gsl_misc.ml" 17 354 364
type(
('a -> unit) option
)
ident(
int_ref fo "lib/gsl_misc.ml" 16 333 347 "lib/gsl_misc.ml" 16 333 349
)
"lib/gsl_misc.ml" 18 370 374 "lib/gsl_misc.ml" 18 370 378
type(
('a -> unit) option
)
"lib/gsl_misc.ml" 18 370 382 "lib/gsl_misc.ml" 18 370 384
type(
unit
)
"lib/gsl_misc.ml" 19 385 394 "lib/gsl_misc.ml" 19 385 395
type(
'a -> unit
)
ident(
def f "lib/gsl_misc.ml" 19 385 399 "lib/gsl_misc.ml" 19 385 402
)
"lib/gsl_misc.ml" 19 385 389 "lib/gsl_misc.ml" 19 385 395
type(
('a -> unit) option
)
"lib/gsl_misc.ml" 19 385 399 "lib/gsl_misc.ml" 19 385 400
type(
'a -> unit
)
ident(
int_ref f "lib/gsl_misc.ml" 19 385 394 "lib/gsl_misc.ml" 19 385 395
)
"lib/gsl_misc.ml" 19 385 401 "lib/gsl_misc.ml" 19 385 402
type(
'a
)
ident(
int_ref v "lib/gsl_misc.ml" 16 333 350 "lib/gsl_misc.ml" 16 333 351
)
"lib/gsl_misc.ml" 19 385 399 "lib/gsl_misc.ml" 19 385 402
call(
tail
)
type(
unit
)
"lib/gsl_misc.ml" 17 354 356 "lib/gsl_misc.ml" 19 385 402
type(
unit
)
"lib/gsl_misc.ml" 21 404 408 "lib/gsl_misc.ml" 21 404 410
type(
'a option -> bool
)
ident(
def is "lib/gsl_misc.ml" 23 440 458 "lib/gsl_misc.ml" 1 0 -1
)
"lib/gsl_misc.ml" 22 422 426 "lib/gsl_misc.ml" 22 422 430
type(
'a option
)
"lib/gsl_misc.ml" 22 422 434 "lib/gsl_misc.ml" 22 422 439
type(
bool
)
"lib/gsl_misc.ml" 23 440 449 "lib/gsl_misc.ml" 23 440 450
type(
'a
)
"lib/gsl_misc.ml" 23 440 444 "lib/gsl_misc.ml" 23 440 450
type(
'a option
)
"lib/gsl_misc.ml" 23 440 454 "lib/gsl_misc.ml" 23 440 458
type(
bool
)
"lib/gsl_misc.ml" 21 404 413 "lib/gsl_misc.ml" 23 440 458
type(
'a option -> bool
)
|