"src/oasis/OASISExec.ml" 32 1853 1857 "src/oasis/OASISExec.ml" 32 1853 1860
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> ?quote:bool -> string -> string list -> unit
)
ident(
  def run "src/oasis/OASISExec.ml" 60 2510 2510 "src/oasis/OASISExec.ml" 0 0 -1
)
"src/oasis/OASISExec.ml" 32 1853 1862 "src/oasis/OASISExec.ml" 32 1853 1866
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISExec.ml" 32 1853 1867 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 32 1853 1868 "src/oasis/OASISExec.ml" 32 1853 1879
type(
  (int -> unit) option
)
ident(
  def f_exit_code "src/oasis/OASISExec.ml" 32 1853 1880 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 32 1853 1882 "src/oasis/OASISExec.ml" 32 1853 1887
type(
  bool
)
ident(
  def quote "src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 32 1853 1888 "src/oasis/OASISExec.ml" 32 1853 1892
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/oasis/OASISExec.ml" 32 1853 1888 "src/oasis/OASISExec.ml" 32 1853 1892
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/oasis/OASISExec.ml" 32 1853 1888 "src/oasis/OASISExec.ml" 32 1853 1892
)
"src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 32 1853 1897
type(
  string
)
ident(
  def cmd "src/oasis/OASISExec.ml" 32 1853 1898 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 32 1853 1898 "src/oasis/OASISExec.ml" 32 1853 1902
type(
  string list
)
ident(
  def args "src/oasis/OASISExec.ml" 33 1905 1907 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 33 1905 1911 "src/oasis/OASISExec.ml" 33 1905 1914
type(
  string
)
ident(
  def cmd "src/oasis/OASISExec.ml" 46 2197 2199 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 34 1917 1924 "src/oasis/OASISExec.ml" 34 1917 1929
type(
  bool
)
ident(
  int_ref quote "src/oasis/OASISExec.ml" 32 1853 1882 "src/oasis/OASISExec.ml" 32 1853 1887
)
"src/oasis/OASISExec.ml" 35 1935 1944 "src/oasis/OASISExec.ml" 35 1935 1955
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISExec.ml" 35 1935 1956 "src/oasis/OASISExec.ml" 35 1935 1957
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExec.ml" 35 1935 1958 "src/oasis/OASISExec.ml" 35 1935 1965
type(
  string
)
"src/oasis/OASISExec.ml" 35 1935 1944 "src/oasis/OASISExec.ml" 35 1935 1965
type(
  bool
)
"src/oasis/OASISExec.ml" 36 1971 1982 "src/oasis/OASISExec.ml" 36 1971 1997
type(
  string -> char -> bool
)
ident(
  int_ref Stdlib.String.contains "string.mli" 185 6751 6751 "string.mli" 185 6751 6788
)
"src/oasis/OASISExec.ml" 36 1971 1998 "src/oasis/OASISExec.ml" 36 1971 2001
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 32 1853 1897
)
"src/oasis/OASISExec.ml" 36 1971 2002 "src/oasis/OASISExec.ml" 36 1971 2005
type(
  char
)
"src/oasis/OASISExec.ml" 36 1971 1982 "src/oasis/OASISExec.ml" 36 1971 2005
type(
  bool
)
"src/oasis/OASISExec.ml" 38 2072 2082 "src/oasis/OASISExec.ml" 38 2072 2086
type(
  string
)
"src/oasis/OASISExec.ml" 38 2072 2086 "src/oasis/OASISExec.ml" 38 2072 2087
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExec.ml" 38 2072 2088 "src/oasis/OASISExec.ml" 38 2072 2102
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.quote "filename.mli" 189 7710 7710 "filename.mli" 189 7710 7738
)
"src/oasis/OASISExec.ml" 38 2072 2103 "src/oasis/OASISExec.ml" 38 2072 2106
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 32 1853 1897
)
"src/oasis/OASISExec.ml" 38 2072 2087 "src/oasis/OASISExec.ml" 38 2072 2107
type(
  string
)
"src/oasis/OASISExec.ml" 38 2072 2082 "src/oasis/OASISExec.ml" 38 2072 2107
type(
  string
)
"src/oasis/OASISExec.ml" 40 2121 2131 "src/oasis/OASISExec.ml" 40 2121 2134
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 32 1853 1897
)
"src/oasis/OASISExec.ml" 36 1971 1979 "src/oasis/OASISExec.ml" 40 2121 2134
type(
  string
)
"src/oasis/OASISExec.ml" 42 2146 2154 "src/oasis/OASISExec.ml" 42 2146 2168
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.quote "filename.mli" 189 7710 7710 "filename.mli" 189 7710 7738
)
"src/oasis/OASISExec.ml" 42 2146 2169 "src/oasis/OASISExec.ml" 42 2146 2172
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 32 1853 1897
)
"src/oasis/OASISExec.ml" 42 2146 2154 "src/oasis/OASISExec.ml" 42 2146 2172
type(
  string
)
"src/oasis/OASISExec.ml" 35 1935 1941 "src/oasis/OASISExec.ml" 42 2146 2172
type(
  string
)
"src/oasis/OASISExec.ml" 44 2182 2188 "src/oasis/OASISExec.ml" 44 2182 2191
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 32 1853 1894 "src/oasis/OASISExec.ml" 32 1853 1897
)
"src/oasis/OASISExec.ml" 34 1917 1921 "src/oasis/OASISExec.ml" 44 2182 2191
type(
  string
)
"src/oasis/OASISExec.ml" 46 2197 2203 "src/oasis/OASISExec.ml" 46 2197 2210
type(
  string
)
ident(
  def cmdline "src/oasis/OASISExec.ml" 49 2254 2256 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 47 2213 2217 "src/oasis/OASISExec.ml" 47 2213 2230
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISExec.ml" 47 2213 2231 "src/oasis/OASISExec.ml" 47 2213 2234
type(
  string
)
"src/oasis/OASISExec.ml" 47 2213 2236 "src/oasis/OASISExec.ml" 47 2213 2239
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 33 1905 1911 "src/oasis/OASISExec.ml" 33 1905 1914
)
"src/oasis/OASISExec.ml" 47 2213 2243 "src/oasis/OASISExec.ml" 47 2213 2247
type(
  string list
)
ident(
  int_ref args "src/oasis/OASISExec.ml" 32 1853 1898 "src/oasis/OASISExec.ml" 32 1853 1902
)
"src/oasis/OASISExec.ml" 47 2213 2235 "src/oasis/OASISExec.ml" 47 2213 2248
type(
  string list
)
"src/oasis/OASISExec.ml" 47 2213 2217 "src/oasis/OASISExec.ml" 47 2213 2248
type(
  string
)
"src/oasis/OASISExec.ml" 49 2254 2256 "src/oasis/OASISExec.ml" 49 2254 2260
type(
  ctxt:OASISContext.t ->
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISMessage.info "src/oasis/OASISMessage.mli" 49 2287 2287 "src/oasis/OASISMessage.mli" 49 2287 2358
)
"src/oasis/OASISExec.ml" 49 2254 2262 "src/oasis/OASISExec.ml" 49 2254 2266
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISExec.ml" 32 1853 1862 "src/oasis/OASISExec.ml" 32 1853 1866
)
"src/oasis/OASISExec.ml" 49 2254 2268 "src/oasis/OASISExec.ml" 49 2254 2270
type(
  (string -> unit, unit, string, unit) format4 ->
  (string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISExec.ml" 49 2254 2271 "src/oasis/OASISExec.ml" 49 2254 2293
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISExec.ml" 49 2254 2267 "src/oasis/OASISExec.ml" 49 2254 2294
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISExec.ml" 49 2254 2295 "src/oasis/OASISExec.ml" 49 2254 2302
type(
  string
)
ident(
  int_ref cmdline "src/oasis/OASISExec.ml" 46 2197 2203 "src/oasis/OASISExec.ml" 46 2197 2210
)
"src/oasis/OASISExec.ml" 49 2254 2256 "src/oasis/OASISExec.ml" 49 2254 2302
type(
  unit
)
"src/oasis/OASISExec.ml" 50 2304 2312 "src/oasis/OASISExec.ml" 50 2304 2323
type(
  (int -> unit) option
)
ident(
  int_ref f_exit_code "src/oasis/OASISExec.ml" 32 1853 1868 "src/oasis/OASISExec.ml" 32 1853 1879
)
"src/oasis/OASISExec.ml" 50 2304 2325 "src/oasis/OASISExec.ml" 50 2304 2336
type(
  string -> int
)
ident(
  int_ref Stdlib.Sys.command "sys.mli" 69 3153 3153 "sys.mli" 69 3153 3213
)
"src/oasis/OASISExec.ml" 50 2304 2337 "src/oasis/OASISExec.ml" 50 2304 2344
type(
  string
)
ident(
  int_ref cmdline "src/oasis/OASISExec.ml" 46 2197 2203 "src/oasis/OASISExec.ml" 46 2197 2210
)
"src/oasis/OASISExec.ml" 50 2304 2325 "src/oasis/OASISExec.ml" 50 2304 2344
type(
  int
)
"src/oasis/OASISExec.ml" 50 2304 2312 "src/oasis/OASISExec.ml" 50 2304 2344
type(
  (int -> unit) option * int
)
"src/oasis/OASISExec.ml" 51 2350 2356 "src/oasis/OASISExec.ml" 51 2350 2360
type(
  (int -> unit) option
)
"src/oasis/OASISExec.ml" 51 2350 2362 "src/oasis/OASISExec.ml" 51 2350 2363
type(
  int
)
"src/oasis/OASISExec.ml" 51 2350 2356 "src/oasis/OASISExec.ml" 51 2350 2363
type(
  (int -> unit) option * int
)
type(
  (int -> unit) option * int
)
"src/oasis/OASISExec.ml" 51 2350 2367 "src/oasis/OASISExec.ml" 51 2350 2369
type(
  unit
)
"src/oasis/OASISExec.ml" 52 2370 2376 "src/oasis/OASISExec.ml" 52 2370 2380
type(
  (int -> unit) option
)
"src/oasis/OASISExec.ml" 52 2370 2382 "src/oasis/OASISExec.ml" 52 2370 2383
type(
  int
)
ident(
  def i "src/oasis/OASISExec.ml" 53 2387 2393 "src/oasis/OASISExec.ml" 55 2461 2478
)
"src/oasis/OASISExec.ml" 52 2370 2376 "src/oasis/OASISExec.ml" 52 2370 2383
type(
  (int -> unit) option * int
)
type(
  (int -> unit) option * int
)
"src/oasis/OASISExec.ml" 53 2387 2393 "src/oasis/OASISExec.ml" 53 2387 2402
type(
  (string -> int -> unit, unit, string, unit) format4 ->
  string -> int -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISExec.ml" 54 2403 2412 "src/oasis/OASISExec.ml" 54 2403 2414
type(
  (string -> int -> unit, unit, string, unit) format4 ->
  (string -> int -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISExec.ml" 54 2403 2415 "src/oasis/OASISExec.ml" 54 2403 2459
type(
  (string -> int -> unit, unit, string, unit) format4
)
"src/oasis/OASISExec.ml" 54 2403 2411 "src/oasis/OASISExec.ml" 54 2403 2460
type(
  (string -> int -> unit, unit, string, unit) format4
)
"src/oasis/OASISExec.ml" 55 2461 2469 "src/oasis/OASISExec.ml" 55 2461 2476
type(
  string
)
ident(
  int_ref cmdline "src/oasis/OASISExec.ml" 46 2197 2203 "src/oasis/OASISExec.ml" 46 2197 2210
)
"src/oasis/OASISExec.ml" 55 2461 2477 "src/oasis/OASISExec.ml" 55 2461 2478
type(
  int
)
ident(
  int_ref i "src/oasis/OASISExec.ml" 52 2370 2382 "src/oasis/OASISExec.ml" 52 2370 2383
)
"src/oasis/OASISExec.ml" 53 2387 2393 "src/oasis/OASISExec.ml" 55 2461 2478
type(
  unit
)
"src/oasis/OASISExec.ml" 56 2479 2490 "src/oasis/OASISExec.ml" 56 2479 2491
type(
  int -> unit
)
ident(
  def f "src/oasis/OASISExec.ml" 57 2498 2504 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 56 2479 2485 "src/oasis/OASISExec.ml" 56 2479 2491
type(
  (int -> unit) option
)
"src/oasis/OASISExec.ml" 56 2479 2493 "src/oasis/OASISExec.ml" 56 2479 2494
type(
  int
)
ident(
  def i "src/oasis/OASISExec.ml" 57 2498 2504 "src/oasis/OASISExec.ml" 57 2498 2507
)
"src/oasis/OASISExec.ml" 56 2479 2485 "src/oasis/OASISExec.ml" 56 2479 2494
type(
  (int -> unit) option * int
)
type(
  (int -> unit) option * int
)
"src/oasis/OASISExec.ml" 57 2498 2504 "src/oasis/OASISExec.ml" 57 2498 2505
type(
  int -> unit
)
ident(
  int_ref f "src/oasis/OASISExec.ml" 56 2479 2490 "src/oasis/OASISExec.ml" 56 2479 2491
)
"src/oasis/OASISExec.ml" 57 2498 2506 "src/oasis/OASISExec.ml" 57 2498 2507
type(
  int
)
ident(
  int_ref i "src/oasis/OASISExec.ml" 56 2479 2493 "src/oasis/OASISExec.ml" 56 2479 2494
)
"src/oasis/OASISExec.ml" 57 2498 2504 "src/oasis/OASISExec.ml" 57 2498 2507
type(
  unit
)
"src/oasis/OASISExec.ml" 50 2304 2306 "src/oasis/OASISExec.ml" 57 2498 2507
type(
  unit
)
"src/oasis/OASISExec.ml" 49 2254 2256 "src/oasis/OASISExec.ml" 57 2498 2507
type(
  unit
)
"src/oasis/OASISExec.ml" 46 2197 2199 "src/oasis/OASISExec.ml" 57 2498 2507
type(
  unit
)
"src/oasis/OASISExec.ml" 33 1905 1907 "src/oasis/OASISExec.ml" 57 2498 2507
type(
  unit
)
"src/oasis/OASISExec.ml" 60 2510 2514 "src/oasis/OASISExec.ml" 60 2510 2529
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> string -> string list -> string list
)
ident(
  def run_read_output "src/oasis/OASISExec.ml" 92 3116 3116 "src/oasis/OASISExec.ml" 0 0 -1
)
"src/oasis/OASISExec.ml" 60 2510 2531 "src/oasis/OASISExec.ml" 60 2510 2535
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISExec.ml" 60 2510 2536 "src/oasis/OASISExec.ml" 89 3102 3113
)
"src/oasis/OASISExec.ml" 60 2510 2537 "src/oasis/OASISExec.ml" 60 2510 2548
type(
  (int -> unit) option
)
ident(
  def f_exit_code "src/oasis/OASISExec.ml" 60 2510 2549 "src/oasis/OASISExec.ml" 89 3102 3113
)
"src/oasis/OASISExec.ml" 60 2510 2549 "src/oasis/OASISExec.ml" 60 2510 2552
type(
  string
)
ident(
  def cmd "src/oasis/OASISExec.ml" 60 2510 2553 "src/oasis/OASISExec.ml" 89 3102 3113
)
"src/oasis/OASISExec.ml" 60 2510 2553 "src/oasis/OASISExec.ml" 60 2510 2557
type(
  string list
)
ident(
  def args "src/oasis/OASISExec.ml" 61 2560 2562 "src/oasis/OASISExec.ml" 89 3102 3113
)
"src/oasis/OASISExec.ml" 61 2560 2566 "src/oasis/OASISExec.ml" 61 2560 2568
type(
  string
)
ident(
  def fn "src/oasis/OASISExec.ml" 64 2615 2617 "src/oasis/OASISExec.ml" 89 3102 3113
)
"src/oasis/OASISExec.ml" 62 2571 2575 "src/oasis/OASISExec.ml" 62 2571 2593
type(
  ?temp_dir:string -> string -> string -> string
)
ident(
  int_ref Stdlib.Filename.temp_file "filename.mli" 128 4919 4919 "filename.mli" 128 4919 4982
)
"src/oasis/OASISExec.ml" 62 2571 2594 "src/oasis/OASISExec.ml" 62 2571 2602
type(
  string
)
"src/oasis/OASISExec.ml" 62 2571 2603 "src/oasis/OASISExec.ml" 62 2571 2609
type(
  string
)
"src/oasis/OASISExec.ml" 62 2571 2575 "src/oasis/OASISExec.ml" 62 2571 2609
type(
  string
)
"src/oasis/OASISExec.ml" 66 2631 2641 "src/oasis/OASISExec.ml" 66 2631 2643
type(
  unit
)
type(
  unit
)
"src/oasis/OASISExec.ml" 67 2646 2654 "src/oasis/OASISExec.ml" 67 2646 2657
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> ?quote:bool -> string -> string list -> unit
)
ident(
  int_ref run "src/oasis/OASISExec.ml" 32 1853 1857 "src/oasis/OASISExec.ml" 32 1853 1860
)
"src/oasis/OASISExec.ml" 67 2646 2659 "src/oasis/OASISExec.ml" 67 2646 2663
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISExec.ml" 60 2510 2531 "src/oasis/OASISExec.ml" 60 2510 2535
)
"src/oasis/OASISExec.ml" 67 2646 2665 "src/oasis/OASISExec.ml" 67 2646 2676
type(
  (int -> unit) option
)
ident(
  int_ref f_exit_code "src/oasis/OASISExec.ml" 60 2510 2537 "src/oasis/OASISExec.ml" 60 2510 2548
)
"src/oasis/OASISExec.ml" 67 2646 2677 "src/oasis/OASISExec.ml" 67 2646 2680
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 60 2510 2549 "src/oasis/OASISExec.ml" 60 2510 2552
)
"src/oasis/OASISExec.ml" 67 2646 2682 "src/oasis/OASISExec.ml" 67 2646 2686
type(
  string list
)
ident(
  int_ref args "src/oasis/OASISExec.ml" 60 2510 2553 "src/oasis/OASISExec.ml" 60 2510 2557
)
"src/oasis/OASISExec.ml" 67 2646 2687 "src/oasis/OASISExec.ml" 67 2646 2688
type(
  string list -> string list -> string list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISExec.ml" 67 2646 2690 "src/oasis/OASISExec.ml" 67 2646 2693
type(
  string
)
"src/oasis/OASISExec.ml" 67 2646 2695 "src/oasis/OASISExec.ml" 67 2646 2709
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.quote "filename.mli" 189 7710 7710 "filename.mli" 189 7710 7738
)
"src/oasis/OASISExec.ml" 67 2646 2710 "src/oasis/OASISExec.ml" 67 2646 2712
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISExec.ml" 61 2560 2566 "src/oasis/OASISExec.ml" 61 2560 2568
)
"src/oasis/OASISExec.ml" 67 2646 2695 "src/oasis/OASISExec.ml" 67 2646 2712
type(
  string
)
"src/oasis/OASISExec.ml" 67 2646 2689 "src/oasis/OASISExec.ml" 67 2646 2713
type(
  string list
)
"src/oasis/OASISExec.ml" 67 2646 2681 "src/oasis/OASISExec.ml" 67 2646 2714
type(
  string list
)
"src/oasis/OASISExec.ml" 67 2646 2654 "src/oasis/OASISExec.ml" 67 2646 2714
type(
  unit
)
"src/oasis/OASISExec.ml" 69 2724 2734 "src/oasis/OASISExec.ml" 69 2724 2737
type(
  in_channel
)
ident(
  def chn "src/oasis/OASISExec.ml" 72 2768 2774 "src/oasis/OASISExec.ml" 85 3020 3043
)
"src/oasis/OASISExec.ml" 70 2740 2748 "src/oasis/OASISExec.ml" 70 2740 2755
type(
  string -> in_channel
)
ident(
  int_ref Stdlib.open_in "stdlib.mli" 1083 40186 40186 "stdlib.mli" 1083 40186 40220
)
"src/oasis/OASISExec.ml" 70 2740 2756 "src/oasis/OASISExec.ml" 70 2740 2758
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISExec.ml" 61 2560 2566 "src/oasis/OASISExec.ml" 61 2560 2568
)
"src/oasis/OASISExec.ml" 70 2740 2748 "src/oasis/OASISExec.ml" 70 2740 2758
type(
  in_channel
)
"src/oasis/OASISExec.ml" 72 2768 2778 "src/oasis/OASISExec.ml" 72 2768 2785
type(
  string list ref
)
ident(
  def routput "src/oasis/OASISExec.ml" 75 2812 2818 "src/oasis/OASISExec.ml" 85 3020 3043
)
"src/oasis/OASISExec.ml" 73 2788 2796 "src/oasis/OASISExec.ml" 73 2788 2799
type(
  string list -> string list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISExec.ml" 73 2788 2800 "src/oasis/OASISExec.ml" 73 2788 2802
type(
  string list
)
"src/oasis/OASISExec.ml" 73 2788 2796 "src/oasis/OASISExec.ml" 73 2788 2802
type(
  string list ref
)
"src/oasis/OASISExec.ml" 77 2836 2852 "src/oasis/OASISExec.ml" 77 2836 2856
type(
  bool
)
"src/oasis/OASISExec.ml" 78 2860 2872 "src/oasis/OASISExec.ml" 78 2860 2879
type(
  string list ref
)
ident(
  int_ref routput "src/oasis/OASISExec.ml" 72 2768 2778 "src/oasis/OASISExec.ml" 72 2768 2785
)
"src/oasis/OASISExec.ml" 78 2860 2880 "src/oasis/OASISExec.ml" 78 2860 2882
type(
  string list ref -> string list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISExec.ml" 78 2860 2884 "src/oasis/OASISExec.ml" 78 2860 2894
type(
  in_channel -> string
)
ident(
  int_ref Stdlib.input_line "stdlib.mli" 1104 41140 41140 "stdlib.mli" 1104 41140 41177
)
"src/oasis/OASISExec.ml" 78 2860 2895 "src/oasis/OASISExec.ml" 78 2860 2898
type(
  in_channel
)
ident(
  int_ref chn "src/oasis/OASISExec.ml" 69 2724 2734 "src/oasis/OASISExec.ml" 69 2724 2737
)
"src/oasis/OASISExec.ml" 78 2860 2883 "src/oasis/OASISExec.ml" 78 2860 2899
type(
  string
)
"src/oasis/OASISExec.ml" 78 2860 2903 "src/oasis/OASISExec.ml" 78 2860 2904
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISExec.ml" 78 2860 2904 "src/oasis/OASISExec.ml" 78 2860 2911
type(
  string list ref
)
ident(
  int_ref routput "src/oasis/OASISExec.ml" 72 2768 2778 "src/oasis/OASISExec.ml" 72 2768 2785
)
"src/oasis/OASISExec.ml" 78 2860 2903 "src/oasis/OASISExec.ml" 78 2860 2911
type(
  string list
)
"src/oasis/OASISExec.ml" 78 2860 2883 "src/oasis/OASISExec.ml" 78 2860 2911
type(
  string list
)
"src/oasis/OASISExec.ml" 78 2860 2872 "src/oasis/OASISExec.ml" 78 2860 2911
type(
  unit
)
"src/oasis/OASISExec.ml" 77 2836 2846 "src/oasis/OASISExec.ml" 79 2912 2926
type(
  unit
)
"src/oasis/OASISExec.ml" 80 2927 2940 "src/oasis/OASISExec.ml" 80 2927 2951
type(
  exn
)
"src/oasis/OASISExec.ml" 81 2955 2965 "src/oasis/OASISExec.ml" 81 2955 2967
type(
  unit
)
"src/oasis/OASISExec.ml" 75 2812 2818 "src/oasis/OASISExec.ml" 82 2968 2977
type(
  unit
)
"src/oasis/OASISExec.ml" 83 2979 2985 "src/oasis/OASISExec.ml" 83 2979 2993
type(
  in_channel -> unit
)
ident(
  int_ref Stdlib.close_in "stdlib.mli" 1183 44905 44905 "stdlib.mli" 1183 44905 44938
)
"src/oasis/OASISExec.ml" 83 2979 2994 "src/oasis/OASISExec.ml" 83 2979 2997
type(
  in_channel
)
ident(
  int_ref chn "src/oasis/OASISExec.ml" 69 2724 2734 "src/oasis/OASISExec.ml" 69 2724 2737
)
"src/oasis/OASISExec.ml" 83 2979 2985 "src/oasis/OASISExec.ml" 83 2979 2997
type(
  unit
)
"src/oasis/OASISExec.ml" 84 2999 3005 "src/oasis/OASISExec.ml" 84 2999 3015
type(
  string -> unit
)
ident(
  int_ref Stdlib.Sys.remove "sys.mli" 45 2138 2138 "sys.mli" 45 2138 2190
)
"src/oasis/OASISExec.ml" 84 2999 3016 "src/oasis/OASISExec.ml" 84 2999 3018
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISExec.ml" 61 2560 2566 "src/oasis/OASISExec.ml" 61 2560 2568
)
"src/oasis/OASISExec.ml" 84 2999 3005 "src/oasis/OASISExec.ml" 84 2999 3018
type(
  unit
)
"src/oasis/OASISExec.ml" 85 3020 3026 "src/oasis/OASISExec.ml" 85 3020 3034
type(
  string list -> string list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISExec.ml" 85 3020 3035 "src/oasis/OASISExec.ml" 85 3020 3036
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISExec.ml" 85 3020 3036 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list ref
)
ident(
  int_ref routput "src/oasis/OASISExec.ml" 72 2768 2778 "src/oasis/OASISExec.ml" 72 2768 2785
)
"src/oasis/OASISExec.ml" 85 3020 3035 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 85 3020 3026 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 84 2999 3005 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 83 2979 2985 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 75 2812 2818 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 72 2768 2774 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 69 2724 2730 "src/oasis/OASISExec.ml" 85 3020 3043
type(
  string list
)
"src/oasis/OASISExec.ml" 65 2621 2625 "src/oasis/OASISExec.ml" 86 3044 3051
type(
  string list
)
"src/oasis/OASISExec.ml" 87 3052 3059 "src/oasis/OASISExec.ml" 87 3052 3060
type(
  exn
)
ident(
  def e "src/oasis/OASISExec.ml" 88 3064 3068 "src/oasis/OASISExec.ml" 89 3102 3113
)
"src/oasis/OASISExec.ml" 88 3064 3073 "src/oasis/OASISExec.ml" 88 3064 3083
type(
  string -> unit
)
ident(
  int_ref Stdlib.Sys.remove "sys.mli" 45 2138 2138 "sys.mli" 45 2138 2190
)
"src/oasis/OASISExec.ml" 88 3064 3084 "src/oasis/OASISExec.ml" 88 3064 3086
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISExec.ml" 61 2560 2566 "src/oasis/OASISExec.ml" 61 2560 2568
)
"src/oasis/OASISExec.ml" 88 3064 3073 "src/oasis/OASISExec.ml" 88 3064 3086
type(
  unit
)
"src/oasis/OASISExec.ml" 88 3064 3092 "src/oasis/OASISExec.ml" 88 3064 3093
type(
  exn
)
"src/oasis/OASISExec.ml" 88 3064 3097 "src/oasis/OASISExec.ml" 88 3064 3099
type(
  unit
)
"src/oasis/OASISExec.ml" 88 3064 3068 "src/oasis/OASISExec.ml" 88 3064 3100
type(
  unit
)
"src/oasis/OASISExec.ml" 89 3102 3106 "src/oasis/OASISExec.ml" 89 3102 3111
type(
  exn -> string list
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISExec.ml" 89 3102 3112 "src/oasis/OASISExec.ml" 89 3102 3113
type(
  exn
)
ident(
  int_ref e "src/oasis/OASISExec.ml" 87 3052 3059 "src/oasis/OASISExec.ml" 87 3052 3060
)
"src/oasis/OASISExec.ml" 89 3102 3106 "src/oasis/OASISExec.ml" 89 3102 3113
type(
  string list
)
"src/oasis/OASISExec.ml" 88 3064 3068 "src/oasis/OASISExec.ml" 89 3102 3113
type(
  string list
)
"src/oasis/OASISExec.ml" 64 2615 2617 "src/oasis/OASISExec.ml" 89 3102 3113
type(
  string list
)
"src/oasis/OASISExec.ml" 61 2560 2562 "src/oasis/OASISExec.ml" 89 3102 3113
type(
  string list
)
"src/oasis/OASISExec.ml" 92 3116 3120 "src/oasis/OASISExec.ml" 92 3116 3137
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> string -> string list -> string
)
ident(
  def run_read_one_line "src/oasis/OASISExec.ml" 99 3330 3362 "src/oasis/OASISExec.ml" 0 0 -1
)
"src/oasis/OASISExec.ml" 92 3116 3139 "src/oasis/OASISExec.ml" 92 3116 3143
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISExec.ml" 92 3116 3144 "src/oasis/OASISExec.ml" 99 3330 3362
)
"src/oasis/OASISExec.ml" 92 3116 3145 "src/oasis/OASISExec.ml" 92 3116 3156
type(
  (int -> unit) option
)
ident(
  def f_exit_code "src/oasis/OASISExec.ml" 92 3116 3157 "src/oasis/OASISExec.ml" 99 3330 3362
)
"src/oasis/OASISExec.ml" 92 3116 3157 "src/oasis/OASISExec.ml" 92 3116 3160
type(
  string
)
ident(
  def cmd "src/oasis/OASISExec.ml" 92 3116 3161 "src/oasis/OASISExec.ml" 99 3330 3362
)
"src/oasis/OASISExec.ml" 92 3116 3161 "src/oasis/OASISExec.ml" 92 3116 3165
type(
  string list
)
ident(
  def args "src/oasis/OASISExec.ml" 93 3168 3170 "src/oasis/OASISExec.ml" 99 3330 3362
)
"src/oasis/OASISExec.ml" 93 3168 3176 "src/oasis/OASISExec.ml" 93 3168 3191
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> string -> string list -> string list
)
ident(
  int_ref run_read_output "src/oasis/OASISExec.ml" 60 2510 2514 "src/oasis/OASISExec.ml" 60 2510 2529
)
"src/oasis/OASISExec.ml" 93 3168 3193 "src/oasis/OASISExec.ml" 93 3168 3197
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISExec.ml" 92 3116 3139 "src/oasis/OASISExec.ml" 92 3116 3143
)
"src/oasis/OASISExec.ml" 93 3168 3199 "src/oasis/OASISExec.ml" 93 3168 3210
type(
  (int -> unit) option
)
ident(
  int_ref f_exit_code "src/oasis/OASISExec.ml" 92 3116 3145 "src/oasis/OASISExec.ml" 92 3116 3156
)
"src/oasis/OASISExec.ml" 93 3168 3211 "src/oasis/OASISExec.ml" 93 3168 3214
type(
  string
)
ident(
  int_ref cmd "src/oasis/OASISExec.ml" 92 3116 3157 "src/oasis/OASISExec.ml" 92 3116 3160
)
"src/oasis/OASISExec.ml" 93 3168 3215 "src/oasis/OASISExec.ml" 93 3168 3219
type(
  string list
)
ident(
  int_ref args "src/oasis/OASISExec.ml" 92 3116 3161 "src/oasis/OASISExec.ml" 92 3116 3165
)
"src/oasis/OASISExec.ml" 93 3168 3176 "src/oasis/OASISExec.ml" 93 3168 3219
type(
  string list
)
"src/oasis/OASISExec.ml" 94 3225 3232 "src/oasis/OASISExec.ml" 94 3225 3235
type(
  string
)
ident(
  def fst "src/oasis/OASISExec.ml" 95 3240 3246 "src/oasis/OASISExec.ml" 95 3240 3249
)
"src/oasis/OASISExec.ml" 94 3225 3231 "src/oasis/OASISExec.ml" 94 3225 3236
type(
  string list
)
type(
  string list
)
"src/oasis/OASISExec.ml" 95 3240 3246 "src/oasis/OASISExec.ml" 95 3240 3249
type(
  string
)
ident(
  int_ref fst "src/oasis/OASISExec.ml" 94 3225 3232 "src/oasis/OASISExec.ml" 94 3225 3235
)
"src/oasis/OASISExec.ml" 96 3250 3256 "src/oasis/OASISExec.ml" 96 3250 3259
type(
  string list
)
type(
  string list
)
ident(
  def lst "src/oasis/OASISExec.ml" 97 3263 3269 "src/oasis/OASISExec.ml" 99 3330 3362
)
"src/oasis/OASISExec.ml" 97 3263 3269 "src/oasis/OASISExec.ml" 97 3263 3278
type(
  (string -> string, unit, string, string) format4 -> string -> string
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISExec.ml" 98 3279 3288 "src/oasis/OASISExec.ml" 98 3279 3290
type(
  (string -> string, unit, string, string) format4 ->
  (string -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISExec.ml" 98 3279 3291 "src/oasis/OASISExec.ml" 98 3279 3328
type(
  (string -> string, unit, string, string) format4
)
"src/oasis/OASISExec.ml" 98 3279 3287 "src/oasis/OASISExec.ml" 98 3279 3329
type(
  (string -> string, unit, string, string) format4
)
"src/oasis/OASISExec.ml" 99 3330 3339 "src/oasis/OASISExec.ml" 99 3330 3352
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISExec.ml" 99 3330 3353 "src/oasis/OASISExec.ml" 99 3330 3357
type(
  string
)
"src/oasis/OASISExec.ml" 99 3330 3358 "src/oasis/OASISExec.ml" 99 3330 3361
type(
  string list
)
ident(
  int_ref lst "src/oasis/OASISExec.ml" 96 3250 3256 "src/oasis/OASISExec.ml" 96 3250 3259
)
"src/oasis/OASISExec.ml" 99 3330 3338 "src/oasis/OASISExec.ml" 99 3330 3362
type(
  string
)
"src/oasis/OASISExec.ml" 97 3263 3269 "src/oasis/OASISExec.ml" 99 3330 3362
type(
  string
)
"src/oasis/OASISExec.ml" 93 3168 3170 "src/oasis/OASISExec.ml" 99 3330 3362
type(
  string
)
