"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" 0 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(
  int_ref OASISFileSystem.of_unix_filename "src/oasis/OASISFileSystem.mli" 25 1720 1720 "src/oasis/OASISFileSystem.mli" 25 1720 1784
)
"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
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" 0 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
)
type(
  'a
)
"src/oasis/OASISContext.ml" 58 2341 2359 "src/oasis/OASISContext.ml" 58 2341 2361
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
type(
  string
)
"src/oasis/OASISContext.ml" 59 2368 2376 "src/oasis/OASISContext.ml" 59 2368 2384
type(
  'a
)
type(
  'a
)
"src/oasis/OASISContext.ml" 59 2368 2388 "src/oasis/OASISContext.ml" 59 2368 2390
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
type(
  string
)
"src/oasis/OASISContext.ml" 60 2397 2405 "src/oasis/OASISContext.ml" 60 2397 2410
type(
  'a
)
type(
  'a
)
"src/oasis/OASISContext.ml" 60 2397 2415 "src/oasis/OASISContext.ml" 60 2397 2417
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
type(
  string
)
"src/oasis/OASISContext.ml" 61 2424 2432 "src/oasis/OASISContext.ml" 61 2424 2438
type(
  'a
)
type(
  'a
)
"src/oasis/OASISContext.ml" 61 2424 2442 "src/oasis/OASISContext.ml" 61 2424 2444
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
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(
  int_ref Stdlib.prerr_endline "stdlib.mli" 903 32785 32785 "stdlib.mli" 903 32785 32819
)
"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(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"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
type(
  string
)
"src/oasis/OASISContext.ml" 63 2456 2458 "src/oasis/OASISContext.ml" 63 2456 2481
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" 0 0 -1
)
"src/oasis/OASISContext.ml" 67 2498 2500 "src/oasis/OASISContext.ml" 67 2498 2503
type(
  t -> t ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"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(
  int_ref Stdlib.Sys.getcwd "sys.mli" 109 4686 4686 "sys.mli" 109 4686 4738
)
"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
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" 0 0 -1
)
"src/oasis/OASISContext.ml" 81 2875 2878 "src/oasis/OASISContext.ml" 81 2875 2879
type(
  t ref -> t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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" 0 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(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"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(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISContext.ml" 88 3009 3044 "src/oasis/OASISContext.ml" 88 3009 3045
type(
  t ref -> t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
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(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISContext.ml" 92 3109 3144 "src/oasis/OASISContext.ml" 92 3109 3145
type(
  t ref -> t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
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(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISContext.ml" 97 3226 3261 "src/oasis/OASISContext.ml" 97 3226 3262
type(
  t ref -> t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
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(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
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(
  int_ref Stdlib.Sys.chdir "sys.mli" 94 4337 4337 "sys.mli" 94 4337 4387
)
"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(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISContext.ml" 108 3469 3489 "src/oasis/OASISContext.ml" 108 3469 3490
type(
  t ref -> t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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
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(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"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
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(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"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)
)
