/usr/lib/ocaml/oasis/OASISContext.annot is in liboasis-ocaml-dev 0.4.10-2build1.
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 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 | "src/oasis/OASISContext.ml" 38 1853 1857 "src/oasis/OASISContext.ml" 38 1853 1866
type(
OASISUnixPath.unix_filename -> 'a OASISFileSystem.filename
)
ident(
def in_srcdir "src/oasis/OASISContext.ml" 41 1912 1912 "src/oasis/OASISContext.ml" 1 0 -1
)
"src/oasis/OASISContext.ml" 38 1853 1867 "src/oasis/OASISContext.ml" 38 1853 1870
type(
OASISUnixPath.unix_filename
)
ident(
def ufn "src/oasis/OASISContext.ml" 38 1853 1873 "src/oasis/OASISContext.ml" 38 1853 1909
)
"src/oasis/OASISContext.ml" 38 1853 1873 "src/oasis/OASISContext.ml" 38 1853 1905
type(
OASISUnixPath.unix_filename -> 'a OASISFileSystem.filename
)
ident(
ext_ref OASISFileSystem.of_unix_filename
)
"src/oasis/OASISContext.ml" 38 1853 1906 "src/oasis/OASISContext.ml" 38 1853 1909
type(
OASISUnixPath.unix_filename
)
ident(
int_ref ufn "src/oasis/OASISContext.ml" 38 1853 1867 "src/oasis/OASISContext.ml" 38 1853 1870
)
"src/oasis/OASISContext.ml" 38 1853 1873 "src/oasis/OASISContext.ml" 38 1853 1909
call(
tail
)
type(
'a OASISFileSystem.filename
)
"src/oasis/OASISContext.ml" 55 2289 2293 "src/oasis/OASISContext.ml" 55 2289 2299
type(
[< `Debug | `Error | `Info | `Warning ] -> string -> unit
)
ident(
def printf "src/oasis/OASISContext.ml" 66 2484 2484 "src/oasis/OASISContext.ml" 1 0 -1
)
"src/oasis/OASISContext.ml" 55 2289 2300 "src/oasis/OASISContext.ml" 55 2289 2303
type(
[< `Debug | `Error | `Info | `Warning ] as 'a
)
ident(
def lvl "src/oasis/OASISContext.ml" 55 2289 2304 "src/oasis/OASISContext.ml" 63 2456 2481
)
"src/oasis/OASISContext.ml" 55 2289 2304 "src/oasis/OASISContext.ml" 55 2289 2307
type(
string
)
ident(
def str "src/oasis/OASISContext.ml" 56 2310 2312 "src/oasis/OASISContext.ml" 63 2456 2481
)
"src/oasis/OASISContext.ml" 56 2310 2316 "src/oasis/OASISContext.ml" 56 2310 2319
type(
string
)
ident(
def beg "src/oasis/OASISContext.ml" 63 2456 2458 "src/oasis/OASISContext.ml" 63 2456 2481
)
"src/oasis/OASISContext.ml" 57 2322 2332 "src/oasis/OASISContext.ml" 57 2322 2335
type(
'a
)
ident(
int_ref lvl "src/oasis/OASISContext.ml" 55 2289 2300 "src/oasis/OASISContext.ml" 55 2289 2303
)
"src/oasis/OASISContext.ml" 58 2341 2349 "src/oasis/OASISContext.ml" 58 2341 2355
type(
'a
)
"src/oasis/OASISContext.ml" 58 2341 2359 "src/oasis/OASISContext.ml" 58 2341 2361
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 58 2341 2362 "src/oasis/OASISContext.ml" 58 2341 2367
type(
string
)
"src/oasis/OASISContext.ml" 58 2341 2359 "src/oasis/OASISContext.ml" 58 2341 2367
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 59 2368 2376 "src/oasis/OASISContext.ml" 59 2368 2384
type(
'a
)
"src/oasis/OASISContext.ml" 59 2368 2388 "src/oasis/OASISContext.ml" 59 2368 2390
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 59 2368 2391 "src/oasis/OASISContext.ml" 59 2368 2396
type(
string
)
"src/oasis/OASISContext.ml" 59 2368 2388 "src/oasis/OASISContext.ml" 59 2368 2396
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 60 2397 2405 "src/oasis/OASISContext.ml" 60 2397 2410
type(
'a
)
"src/oasis/OASISContext.ml" 60 2397 2415 "src/oasis/OASISContext.ml" 60 2397 2417
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 60 2397 2418 "src/oasis/OASISContext.ml" 60 2397 2423
type(
string
)
"src/oasis/OASISContext.ml" 60 2397 2415 "src/oasis/OASISContext.ml" 60 2397 2423
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 61 2424 2432 "src/oasis/OASISContext.ml" 61 2424 2438
type(
'a
)
"src/oasis/OASISContext.ml" 61 2424 2442 "src/oasis/OASISContext.ml" 61 2424 2444
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 61 2424 2445 "src/oasis/OASISContext.ml" 61 2424 2450
type(
string
)
"src/oasis/OASISContext.ml" 61 2424 2442 "src/oasis/OASISContext.ml" 61 2424 2450
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 57 2322 2326 "src/oasis/OASISContext.ml" 61 2424 2450
type(
string
)
"src/oasis/OASISContext.ml" 63 2456 2458 "src/oasis/OASISContext.ml" 63 2456 2471
type(
string -> unit
)
ident(
ext_ref Pervasives.prerr_endline
)
"src/oasis/OASISContext.ml" 63 2456 2473 "src/oasis/OASISContext.ml" 63 2456 2476
type(
string
)
ident(
int_ref beg "src/oasis/OASISContext.ml" 56 2310 2316 "src/oasis/OASISContext.ml" 56 2310 2319
)
"src/oasis/OASISContext.ml" 63 2456 2476 "src/oasis/OASISContext.ml" 63 2456 2477
type(
string -> string -> string
)
ident(
ext_ref Pervasives.( ^ )
)
"src/oasis/OASISContext.ml" 63 2456 2477 "src/oasis/OASISContext.ml" 63 2456 2480
type(
string
)
ident(
int_ref str "src/oasis/OASISContext.ml" 55 2289 2304 "src/oasis/OASISContext.ml" 55 2289 2307
)
"src/oasis/OASISContext.ml" 63 2456 2472 "src/oasis/OASISContext.ml" 63 2456 2481
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 63 2456 2458 "src/oasis/OASISContext.ml" 63 2456 2481
call(
tail
)
type(
unit
)
"src/oasis/OASISContext.ml" 56 2310 2312 "src/oasis/OASISContext.ml" 63 2456 2481
type(
unit
)
"src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
type(
t ref
)
ident(
def default "src/oasis/OASISContext.ml" 80 2863 2863 "src/oasis/OASISContext.ml" 1 0 -1
)
"src/oasis/OASISContext.ml" 67 2498 2500 "src/oasis/OASISContext.ml" 67 2498 2503
type(
t -> t ref
)
ident(
ext_ref Pervasives.ref
)
"src/oasis/OASISContext.ml" 69 2510 2540 "src/oasis/OASISContext.ml" 69 2510 2545
type(
bool
)
"src/oasis/OASISContext.ml" 70 2547 2577 "src/oasis/OASISContext.ml" 70 2547 2582
type(
bool
)
"src/oasis/OASISContext.ml" 71 2584 2614 "src/oasis/OASISContext.ml" 71 2584 2619
type(
bool
)
"src/oasis/OASISContext.ml" 72 2621 2651 "src/oasis/OASISContext.ml" 72 2621 2656
type(
bool
)
"src/oasis/OASISContext.ml" 73 2658 2688 "src/oasis/OASISContext.ml" 73 2658 2693
type(
bool
)
"src/oasis/OASISContext.ml" 74 2695 2725 "src/oasis/OASISContext.ml" 74 2695 2731
type(
level -> string -> unit
)
ident(
int_ref printf "src/oasis/OASISContext.ml" 55 2289 2293 "src/oasis/OASISContext.ml" 55 2289 2299
)
"src/oasis/OASISContext.ml" 75 2733 2763 "src/oasis/OASISContext.ml" 75 2733 2790
type(
OASISUnixPath.host_filename -> source OASISFileSystem.host_fs
)
"src/oasis/OASISContext.ml" 75 2733 2791 "src/oasis/OASISContext.ml" 75 2733 2801
type(
unit -> OASISUnixPath.host_filename
)
ident(
ext_ref Sys.getcwd
)
"src/oasis/OASISContext.ml" 75 2733 2802 "src/oasis/OASISContext.ml" 75 2733 2804
type(
unit
)
"src/oasis/OASISContext.ml" 75 2733 2790 "src/oasis/OASISContext.ml" 75 2733 2805
type(
OASISUnixPath.host_filename
)
"src/oasis/OASISContext.ml" 75 2733 2763 "src/oasis/OASISContext.ml" 75 2733 2805
call(
stack
)
type(
source OASISFileSystem.host_fs
)
"src/oasis/OASISContext.ml" 76 2807 2842 "src/oasis/OASISContext.ml" 76 2807 2843
type(
string
)
"src/oasis/OASISContext.ml" 76 2807 2847 "src/oasis/OASISContext.ml" 76 2807 2852
type(
bool
)
"src/oasis/OASISContext.ml" 76 2807 2837 "src/oasis/OASISContext.ml" 76 2807 2853
type(
string -> bool
)
"src/oasis/OASISContext.ml" 68 2504 2508 "src/oasis/OASISContext.ml" 77 2855 2860
type(
t
)
"src/oasis/OASISContext.ml" 67 2498 2500 "src/oasis/OASISContext.ml" 77 2855 2860
type(
t ref
)
"src/oasis/OASISContext.ml" 80 2863 2867 "src/oasis/OASISContext.ml" 80 2863 2872
type(
t
)
ident(
def quiet "src/oasis/OASISContext.ml" 84 2908 2908 "src/oasis/OASISContext.ml" 1 0 -1
)
"src/oasis/OASISContext.ml" 81 2875 2878 "src/oasis/OASISContext.ml" 81 2875 2879
type(
t ref -> t
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 81 2875 2879 "src/oasis/OASISContext.ml" 81 2875 2886
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 81 2875 2878 "src/oasis/OASISContext.ml" 81 2875 2886
type(
t
)
"src/oasis/OASISContext.ml" 81 2875 2900 "src/oasis/OASISContext.ml" 81 2875 2904
type(
bool
)
"src/oasis/OASISContext.ml" 81 2875 2877 "src/oasis/OASISContext.ml" 81 2875 2905
type(
t
)
"src/oasis/OASISContext.ml" 84 2908 2912 "src/oasis/OASISContext.ml" 84 2908 2918
type(
unit -> (string * Arg.spec * string) list * (unit -> t)
)
ident(
def fspecs "src/oasis/OASISContext.ml" 110 3620 3680 "src/oasis/OASISContext.ml" 1 0 -1
)
"src/oasis/OASISContext.ml" 84 2908 2919 "src/oasis/OASISContext.ml" 84 2908 2921
type(
unit
)
"src/oasis/OASISContext.ml" 86 2960 2966 "src/oasis/OASISContext.ml" 86 2960 2980
type(
bool ref
)
ident(
def ignore_plugins "src/oasis/OASISContext.ml" 87 2996 2998 "src/oasis/OASISContext.ml" 110 3620 3680
)
"src/oasis/OASISContext.ml" 86 2960 2983 "src/oasis/OASISContext.ml" 86 2960 2986
type(
bool -> bool ref
)
ident(
ext_ref Pervasives.ref
)
"src/oasis/OASISContext.ml" 86 2960 2987 "src/oasis/OASISContext.ml" 86 2960 2992
type(
bool
)
"src/oasis/OASISContext.ml" 86 2960 2983 "src/oasis/OASISContext.ml" 86 2960 2992
type(
bool ref
)
"src/oasis/OASISContext.ml" 87 2996 2999 "src/oasis/OASISContext.ml" 87 2996 3007
type(
string
)
"src/oasis/OASISContext.ml" 88 3009 3026 "src/oasis/OASISContext.ml" 88 3009 3028
type(
unit
)
"src/oasis/OASISContext.ml" 88 3009 3032 "src/oasis/OASISContext.ml" 88 3009 3039
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 88 3009 3040 "src/oasis/OASISContext.ml" 88 3009 3042
type(
t ref -> t -> unit
)
ident(
ext_ref Pervasives.( := )
)
"src/oasis/OASISContext.ml" 88 3009 3044 "src/oasis/OASISContext.ml" 88 3009 3045
type(
t ref -> t
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 88 3009 3045 "src/oasis/OASISContext.ml" 88 3009 3052
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 88 3009 3044 "src/oasis/OASISContext.ml" 88 3009 3052
type(
t
)
"src/oasis/OASISContext.ml" 88 3009 3066 "src/oasis/OASISContext.ml" 88 3009 3070
type(
bool
)
"src/oasis/OASISContext.ml" 88 3009 3043 "src/oasis/OASISContext.ml" 88 3009 3071
type(
t
)
"src/oasis/OASISContext.ml" 88 3009 3032 "src/oasis/OASISContext.ml" 88 3009 3071
type(
unit
)
"src/oasis/OASISContext.ml" 88 3009 3021 "src/oasis/OASISContext.ml" 88 3009 3072
type(
unit -> unit
)
"src/oasis/OASISContext.ml" 88 3009 3012 "src/oasis/OASISContext.ml" 88 3009 3072
type(
Arg.spec
)
"src/oasis/OASISContext.ml" 89 3074 3077 "src/oasis/OASISContext.ml" 89 3074 3079
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 89 3074 3080 "src/oasis/OASISContext.ml" 89 3074 3094
type(
string
)
"src/oasis/OASISContext.ml" 89 3074 3077 "src/oasis/OASISContext.ml" 89 3074 3094
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 87 2996 2999 "src/oasis/OASISContext.ml" 89 3074 3094
type(
string * Arg.spec * string
)
"src/oasis/OASISContext.ml" 91 3097 3100 "src/oasis/OASISContext.ml" 91 3097 3107
type(
string
)
"src/oasis/OASISContext.ml" 92 3109 3126 "src/oasis/OASISContext.ml" 92 3109 3128
type(
unit
)
"src/oasis/OASISContext.ml" 92 3109 3132 "src/oasis/OASISContext.ml" 92 3109 3139
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 92 3109 3140 "src/oasis/OASISContext.ml" 92 3109 3142
type(
t ref -> t -> unit
)
ident(
ext_ref Pervasives.( := )
)
"src/oasis/OASISContext.ml" 92 3109 3144 "src/oasis/OASISContext.ml" 92 3109 3145
type(
t ref -> t
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 92 3109 3145 "src/oasis/OASISContext.ml" 92 3109 3152
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 92 3109 3144 "src/oasis/OASISContext.ml" 92 3109 3152
type(
t
)
"src/oasis/OASISContext.ml" 92 3109 3165 "src/oasis/OASISContext.ml" 92 3109 3169
type(
bool
)
"src/oasis/OASISContext.ml" 92 3109 3143 "src/oasis/OASISContext.ml" 92 3109 3170
type(
t
)
"src/oasis/OASISContext.ml" 92 3109 3132 "src/oasis/OASISContext.ml" 92 3109 3170
type(
unit
)
"src/oasis/OASISContext.ml" 92 3109 3121 "src/oasis/OASISContext.ml" 92 3109 3171
type(
unit -> unit
)
"src/oasis/OASISContext.ml" 92 3109 3112 "src/oasis/OASISContext.ml" 92 3109 3171
type(
Arg.spec
)
"src/oasis/OASISContext.ml" 93 3173 3176 "src/oasis/OASISContext.ml" 93 3173 3178
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 93 3173 3179 "src/oasis/OASISContext.ml" 93 3173 3209
type(
string
)
"src/oasis/OASISContext.ml" 93 3173 3176 "src/oasis/OASISContext.ml" 93 3173 3209
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 91 3097 3100 "src/oasis/OASISContext.ml" 93 3173 3209
type(
string * Arg.spec * string
)
"src/oasis/OASISContext.ml" 96 3213 3216 "src/oasis/OASISContext.ml" 96 3213 3224
type(
string
)
"src/oasis/OASISContext.ml" 97 3226 3243 "src/oasis/OASISContext.ml" 97 3226 3245
type(
unit
)
"src/oasis/OASISContext.ml" 97 3226 3249 "src/oasis/OASISContext.ml" 97 3226 3256
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 97 3226 3257 "src/oasis/OASISContext.ml" 97 3226 3259
type(
t ref -> t -> unit
)
ident(
ext_ref Pervasives.( := )
)
"src/oasis/OASISContext.ml" 97 3226 3261 "src/oasis/OASISContext.ml" 97 3226 3262
type(
t ref -> t
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 97 3226 3262 "src/oasis/OASISContext.ml" 97 3226 3269
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 97 3226 3261 "src/oasis/OASISContext.ml" 97 3226 3269
type(
t
)
"src/oasis/OASISContext.ml" 97 3226 3283 "src/oasis/OASISContext.ml" 97 3226 3287
type(
bool
)
"src/oasis/OASISContext.ml" 97 3226 3260 "src/oasis/OASISContext.ml" 97 3226 3288
type(
t
)
"src/oasis/OASISContext.ml" 97 3226 3249 "src/oasis/OASISContext.ml" 97 3226 3288
type(
unit
)
"src/oasis/OASISContext.ml" 97 3226 3238 "src/oasis/OASISContext.ml" 97 3226 3289
type(
unit -> unit
)
"src/oasis/OASISContext.ml" 97 3226 3229 "src/oasis/OASISContext.ml" 97 3226 3289
type(
Arg.spec
)
"src/oasis/OASISContext.ml" 98 3291 3294 "src/oasis/OASISContext.ml" 98 3291 3296
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 98 3291 3297 "src/oasis/OASISContext.ml" 98 3291 3320
type(
string
)
"src/oasis/OASISContext.ml" 98 3291 3294 "src/oasis/OASISContext.ml" 98 3291 3320
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 96 3213 3216 "src/oasis/OASISContext.ml" 98 3291 3320
type(
string * Arg.spec * string
)
"src/oasis/OASISContext.ml" 100 3323 3326 "src/oasis/OASISContext.ml" 100 3323 3343
type(
string
)
"src/oasis/OASISContext.ml" 101 3345 3356 "src/oasis/OASISContext.ml" 101 3345 3370
type(
bool ref
)
ident(
int_ref ignore_plugins "src/oasis/OASISContext.ml" 86 2960 2966 "src/oasis/OASISContext.ml" 86 2960 2980
)
"src/oasis/OASISContext.ml" 101 3345 3348 "src/oasis/OASISContext.ml" 101 3345 3370
type(
Arg.spec
)
"src/oasis/OASISContext.ml" 102 3372 3375 "src/oasis/OASISContext.ml" 102 3372 3377
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 102 3372 3378 "src/oasis/OASISContext.ml" 102 3372 3403
type(
string
)
"src/oasis/OASISContext.ml" 102 3372 3375 "src/oasis/OASISContext.ml" 102 3372 3403
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 100 3323 3326 "src/oasis/OASISContext.ml" 102 3372 3403
type(
string * Arg.spec * string
)
"src/oasis/OASISContext.ml" 104 3406 3409 "src/oasis/OASISContext.ml" 104 3406 3413
type(
string
)
"src/oasis/OASISContext.ml" 106 3429 3439 "src/oasis/OASISContext.ml" 106 3429 3442
type(
OASISUnixPath.host_filename
)
ident(
def str "src/oasis/OASISContext.ml" 107 3446 3454 "src/oasis/OASISContext.ml" 108 3469 3543
)
"src/oasis/OASISContext.ml" 107 3446 3454 "src/oasis/OASISContext.ml" 107 3446 3463
type(
OASISUnixPath.host_filename -> unit
)
ident(
ext_ref Sys.chdir
)
"src/oasis/OASISContext.ml" 107 3446 3464 "src/oasis/OASISContext.ml" 107 3446 3467
type(
OASISUnixPath.host_filename
)
ident(
int_ref str "src/oasis/OASISContext.ml" 106 3429 3439 "src/oasis/OASISContext.ml" 106 3429 3442
)
"src/oasis/OASISContext.ml" 107 3446 3454 "src/oasis/OASISContext.ml" 107 3446 3467
type(
unit
)
"src/oasis/OASISContext.ml" 108 3469 3477 "src/oasis/OASISContext.ml" 108 3469 3484
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 108 3469 3485 "src/oasis/OASISContext.ml" 108 3469 3487
type(
t ref -> t -> unit
)
ident(
ext_ref Pervasives.( := )
)
"src/oasis/OASISContext.ml" 108 3469 3489 "src/oasis/OASISContext.ml" 108 3469 3490
type(
t ref -> t
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 108 3469 3490 "src/oasis/OASISContext.ml" 108 3469 3497
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 108 3469 3489 "src/oasis/OASISContext.ml" 108 3469 3497
type(
t
)
"src/oasis/OASISContext.ml" 108 3469 3511 "src/oasis/OASISContext.ml" 108 3469 3538
type(
OASISUnixPath.host_filename -> source OASISFileSystem.host_fs
)
"src/oasis/OASISContext.ml" 108 3469 3539 "src/oasis/OASISContext.ml" 108 3469 3542
type(
OASISUnixPath.host_filename
)
ident(
int_ref str "src/oasis/OASISContext.ml" 106 3429 3439 "src/oasis/OASISContext.ml" 106 3429 3442
)
"src/oasis/OASISContext.ml" 108 3469 3511 "src/oasis/OASISContext.ml" 108 3469 3542
call(
stack
)
type(
source OASISFileSystem.host_fs
)
"src/oasis/OASISContext.ml" 108 3469 3488 "src/oasis/OASISContext.ml" 108 3469 3543
type(
t
)
"src/oasis/OASISContext.ml" 108 3469 3477 "src/oasis/OASISContext.ml" 108 3469 3543
type(
unit
)
"src/oasis/OASISContext.ml" 107 3446 3454 "src/oasis/OASISContext.ml" 108 3469 3543
type(
unit
)
"src/oasis/OASISContext.ml" 106 3429 3434 "src/oasis/OASISContext.ml" 108 3469 3544
type(
OASISUnixPath.host_filename -> unit
)
"src/oasis/OASISContext.ml" 105 3415 3418 "src/oasis/OASISContext.ml" 108 3469 3544
type(
Arg.spec
)
"src/oasis/OASISContext.ml" 109 3546 3549 "src/oasis/OASISContext.ml" 109 3546 3551
type(
string -> string
)
ident(
ext_ref OASISGettext.s_
)
"src/oasis/OASISContext.ml" 109 3546 3552 "src/oasis/OASISContext.ml" 109 3546 3617
type(
string
)
"src/oasis/OASISContext.ml" 109 3546 3549 "src/oasis/OASISContext.ml" 109 3546 3617
call(
stack
)
type(
string
)
"src/oasis/OASISContext.ml" 104 3406 3409 "src/oasis/OASISContext.ml" 109 3546 3617
type(
string * Arg.spec * string
)
"src/oasis/OASISContext.ml" 87 2996 2998 "src/oasis/OASISContext.ml" 109 3546 3618
type(
(string * Arg.spec * string) list
)
"src/oasis/OASISContext.ml" 110 3620 3626 "src/oasis/OASISContext.ml" 110 3620 3628
type(
unit
)
"src/oasis/OASISContext.ml" 110 3620 3633 "src/oasis/OASISContext.ml" 110 3620 3634
type(
t ref -> t
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 110 3620 3634 "src/oasis/OASISContext.ml" 110 3620 3641
type(
t ref
)
ident(
int_ref default "src/oasis/OASISContext.ml" 66 2484 2488 "src/oasis/OASISContext.ml" 66 2484 2495
)
"src/oasis/OASISContext.ml" 110 3620 3633 "src/oasis/OASISContext.ml" 110 3620 3641
type(
t
)
"src/oasis/OASISContext.ml" 110 3620 3664 "src/oasis/OASISContext.ml" 110 3620 3665
type(
bool ref -> bool
)
ident(
ext_ref Pervasives.( ! )
)
"src/oasis/OASISContext.ml" 110 3620 3665 "src/oasis/OASISContext.ml" 110 3620 3679
type(
bool ref
)
ident(
int_ref ignore_plugins "src/oasis/OASISContext.ml" 86 2960 2966 "src/oasis/OASISContext.ml" 86 2960 2980
)
"src/oasis/OASISContext.ml" 110 3620 3664 "src/oasis/OASISContext.ml" 110 3620 3679
type(
bool
)
"src/oasis/OASISContext.ml" 110 3620 3632 "src/oasis/OASISContext.ml" 110 3620 3680
type(
t
)
"src/oasis/OASISContext.ml" 110 3620 3622 "src/oasis/OASISContext.ml" 110 3620 3680
type(
unit -> t
)
"src/oasis/OASISContext.ml" 87 2996 2998 "src/oasis/OASISContext.ml" 110 3620 3680
type(
(string * Arg.spec * string) list * (unit -> t)
)
"src/oasis/OASISContext.ml" 86 2960 2962 "src/oasis/OASISContext.ml" 110 3620 3680
type(
(string * Arg.spec * string) list * (unit -> t)
)
|