"src/oasis/OASISFileUtil.ml" 27 1723 1727 "src/oasis/OASISFileUtil.ml" 27 1723 1743
type(
  string -> bool
)
ident(
  def file_exists_case "src/oasis/OASISFileUtil.ml" 41 2029 2029 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 27 1723 1744 "src/oasis/OASISFileUtil.ml" 27 1723 1746
type(
  string
)
ident(
  def fn "src/oasis/OASISFileUtil.ml" 28 1749 1751 "src/oasis/OASISFileUtil.ml" 38 2017 2026
)
"src/oasis/OASISFileUtil.ml" 28 1749 1755 "src/oasis/OASISFileUtil.ml" 28 1749 1762
type(
  string
)
ident(
  def dirname "src/oasis/OASISFileUtil.ml" 29 1788 1790 "src/oasis/OASISFileUtil.ml" 38 2017 2026
)
"src/oasis/OASISFileUtil.ml" 28 1749 1765 "src/oasis/OASISFileUtil.ml" 28 1749 1781
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.dirname "filename.mli" 117 4565 4565 "filename.mli" 117 4565 4595
)
"src/oasis/OASISFileUtil.ml" 28 1749 1782 "src/oasis/OASISFileUtil.ml" 28 1749 1784
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 27 1723 1744 "src/oasis/OASISFileUtil.ml" 27 1723 1746
)
"src/oasis/OASISFileUtil.ml" 28 1749 1765 "src/oasis/OASISFileUtil.ml" 28 1749 1784
type(
  string
)
"src/oasis/OASISFileUtil.ml" 29 1788 1794 "src/oasis/OASISFileUtil.ml" 29 1788 1802
type(
  string
)
ident(
  def basename "src/oasis/OASISFileUtil.ml" 30 1829 1831 "src/oasis/OASISFileUtil.ml" 38 2017 2026
)
"src/oasis/OASISFileUtil.ml" 29 1788 1805 "src/oasis/OASISFileUtil.ml" 29 1788 1822
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.basename "filename.mli" 106 4017 4017 "filename.mli" 106 4017 4048
)
"src/oasis/OASISFileUtil.ml" 29 1788 1823 "src/oasis/OASISFileUtil.ml" 29 1788 1825
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 27 1723 1744 "src/oasis/OASISFileUtil.ml" 27 1723 1746
)
"src/oasis/OASISFileUtil.ml" 29 1788 1805 "src/oasis/OASISFileUtil.ml" 29 1788 1825
type(
  string
)
"src/oasis/OASISFileUtil.ml" 30 1829 1834 "src/oasis/OASISFileUtil.ml" 30 1829 1849
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.file_exists "sys.mli" 35 1767 1767 "sys.mli" 35 1767 1829
)
"src/oasis/OASISFileUtil.ml" 30 1829 1850 "src/oasis/OASISFileUtil.ml" 30 1829 1857
type(
  string
)
ident(
  int_ref dirname "src/oasis/OASISFileUtil.ml" 28 1749 1755 "src/oasis/OASISFileUtil.ml" 28 1749 1762
)
"src/oasis/OASISFileUtil.ml" 30 1829 1834 "src/oasis/OASISFileUtil.ml" 30 1829 1857
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 31 1863 1870 "src/oasis/OASISFileUtil.ml" 31 1863 1878
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 29 1788 1794 "src/oasis/OASISFileUtil.ml" 29 1788 1802
)
"src/oasis/OASISFileUtil.ml" 31 1863 1879 "src/oasis/OASISFileUtil.ml" 31 1863 1880
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 31 1863 1881 "src/oasis/OASISFileUtil.ml" 31 1863 1906
type(
  string
)
ident(
  int_ref Stdlib.Filename.current_dir_name "filename.mli" 18 1113 1113 "filename.mli" 18 1113 1142
)
"src/oasis/OASISFileUtil.ml" 31 1863 1870 "src/oasis/OASISFileUtil.ml" 31 1863 1906
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 32 1912 1918 "src/oasis/OASISFileUtil.ml" 32 1912 1922
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 34 1932 1938 "src/oasis/OASISFileUtil.ml" 34 1932 1946
type(
  string -> string list -> bool
)
ident(
  int_ref Stdlib.List.mem "list.mli" 291 9973 9973 "list.mli" 291 9973 10004
)
"src/oasis/OASISFileUtil.ml" 35 1947 1955 "src/oasis/OASISFileUtil.ml" 35 1947 1963
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 29 1788 1794 "src/oasis/OASISFileUtil.ml" 29 1788 1802
)
"src/oasis/OASISFileUtil.ml" 36 1964 1973 "src/oasis/OASISFileUtil.ml" 36 1964 1986
type(
  string array -> string list
)
ident(
  int_ref Stdlib.Array.to_list "array.mli" 150 6222 6222 "array.mli" 150 6222 6255
)
"src/oasis/OASISFileUtil.ml" 36 1964 1988 "src/oasis/OASISFileUtil.ml" 36 1964 1999
type(
  string -> string array
)
ident(
  int_ref Stdlib.Sys.readdir "sys.mli" 112 4800 4800 "sys.mli" 112 4800 4869
)
"src/oasis/OASISFileUtil.ml" 36 1964 2000 "src/oasis/OASISFileUtil.ml" 36 1964 2007
type(
  string
)
ident(
  int_ref dirname "src/oasis/OASISFileUtil.ml" 28 1749 1755 "src/oasis/OASISFileUtil.ml" 28 1749 1762
)
"src/oasis/OASISFileUtil.ml" 36 1964 1987 "src/oasis/OASISFileUtil.ml" 36 1964 2008
type(
  string array
)
"src/oasis/OASISFileUtil.ml" 36 1964 1972 "src/oasis/OASISFileUtil.ml" 36 1964 2009
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 34 1932 1938 "src/oasis/OASISFileUtil.ml" 36 1964 2009
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 31 1863 1867 "src/oasis/OASISFileUtil.ml" 36 1964 2009
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 38 2017 2021 "src/oasis/OASISFileUtil.ml" 38 2017 2026
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 30 1829 1831 "src/oasis/OASISFileUtil.ml" 38 2017 2026
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 29 1788 1790 "src/oasis/OASISFileUtil.ml" 38 2017 2026
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 28 1749 1751 "src/oasis/OASISFileUtil.ml" 38 2017 2026
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 41 2029 2033 "src/oasis/OASISFileUtil.ml" 41 2029 2042
type(
  ?case_sensitive:bool -> string list list -> string list -> string
)
ident(
  def find_file "src/oasis/OASISFileUtil.ml" 87 2955 2955 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 41 2029 2045 "src/oasis/OASISFileUtil.ml" 41 2029 2059
type(
  bool
)
ident(
  def case_sensitive "src/oasis/OASISFileUtil.ml" 41 2029 2066 "src/oasis/OASISFileUtil.ml" 84 2936 2952
)
"src/oasis/OASISFileUtil.ml" 41 2029 2060 "src/oasis/OASISFileUtil.ml" 41 2029 2064
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/oasis/OASISFileUtil.ml" 41 2029 2060 "src/oasis/OASISFileUtil.ml" 41 2029 2064
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/oasis/OASISFileUtil.ml" 41 2029 2060 "src/oasis/OASISFileUtil.ml" 41 2029 2064
)
"src/oasis/OASISFileUtil.ml" 41 2029 2066 "src/oasis/OASISFileUtil.ml" 41 2029 2071
type(
  string list list
)
ident(
  def paths "src/oasis/OASISFileUtil.ml" 41 2029 2072 "src/oasis/OASISFileUtil.ml" 84 2936 2952
)
"src/oasis/OASISFileUtil.ml" 41 2029 2072 "src/oasis/OASISFileUtil.ml" 41 2029 2076
type(
  string list
)
ident(
  def exts "src/oasis/OASISFileUtil.ml" 44 2117 2119 "src/oasis/OASISFileUtil.ml" 84 2936 2952
)
"src/oasis/OASISFileUtil.ml" 44 2117 2123 "src/oasis/OASISFileUtil.ml" 44 2117 2128
type(
  'a list -> 'b list -> ('a * 'b) list
)
ident(
  def * "src/oasis/OASISFileUtil.ml" 54 2285 2287 "src/oasis/OASISFileUtil.ml" 84 2936 2952
)
"src/oasis/OASISFileUtil.ml" 44 2117 2129 "src/oasis/OASISFileUtil.ml" 44 2117 2133
type(
  'a list
)
ident(
  def lst1 "src/oasis/OASISFileUtil.ml" 44 2117 2134 "src/oasis/OASISFileUtil.ml" 51 2264 2278
)
"src/oasis/OASISFileUtil.ml" 44 2117 2134 "src/oasis/OASISFileUtil.ml" 44 2117 2138
type(
  'b list
)
ident(
  def lst2 "src/oasis/OASISFileUtil.ml" 45 2141 2145 "src/oasis/OASISFileUtil.ml" 51 2264 2278
)
"src/oasis/OASISFileUtil.ml" 45 2141 2145 "src/oasis/OASISFileUtil.ml" 45 2141 2157
type(
  ('a * 'b) list list -> ('a * 'b) list
)
ident(
  int_ref Stdlib.List.flatten "list.mli" 118 4456 4456 "list.mli" 118 4456 4493
)
"src/oasis/OASISFileUtil.ml" 46 2158 2165 "src/oasis/OASISFileUtil.ml" 46 2158 2173
type(
  ('a -> ('a * 'b) list) -> 'a list -> ('a * 'b) list list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISFileUtil.ml" 47 2174 2188 "src/oasis/OASISFileUtil.ml" 47 2174 2189
type(
  'a
)
ident(
  def a "src/oasis/OASISFileUtil.ml" 48 2193 2205 "src/oasis/OASISFileUtil.ml" 50 2244 2262
)
"src/oasis/OASISFileUtil.ml" 48 2193 2205 "src/oasis/OASISFileUtil.ml" 48 2193 2213
type(
  ('b -> 'a * 'b) -> 'b list -> ('a * 'b) list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISFileUtil.ml" 49 2214 2233 "src/oasis/OASISFileUtil.ml" 49 2214 2234
type(
  'b
)
ident(
  def b "src/oasis/OASISFileUtil.ml" 49 2214 2238 "src/oasis/OASISFileUtil.ml" 49 2214 2242
)
"src/oasis/OASISFileUtil.ml" 49 2214 2238 "src/oasis/OASISFileUtil.ml" 49 2214 2239
type(
  'a
)
ident(
  int_ref a "src/oasis/OASISFileUtil.ml" 47 2174 2188 "src/oasis/OASISFileUtil.ml" 47 2174 2189
)
"src/oasis/OASISFileUtil.ml" 49 2214 2241 "src/oasis/OASISFileUtil.ml" 49 2214 2242
type(
  'b
)
ident(
  int_ref b "src/oasis/OASISFileUtil.ml" 49 2214 2233 "src/oasis/OASISFileUtil.ml" 49 2214 2234
)
"src/oasis/OASISFileUtil.ml" 49 2214 2238 "src/oasis/OASISFileUtil.ml" 49 2214 2242
type(
  'a * 'b
)
"src/oasis/OASISFileUtil.ml" 49 2214 2228 "src/oasis/OASISFileUtil.ml" 49 2214 2243
type(
  'b -> 'a * 'b
)
"src/oasis/OASISFileUtil.ml" 50 2244 2258 "src/oasis/OASISFileUtil.ml" 50 2244 2262
type(
  'b list
)
ident(
  int_ref lst2 "src/oasis/OASISFileUtil.ml" 44 2117 2134 "src/oasis/OASISFileUtil.ml" 44 2117 2138
)
"src/oasis/OASISFileUtil.ml" 48 2193 2205 "src/oasis/OASISFileUtil.ml" 50 2244 2262
type(
  ('a * 'b) list
)
"src/oasis/OASISFileUtil.ml" 47 2174 2183 "src/oasis/OASISFileUtil.ml" 50 2244 2263
type(
  'a -> ('a * 'b) list
)
"src/oasis/OASISFileUtil.ml" 51 2264 2273 "src/oasis/OASISFileUtil.ml" 51 2264 2277
type(
  'a list
)
ident(
  int_ref lst1 "src/oasis/OASISFileUtil.ml" 44 2117 2129 "src/oasis/OASISFileUtil.ml" 44 2117 2133
)
"src/oasis/OASISFileUtil.ml" 46 2158 2164 "src/oasis/OASISFileUtil.ml" 51 2264 2278
type(
  ('a * 'b) list list
)
"src/oasis/OASISFileUtil.ml" 45 2141 2145 "src/oasis/OASISFileUtil.ml" 51 2264 2278
type(
  ('a * 'b) list
)
"src/oasis/OASISFileUtil.ml" 54 2285 2295 "src/oasis/OASISFileUtil.ml" 54 2285 2309
type(
  string list list -> string list
)
ident(
  def combined_paths "src/oasis/OASISFileUtil.ml" 54 2285 2287 "src/oasis/OASISFileUtil.ml" 84 2936 2952
)
"src/oasis/OASISFileUtil.ml" 54 2285 2310 "src/oasis/OASISFileUtil.ml" 54 2285 2313
type(
  string list list
)
ident(
  def lst "src/oasis/OASISFileUtil.ml" 55 2316 2320 "src/oasis/OASISFileUtil.ml" 66 2557 2567
)
"src/oasis/OASISFileUtil.ml" 55 2316 2326 "src/oasis/OASISFileUtil.ml" 55 2316 2329
type(
  string list list
)
ident(
  int_ref lst "src/oasis/OASISFileUtil.ml" 54 2285 2310 "src/oasis/OASISFileUtil.ml" 54 2285 2313
)
"src/oasis/OASISFileUtil.ml" 56 2335 2343 "src/oasis/OASISFileUtil.ml" 56 2335 2345
type(
  string list
)
ident(
  def p1 "src/oasis/OASISFileUtil.ml" 57 2361 2369 "src/oasis/OASISFileUtil.ml" 62 2483 2517
)
"src/oasis/OASISFileUtil.ml" 56 2335 2349 "src/oasis/OASISFileUtil.ml" 56 2335 2351
type(
  string list
)
ident(
  def p2 "src/oasis/OASISFileUtil.ml" 57 2361 2369 "src/oasis/OASISFileUtil.ml" 62 2483 2517
)
"src/oasis/OASISFileUtil.ml" 56 2335 2355 "src/oasis/OASISFileUtil.ml" 56 2335 2357
type(
  string list list
)
ident(
  def tl "src/oasis/OASISFileUtil.ml" 57 2361 2369 "src/oasis/OASISFileUtil.ml" 62 2483 2517
)
"src/oasis/OASISFileUtil.ml" 56 2335 2349 "src/oasis/OASISFileUtil.ml" 56 2335 2357
type(
  string list list
)
"src/oasis/OASISFileUtil.ml" 56 2335 2343 "src/oasis/OASISFileUtil.ml" 56 2335 2357
type(
  string list list
)
type(
  string list list
)
"src/oasis/OASISFileUtil.ml" 57 2361 2373 "src/oasis/OASISFileUtil.ml" 57 2361 2376
type(
  string list
)
ident(
  def acc "src/oasis/OASISFileUtil.ml" 62 2483 2491 "src/oasis/OASISFileUtil.ml" 62 2483 2517
)
"src/oasis/OASISFileUtil.ml" 58 2379 2390 "src/oasis/OASISFileUtil.ml" 58 2379 2398
type(
  (string * string -> string) -> (string * string) list -> string list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISFileUtil.ml" 59 2399 2418 "src/oasis/OASISFileUtil.ml" 59 2399 2419
type(
  string
)
ident(
  def a "src/oasis/OASISFileUtil.ml" 59 2399 2427 "src/oasis/OASISFileUtil.ml" 59 2399 2446
)
"src/oasis/OASISFileUtil.ml" 59 2399 2421 "src/oasis/OASISFileUtil.ml" 59 2399 2422
type(
  string
)
ident(
  def b "src/oasis/OASISFileUtil.ml" 59 2399 2427 "src/oasis/OASISFileUtil.ml" 59 2399 2446
)
"src/oasis/OASISFileUtil.ml" 59 2399 2417 "src/oasis/OASISFileUtil.ml" 59 2399 2423
type(
  string * string
)
"src/oasis/OASISFileUtil.ml" 59 2399 2427 "src/oasis/OASISFileUtil.ml" 59 2399 2442
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.Filename.concat "filename.mli" 30 1434 1434 "filename.mli" 30 1434 1473
)
"src/oasis/OASISFileUtil.ml" 59 2399 2443 "src/oasis/OASISFileUtil.ml" 59 2399 2444
type(
  string
)
ident(
  int_ref a "src/oasis/OASISFileUtil.ml" 59 2399 2418 "src/oasis/OASISFileUtil.ml" 59 2399 2419
)
"src/oasis/OASISFileUtil.ml" 59 2399 2445 "src/oasis/OASISFileUtil.ml" 59 2399 2446
type(
  string
)
ident(
  int_ref b "src/oasis/OASISFileUtil.ml" 59 2399 2421 "src/oasis/OASISFileUtil.ml" 59 2399 2422
)
"src/oasis/OASISFileUtil.ml" 59 2399 2427 "src/oasis/OASISFileUtil.ml" 59 2399 2446
type(
  string
)
"src/oasis/OASISFileUtil.ml" 59 2399 2412 "src/oasis/OASISFileUtil.ml" 59 2399 2447
type(
  string * string -> string
)
"src/oasis/OASISFileUtil.ml" 60 2448 2462 "src/oasis/OASISFileUtil.ml" 60 2448 2464
type(
  string list
)
ident(
  int_ref p1 "src/oasis/OASISFileUtil.ml" 56 2335 2343 "src/oasis/OASISFileUtil.ml" 56 2335 2345
)
"src/oasis/OASISFileUtil.ml" 60 2448 2465 "src/oasis/OASISFileUtil.ml" 60 2448 2466
type(
  string list -> string list -> (string * string) list
)
ident(
  int_ref * "src/oasis/OASISFileUtil.ml" 44 2117 2123 "src/oasis/OASISFileUtil.ml" 44 2117 2128
)
"src/oasis/OASISFileUtil.ml" 60 2448 2467 "src/oasis/OASISFileUtil.ml" 60 2448 2469
type(
  string list
)
ident(
  int_ref p2 "src/oasis/OASISFileUtil.ml" 56 2335 2349 "src/oasis/OASISFileUtil.ml" 56 2335 2351
)
"src/oasis/OASISFileUtil.ml" 60 2448 2461 "src/oasis/OASISFileUtil.ml" 60 2448 2470
type(
  (string * string) list
)
"src/oasis/OASISFileUtil.ml" 58 2379 2389 "src/oasis/OASISFileUtil.ml" 60 2448 2471
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 62 2483 2491 "src/oasis/OASISFileUtil.ml" 62 2483 2505
type(
  string list list -> string list
)
ident(
  int_ref combined_paths "src/oasis/OASISFileUtil.ml" 54 2285 2295 "src/oasis/OASISFileUtil.ml" 54 2285 2309
)
"src/oasis/OASISFileUtil.ml" 62 2483 2507 "src/oasis/OASISFileUtil.ml" 62 2483 2510
type(
  string list
)
ident(
  int_ref acc "src/oasis/OASISFileUtil.ml" 57 2361 2373 "src/oasis/OASISFileUtil.ml" 57 2361 2376
)
"src/oasis/OASISFileUtil.ml" 62 2483 2514 "src/oasis/OASISFileUtil.ml" 62 2483 2516
type(
  string list list
)
ident(
  int_ref tl "src/oasis/OASISFileUtil.ml" 56 2335 2355 "src/oasis/OASISFileUtil.ml" 56 2335 2357
)
"src/oasis/OASISFileUtil.ml" 62 2483 2506 "src/oasis/OASISFileUtil.ml" 62 2483 2517
type(
  string list list
)
"src/oasis/OASISFileUtil.ml" 62 2483 2491 "src/oasis/OASISFileUtil.ml" 62 2483 2517
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 57 2361 2369 "src/oasis/OASISFileUtil.ml" 62 2483 2517
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 63 2518 2527 "src/oasis/OASISFileUtil.ml" 63 2518 2528
type(
  string list
)
ident(
  def e "src/oasis/OASISFileUtil.ml" 64 2533 2541 "src/oasis/OASISFileUtil.ml" 64 2533 2542
)
"src/oasis/OASISFileUtil.ml" 63 2518 2526 "src/oasis/OASISFileUtil.ml" 63 2518 2529
type(
  string list list
)
type(
  string list list
)
"src/oasis/OASISFileUtil.ml" 64 2533 2541 "src/oasis/OASISFileUtil.ml" 64 2533 2542
type(
  string list
)
ident(
  int_ref e "src/oasis/OASISFileUtil.ml" 63 2518 2527 "src/oasis/OASISFileUtil.ml" 63 2518 2528
)
"src/oasis/OASISFileUtil.ml" 65 2543 2551 "src/oasis/OASISFileUtil.ml" 65 2543 2553
type(
  string list list
)
type(
  string list list
)
"src/oasis/OASISFileUtil.ml" 66 2557 2565 "src/oasis/OASISFileUtil.ml" 66 2557 2567
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 55 2316 2320 "src/oasis/OASISFileUtil.ml" 66 2557 2567
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 69 2574 2580 "src/oasis/OASISFileUtil.ml" 69 2574 2592
type(
  string list
)
ident(
  def alternatives "src/oasis/OASISFileUtil.ml" 78 2780 2782 "src/oasis/OASISFileUtil.ml" 84 2936 2952
)
"src/oasis/OASISFileUtil.ml" 70 2595 2599 "src/oasis/OASISFileUtil.ml" 70 2595 2607
type(
  (string * string -> string) -> (string * string) list -> string list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISFileUtil.ml" 71 2608 2620 "src/oasis/OASISFileUtil.ml" 71 2608 2621
type(
  string
)
ident(
  def p "src/oasis/OASISFileUtil.ml" 72 2629 2638 "src/oasis/OASISFileUtil.ml" 75 2719 2735
)
"src/oasis/OASISFileUtil.ml" 71 2608 2623 "src/oasis/OASISFileUtil.ml" 71 2608 2624
type(
  string
)
ident(
  def e "src/oasis/OASISFileUtil.ml" 72 2629 2638 "src/oasis/OASISFileUtil.ml" 75 2719 2735
)
"src/oasis/OASISFileUtil.ml" 71 2608 2619 "src/oasis/OASISFileUtil.ml" 71 2608 2625
type(
  string * string
)
"src/oasis/OASISFileUtil.ml" 72 2629 2641 "src/oasis/OASISFileUtil.ml" 72 2629 2654
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISFileUtil.ml" 72 2629 2655 "src/oasis/OASISFileUtil.ml" 72 2629 2656
type(
  string
)
ident(
  int_ref e "src/oasis/OASISFileUtil.ml" 71 2608 2623 "src/oasis/OASISFileUtil.ml" 71 2608 2624
)
"src/oasis/OASISFileUtil.ml" 72 2629 2641 "src/oasis/OASISFileUtil.ml" 72 2629 2656
type(
  int
)
"src/oasis/OASISFileUtil.ml" 72 2629 2657 "src/oasis/OASISFileUtil.ml" 72 2629 2658
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISFileUtil.ml" 72 2629 2659 "src/oasis/OASISFileUtil.ml" 72 2629 2660
type(
  int
)
"src/oasis/OASISFileUtil.ml" 72 2629 2641 "src/oasis/OASISFileUtil.ml" 72 2629 2660
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 72 2629 2661 "src/oasis/OASISFileUtil.ml" 72 2629 2663
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISFileUtil.ml" 72 2629 2664 "src/oasis/OASISFileUtil.ml" 72 2629 2665
type(
  string
)
ident(
  int_ref e "src/oasis/OASISFileUtil.ml" 71 2608 2623 "src/oasis/OASISFileUtil.ml" 71 2608 2624
)
"src/oasis/OASISFileUtil.ml" 72 2629 2667 "src/oasis/OASISFileUtil.ml" 72 2629 2668
type(
  int
)
"src/oasis/OASISFileUtil.ml" 72 2629 2664 "src/oasis/OASISFileUtil.ml" 72 2629 2669
type(
  char
)
"src/oasis/OASISFileUtil.ml" 72 2629 2670 "src/oasis/OASISFileUtil.ml" 72 2629 2672
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISFileUtil.ml" 72 2629 2673 "src/oasis/OASISFileUtil.ml" 72 2629 2676
type(
  char
)
"src/oasis/OASISFileUtil.ml" 72 2629 2664 "src/oasis/OASISFileUtil.ml" 72 2629 2676
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 72 2629 2641 "src/oasis/OASISFileUtil.ml" 72 2629 2676
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 73 2682 2693 "src/oasis/OASISFileUtil.ml" 73 2682 2694
type(
  string
)
ident(
  int_ref p "src/oasis/OASISFileUtil.ml" 71 2608 2620 "src/oasis/OASISFileUtil.ml" 71 2608 2621
)
"src/oasis/OASISFileUtil.ml" 73 2682 2695 "src/oasis/OASISFileUtil.ml" 73 2682 2696
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFileUtil.ml" 73 2682 2697 "src/oasis/OASISFileUtil.ml" 73 2682 2700
type(
  string
)
"src/oasis/OASISFileUtil.ml" 73 2682 2701 "src/oasis/OASISFileUtil.ml" 73 2682 2702
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFileUtil.ml" 73 2682 2703 "src/oasis/OASISFileUtil.ml" 73 2682 2704
type(
  string
)
ident(
  int_ref e "src/oasis/OASISFileUtil.ml" 71 2608 2623 "src/oasis/OASISFileUtil.ml" 71 2608 2624
)
"src/oasis/OASISFileUtil.ml" 73 2682 2697 "src/oasis/OASISFileUtil.ml" 73 2682 2704
type(
  string
)
"src/oasis/OASISFileUtil.ml" 73 2682 2693 "src/oasis/OASISFileUtil.ml" 73 2682 2704
type(
  string
)
"src/oasis/OASISFileUtil.ml" 75 2719 2730 "src/oasis/OASISFileUtil.ml" 75 2719 2731
type(
  string
)
ident(
  int_ref p "src/oasis/OASISFileUtil.ml" 71 2608 2620 "src/oasis/OASISFileUtil.ml" 71 2608 2621
)
"src/oasis/OASISFileUtil.ml" 75 2719 2732 "src/oasis/OASISFileUtil.ml" 75 2719 2733
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFileUtil.ml" 75 2719 2734 "src/oasis/OASISFileUtil.ml" 75 2719 2735
type(
  string
)
ident(
  int_ref e "src/oasis/OASISFileUtil.ml" 71 2608 2623 "src/oasis/OASISFileUtil.ml" 71 2608 2624
)
"src/oasis/OASISFileUtil.ml" 75 2719 2730 "src/oasis/OASISFileUtil.ml" 75 2719 2735
type(
  string
)
"src/oasis/OASISFileUtil.ml" 72 2629 2638 "src/oasis/OASISFileUtil.ml" 75 2719 2735
type(
  string
)
"src/oasis/OASISFileUtil.ml" 71 2608 2614 "src/oasis/OASISFileUtil.ml" 75 2719 2736
type(
  string * string -> string
)
"src/oasis/OASISFileUtil.ml" 76 2737 2745 "src/oasis/OASISFileUtil.ml" 76 2737 2759
type(
  string list list -> string list
)
ident(
  int_ref combined_paths "src/oasis/OASISFileUtil.ml" 54 2285 2295 "src/oasis/OASISFileUtil.ml" 54 2285 2309
)
"src/oasis/OASISFileUtil.ml" 76 2737 2760 "src/oasis/OASISFileUtil.ml" 76 2737 2765
type(
  string list list
)
ident(
  int_ref paths "src/oasis/OASISFileUtil.ml" 41 2029 2066 "src/oasis/OASISFileUtil.ml" 41 2029 2071
)
"src/oasis/OASISFileUtil.ml" 76 2737 2744 "src/oasis/OASISFileUtil.ml" 76 2737 2766
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 76 2737 2767 "src/oasis/OASISFileUtil.ml" 76 2737 2768
type(
  string list -> string list -> (string * string) list
)
ident(
  int_ref * "src/oasis/OASISFileUtil.ml" 44 2117 2123 "src/oasis/OASISFileUtil.ml" 44 2117 2128
)
"src/oasis/OASISFileUtil.ml" 76 2737 2769 "src/oasis/OASISFileUtil.ml" 76 2737 2773
type(
  string list
)
ident(
  int_ref exts "src/oasis/OASISFileUtil.ml" 41 2029 2072 "src/oasis/OASISFileUtil.ml" 41 2029 2076
)
"src/oasis/OASISFileUtil.ml" 76 2737 2743 "src/oasis/OASISFileUtil.ml" 76 2737 2774
type(
  (string * string) list
)
"src/oasis/OASISFileUtil.ml" 70 2595 2599 "src/oasis/OASISFileUtil.ml" 76 2737 2774
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 78 2780 2782 "src/oasis/OASISFileUtil.ml" 78 2780 2791
type(
  (string -> bool) -> string list -> string
)
ident(
  int_ref Stdlib.List.find "list.mli" 305 10263 10263 "list.mli" 305 10263 10303
)
"src/oasis/OASISFileUtil.ml" 78 2780 2797 "src/oasis/OASISFileUtil.ml" 78 2780 2801
type(
  string
)
ident(
  def file "src/oasis/OASISFileUtil.ml" 79 2805 2809 "src/oasis/OASISFileUtil.ml" 83 2901 2935
)
"src/oasis/OASISFileUtil.ml" 79 2805 2813 "src/oasis/OASISFileUtil.ml" 79 2805 2827
type(
  bool
)
ident(
  int_ref case_sensitive "src/oasis/OASISFileUtil.ml" 41 2029 2045 "src/oasis/OASISFileUtil.ml" 41 2029 2059
)
"src/oasis/OASISFileUtil.ml" 80 2833 2840 "src/oasis/OASISFileUtil.ml" 80 2833 2856
type(
  string -> bool
)
ident(
  int_ref file_exists_case "src/oasis/OASISFileUtil.ml" 27 1723 1727 "src/oasis/OASISFileUtil.ml" 27 1723 1743
)
"src/oasis/OASISFileUtil.ml" 80 2833 2857 "src/oasis/OASISFileUtil.ml" 80 2833 2861
type(
  string
)
ident(
  int_ref file "src/oasis/OASISFileUtil.ml" 78 2780 2797 "src/oasis/OASISFileUtil.ml" 78 2780 2801
)
"src/oasis/OASISFileUtil.ml" 80 2833 2840 "src/oasis/OASISFileUtil.ml" 80 2833 2861
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 82 2872 2879 "src/oasis/OASISFileUtil.ml" 82 2872 2894
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.file_exists "sys.mli" 35 1767 1767 "sys.mli" 35 1767 1829
)
"src/oasis/OASISFileUtil.ml" 82 2872 2895 "src/oasis/OASISFileUtil.ml" 82 2872 2899
type(
  string
)
ident(
  int_ref file "src/oasis/OASISFileUtil.ml" 78 2780 2797 "src/oasis/OASISFileUtil.ml" 78 2780 2801
)
"src/oasis/OASISFileUtil.ml" 82 2872 2879 "src/oasis/OASISFileUtil.ml" 82 2872 2899
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 79 2805 2809 "src/oasis/OASISFileUtil.ml" 82 2872 2900
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 83 2901 2905 "src/oasis/OASISFileUtil.ml" 83 2901 2907
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISFileUtil.ml" 83 2901 2908 "src/oasis/OASISFileUtil.ml" 83 2901 2911
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISFileUtil.ml" 83 2901 2913 "src/oasis/OASISFileUtil.ml" 83 2901 2929
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.is_directory "sys.mli" 38 1881 1881 "sys.mli" 38 1881 1945
)
"src/oasis/OASISFileUtil.ml" 83 2901 2930 "src/oasis/OASISFileUtil.ml" 83 2901 2934
type(
  string
)
ident(
  int_ref file "src/oasis/OASISFileUtil.ml" 78 2780 2797 "src/oasis/OASISFileUtil.ml" 78 2780 2801
)
"src/oasis/OASISFileUtil.ml" 83 2901 2912 "src/oasis/OASISFileUtil.ml" 83 2901 2935
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 83 2901 2908 "src/oasis/OASISFileUtil.ml" 83 2901 2935
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 79 2805 2809 "src/oasis/OASISFileUtil.ml" 83 2901 2935
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 78 2780 2792 "src/oasis/OASISFileUtil.ml" 84 2936 2939
type(
  string -> bool
)
"src/oasis/OASISFileUtil.ml" 84 2936 2940 "src/oasis/OASISFileUtil.ml" 84 2936 2952
type(
  string list
)
ident(
  int_ref alternatives "src/oasis/OASISFileUtil.ml" 69 2574 2580 "src/oasis/OASISFileUtil.ml" 69 2574 2592
)
"src/oasis/OASISFileUtil.ml" 78 2780 2782 "src/oasis/OASISFileUtil.ml" 84 2936 2952
type(
  string
)
"src/oasis/OASISFileUtil.ml" 69 2574 2576 "src/oasis/OASISFileUtil.ml" 84 2936 2952
type(
  string
)
"src/oasis/OASISFileUtil.ml" 54 2285 2287 "src/oasis/OASISFileUtil.ml" 84 2936 2952
type(
  string
)
"src/oasis/OASISFileUtil.ml" 44 2117 2119 "src/oasis/OASISFileUtil.ml" 84 2936 2952
type(
  string
)
"src/oasis/OASISFileUtil.ml" 87 2955 2959 "src/oasis/OASISFileUtil.ml" 87 2955 2964
type(
  ctxt:'a -> string -> string
)
ident(
  def which "src/oasis/OASISFileUtil.ml" 106 3374 3374 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 87 2955 2966 "src/oasis/OASISFileUtil.ml" 87 2955 2970
type(
  'a
)
ident(
  def ctxt "src/oasis/OASISFileUtil.ml" 87 2955 2971 "src/oasis/OASISFileUtil.ml" 103 3311 3371
)
"src/oasis/OASISFileUtil.ml" 87 2955 2971 "src/oasis/OASISFileUtil.ml" 87 2955 2974
type(
  string
)
ident(
  def prg "src/oasis/OASISFileUtil.ml" 88 2977 2979 "src/oasis/OASISFileUtil.ml" 103 3311 3371
)
"src/oasis/OASISFileUtil.ml" 88 2977 2983 "src/oasis/OASISFileUtil.ml" 88 2977 2991
type(
  char
)
ident(
  def path_sep "src/oasis/OASISFileUtil.ml" 95 3082 3084 "src/oasis/OASISFileUtil.ml" 103 3311 3371
)
"src/oasis/OASISFileUtil.ml" 89 2994 3004 "src/oasis/OASISFileUtil.ml" 89 2994 3015
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 90 3021 3029 "src/oasis/OASISFileUtil.ml" 90 3021 3036
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 91 3040 3048 "src/oasis/OASISFileUtil.ml" 91 3040 3051
type(
  char
)
"src/oasis/OASISFileUtil.ml" 92 3052 3060 "src/oasis/OASISFileUtil.ml" 92 3052 3061
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 93 3065 3073 "src/oasis/OASISFileUtil.ml" 93 3065 3076
type(
  char
)
"src/oasis/OASISFileUtil.ml" 89 2994 2998 "src/oasis/OASISFileUtil.ml" 93 3065 3076
type(
  char
)
"src/oasis/OASISFileUtil.ml" 95 3082 3088 "src/oasis/OASISFileUtil.ml" 95 3082 3096
type(
  string list
)
ident(
  def path_lst "src/oasis/OASISFileUtil.ml" 96 3150 3152 "src/oasis/OASISFileUtil.ml" 103 3311 3371
)
"src/oasis/OASISFileUtil.ml" 95 3082 3099 "src/oasis/OASISFileUtil.ml" 95 3082 3117
type(
  string -> char -> string list
)
ident(
  int_ref OASISString.nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/oasis/OASISFileUtil.ml" 95 3082 3119 "src/oasis/OASISFileUtil.ml" 95 3082 3129
type(
  string -> string
)
ident(
  int_ref Stdlib.Sys.getenv "sys.mli" 58 2794 2794 "sys.mli" 58 2794 2848
)
"src/oasis/OASISFileUtil.ml" 95 3082 3130 "src/oasis/OASISFileUtil.ml" 95 3082 3136
type(
  string
)
"src/oasis/OASISFileUtil.ml" 95 3082 3118 "src/oasis/OASISFileUtil.ml" 95 3082 3137
type(
  string
)
"src/oasis/OASISFileUtil.ml" 95 3082 3138 "src/oasis/OASISFileUtil.ml" 95 3082 3146
type(
  char
)
ident(
  int_ref path_sep "src/oasis/OASISFileUtil.ml" 88 2977 2983 "src/oasis/OASISFileUtil.ml" 88 2977 2991
)
"src/oasis/OASISFileUtil.ml" 95 3082 3099 "src/oasis/OASISFileUtil.ml" 95 3082 3146
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 96 3150 3156 "src/oasis/OASISFileUtil.ml" 96 3150 3164
type(
  string list
)
ident(
  def exec_ext "src/oasis/OASISFileUtil.ml" 103 3311 3313 "src/oasis/OASISFileUtil.ml" 103 3311 3371
)
"src/oasis/OASISFileUtil.ml" 97 3167 3177 "src/oasis/OASISFileUtil.ml" 97 3167 3188
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 98 3194 3202 "src/oasis/OASISFileUtil.ml" 98 3194 3209
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 99 3213 3221 "src/oasis/OASISFileUtil.ml" 99 3213 3223
type(
  string
)
"src/oasis/OASISFileUtil.ml" 99 3213 3228 "src/oasis/OASISFileUtil.ml" 99 3213 3246
type(
  string -> char -> string list
)
ident(
  int_ref OASISString.nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/oasis/OASISFileUtil.ml" 99 3213 3248 "src/oasis/OASISFileUtil.ml" 99 3213 3258
type(
  string -> string
)
ident(
  int_ref Stdlib.Sys.getenv "sys.mli" 58 2794 2794 "sys.mli" 58 2794 2848
)
"src/oasis/OASISFileUtil.ml" 99 3213 3259 "src/oasis/OASISFileUtil.ml" 99 3213 3268
type(
  string
)
"src/oasis/OASISFileUtil.ml" 99 3213 3247 "src/oasis/OASISFileUtil.ml" 99 3213 3269
type(
  string
)
"src/oasis/OASISFileUtil.ml" 99 3213 3270 "src/oasis/OASISFileUtil.ml" 99 3213 3278
type(
  char
)
ident(
  int_ref path_sep "src/oasis/OASISFileUtil.ml" 88 2977 2983 "src/oasis/OASISFileUtil.ml" 88 2977 2991
)
"src/oasis/OASISFileUtil.ml" 99 3213 3227 "src/oasis/OASISFileUtil.ml" 99 3213 3279
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 99 3213 3221 "src/oasis/OASISFileUtil.ml" 99 3213 3279
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 100 3280 3288 "src/oasis/OASISFileUtil.ml" 100 3280 3289
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 101 3293 3302 "src/oasis/OASISFileUtil.ml" 101 3293 3304
type(
  string
)
"src/oasis/OASISFileUtil.ml" 101 3293 3301 "src/oasis/OASISFileUtil.ml" 101 3293 3305
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 97 3167 3171 "src/oasis/OASISFileUtil.ml" 101 3293 3305
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 103 3311 3313 "src/oasis/OASISFileUtil.ml" 103 3311 3322
type(
  ?case_sensitive:bool -> string list list -> string list -> string
)
ident(
  int_ref find_file "src/oasis/OASISFileUtil.ml" 41 2029 2033 "src/oasis/OASISFileUtil.ml" 41 2029 2042
)
"src/oasis/OASISFileUtil.ml" 103 3311 3339 "src/oasis/OASISFileUtil.ml" 103 3311 3344
type(
  bool
)
type(
  bool option
)
"src/oasis/OASISFileUtil.ml" 103 3311 3346 "src/oasis/OASISFileUtil.ml" 103 3311 3354
type(
  string list
)
ident(
  int_ref path_lst "src/oasis/OASISFileUtil.ml" 95 3082 3088 "src/oasis/OASISFileUtil.ml" 95 3082 3096
)
"src/oasis/OASISFileUtil.ml" 103 3311 3357 "src/oasis/OASISFileUtil.ml" 103 3311 3360
type(
  string
)
ident(
  int_ref prg "src/oasis/OASISFileUtil.ml" 87 2955 2971 "src/oasis/OASISFileUtil.ml" 87 2955 2974
)
"src/oasis/OASISFileUtil.ml" 103 3311 3356 "src/oasis/OASISFileUtil.ml" 103 3311 3361
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 103 3311 3345 "src/oasis/OASISFileUtil.ml" 103 3311 3362
type(
  string list list
)
"src/oasis/OASISFileUtil.ml" 103 3311 3363 "src/oasis/OASISFileUtil.ml" 103 3311 3371
type(
  string list
)
ident(
  int_ref exec_ext "src/oasis/OASISFileUtil.ml" 96 3150 3156 "src/oasis/OASISFileUtil.ml" 96 3150 3164
)
"src/oasis/OASISFileUtil.ml" 103 3311 3313 "src/oasis/OASISFileUtil.ml" 103 3311 3371
type(
  string
)
"src/oasis/OASISFileUtil.ml" 96 3150 3152 "src/oasis/OASISFileUtil.ml" 103 3311 3371
type(
  string
)
"src/oasis/OASISFileUtil.ml" 95 3082 3084 "src/oasis/OASISFileUtil.ml" 103 3311 3371
type(
  string
)
"src/oasis/OASISFileUtil.ml" 88 2977 2979 "src/oasis/OASISFileUtil.ml" 103 3311 3371
type(
  string
)
"src/oasis/OASISFileUtil.ml" 107 3382 3390 "src/oasis/OASISFileUtil.ml" 107 3382 3397
type(
  string -> string
)
ident(
  def fix_dir "src/oasis/OASISFileUtil.ml" 107 3382 3382 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 107 3382 3398 "src/oasis/OASISFileUtil.ml" 107 3382 3400
type(
  string
)
ident(
  def dn "src/oasis/OASISFileUtil.ml" 111 3505 3507 "src/oasis/OASISFileUtil.ml" 117 3652 3658
)
"src/oasis/OASISFileUtil.ml" 111 3505 3511 "src/oasis/OASISFileUtil.ml" 111 3505 3513
type(
  int
)
ident(
  def ln "src/oasis/OASISFileUtil.ml" 114 3542 3544 "src/oasis/OASISFileUtil.ml" 117 3652 3658
)
"src/oasis/OASISFileUtil.ml" 112 3516 3520 "src/oasis/OASISFileUtil.ml" 112 3516 3533
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISFileUtil.ml" 112 3516 3534 "src/oasis/OASISFileUtil.ml" 112 3516 3536
type(
  string
)
ident(
  int_ref dn "src/oasis/OASISFileUtil.ml" 107 3382 3398 "src/oasis/OASISFileUtil.ml" 107 3382 3400
)
"src/oasis/OASISFileUtil.ml" 112 3516 3520 "src/oasis/OASISFileUtil.ml" 112 3516 3536
type(
  int
)
"src/oasis/OASISFileUtil.ml" 114 3542 3547 "src/oasis/OASISFileUtil.ml" 114 3542 3558
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 114 3542 3559 "src/oasis/OASISFileUtil.ml" 114 3542 3560
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 114 3542 3561 "src/oasis/OASISFileUtil.ml" 114 3542 3568
type(
  string
)
"src/oasis/OASISFileUtil.ml" 114 3542 3547 "src/oasis/OASISFileUtil.ml" 114 3542 3568
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 114 3542 3569 "src/oasis/OASISFileUtil.ml" 114 3542 3571
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISFileUtil.ml" 114 3542 3572 "src/oasis/OASISFileUtil.ml" 114 3542 3574
type(
  int
)
ident(
  int_ref ln "src/oasis/OASISFileUtil.ml" 111 3505 3511 "src/oasis/OASISFileUtil.ml" 111 3505 3513
)
"src/oasis/OASISFileUtil.ml" 114 3542 3575 "src/oasis/OASISFileUtil.ml" 114 3542 3576
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISFileUtil.ml" 114 3542 3577 "src/oasis/OASISFileUtil.ml" 114 3542 3578
type(
  int
)
"src/oasis/OASISFileUtil.ml" 114 3542 3572 "src/oasis/OASISFileUtil.ml" 114 3542 3578
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 114 3542 3579 "src/oasis/OASISFileUtil.ml" 114 3542 3581
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISFileUtil.ml" 114 3542 3582 "src/oasis/OASISFileUtil.ml" 114 3542 3584
type(
  string
)
ident(
  int_ref dn "src/oasis/OASISFileUtil.ml" 107 3382 3398 "src/oasis/OASISFileUtil.ml" 107 3382 3400
)
"src/oasis/OASISFileUtil.ml" 114 3542 3586 "src/oasis/OASISFileUtil.ml" 114 3542 3588
type(
  int
)
ident(
  int_ref ln "src/oasis/OASISFileUtil.ml" 111 3505 3511 "src/oasis/OASISFileUtil.ml" 111 3505 3513
)
"src/oasis/OASISFileUtil.ml" 114 3542 3589 "src/oasis/OASISFileUtil.ml" 114 3542 3590
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISFileUtil.ml" 114 3542 3591 "src/oasis/OASISFileUtil.ml" 114 3542 3592
type(
  int
)
"src/oasis/OASISFileUtil.ml" 114 3542 3586 "src/oasis/OASISFileUtil.ml" 114 3542 3592
type(
  int
)
"src/oasis/OASISFileUtil.ml" 114 3542 3582 "src/oasis/OASISFileUtil.ml" 114 3542 3593
type(
  char
)
"src/oasis/OASISFileUtil.ml" 114 3542 3594 "src/oasis/OASISFileUtil.ml" 114 3542 3595
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 114 3542 3596 "src/oasis/OASISFileUtil.ml" 114 3542 3600
type(
  char
)
"src/oasis/OASISFileUtil.ml" 114 3542 3582 "src/oasis/OASISFileUtil.ml" 114 3542 3600
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 114 3542 3572 "src/oasis/OASISFileUtil.ml" 114 3542 3600
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 114 3542 3547 "src/oasis/OASISFileUtil.ml" 114 3542 3600
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 115 3606 3610 "src/oasis/OASISFileUtil.ml" 115 3606 3617
type(
  string -> string
)
ident(
  int_ref fix_dir "src/oasis/OASISFileUtil.ml" 107 3382 3390 "src/oasis/OASISFileUtil.ml" 107 3382 3397
)
"src/oasis/OASISFileUtil.ml" 115 3606 3619 "src/oasis/OASISFileUtil.ml" 115 3606 3629
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISFileUtil.ml" 115 3606 3630 "src/oasis/OASISFileUtil.ml" 115 3606 3632
type(
  string
)
ident(
  int_ref dn "src/oasis/OASISFileUtil.ml" 107 3382 3398 "src/oasis/OASISFileUtil.ml" 107 3382 3400
)
"src/oasis/OASISFileUtil.ml" 115 3606 3633 "src/oasis/OASISFileUtil.ml" 115 3606 3634
type(
  int
)
"src/oasis/OASISFileUtil.ml" 115 3606 3636 "src/oasis/OASISFileUtil.ml" 115 3606 3638
type(
  int
)
ident(
  int_ref ln "src/oasis/OASISFileUtil.ml" 111 3505 3511 "src/oasis/OASISFileUtil.ml" 111 3505 3513
)
"src/oasis/OASISFileUtil.ml" 115 3606 3639 "src/oasis/OASISFileUtil.ml" 115 3606 3640
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISFileUtil.ml" 115 3606 3641 "src/oasis/OASISFileUtil.ml" 115 3606 3642
type(
  int
)
"src/oasis/OASISFileUtil.ml" 115 3606 3635 "src/oasis/OASISFileUtil.ml" 115 3606 3643
type(
  int
)
"src/oasis/OASISFileUtil.ml" 115 3606 3618 "src/oasis/OASISFileUtil.ml" 115 3606 3644
type(
  string
)
"src/oasis/OASISFileUtil.ml" 115 3606 3610 "src/oasis/OASISFileUtil.ml" 115 3606 3644
type(
  string
)
"src/oasis/OASISFileUtil.ml" 117 3652 3656 "src/oasis/OASISFileUtil.ml" 117 3652 3658
type(
  string
)
ident(
  int_ref dn "src/oasis/OASISFileUtil.ml" 107 3382 3398 "src/oasis/OASISFileUtil.ml" 107 3382 3400
)
"src/oasis/OASISFileUtil.ml" 114 3542 3544 "src/oasis/OASISFileUtil.ml" 117 3652 3658
type(
  string
)
"src/oasis/OASISFileUtil.ml" 111 3505 3507 "src/oasis/OASISFileUtil.ml" 117 3652 3658
type(
  string
)
"src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
type(
  string -> string
)
ident(
  def q "src/oasis/OASISFileUtil.ml" 121 3684 3684 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 120 3661 3669 "src/oasis/OASISFileUtil.ml" 120 3661 3683
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.quote "filename.mli" 189 7710 7710 "filename.mli" 189 7710 7738
)
"src/oasis/OASISFileUtil.ml" 124 3694 3698 "src/oasis/OASISFileUtil.ml" 124 3694 3700
type(
  ctxt:OASISContext.t -> ?recurse:bool -> string -> string -> unit
)
ident(
  def cp "src/oasis/OASISFileUtil.ml" 141 4075 4075 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 124 3694 3702 "src/oasis/OASISFileUtil.ml" 124 3694 3706
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISFileUtil.ml" 124 3694 3707 "src/oasis/OASISFileUtil.ml" 138 4052 4072
)
"src/oasis/OASISFileUtil.ml" 124 3694 3709 "src/oasis/OASISFileUtil.ml" 124 3694 3716
type(
  bool
)
ident(
  def recurse "src/oasis/OASISFileUtil.ml" 124 3694 3724 "src/oasis/OASISFileUtil.ml" 138 4052 4072
)
"src/oasis/OASISFileUtil.ml" 124 3694 3717 "src/oasis/OASISFileUtil.ml" 124 3694 3722
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/oasis/OASISFileUtil.ml" 124 3694 3717 "src/oasis/OASISFileUtil.ml" 124 3694 3722
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/oasis/OASISFileUtil.ml" 124 3694 3717 "src/oasis/OASISFileUtil.ml" 124 3694 3722
)
"src/oasis/OASISFileUtil.ml" 124 3694 3724 "src/oasis/OASISFileUtil.ml" 124 3694 3727
type(
  string
)
ident(
  def src "src/oasis/OASISFileUtil.ml" 124 3694 3728 "src/oasis/OASISFileUtil.ml" 138 4052 4072
)
"src/oasis/OASISFileUtil.ml" 124 3694 3728 "src/oasis/OASISFileUtil.ml" 124 3694 3731
type(
  string
)
ident(
  def tgt "src/oasis/OASISFileUtil.ml" 125 3734 3736 "src/oasis/OASISFileUtil.ml" 138 4052 4072
)
"src/oasis/OASISFileUtil.ml" 125 3734 3739 "src/oasis/OASISFileUtil.ml" 125 3734 3746
type(
  bool
)
ident(
  int_ref recurse "src/oasis/OASISFileUtil.ml" 124 3694 3709 "src/oasis/OASISFileUtil.ml" 124 3694 3716
)
"src/oasis/OASISFileUtil.ml" 126 3752 3762 "src/oasis/OASISFileUtil.ml" 126 3752 3773
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 127 3779 3787 "src/oasis/OASISFileUtil.ml" 127 3779 3794
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 128 3798 3806 "src/oasis/OASISFileUtil.ml" 128 3798 3819
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  int_ref OASISExec.run "src/oasis/OASISExec.mli" 38 1982 1982 "src/oasis/OASISExec.mli" 43 2083 2089
)
"src/oasis/OASISFileUtil.ml" 128 3798 3821 "src/oasis/OASISFileUtil.ml" 128 3798 3825
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 124 3694 3702 "src/oasis/OASISFileUtil.ml" 124 3694 3706
)
"src/oasis/OASISFileUtil.ml" 129 3826 3836 "src/oasis/OASISFileUtil.ml" 129 3826 3843
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 129 3826 3845 "src/oasis/OASISFileUtil.ml" 129 3826 3846
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 129 3826 3847 "src/oasis/OASISFileUtil.ml" 129 3826 3850
type(
  string
)
ident(
  int_ref src "src/oasis/OASISFileUtil.ml" 124 3694 3724 "src/oasis/OASISFileUtil.ml" 124 3694 3727
)
"src/oasis/OASISFileUtil.ml" 129 3826 3845 "src/oasis/OASISFileUtil.ml" 129 3826 3850
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 129 3826 3852 "src/oasis/OASISFileUtil.ml" 129 3826 3853
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 129 3826 3854 "src/oasis/OASISFileUtil.ml" 129 3826 3857
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 124 3694 3728 "src/oasis/OASISFileUtil.ml" 124 3694 3731
)
"src/oasis/OASISFileUtil.ml" 129 3826 3852 "src/oasis/OASISFileUtil.ml" 129 3826 3857
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 129 3826 3859 "src/oasis/OASISFileUtil.ml" 129 3826 3863
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 129 3826 3844 "src/oasis/OASISFileUtil.ml" 129 3826 3864
type(
  OASISTypes.args
)
"src/oasis/OASISFileUtil.ml" 128 3798 3806 "src/oasis/OASISFileUtil.ml" 129 3826 3864
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 130 3865 3873 "src/oasis/OASISFileUtil.ml" 130 3865 3874
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 131 3878 3886 "src/oasis/OASISFileUtil.ml" 131 3878 3899
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  int_ref OASISExec.run "src/oasis/OASISExec.mli" 38 1982 1982 "src/oasis/OASISExec.mli" 43 2083 2089
)
"src/oasis/OASISFileUtil.ml" 131 3878 3901 "src/oasis/OASISFileUtil.ml" 131 3878 3905
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 124 3694 3702 "src/oasis/OASISFileUtil.ml" 124 3694 3706
)
"src/oasis/OASISFileUtil.ml" 132 3906 3916 "src/oasis/OASISFileUtil.ml" 132 3906 3920
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 132 3906 3922 "src/oasis/OASISFileUtil.ml" 132 3906 3926
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 132 3906 3928 "src/oasis/OASISFileUtil.ml" 132 3906 3929
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 132 3906 3930 "src/oasis/OASISFileUtil.ml" 132 3906 3933
type(
  string
)
ident(
  int_ref src "src/oasis/OASISFileUtil.ml" 124 3694 3724 "src/oasis/OASISFileUtil.ml" 124 3694 3727
)
"src/oasis/OASISFileUtil.ml" 132 3906 3928 "src/oasis/OASISFileUtil.ml" 132 3906 3933
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 132 3906 3935 "src/oasis/OASISFileUtil.ml" 132 3906 3936
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 132 3906 3937 "src/oasis/OASISFileUtil.ml" 132 3906 3940
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 124 3694 3728 "src/oasis/OASISFileUtil.ml" 124 3694 3731
)
"src/oasis/OASISFileUtil.ml" 132 3906 3935 "src/oasis/OASISFileUtil.ml" 132 3906 3940
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 132 3906 3921 "src/oasis/OASISFileUtil.ml" 132 3906 3941
type(
  OASISTypes.args
)
"src/oasis/OASISFileUtil.ml" 131 3878 3886 "src/oasis/OASISFileUtil.ml" 132 3906 3941
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 126 3752 3756 "src/oasis/OASISFileUtil.ml" 132 3906 3941
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 134 3949 3953 "src/oasis/OASISFileUtil.ml" 134 3949 3966
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  int_ref OASISExec.run "src/oasis/OASISExec.mli" 38 1982 1982 "src/oasis/OASISExec.mli" 43 2083 2089
)
"src/oasis/OASISFileUtil.ml" 134 3949 3968 "src/oasis/OASISFileUtil.ml" 134 3949 3972
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 124 3694 3702 "src/oasis/OASISFileUtil.ml" 124 3694 3706
)
"src/oasis/OASISFileUtil.ml" 135 3973 3986 "src/oasis/OASISFileUtil.ml" 135 3973 3997
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 136 4003 4013 "src/oasis/OASISFileUtil.ml" 136 4003 4020
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 136 4003 4024 "src/oasis/OASISFileUtil.ml" 136 4003 4030
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 137 4031 4041 "src/oasis/OASISFileUtil.ml" 137 4031 4042
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 137 4031 4046 "src/oasis/OASISFileUtil.ml" 137 4031 4050
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 135 3973 3979 "src/oasis/OASISFileUtil.ml" 137 4031 4051
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 138 4052 4059 "src/oasis/OASISFileUtil.ml" 138 4052 4060
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 138 4052 4061 "src/oasis/OASISFileUtil.ml" 138 4052 4064
type(
  string
)
ident(
  int_ref src "src/oasis/OASISFileUtil.ml" 124 3694 3724 "src/oasis/OASISFileUtil.ml" 124 3694 3727
)
"src/oasis/OASISFileUtil.ml" 138 4052 4059 "src/oasis/OASISFileUtil.ml" 138 4052 4064
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 138 4052 4066 "src/oasis/OASISFileUtil.ml" 138 4052 4067
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 138 4052 4068 "src/oasis/OASISFileUtil.ml" 138 4052 4071
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 124 3694 3728 "src/oasis/OASISFileUtil.ml" 124 3694 3731
)
"src/oasis/OASISFileUtil.ml" 138 4052 4066 "src/oasis/OASISFileUtil.ml" 138 4052 4071
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 138 4052 4058 "src/oasis/OASISFileUtil.ml" 138 4052 4072
type(
  OASISTypes.args
)
"src/oasis/OASISFileUtil.ml" 134 3949 3953 "src/oasis/OASISFileUtil.ml" 138 4052 4072
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 125 3734 3736 "src/oasis/OASISFileUtil.ml" 138 4052 4072
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 141 4075 4079 "src/oasis/OASISFileUtil.ml" 141 4075 4084
type(
  ctxt:OASISContext.t -> string -> unit
)
ident(
  def mkdir "src/oasis/OASISFileUtil.ml" 149 4207 4207 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 141 4075 4086 "src/oasis/OASISFileUtil.ml" 141 4075 4090
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISFileUtil.ml" 141 4075 4091 "src/oasis/OASISFileUtil.ml" 146 4193 4204
)
"src/oasis/OASISFileUtil.ml" 141 4075 4091 "src/oasis/OASISFileUtil.ml" 141 4075 4094
type(
  string
)
ident(
  def tgt "src/oasis/OASISFileUtil.ml" 142 4097 4099 "src/oasis/OASISFileUtil.ml" 146 4193 4204
)
"src/oasis/OASISFileUtil.ml" 142 4097 4099 "src/oasis/OASISFileUtil.ml" 142 4097 4112
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  int_ref OASISExec.run "src/oasis/OASISExec.mli" 38 1982 1982 "src/oasis/OASISExec.mli" 43 2083 2089
)
"src/oasis/OASISFileUtil.ml" 142 4097 4114 "src/oasis/OASISFileUtil.ml" 142 4097 4118
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 141 4075 4086 "src/oasis/OASISFileUtil.ml" 141 4075 4090
)
"src/oasis/OASISFileUtil.ml" 143 4119 4130 "src/oasis/OASISFileUtil.ml" 143 4119 4141
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 144 4147 4155 "src/oasis/OASISFileUtil.ml" 144 4147 4162
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 144 4147 4166 "src/oasis/OASISFileUtil.ml" 144 4147 4170
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 145 4171 4179 "src/oasis/OASISFileUtil.ml" 145 4171 4180
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 145 4171 4184 "src/oasis/OASISFileUtil.ml" 145 4171 4191
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 143 4119 4123 "src/oasis/OASISFileUtil.ml" 145 4171 4192
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 146 4193 4198 "src/oasis/OASISFileUtil.ml" 146 4193 4199
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 146 4193 4200 "src/oasis/OASISFileUtil.ml" 146 4193 4203
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 141 4075 4091 "src/oasis/OASISFileUtil.ml" 141 4075 4094
)
"src/oasis/OASISFileUtil.ml" 146 4193 4198 "src/oasis/OASISFileUtil.ml" 146 4193 4203
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 146 4193 4197 "src/oasis/OASISFileUtil.ml" 146 4193 4204
type(
  OASISTypes.args
)
"src/oasis/OASISFileUtil.ml" 142 4097 4099 "src/oasis/OASISFileUtil.ml" 146 4193 4204
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 149 4207 4215 "src/oasis/OASISFileUtil.ml" 149 4207 4227
type(
  ctxt:OASISContext.t -> (string -> 'a) -> string -> unit
)
ident(
  def mkdir_parent "src/oasis/OASISFileUtil.ml" 149 4207 4207 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 149 4207 4229 "src/oasis/OASISFileUtil.ml" 149 4207 4233
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISFileUtil.ml" 149 4207 4234 "src/oasis/OASISFileUtil.ml" 169 4687 4694
)
"src/oasis/OASISFileUtil.ml" 149 4207 4234 "src/oasis/OASISFileUtil.ml" 149 4207 4235
type(
  string -> 'a
)
ident(
  def f "src/oasis/OASISFileUtil.ml" 149 4207 4236 "src/oasis/OASISFileUtil.ml" 169 4687 4694
)
"src/oasis/OASISFileUtil.ml" 149 4207 4236 "src/oasis/OASISFileUtil.ml" 149 4207 4239
type(
  string
)
ident(
  def tgt "src/oasis/OASISFileUtil.ml" 150 4242 4244 "src/oasis/OASISFileUtil.ml" 169 4687 4694
)
"src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
type(
  string
)
ident(
  def tgt "src/oasis/OASISFileUtil.ml" 153 4275 4277 "src/oasis/OASISFileUtil.ml" 169 4687 4694
)
"src/oasis/OASISFileUtil.ml" 151 4254 4258 "src/oasis/OASISFileUtil.ml" 151 4254 4265
type(
  string -> string
)
ident(
  int_ref fix_dir "src/oasis/OASISFileUtil.ml" 107 3382 3390 "src/oasis/OASISFileUtil.ml" 107 3382 3397
)
"src/oasis/OASISFileUtil.ml" 151 4254 4266 "src/oasis/OASISFileUtil.ml" 151 4254 4269
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 149 4207 4236 "src/oasis/OASISFileUtil.ml" 149 4207 4239
)
"src/oasis/OASISFileUtil.ml" 151 4254 4258 "src/oasis/OASISFileUtil.ml" 151 4254 4269
type(
  string
)
"src/oasis/OASISFileUtil.ml" 153 4275 4280 "src/oasis/OASISFileUtil.ml" 153 4275 4295
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.file_exists "sys.mli" 35 1767 1767 "sys.mli" 35 1767 1829
)
"src/oasis/OASISFileUtil.ml" 153 4275 4296 "src/oasis/OASISFileUtil.ml" 153 4275 4299
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 153 4275 4280 "src/oasis/OASISFileUtil.ml" 153 4275 4299
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 155 4315 4324 "src/oasis/OASISFileUtil.ml" 155 4315 4327
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISFileUtil.ml" 155 4315 4329 "src/oasis/OASISFileUtil.ml" 155 4315 4345
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.is_directory "sys.mli" 38 1881 1881 "sys.mli" 38 1881 1945
)
"src/oasis/OASISFileUtil.ml" 155 4315 4346 "src/oasis/OASISFileUtil.ml" 155 4315 4349
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 155 4315 4328 "src/oasis/OASISFileUtil.ml" 155 4315 4350
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 155 4315 4324 "src/oasis/OASISFileUtil.ml" 155 4315 4350
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 156 4356 4364 "src/oasis/OASISFileUtil.ml" 156 4356 4384
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFileUtil.ml" 157 4385 4396 "src/oasis/OASISFileUtil.ml" 157 4385 4398
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/OASISFileUtil.ml" 157 4385 4399 "src/oasis/OASISFileUtil.ml" 158 4464 4486
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISFileUtil.ml" 157 4385 4395 "src/oasis/OASISFileUtil.ml" 158 4464 4487
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISFileUtil.ml" 159 4488 4498 "src/oasis/OASISFileUtil.ml" 159 4488 4501
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 156 4356 4364 "src/oasis/OASISFileUtil.ml" 159 4488 4501
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 154 4305 4309 "src/oasis/OASISFileUtil.ml" 160 4502 4509
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 163 4527 4533 "src/oasis/OASISFileUtil.ml" 163 4527 4545
type(
  ctxt:OASISContext.t -> (string -> 'a) -> string -> unit
)
ident(
  int_ref mkdir_parent "src/oasis/OASISFileUtil.ml" 149 4207 4215 "src/oasis/OASISFileUtil.ml" 149 4207 4227
)
"src/oasis/OASISFileUtil.ml" 163 4527 4547 "src/oasis/OASISFileUtil.ml" 163 4527 4551
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 149 4207 4229 "src/oasis/OASISFileUtil.ml" 149 4207 4233
)
"src/oasis/OASISFileUtil.ml" 163 4527 4552 "src/oasis/OASISFileUtil.ml" 163 4527 4553
type(
  string -> 'a
)
ident(
  int_ref f "src/oasis/OASISFileUtil.ml" 149 4207 4234 "src/oasis/OASISFileUtil.ml" 149 4207 4235
)
"src/oasis/OASISFileUtil.ml" 163 4527 4555 "src/oasis/OASISFileUtil.ml" 163 4527 4571
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.dirname "filename.mli" 117 4565 4565 "filename.mli" 117 4565 4595
)
"src/oasis/OASISFileUtil.ml" 163 4527 4572 "src/oasis/OASISFileUtil.ml" 163 4527 4575
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 163 4527 4554 "src/oasis/OASISFileUtil.ml" 163 4527 4576
type(
  string
)
"src/oasis/OASISFileUtil.ml" 163 4527 4533 "src/oasis/OASISFileUtil.ml" 163 4527 4576
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 164 4578 4587 "src/oasis/OASISFileUtil.ml" 164 4578 4590
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISFileUtil.ml" 164 4578 4592 "src/oasis/OASISFileUtil.ml" 164 4578 4607
type(
  string -> bool
)
ident(
  int_ref Stdlib.Sys.file_exists "sys.mli" 35 1767 1767 "sys.mli" 35 1767 1829
)
"src/oasis/OASISFileUtil.ml" 164 4578 4608 "src/oasis/OASISFileUtil.ml" 164 4578 4611
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 164 4578 4591 "src/oasis/OASISFileUtil.ml" 164 4578 4612
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 164 4578 4587 "src/oasis/OASISFileUtil.ml" 164 4578 4612
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 166 4632 4642 "src/oasis/OASISFileUtil.ml" 166 4632 4643
type(
  string -> 'a
)
ident(
  int_ref f "src/oasis/OASISFileUtil.ml" 149 4207 4234 "src/oasis/OASISFileUtil.ml" 149 4207 4235
)
"src/oasis/OASISFileUtil.ml" 166 4632 4644 "src/oasis/OASISFileUtil.ml" 166 4632 4647
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 166 4632 4642 "src/oasis/OASISFileUtil.ml" 166 4632 4647
type(
  'a
)
"src/oasis/OASISFileUtil.ml" 167 4649 4659 "src/oasis/OASISFileUtil.ml" 167 4649 4664
type(
  ctxt:OASISContext.t -> string -> unit
)
ident(
  int_ref mkdir "src/oasis/OASISFileUtil.ml" 141 4075 4079 "src/oasis/OASISFileUtil.ml" 141 4075 4084
)
"src/oasis/OASISFileUtil.ml" 167 4649 4666 "src/oasis/OASISFileUtil.ml" 167 4649 4670
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 149 4207 4229 "src/oasis/OASISFileUtil.ml" 149 4207 4233
)
"src/oasis/OASISFileUtil.ml" 167 4649 4671 "src/oasis/OASISFileUtil.ml" 167 4649 4674
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 150 4242 4248 "src/oasis/OASISFileUtil.ml" 150 4242 4251
)
"src/oasis/OASISFileUtil.ml" 167 4649 4659 "src/oasis/OASISFileUtil.ml" 167 4649 4674
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 165 4618 4626 "src/oasis/OASISFileUtil.ml" 168 4675 4686
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 164 4578 4584 "src/oasis/OASISFileUtil.ml" 168 4675 4686
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 162 4517 4521 "src/oasis/OASISFileUtil.ml" 169 4687 4694
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 153 4275 4277 "src/oasis/OASISFileUtil.ml" 169 4687 4694
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 150 4242 4244 "src/oasis/OASISFileUtil.ml" 169 4687 4694
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 172 4697 4701 "src/oasis/OASISFileUtil.ml" 172 4697 4706
type(
  ctxt:OASISContext.t -> string -> unit
)
ident(
  def rmdir "src/oasis/OASISFileUtil.ml" 186 5023 5023 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 172 4697 4708 "src/oasis/OASISFileUtil.ml" 172 4697 4712
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISFileUtil.ml" 172 4697 4713 "src/oasis/OASISFileUtil.ml" 183 5015 5020
)
"src/oasis/OASISFileUtil.ml" 172 4697 4713 "src/oasis/OASISFileUtil.ml" 172 4697 4716
type(
  string
)
ident(
  def tgt "src/oasis/OASISFileUtil.ml" 173 4719 4721 "src/oasis/OASISFileUtil.ml" 183 5015 5020
)
"src/oasis/OASISFileUtil.ml" 173 4719 4724 "src/oasis/OASISFileUtil.ml" 173 4719 4735
type(
  string -> string array
)
ident(
  int_ref Stdlib.Sys.readdir "sys.mli" 112 4800 4800 "sys.mli" 112 4800 4869
)
"src/oasis/OASISFileUtil.ml" 173 4719 4736 "src/oasis/OASISFileUtil.ml" 173 4719 4739
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 172 4697 4713 "src/oasis/OASISFileUtil.ml" 172 4697 4716
)
"src/oasis/OASISFileUtil.ml" 173 4719 4724 "src/oasis/OASISFileUtil.ml" 173 4719 4739
type(
  string array
)
"src/oasis/OASISFileUtil.ml" 173 4719 4740 "src/oasis/OASISFileUtil.ml" 173 4719 4741
type(
  string array -> string array -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 173 4719 4742 "src/oasis/OASISFileUtil.ml" 173 4719 4746
type(
  string array
)
"src/oasis/OASISFileUtil.ml" 173 4719 4724 "src/oasis/OASISFileUtil.ml" 173 4719 4746
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 174 4758 4768 "src/oasis/OASISFileUtil.ml" 174 4758 4779
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISFileUtil.ml" 175 4785 4793 "src/oasis/OASISFileUtil.ml" 175 4785 4800
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 176 4804 4812 "src/oasis/OASISFileUtil.ml" 176 4804 4825
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  int_ref OASISExec.run "src/oasis/OASISExec.mli" 38 1982 1982 "src/oasis/OASISExec.mli" 43 2083 2089
)
"src/oasis/OASISFileUtil.ml" 176 4804 4827 "src/oasis/OASISFileUtil.ml" 176 4804 4831
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 172 4697 4708 "src/oasis/OASISFileUtil.ml" 172 4697 4712
)
"src/oasis/OASISFileUtil.ml" 176 4804 4832 "src/oasis/OASISFileUtil.ml" 176 4804 4836
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 176 4804 4838 "src/oasis/OASISFileUtil.ml" 176 4804 4839
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 176 4804 4840 "src/oasis/OASISFileUtil.ml" 176 4804 4843
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 172 4697 4713 "src/oasis/OASISFileUtil.ml" 172 4697 4716
)
"src/oasis/OASISFileUtil.ml" 176 4804 4838 "src/oasis/OASISFileUtil.ml" 176 4804 4843
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 176 4804 4837 "src/oasis/OASISFileUtil.ml" 176 4804 4844
type(
  OASISTypes.args
)
"src/oasis/OASISFileUtil.ml" 176 4804 4812 "src/oasis/OASISFileUtil.ml" 176 4804 4844
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 177 4845 4853 "src/oasis/OASISFileUtil.ml" 177 4845 4854
type(
  string
)
type(
  string
)
"src/oasis/OASISFileUtil.ml" 178 4858 4866 "src/oasis/OASISFileUtil.ml" 178 4858 4879
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  int_ref OASISExec.run "src/oasis/OASISExec.mli" 38 1982 1982 "src/oasis/OASISExec.mli" 43 2083 2089
)
"src/oasis/OASISFileUtil.ml" 178 4858 4881 "src/oasis/OASISFileUtil.ml" 178 4858 4885
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 172 4697 4708 "src/oasis/OASISFileUtil.ml" 172 4697 4712
)
"src/oasis/OASISFileUtil.ml" 178 4858 4886 "src/oasis/OASISFileUtil.ml" 178 4858 4890
type(
  OASISTypes.prog
)
"src/oasis/OASISFileUtil.ml" 178 4858 4892 "src/oasis/OASISFileUtil.ml" 178 4858 4896
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 178 4858 4898 "src/oasis/OASISFileUtil.ml" 178 4858 4899
type(
  string -> OASISTypes.arg
)
ident(
  int_ref q "src/oasis/OASISFileUtil.ml" 120 3661 3665 "src/oasis/OASISFileUtil.ml" 120 3661 3666
)
"src/oasis/OASISFileUtil.ml" 178 4858 4900 "src/oasis/OASISFileUtil.ml" 178 4858 4903
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 172 4697 4713 "src/oasis/OASISFileUtil.ml" 172 4697 4716
)
"src/oasis/OASISFileUtil.ml" 178 4858 4898 "src/oasis/OASISFileUtil.ml" 178 4858 4903
type(
  OASISTypes.arg
)
"src/oasis/OASISFileUtil.ml" 178 4858 4891 "src/oasis/OASISFileUtil.ml" 178 4858 4904
type(
  OASISTypes.args
)
"src/oasis/OASISFileUtil.ml" 178 4858 4866 "src/oasis/OASISFileUtil.ml" 178 4858 4904
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 173 4719 4752 "src/oasis/OASISFileUtil.ml" 179 4905 4910
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 180 4922 4926 "src/oasis/OASISFileUtil.ml" 180 4922 4944
type(
  ctxt:OASISContext.t ->
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISMessage.error "src/oasis/OASISMessage.mli" 59 2501 2501 "src/oasis/OASISMessage.mli" 59 2501 2573
)
"src/oasis/OASISFileUtil.ml" 180 4922 4946 "src/oasis/OASISFileUtil.ml" 180 4922 4950
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISFileUtil.ml" 172 4697 4708 "src/oasis/OASISFileUtil.ml" 172 4697 4712
)
"src/oasis/OASISFileUtil.ml" 181 4951 4958 "src/oasis/OASISFileUtil.ml" 181 4951 4960
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/OASISFileUtil.ml" 181 4951 4961 "src/oasis/OASISFileUtil.ml" 181 4951 5003
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISFileUtil.ml" 181 4951 4957 "src/oasis/OASISFileUtil.ml" 181 4951 5004
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISFileUtil.ml" 182 5005 5011 "src/oasis/OASISFileUtil.ml" 182 5005 5014
type(
  string
)
ident(
  int_ref tgt "src/oasis/OASISFileUtil.ml" 172 4697 4713 "src/oasis/OASISFileUtil.ml" 172 4697 4716
)
"src/oasis/OASISFileUtil.ml" 179 4905 4916 "src/oasis/OASISFileUtil.ml" 183 5015 5020
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 173 4719 4721 "src/oasis/OASISFileUtil.ml" 183 5015 5020
type(
  unit
)
"src/oasis/OASISFileUtil.ml" 186 5023 5027 "src/oasis/OASISFileUtil.ml" 186 5023 5031
type(
  ctxt:'a -> string -> string list
)
ident(
  def glob "src/oasis/OASISFileUtil.ml" 227 5912 5919 "src/oasis/OASISFileUtil.ml" 0 0 -1
)
"src/oasis/OASISFileUtil.ml" 186 5023 5033 "src/oasis/OASISFileUtil.ml" 186 5023 5037
type(
  'a
)
ident(
  def ctxt "src/oasis/OASISFileUtil.ml" 186 5023 5038 "src/oasis/OASISFileUtil.ml" 227 5912 5919
)
"src/oasis/OASISFileUtil.ml" 186 5023 5038 "src/oasis/OASISFileUtil.ml" 186 5023 5040
type(
  string
)
ident(
  def fn "src/oasis/OASISFileUtil.ml" 187 5043 5045 "src/oasis/OASISFileUtil.ml" 227 5912 5919
)
"src/oasis/OASISFileUtil.ml" 187 5043 5049 "src/oasis/OASISFileUtil.ml" 187 5043 5057
type(
  string
)
ident(
  def basename "src/oasis/OASISFileUtil.ml" 190 5090 5092 "src/oasis/OASISFileUtil.ml" 227 5912 5919
)
"src/oasis/OASISFileUtil.ml" 188 5060 5064 "src/oasis/OASISFileUtil.ml" 188 5060 5081
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.basename "filename.mli" 106 4017 4017 "filename.mli" 106 4017 4048
)
"src/oasis/OASISFileUtil.ml" 188 5060 5082 "src/oasis/OASISFileUtil.ml" 188 5060 5084
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 186 5023 5038 "src/oasis/OASISFileUtil.ml" 186 5023 5040
)
"src/oasis/OASISFileUtil.ml" 188 5060 5064 "src/oasis/OASISFileUtil.ml" 188 5060 5084
type(
  string
)
"src/oasis/OASISFileUtil.ml" 190 5090 5095 "src/oasis/OASISFileUtil.ml" 190 5090 5108
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISFileUtil.ml" 190 5090 5109 "src/oasis/OASISFileUtil.ml" 190 5090 5117
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 187 5043 5049 "src/oasis/OASISFileUtil.ml" 187 5043 5057
)
"src/oasis/OASISFileUtil.ml" 190 5090 5095 "src/oasis/OASISFileUtil.ml" 190 5090 5117
type(
  int
)
"src/oasis/OASISFileUtil.ml" 190 5090 5118 "src/oasis/OASISFileUtil.ml" 190 5090 5120
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISFileUtil.ml" 190 5090 5121 "src/oasis/OASISFileUtil.ml" 190 5090 5122
type(
  int
)
"src/oasis/OASISFileUtil.ml" 190 5090 5095 "src/oasis/OASISFileUtil.ml" 190 5090 5122
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 190 5090 5123 "src/oasis/OASISFileUtil.ml" 190 5090 5125
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISFileUtil.ml" 191 5126 5131 "src/oasis/OASISFileUtil.ml" 191 5126 5139
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 187 5043 5049 "src/oasis/OASISFileUtil.ml" 187 5043 5057
)
"src/oasis/OASISFileUtil.ml" 191 5126 5141 "src/oasis/OASISFileUtil.ml" 191 5126 5142
type(
  int
)
"src/oasis/OASISFileUtil.ml" 191 5126 5131 "src/oasis/OASISFileUtil.ml" 191 5126 5143
type(
  char
)
"src/oasis/OASISFileUtil.ml" 191 5126 5144 "src/oasis/OASISFileUtil.ml" 191 5126 5145
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 191 5126 5146 "src/oasis/OASISFileUtil.ml" 191 5126 5149
type(
  char
)
"src/oasis/OASISFileUtil.ml" 191 5126 5131 "src/oasis/OASISFileUtil.ml" 191 5126 5149
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 191 5126 5150 "src/oasis/OASISFileUtil.ml" 191 5126 5152
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISFileUtil.ml" 192 5153 5158 "src/oasis/OASISFileUtil.ml" 192 5153 5166
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 187 5043 5049 "src/oasis/OASISFileUtil.ml" 187 5043 5057
)
"src/oasis/OASISFileUtil.ml" 192 5153 5168 "src/oasis/OASISFileUtil.ml" 192 5153 5169
type(
  int
)
"src/oasis/OASISFileUtil.ml" 192 5153 5158 "src/oasis/OASISFileUtil.ml" 192 5153 5170
type(
  char
)
"src/oasis/OASISFileUtil.ml" 192 5153 5171 "src/oasis/OASISFileUtil.ml" 192 5153 5172
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 192 5153 5173 "src/oasis/OASISFileUtil.ml" 192 5153 5176
type(
  char
)
"src/oasis/OASISFileUtil.ml" 192 5153 5158 "src/oasis/OASISFileUtil.ml" 192 5153 5176
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 191 5126 5131 "src/oasis/OASISFileUtil.ml" 192 5153 5176
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 190 5090 5095 "src/oasis/OASISFileUtil.ml" 192 5153 5176
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 194 5192 5202 "src/oasis/OASISFileUtil.ml" 194 5192 5209
type(
  int
)
ident(
  def ext_len "src/oasis/OASISFileUtil.ml" 197 5258 5264 "src/oasis/OASISFileUtil.ml" 219 5788 5817
)
"src/oasis/OASISFileUtil.ml" 195 5212 5221 "src/oasis/OASISFileUtil.ml" 195 5212 5234
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISFileUtil.ml" 195 5212 5235 "src/oasis/OASISFileUtil.ml" 195 5212 5243
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 187 5043 5049 "src/oasis/OASISFileUtil.ml" 187 5043 5057
)
"src/oasis/OASISFileUtil.ml" 195 5212 5220 "src/oasis/OASISFileUtil.ml" 195 5212 5244
type(
  int
)
"src/oasis/OASISFileUtil.ml" 195 5212 5245 "src/oasis/OASISFileUtil.ml" 195 5212 5246
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISFileUtil.ml" 195 5212 5247 "src/oasis/OASISFileUtil.ml" 195 5212 5248
type(
  int
)
"src/oasis/OASISFileUtil.ml" 195 5212 5220 "src/oasis/OASISFileUtil.ml" 195 5212 5248
type(
  int
)
"src/oasis/OASISFileUtil.ml" 197 5258 5268 "src/oasis/OASISFileUtil.ml" 197 5258 5271
type(
  string
)
ident(
  def ext "src/oasis/OASISFileUtil.ml" 200 5321 5327 "src/oasis/OASISFileUtil.ml" 219 5788 5817
)
"src/oasis/OASISFileUtil.ml" 198 5274 5282 "src/oasis/OASISFileUtil.ml" 198 5274 5292
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISFileUtil.ml" 198 5274 5293 "src/oasis/OASISFileUtil.ml" 198 5274 5301
type(
  string
)
ident(
  int_ref basename "src/oasis/OASISFileUtil.ml" 187 5043 5049 "src/oasis/OASISFileUtil.ml" 187 5043 5057
)
"src/oasis/OASISFileUtil.ml" 198 5274 5302 "src/oasis/OASISFileUtil.ml" 198 5274 5303
type(
  int
)
"src/oasis/OASISFileUtil.ml" 198 5274 5304 "src/oasis/OASISFileUtil.ml" 198 5274 5311
type(
  int
)
ident(
  int_ref ext_len "src/oasis/OASISFileUtil.ml" 194 5192 5202 "src/oasis/OASISFileUtil.ml" 194 5192 5209
)
"src/oasis/OASISFileUtil.ml" 198 5274 5282 "src/oasis/OASISFileUtil.ml" 198 5274 5311
type(
  string
)
"src/oasis/OASISFileUtil.ml" 200 5321 5331 "src/oasis/OASISFileUtil.ml" 200 5321 5338
type(
  string
)
ident(
  def dirname "src/oasis/OASISFileUtil.ml" 203 5378 5384 "src/oasis/OASISFileUtil.ml" 219 5788 5817
)
"src/oasis/OASISFileUtil.ml" 201 5341 5349 "src/oasis/OASISFileUtil.ml" 201 5341 5365
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.dirname "filename.mli" 117 4565 4565 "filename.mli" 117 4565 4595
)
"src/oasis/OASISFileUtil.ml" 201 5341 5366 "src/oasis/OASISFileUtil.ml" 201 5341 5368
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 186 5023 5038 "src/oasis/OASISFileUtil.ml" 186 5023 5040
)
"src/oasis/OASISFileUtil.ml" 201 5341 5349 "src/oasis/OASISFileUtil.ml" 201 5341 5368
type(
  string
)
"src/oasis/OASISFileUtil.ml" 203 5378 5384 "src/oasis/OASISFileUtil.ml" 203 5378 5399
type(
  (string list -> string -> string list) ->
  string list -> string array -> string list
)
ident(
  int_ref Stdlib.Array.fold_left "array.mli" 182 7367 7367 "array.mli" 182 7367 7423
)
"src/oasis/OASISFileUtil.ml" 204 5400 5413 "src/oasis/OASISFileUtil.ml" 204 5400 5416
type(
  string list
)
ident(
  def acc "src/oasis/OASISFileUtil.ml" 204 5400 5417 "src/oasis/OASISFileUtil.ml" 217 5759 5775
)
"src/oasis/OASISFileUtil.ml" 204 5400 5417 "src/oasis/OASISFileUtil.ml" 204 5400 5419
type(
  string
)
ident(
  def fn "src/oasis/OASISFileUtil.ml" 205 5423 5434 "src/oasis/OASISFileUtil.ml" 217 5759 5775
)
"src/oasis/OASISFileUtil.ml" 206 5438 5455 "src/oasis/OASISFileUtil.ml" 206 5438 5461
type(
  string
)
ident(
  def fn_ext "src/oasis/OASISFileUtil.ml" 212 5599 5612 "src/oasis/OASISFileUtil.ml" 215 5702 5720
)
"src/oasis/OASISFileUtil.ml" 207 5464 5479 "src/oasis/OASISFileUtil.ml" 207 5464 5489
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISFileUtil.ml" 208 5490 5507 "src/oasis/OASISFileUtil.ml" 208 5490 5509
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 204 5400 5417 "src/oasis/OASISFileUtil.ml" 204 5400 5419
)
"src/oasis/OASISFileUtil.ml" 209 5510 5529 "src/oasis/OASISFileUtil.ml" 209 5510 5542
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISFileUtil.ml" 209 5510 5543 "src/oasis/OASISFileUtil.ml" 209 5510 5545
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 204 5400 5417 "src/oasis/OASISFileUtil.ml" 204 5400 5419
)
"src/oasis/OASISFileUtil.ml" 209 5510 5528 "src/oasis/OASISFileUtil.ml" 209 5510 5546
type(
  int
)
"src/oasis/OASISFileUtil.ml" 209 5510 5547 "src/oasis/OASISFileUtil.ml" 209 5510 5548
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISFileUtil.ml" 209 5510 5549 "src/oasis/OASISFileUtil.ml" 209 5510 5556
type(
  int
)
ident(
  int_ref ext_len "src/oasis/OASISFileUtil.ml" 194 5192 5202 "src/oasis/OASISFileUtil.ml" 194 5192 5209
)
"src/oasis/OASISFileUtil.ml" 209 5510 5527 "src/oasis/OASISFileUtil.ml" 209 5510 5557
type(
  int
)
"src/oasis/OASISFileUtil.ml" 210 5558 5575 "src/oasis/OASISFileUtil.ml" 210 5558 5582
type(
  int
)
ident(
  int_ref ext_len "src/oasis/OASISFileUtil.ml" 194 5192 5202 "src/oasis/OASISFileUtil.ml" 194 5192 5209
)
"src/oasis/OASISFileUtil.ml" 207 5464 5479 "src/oasis/OASISFileUtil.ml" 210 5558 5582
type(
  string
)
"src/oasis/OASISFileUtil.ml" 212 5599 5615 "src/oasis/OASISFileUtil.ml" 212 5599 5621
type(
  string
)
ident(
  int_ref fn_ext "src/oasis/OASISFileUtil.ml" 206 5438 5455 "src/oasis/OASISFileUtil.ml" 206 5438 5461
)
"src/oasis/OASISFileUtil.ml" 212 5599 5622 "src/oasis/OASISFileUtil.ml" 212 5599 5623
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISFileUtil.ml" 212 5599 5624 "src/oasis/OASISFileUtil.ml" 212 5599 5627
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISFileUtil.ml" 197 5258 5268 "src/oasis/OASISFileUtil.ml" 197 5258 5271
)
"src/oasis/OASISFileUtil.ml" 212 5599 5615 "src/oasis/OASISFileUtil.ml" 212 5599 5627
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 213 5633 5649 "src/oasis/OASISFileUtil.ml" 213 5633 5664
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.Filename.concat "filename.mli" 30 1434 1434 "filename.mli" 30 1434 1473
)
"src/oasis/OASISFileUtil.ml" 213 5633 5665 "src/oasis/OASISFileUtil.ml" 213 5633 5672
type(
  string
)
ident(
  int_ref dirname "src/oasis/OASISFileUtil.ml" 200 5321 5331 "src/oasis/OASISFileUtil.ml" 200 5321 5338
)
"src/oasis/OASISFileUtil.ml" 213 5633 5673 "src/oasis/OASISFileUtil.ml" 213 5633 5675
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 204 5400 5417 "src/oasis/OASISFileUtil.ml" 204 5400 5419
)
"src/oasis/OASISFileUtil.ml" 213 5633 5648 "src/oasis/OASISFileUtil.ml" 213 5633 5676
type(
  string
)
"src/oasis/OASISFileUtil.ml" 213 5633 5680 "src/oasis/OASISFileUtil.ml" 213 5633 5683
type(
  string list
)
ident(
  int_ref acc "src/oasis/OASISFileUtil.ml" 204 5400 5413 "src/oasis/OASISFileUtil.ml" 204 5400 5416
)
"src/oasis/OASISFileUtil.ml" 213 5633 5648 "src/oasis/OASISFileUtil.ml" 213 5633 5683
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 215 5702 5717 "src/oasis/OASISFileUtil.ml" 215 5702 5720
type(
  string list
)
ident(
  int_ref acc "src/oasis/OASISFileUtil.ml" 204 5400 5413 "src/oasis/OASISFileUtil.ml" 204 5400 5416
)
"src/oasis/OASISFileUtil.ml" 212 5599 5612 "src/oasis/OASISFileUtil.ml" 215 5702 5720
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 206 5438 5451 "src/oasis/OASISFileUtil.ml" 215 5702 5720
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 216 5721 5754 "src/oasis/OASISFileUtil.ml" 216 5721 5755
type(
  string
)
"src/oasis/OASISFileUtil.ml" 216 5721 5737 "src/oasis/OASISFileUtil.ml" 216 5721 5755
type(
  exn
)
"src/oasis/OASISFileUtil.ml" 217 5759 5772 "src/oasis/OASISFileUtil.ml" 217 5759 5775
type(
  string list
)
ident(
  int_ref acc "src/oasis/OASISFileUtil.ml" 204 5400 5413 "src/oasis/OASISFileUtil.ml" 204 5400 5416
)
"src/oasis/OASISFileUtil.ml" 205 5423 5434 "src/oasis/OASISFileUtil.ml" 217 5759 5775
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 204 5400 5408 "src/oasis/OASISFileUtil.ml" 217 5759 5776
type(
  string list -> string -> string list
)
"src/oasis/OASISFileUtil.ml" 218 5777 5785 "src/oasis/OASISFileUtil.ml" 218 5777 5787
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 219 5788 5797 "src/oasis/OASISFileUtil.ml" 219 5788 5808
type(
  string -> string array
)
ident(
  int_ref Stdlib.Sys.readdir "sys.mli" 112 4800 4800 "sys.mli" 112 4800 4869
)
"src/oasis/OASISFileUtil.ml" 219 5788 5809 "src/oasis/OASISFileUtil.ml" 219 5788 5816
type(
  string
)
ident(
  int_ref dirname "src/oasis/OASISFileUtil.ml" 200 5321 5331 "src/oasis/OASISFileUtil.ml" 200 5321 5338
)
"src/oasis/OASISFileUtil.ml" 219 5788 5796 "src/oasis/OASISFileUtil.ml" 219 5788 5817
type(
  string array
)
"src/oasis/OASISFileUtil.ml" 203 5378 5384 "src/oasis/OASISFileUtil.ml" 219 5788 5817
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 200 5321 5327 "src/oasis/OASISFileUtil.ml" 219 5788 5817
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 197 5258 5264 "src/oasis/OASISFileUtil.ml" 219 5788 5817
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 193 5182 5186 "src/oasis/OASISFileUtil.ml" 220 5818 5825
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 223 5843 5852 "src/oasis/OASISFileUtil.ml" 223 5843 5868
type(
  string -> bool
)
ident(
  int_ref file_exists_case "src/oasis/OASISFileUtil.ml" 27 1723 1727 "src/oasis/OASISFileUtil.ml" 27 1723 1743
)
"src/oasis/OASISFileUtil.ml" 223 5843 5869 "src/oasis/OASISFileUtil.ml" 223 5843 5871
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 186 5023 5038 "src/oasis/OASISFileUtil.ml" 186 5023 5040
)
"src/oasis/OASISFileUtil.ml" 223 5843 5852 "src/oasis/OASISFileUtil.ml" 223 5843 5871
type(
  bool
)
"src/oasis/OASISFileUtil.ml" 224 5877 5886 "src/oasis/OASISFileUtil.ml" 224 5877 5888
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISFileUtil.ml" 186 5023 5038 "src/oasis/OASISFileUtil.ml" 186 5023 5040
)
"src/oasis/OASISFileUtil.ml" 224 5877 5885 "src/oasis/OASISFileUtil.ml" 224 5877 5889
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 226 5901 5909 "src/oasis/OASISFileUtil.ml" 226 5901 5911
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 222 5833 5837 "src/oasis/OASISFileUtil.ml" 227 5912 5919
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 190 5090 5092 "src/oasis/OASISFileUtil.ml" 227 5912 5919
type(
  string list
)
"src/oasis/OASISFileUtil.ml" 187 5043 5045 "src/oasis/OASISFileUtil.ml" 227 5912 5919
type(
  string list
)
