"src/oasis/OASISHostPath.ml" 28 1737 1744 "src/oasis/OASISHostPath.ml" 28 1737 1748
ident(
  def Unix "src/oasis/OASISHostPath.ml" 28 1737 1764 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 31 1767 1771 "src/oasis/OASISHostPath.ml" 31 1767 1775
type(
  string list -> string
)
ident(
  def make "src/oasis/OASISHostPath.ml" 39 1903 1903 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 33 1789 1795 "src/oasis/OASISHostPath.ml" 33 1789 1797
type(
  string list
)
"src/oasis/OASISHostPath.ml" 34 1801 1807 "src/oasis/OASISHostPath.ml" 34 1801 1818
type(
  string -> string
)
ident(
  int_ref Stdlib.invalid_arg "stdlib.mli" 38 1822 1822 "stdlib.mli" 38 1822 1852
)
"src/oasis/OASISHostPath.ml" 34 1801 1819 "src/oasis/OASISHostPath.ml" 34 1801 1839
type(
  string
)
"src/oasis/OASISHostPath.ml" 34 1801 1807 "src/oasis/OASISHostPath.ml" 34 1801 1839
type(
  string
)
"src/oasis/OASISHostPath.ml" 35 1840 1846 "src/oasis/OASISHostPath.ml" 35 1840 1848
type(
  string
)
ident(
  def hd "src/oasis/OASISHostPath.ml" 36 1858 1864 "src/oasis/OASISHostPath.ml" 36 1858 1900
)
"src/oasis/OASISHostPath.ml" 35 1840 1852 "src/oasis/OASISHostPath.ml" 35 1840 1854
type(
  string list
)
ident(
  def tl "src/oasis/OASISHostPath.ml" 36 1858 1864 "src/oasis/OASISHostPath.ml" 36 1858 1900
)
"src/oasis/OASISHostPath.ml" 35 1840 1846 "src/oasis/OASISHostPath.ml" 35 1840 1854
type(
  string list
)
"src/oasis/OASISHostPath.ml" 36 1858 1864 "src/oasis/OASISHostPath.ml" 36 1858 1878
type(
  (string -> string -> string) -> string -> string list -> string
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISHostPath.ml" 36 1858 1879 "src/oasis/OASISHostPath.ml" 36 1858 1894
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.Filename.concat "filename.mli" 30 1434 1434 "filename.mli" 30 1434 1473
)
"src/oasis/OASISHostPath.ml" 36 1858 1895 "src/oasis/OASISHostPath.ml" 36 1858 1897
type(
  string
)
ident(
  int_ref hd "src/oasis/OASISHostPath.ml" 35 1840 1846 "src/oasis/OASISHostPath.ml" 35 1840 1848
)
"src/oasis/OASISHostPath.ml" 36 1858 1898 "src/oasis/OASISHostPath.ml" 36 1858 1900
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISHostPath.ml" 35 1840 1852 "src/oasis/OASISHostPath.ml" 35 1840 1854
)
"src/oasis/OASISHostPath.ml" 36 1858 1864 "src/oasis/OASISHostPath.ml" 36 1858 1900
type(
  string
)
"src/oasis/OASISHostPath.ml" 32 1778 1780 "src/oasis/OASISHostPath.ml" 36 1858 1900
type(
  string list -> string
)
"src/oasis/OASISHostPath.ml" 39 1903 1907 "src/oasis/OASISHostPath.ml" 39 1903 1914
type(
  Unix.unix_filename -> Unix.unix_filename
)
ident(
  def of_unix "src/oasis/OASISHostPath.ml" 63 2445 2445 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 39 1903 1915 "src/oasis/OASISHostPath.ml" 39 1903 1918
type(
  Unix.unix_filename
)
ident(
  def ufn "src/oasis/OASISHostPath.ml" 40 1921 1923 "src/oasis/OASISHostPath.ml" 57 2406 2423
)
"src/oasis/OASISHostPath.ml" 40 1921 1929 "src/oasis/OASISHostPath.ml" 40 1921 1940
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISHostPath.ml" 41 1946 1950 "src/oasis/OASISHostPath.ml" 41 1946 1956
type(
  string
)
type(
  string
)
"src/oasis/OASISHostPath.ml" 41 1946 1959 "src/oasis/OASISHostPath.ml" 41 1946 1967
type(
  string
)
type(
  string
)
"src/oasis/OASISHostPath.ml" 41 1946 1950 "src/oasis/OASISHostPath.ml" 41 1946 1967
type(
  string
)
"src/oasis/OASISHostPath.ml" 41 1946 1971 "src/oasis/OASISHostPath.ml" 41 1946 1974
type(
  Unix.unix_filename
)
ident(
  int_ref ufn "src/oasis/OASISHostPath.ml" 39 1903 1915 "src/oasis/OASISHostPath.ml" 39 1903 1918
)
"src/oasis/OASISHostPath.ml" 42 1975 1979 "src/oasis/OASISHostPath.ml" 42 1975 1986
type(
  string
)
type(
  string
)
"src/oasis/OASISHostPath.ml" 43 1990 1994 "src/oasis/OASISHostPath.ml" 43 1990 1998
type(
  Unix.unix_filename list -> Unix.unix_filename
)
ident(
  int_ref make "src/oasis/OASISHostPath.ml" 31 1767 1771 "src/oasis/OASISHostPath.ml" 31 1767 1775
)
"src/oasis/OASISHostPath.ml" 44 1999 2006 "src/oasis/OASISHostPath.ml" 44 1999 2014
type(
  (Unix.unix_filename -> Unix.unix_filename) ->
  Unix.unix_filename list -> Unix.unix_filename list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISHostPath.ml" 45 2015 2029 "src/oasis/OASISHostPath.ml" 45 2015 2030
type(
  Unix.unix_filename
)
ident(
  def p "src/oasis/OASISHostPath.ml" 46 2034 2046 "src/oasis/OASISHostPath.ml" 51 2208 2223
)
"src/oasis/OASISHostPath.ml" 46 2034 2049 "src/oasis/OASISHostPath.ml" 46 2034 2050
type(
  Unix.unix_filename
)
ident(
  int_ref p "src/oasis/OASISHostPath.ml" 45 2015 2029 "src/oasis/OASISHostPath.ml" 45 2015 2030
)
"src/oasis/OASISHostPath.ml" 46 2034 2051 "src/oasis/OASISHostPath.ml" 46 2034 2052
type(
  Unix.unix_filename -> Unix.unix_filename -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISHostPath.ml" 46 2034 2053 "src/oasis/OASISHostPath.ml" 46 2034 2074
type(
  Unix.unix_filename
)
ident(
  int_ref Unix.current_dir_name "src/oasis/OASISUnixPath.mli" 41 2082 2082 "src/oasis/OASISUnixPath.mli" 41 2082 2117
)
"src/oasis/OASISHostPath.ml" 46 2034 2049 "src/oasis/OASISHostPath.ml" 46 2034 2074
type(
  bool
)
"src/oasis/OASISHostPath.ml" 47 2080 2094 "src/oasis/OASISHostPath.ml" 47 2080 2110
type(
  Unix.unix_filename
)
ident(
  int_ref Stdlib.Filename.current_dir_name "filename.mli" 18 1113 1113 "filename.mli" 18 1113 1142
)
"src/oasis/OASISHostPath.ml" 48 2111 2131 "src/oasis/OASISHostPath.ml" 48 2111 2132
type(
  Unix.unix_filename
)
ident(
  int_ref p "src/oasis/OASISHostPath.ml" 45 2015 2029 "src/oasis/OASISHostPath.ml" 45 2015 2030
)
"src/oasis/OASISHostPath.ml" 48 2111 2133 "src/oasis/OASISHostPath.ml" 48 2111 2134
type(
  Unix.unix_filename -> Unix.unix_filename -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISHostPath.ml" 48 2111 2135 "src/oasis/OASISHostPath.ml" 48 2111 2155
type(
  Unix.unix_filename
)
ident(
  int_ref Unix.parent_dir_name "src/oasis/OASISUnixPath.mli" 49 2256 2256 "src/oasis/OASISUnixPath.mli" 49 2256 2290
)
"src/oasis/OASISHostPath.ml" 48 2111 2131 "src/oasis/OASISHostPath.ml" 48 2111 2155
type(
  bool
)
"src/oasis/OASISHostPath.ml" 49 2161 2175 "src/oasis/OASISHostPath.ml" 49 2161 2190
type(
  Unix.unix_filename
)
ident(
  int_ref Stdlib.Filename.parent_dir_name "filename.mli" 21 1219 1219 "filename.mli" 21 1219 1247
)
"src/oasis/OASISHostPath.ml" 51 2208 2222 "src/oasis/OASISHostPath.ml" 51 2208 2223
type(
  Unix.unix_filename
)
ident(
  int_ref p "src/oasis/OASISHostPath.ml" 45 2015 2029 "src/oasis/OASISHostPath.ml" 45 2015 2030
)
"src/oasis/OASISHostPath.ml" 48 2111 2128 "src/oasis/OASISHostPath.ml" 51 2208 2223
type(
  Unix.unix_filename
)
"src/oasis/OASISHostPath.ml" 46 2034 2046 "src/oasis/OASISHostPath.ml" 51 2208 2223
type(
  Unix.unix_filename
)
"src/oasis/OASISHostPath.ml" 45 2015 2024 "src/oasis/OASISHostPath.ml" 51 2208 2224
type(
  Unix.unix_filename -> Unix.unix_filename
)
"src/oasis/OASISHostPath.ml" 52 2225 2235 "src/oasis/OASISHostPath.ml" 52 2225 2253
type(
  Unix.unix_filename -> char -> Unix.unix_filename list
)
ident(
  int_ref OASISString.nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/oasis/OASISHostPath.ml" 52 2225 2254 "src/oasis/OASISHostPath.ml" 52 2225 2257
type(
  Unix.unix_filename
)
ident(
  int_ref ufn "src/oasis/OASISHostPath.ml" 39 1903 1915 "src/oasis/OASISHostPath.ml" 39 1903 1918
)
"src/oasis/OASISHostPath.ml" 52 2225 2258 "src/oasis/OASISHostPath.ml" 52 2225 2261
type(
  char
)
"src/oasis/OASISHostPath.ml" 52 2225 2234 "src/oasis/OASISHostPath.ml" 52 2225 2262
type(
  Unix.unix_filename list
)
"src/oasis/OASISHostPath.ml" 44 1999 2005 "src/oasis/OASISHostPath.ml" 52 2225 2263
type(
  Unix.unix_filename list
)
"src/oasis/OASISHostPath.ml" 43 1990 1994 "src/oasis/OASISHostPath.ml" 52 2225 2263
type(
  Unix.unix_filename
)
"src/oasis/OASISHostPath.ml" 53 2264 2268 "src/oasis/OASISHostPath.ml" 53 2264 2275
type(
  string
)
type(
  string
)
ident(
  def os_type "src/oasis/OASISHostPath.ml" 54 2279 2283 "src/oasis/OASISHostPath.ml" 57 2406 2423
)
"src/oasis/OASISHostPath.ml" 54 2279 2283 "src/oasis/OASISHostPath.ml" 54 2279 2303
type(
  (string -> Unix.unix_filename -> Unix.unix_filename, unit, string,
   Unix.unix_filename)
  format4 -> string -> Unix.unix_filename -> Unix.unix_filename
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISHostPath.ml" 55 2304 2311 "src/oasis/OASISHostPath.ml" 55 2304 2313
type(
  (string -> Unix.unix_filename -> Unix.unix_filename, unit, string,
   Unix.unix_filename)
  format4 ->
  (string -> Unix.unix_filename -> Unix.unix_filename, unit, string,
   Unix.unix_filename)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISHostPath.ml" 55 2304 2314 "src/oasis/OASISHostPath.ml" 56 2380 2404
type(
  (string -> Unix.unix_filename -> Unix.unix_filename, unit, string,
   Unix.unix_filename)
  format4
)
"src/oasis/OASISHostPath.ml" 55 2304 2310 "src/oasis/OASISHostPath.ml" 56 2380 2405
type(
  (string -> Unix.unix_filename -> Unix.unix_filename, unit, string,
   Unix.unix_filename)
  format4
)
"src/oasis/OASISHostPath.ml" 57 2406 2412 "src/oasis/OASISHostPath.ml" 57 2406 2419
type(
  string
)
ident(
  int_ref os_type "src/oasis/OASISHostPath.ml" 53 2264 2268 "src/oasis/OASISHostPath.ml" 53 2264 2275
)
"src/oasis/OASISHostPath.ml" 57 2406 2420 "src/oasis/OASISHostPath.ml" 57 2406 2423
type(
  Unix.unix_filename
)
ident(
  int_ref ufn "src/oasis/OASISHostPath.ml" 39 1903 1915 "src/oasis/OASISHostPath.ml" 39 1903 1918
)
"src/oasis/OASISHostPath.ml" 54 2279 2283 "src/oasis/OASISHostPath.ml" 57 2406 2423
type(
  Unix.unix_filename
)
"src/oasis/OASISHostPath.ml" 40 1921 1923 "src/oasis/OASISHostPath.ml" 57 2406 2423
type(
  Unix.unix_filename
)
"src/oasis/OASISHostPath.ml" 63 2445 2449 "src/oasis/OASISHostPath.ml" 63 2445 2456
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def fn_norm "src/oasis/OASISHostPath.ml" 69 2620 2620 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 63 2445 2457 "src/oasis/OASISHostPath.ml" 63 2445 2459
type(
  string
)
ident(
  def fn "src/oasis/OASISHostPath.ml" 64 2462 2464 "src/oasis/OASISHostPath.ml" 66 2603 2617
)
"src/oasis/OASISHostPath.ml" 64 2462 2470 "src/oasis/OASISHostPath.ml" 64 2462 2496
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref OASISPath_intern.fn_reduce "src/oasis/OASISPath_intern.ml" 68 2887 2895 "src/oasis/OASISPath_intern.ml" 68 2887 2904
)
"src/oasis/OASISHostPath.ml" 64 2462 2497 "src/oasis/OASISHostPath.ml" 64 2462 2499
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 64 2462 2501 "src/oasis/OASISHostPath.ml" 64 2462 2527
type(
  ?os_type:string ->
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref OASISPath_intern.fn_reader "src/oasis/OASISPath_intern.ml" 24 1703 1707 "src/oasis/OASISPath_intern.ml" 24 1703 1716
)
"src/oasis/OASISHostPath.ml" 64 2462 2528 "src/oasis/OASISHostPath.ml" 64 2462 2530
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISHostPath.ml" 63 2445 2457 "src/oasis/OASISHostPath.ml" 63 2445 2459
)
"src/oasis/OASISHostPath.ml" 64 2462 2500 "src/oasis/OASISHostPath.ml" 64 2462 2531
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 64 2462 2470 "src/oasis/OASISHostPath.ml" 64 2462 2531
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 65 2537 2556 "src/oasis/OASISHostPath.ml" 65 2537 2559
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 65 2537 2570 "src/oasis/OASISHostPath.ml" 65 2537 2602
)
"src/oasis/OASISHostPath.ml" 65 2537 2541 "src/oasis/OASISHostPath.ml" 65 2537 2560
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISHostPath.ml" 65 2537 2564 "src/oasis/OASISHostPath.ml" 65 2537 2566
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def tl "src/oasis/OASISHostPath.ml" 65 2537 2570 "src/oasis/OASISHostPath.ml" 65 2537 2602
)
"src/oasis/OASISHostPath.ml" 65 2537 2541 "src/oasis/OASISHostPath.ml" 65 2537 2566
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 65 2537 2577 "src/oasis/OASISHostPath.ml" 65 2537 2580
type(
  string
)
ident(
  int_ref str "src/oasis/OASISHostPath.ml" 65 2537 2556 "src/oasis/OASISHostPath.ml" 65 2537 2559
)
"src/oasis/OASISHostPath.ml" 65 2537 2570 "src/oasis/OASISHostPath.ml" 65 2537 2581
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISHostPath.ml" 65 2537 2585 "src/oasis/OASISHostPath.ml" 65 2537 2596
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISHostPath.ml" 65 2537 2600 "src/oasis/OASISHostPath.ml" 65 2537 2602
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref tl "src/oasis/OASISHostPath.ml" 65 2537 2564 "src/oasis/OASISHostPath.ml" 65 2537 2566
)
"src/oasis/OASISHostPath.ml" 65 2537 2585 "src/oasis/OASISHostPath.ml" 65 2537 2602
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 65 2537 2570 "src/oasis/OASISHostPath.ml" 65 2537 2602
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 66 2603 2607 "src/oasis/OASISHostPath.ml" 66 2603 2610
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def lst "src/oasis/OASISHostPath.ml" 66 2603 2614 "src/oasis/OASISHostPath.ml" 66 2603 2617
)
"src/oasis/OASISHostPath.ml" 66 2603 2614 "src/oasis/OASISHostPath.ml" 66 2603 2617
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst "src/oasis/OASISHostPath.ml" 66 2603 2607 "src/oasis/OASISHostPath.ml" 66 2603 2610
)
"src/oasis/OASISHostPath.ml" 64 2462 2464 "src/oasis/OASISHostPath.ml" 66 2603 2617
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 69 2620 2624 "src/oasis/OASISHostPath.ml" 69 2620 2631
type(
  string -> string -> int
)
ident(
  def compare "src/oasis/OASISHostPath.ml" 90 3084 3084 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 69 2620 2632 "src/oasis/OASISHostPath.ml" 69 2620 2635
type(
  string
)
ident(
  def fn1 "src/oasis/OASISHostPath.ml" 69 2620 2636 "src/oasis/OASISHostPath.ml" 87 3044 3081
)
"src/oasis/OASISHostPath.ml" 69 2620 2636 "src/oasis/OASISHostPath.ml" 69 2620 2639
type(
  string
)
ident(
  def fn2 "src/oasis/OASISHostPath.ml" 70 2642 2644 "src/oasis/OASISHostPath.ml" 87 3044 3081
)
"src/oasis/OASISHostPath.ml" 70 2642 2648 "src/oasis/OASISHostPath.ml" 70 2642 2657
type(
  [< `Component of string
   | `CurrentDir
   | `ParentDir
   | `Root of string
   | `RootRelative of string ] ->
  string
)
ident(
  def fn_string "src/oasis/OASISHostPath.ml" 76 2788 2790 "src/oasis/OASISHostPath.ml" 87 3044 3081
)
"src/oasis/OASISHostPath.ml" 72 2673 2685 "src/oasis/OASISHostPath.ml" 72 2673 2688
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 72 2673 2729 "src/oasis/OASISHostPath.ml" 72 2673 2732
)
"src/oasis/OASISHostPath.ml" 72 2673 2679 "src/oasis/OASISHostPath.ml" 72 2673 2688
type(
  [< `Component of string
   | `CurrentDir
   | `ParentDir
   | `Root of string
   | `RootRelative of string ]
  as 'a
)
"src/oasis/OASISHostPath.ml" 72 2673 2705 "src/oasis/OASISHostPath.ml" 72 2673 2708
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 72 2673 2729 "src/oasis/OASISHostPath.ml" 72 2673 2732
)
"src/oasis/OASISHostPath.ml" 72 2673 2691 "src/oasis/OASISHostPath.ml" 72 2673 2708
type(
  'a
)
"src/oasis/OASISHostPath.ml" 72 2673 2679 "src/oasis/OASISHostPath.ml" 72 2673 2708
type(
  'a
)
"src/oasis/OASISHostPath.ml" 72 2673 2722 "src/oasis/OASISHostPath.ml" 72 2673 2725
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 72 2673 2729 "src/oasis/OASISHostPath.ml" 72 2673 2732
)
"src/oasis/OASISHostPath.ml" 72 2673 2711 "src/oasis/OASISHostPath.ml" 72 2673 2725
type(
  'a
)
"src/oasis/OASISHostPath.ml" 72 2673 2679 "src/oasis/OASISHostPath.ml" 72 2673 2725
type(
  'a
)
"src/oasis/OASISHostPath.ml" 72 2673 2729 "src/oasis/OASISHostPath.ml" 72 2673 2732
type(
  string
)
ident(
  int_ref str "src/oasis/OASISHostPath.ml" 72 2673 2685 "src/oasis/OASISHostPath.ml" 72 2673 2688
)
"src/oasis/OASISHostPath.ml" 73 2733 2739 "src/oasis/OASISHostPath.ml" 73 2733 2750
type(
  'a
)
"src/oasis/OASISHostPath.ml" 73 2733 2754 "src/oasis/OASISHostPath.ml" 73 2733 2757
type(
  string
)
"src/oasis/OASISHostPath.ml" 74 2758 2764 "src/oasis/OASISHostPath.ml" 74 2758 2774
type(
  'a
)
"src/oasis/OASISHostPath.ml" 74 2758 2778 "src/oasis/OASISHostPath.ml" 74 2758 2782
type(
  string
)
"src/oasis/OASISHostPath.ml" 71 2660 2664 "src/oasis/OASISHostPath.ml" 74 2758 2782
type(
  'a -> string
)
"src/oasis/OASISHostPath.ml" 76 2788 2798 "src/oasis/OASISHostPath.ml" 76 2788 2806
type(
  ([< `Component of String.t
    | `CurrentDir
    | `ParentDir
    | `Root of String.t
    | `RootRelative of String.t ]
   as 'b)
  list * 'b list -> int
)
ident(
  def compare' "src/oasis/OASISHostPath.ml" 76 2788 2790 "src/oasis/OASISHostPath.ml" 87 3044 3081
)
"src/oasis/OASISHostPath.ml" 78 2822 2829 "src/oasis/OASISHostPath.ml" 78 2822 2832
type(
  'b
)
ident(
  def hd1 "src/oasis/OASISHostPath.ml" 79 2858 2864 "src/oasis/OASISHostPath.ml" 82 2921 2975
)
"src/oasis/OASISHostPath.ml" 78 2822 2836 "src/oasis/OASISHostPath.ml" 78 2822 2839
type(
  'b list
)
ident(
  def tl1 "src/oasis/OASISHostPath.ml" 79 2858 2864 "src/oasis/OASISHostPath.ml" 82 2921 2975
)
"src/oasis/OASISHostPath.ml" 78 2822 2828 "src/oasis/OASISHostPath.ml" 78 2822 2840
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 78 2822 2843 "src/oasis/OASISHostPath.ml" 78 2822 2846
type(
  'b
)
ident(
  def hd2 "src/oasis/OASISHostPath.ml" 79 2858 2864 "src/oasis/OASISHostPath.ml" 82 2921 2975
)
"src/oasis/OASISHostPath.ml" 78 2822 2850 "src/oasis/OASISHostPath.ml" 78 2822 2853
type(
  'b list
)
ident(
  def tl2 "src/oasis/OASISHostPath.ml" 79 2858 2864 "src/oasis/OASISHostPath.ml" 82 2921 2975
)
"src/oasis/OASISHostPath.ml" 78 2822 2842 "src/oasis/OASISHostPath.ml" 78 2822 2854
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 78 2822 2828 "src/oasis/OASISHostPath.ml" 78 2822 2854
type(
  'b list * 'b list
)
"src/oasis/OASISHostPath.ml" 79 2858 2867 "src/oasis/OASISHostPath.ml" 79 2858 2870
type(
  'b
)
ident(
  int_ref hd1 "src/oasis/OASISHostPath.ml" 78 2822 2829 "src/oasis/OASISHostPath.ml" 78 2822 2832
)
"src/oasis/OASISHostPath.ml" 79 2858 2871 "src/oasis/OASISHostPath.ml" 79 2858 2872
type(
  'b -> 'b -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISHostPath.ml" 79 2858 2873 "src/oasis/OASISHostPath.ml" 79 2858 2876
type(
  'b
)
ident(
  int_ref hd2 "src/oasis/OASISHostPath.ml" 78 2822 2843 "src/oasis/OASISHostPath.ml" 78 2822 2846
)
"src/oasis/OASISHostPath.ml" 79 2858 2867 "src/oasis/OASISHostPath.ml" 79 2858 2876
type(
  bool
)
"src/oasis/OASISHostPath.ml" 80 2882 2890 "src/oasis/OASISHostPath.ml" 80 2882 2898
type(
  'b list * 'b list -> int
)
ident(
  int_ref compare' "src/oasis/OASISHostPath.ml" 76 2788 2798 "src/oasis/OASISHostPath.ml" 76 2788 2806
)
"src/oasis/OASISHostPath.ml" 80 2882 2900 "src/oasis/OASISHostPath.ml" 80 2882 2903
type(
  'b list
)
ident(
  int_ref tl1 "src/oasis/OASISHostPath.ml" 78 2822 2836 "src/oasis/OASISHostPath.ml" 78 2822 2839
)
"src/oasis/OASISHostPath.ml" 80 2882 2905 "src/oasis/OASISHostPath.ml" 80 2882 2908
type(
  'b list
)
ident(
  int_ref tl2 "src/oasis/OASISHostPath.ml" 78 2822 2850 "src/oasis/OASISHostPath.ml" 78 2822 2853
)
"src/oasis/OASISHostPath.ml" 80 2882 2899 "src/oasis/OASISHostPath.ml" 80 2882 2909
type(
  'b list * 'b list
)
"src/oasis/OASISHostPath.ml" 80 2882 2890 "src/oasis/OASISHostPath.ml" 80 2882 2909
type(
  int
)
"src/oasis/OASISHostPath.ml" 82 2921 2929 "src/oasis/OASISHostPath.ml" 82 2921 2943
type(
  String.t -> String.t -> int
)
ident(
  int_ref Stdlib.String.compare "string.mli" 155 5690 5690 "string.mli" 155 5690 5717
)
"src/oasis/OASISHostPath.ml" 82 2921 2945 "src/oasis/OASISHostPath.ml" 82 2921 2954
type(
  'b -> String.t
)
ident(
  int_ref fn_string "src/oasis/OASISHostPath.ml" 70 2642 2648 "src/oasis/OASISHostPath.ml" 70 2642 2657
)
"src/oasis/OASISHostPath.ml" 82 2921 2955 "src/oasis/OASISHostPath.ml" 82 2921 2958
type(
  'b
)
ident(
  int_ref hd1 "src/oasis/OASISHostPath.ml" 78 2822 2829 "src/oasis/OASISHostPath.ml" 78 2822 2832
)
"src/oasis/OASISHostPath.ml" 82 2921 2944 "src/oasis/OASISHostPath.ml" 82 2921 2959
type(
  String.t
)
"src/oasis/OASISHostPath.ml" 82 2921 2961 "src/oasis/OASISHostPath.ml" 82 2921 2970
type(
  'b -> String.t
)
ident(
  int_ref fn_string "src/oasis/OASISHostPath.ml" 70 2642 2648 "src/oasis/OASISHostPath.ml" 70 2642 2657
)
"src/oasis/OASISHostPath.ml" 82 2921 2971 "src/oasis/OASISHostPath.ml" 82 2921 2974
type(
  'b
)
ident(
  int_ref hd2 "src/oasis/OASISHostPath.ml" 78 2822 2843 "src/oasis/OASISHostPath.ml" 78 2822 2846
)
"src/oasis/OASISHostPath.ml" 82 2921 2960 "src/oasis/OASISHostPath.ml" 82 2921 2975
type(
  String.t
)
"src/oasis/OASISHostPath.ml" 82 2921 2929 "src/oasis/OASISHostPath.ml" 82 2921 2975
type(
  int
)
"src/oasis/OASISHostPath.ml" 79 2858 2864 "src/oasis/OASISHostPath.ml" 82 2921 2975
type(
  int
)
"src/oasis/OASISHostPath.ml" 83 2976 2982 "src/oasis/OASISHostPath.ml" 83 2976 2984
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 83 2976 2986 "src/oasis/OASISHostPath.ml" 83 2976 2988
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 83 2976 2982 "src/oasis/OASISHostPath.ml" 83 2976 2988
type(
  'b list * 'b list
)
"src/oasis/OASISHostPath.ml" 83 2976 2992 "src/oasis/OASISHostPath.ml" 83 2976 2993
type(
  int
)
"src/oasis/OASISHostPath.ml" 84 2994 3000 "src/oasis/OASISHostPath.ml" 84 2994 3001
type(
  'b
)
"src/oasis/OASISHostPath.ml" 84 2994 3005 "src/oasis/OASISHostPath.ml" 84 2994 3006
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 84 2994 3000 "src/oasis/OASISHostPath.ml" 84 2994 3006
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 84 2994 3008 "src/oasis/OASISHostPath.ml" 84 2994 3010
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 84 2994 3000 "src/oasis/OASISHostPath.ml" 84 2994 3010
type(
  'b list * 'b list
)
"src/oasis/OASISHostPath.ml" 84 2994 3014 "src/oasis/OASISHostPath.ml" 84 2994 3015
type(
  int
)
"src/oasis/OASISHostPath.ml" 85 3016 3022 "src/oasis/OASISHostPath.ml" 85 3016 3024
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 85 3016 3026 "src/oasis/OASISHostPath.ml" 85 3016 3027
type(
  'b
)
"src/oasis/OASISHostPath.ml" 85 3016 3031 "src/oasis/OASISHostPath.ml" 85 3016 3032
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 85 3016 3026 "src/oasis/OASISHostPath.ml" 85 3016 3032
type(
  'b list
)
"src/oasis/OASISHostPath.ml" 85 3016 3022 "src/oasis/OASISHostPath.ml" 85 3016 3032
type(
  'b list * 'b list
)
"src/oasis/OASISHostPath.ml" 85 3016 3036 "src/oasis/OASISHostPath.ml" 85 3016 3038
type(
  int
)
"src/oasis/OASISHostPath.ml" 77 2809 2813 "src/oasis/OASISHostPath.ml" 85 3016 3038
type(
  'b list * 'b list -> int
)
"src/oasis/OASISHostPath.ml" 87 3044 3046 "src/oasis/OASISHostPath.ml" 87 3044 3054
type(
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list *
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list -> int
)
ident(
  int_ref compare' "src/oasis/OASISHostPath.ml" 76 2788 2798 "src/oasis/OASISHostPath.ml" 76 2788 2806
)
"src/oasis/OASISHostPath.ml" 87 3044 3056 "src/oasis/OASISHostPath.ml" 87 3044 3063
type(
  string ->
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISHostPath.ml" 63 2445 2449 "src/oasis/OASISHostPath.ml" 63 2445 2456
)
"src/oasis/OASISHostPath.ml" 87 3044 3064 "src/oasis/OASISHostPath.ml" 87 3044 3067
type(
  string
)
ident(
  int_ref fn1 "src/oasis/OASISHostPath.ml" 69 2620 2632 "src/oasis/OASISHostPath.ml" 69 2620 2635
)
"src/oasis/OASISHostPath.ml" 87 3044 3056 "src/oasis/OASISHostPath.ml" 87 3044 3067
type(
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list
)
"src/oasis/OASISHostPath.ml" 87 3044 3069 "src/oasis/OASISHostPath.ml" 87 3044 3076
type(
  string ->
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISHostPath.ml" 63 2445 2449 "src/oasis/OASISHostPath.ml" 63 2445 2456
)
"src/oasis/OASISHostPath.ml" 87 3044 3077 "src/oasis/OASISHostPath.ml" 87 3044 3080
type(
  string
)
ident(
  int_ref fn2 "src/oasis/OASISHostPath.ml" 69 2620 2636 "src/oasis/OASISHostPath.ml" 69 2620 2639
)
"src/oasis/OASISHostPath.ml" 87 3044 3069 "src/oasis/OASISHostPath.ml" 87 3044 3080
type(
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list
)
"src/oasis/OASISHostPath.ml" 87 3044 3055 "src/oasis/OASISHostPath.ml" 87 3044 3081
type(
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list *
  [ `Component of String.t
  | `CurrentDir
  | `ParentDir
  | `Root of String.t
  | `RootRelative of String.t ] list
)
"src/oasis/OASISHostPath.ml" 87 3044 3046 "src/oasis/OASISHostPath.ml" 87 3044 3081
type(
  int
)
"src/oasis/OASISHostPath.ml" 76 2788 2790 "src/oasis/OASISHostPath.ml" 87 3044 3081
type(
  int
)
"src/oasis/OASISHostPath.ml" 70 2642 2644 "src/oasis/OASISHostPath.ml" 87 3044 3081
type(
  int
)
"src/oasis/OASISHostPath.ml" 90 3084 3088 "src/oasis/OASISHostPath.ml" 90 3084 3095
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  def to_unix "src/oasis/OASISHostPath.ml" 120 3864 3864 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 90 3084 3096 "src/oasis/OASISHostPath.ml" 90 3084 3099
type(
  OASISUnixPath.unix_filename
)
ident(
  def hfn "src/oasis/OASISHostPath.ml" 91 3102 3104 "src/oasis/OASISHostPath.ml" 117 3844 3861
)
"src/oasis/OASISHostPath.ml" 91 3102 3110 "src/oasis/OASISHostPath.ml" 91 3102 3121
type(
  string
)
ident(
  int_ref Stdlib.Sys.os_type "sys.mli" 126 5510 5510 "sys.mli" 126 5510 5530
)
"src/oasis/OASISHostPath.ml" 92 3127 3131 "src/oasis/OASISHostPath.ml" 92 3127 3137
type(
  string
)
type(
  string
)
"src/oasis/OASISHostPath.ml" 92 3127 3140 "src/oasis/OASISHostPath.ml" 92 3127 3148
type(
  string
)
type(
  string
)
"src/oasis/OASISHostPath.ml" 92 3127 3131 "src/oasis/OASISHostPath.ml" 92 3127 3148
type(
  string
)
"src/oasis/OASISHostPath.ml" 92 3127 3152 "src/oasis/OASISHostPath.ml" 92 3127 3155
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref hfn "src/oasis/OASISHostPath.ml" 90 3084 3096 "src/oasis/OASISHostPath.ml" 90 3084 3099
)
"src/oasis/OASISHostPath.ml" 93 3156 3160 "src/oasis/OASISHostPath.ml" 93 3156 3167
type(
  string
)
type(
  string
)
"src/oasis/OASISHostPath.ml" 94 3171 3183 "src/oasis/OASISHostPath.ml" 94 3171 3194
type(
  [< `Component of string
   | `CurrentDir
   | `ParentDir
   | `Root of string
   | `RootRelative of string ]
  list -> string list
)
ident(
  def to_unix_aux "src/oasis/OASISHostPath.ml" 94 3171 3175 "src/oasis/OASISHostPath.ml" 112 3651 3701
)
"src/oasis/OASISHostPath.ml" 96 3212 3226 "src/oasis/OASISHostPath.ml" 96 3212 3229
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 98 3269 3277 "src/oasis/OASISHostPath.ml" 102 3419 3432
)
"src/oasis/OASISHostPath.ml" 96 3212 3220 "src/oasis/OASISHostPath.ml" 96 3212 3229
type(
  [< `Component of string
   | `CurrentDir
   | `ParentDir
   | `Root of string
   | `RootRelative of string ]
  as 'a
)
"src/oasis/OASISHostPath.ml" 96 3212 3233 "src/oasis/OASISHostPath.ml" 96 3212 3234
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 96 3212 3220 "src/oasis/OASISHostPath.ml" 96 3212 3234
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 97 3235 3257 "src/oasis/OASISHostPath.ml" 97 3235 3260
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 98 3269 3277 "src/oasis/OASISHostPath.ml" 102 3419 3432
)
"src/oasis/OASISHostPath.ml" 97 3235 3243 "src/oasis/OASISHostPath.ml" 97 3235 3260
type(
  'a
)
"src/oasis/OASISHostPath.ml" 97 3235 3264 "src/oasis/OASISHostPath.ml" 97 3235 3265
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 97 3235 3243 "src/oasis/OASISHostPath.ml" 97 3235 3265
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 96 3212 3220 "src/oasis/OASISHostPath.ml" 97 3235 3265
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 98 3269 3277 "src/oasis/OASISHostPath.ml" 98 3269 3297
type(
  (OASISUnixPath.unix_filename -> string -> string list, unit, string,
   string list)
  format4 -> OASISUnixPath.unix_filename -> string -> string list
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISHostPath.ml" 99 3298 3309 "src/oasis/OASISHostPath.ml" 99 3298 3311
type(
  (OASISUnixPath.unix_filename -> string -> string list, unit, string,
   string list)
  format4 ->
  (OASISUnixPath.unix_filename -> string -> string list, unit, string,
   string list)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISHostPath.ml" 99 3298 3312 "src/oasis/OASISHostPath.ml" 100 3372 3403
type(
  (OASISUnixPath.unix_filename -> string -> string list, unit, string,
   string list)
  format4
)
"src/oasis/OASISHostPath.ml" 99 3298 3308 "src/oasis/OASISHostPath.ml" 100 3372 3404
type(
  (OASISUnixPath.unix_filename -> string -> string list, unit, string,
   string list)
  format4
)
"src/oasis/OASISHostPath.ml" 101 3405 3415 "src/oasis/OASISHostPath.ml" 101 3405 3418
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref hfn "src/oasis/OASISHostPath.ml" 90 3084 3096 "src/oasis/OASISHostPath.ml" 90 3084 3099
)
"src/oasis/OASISHostPath.ml" 102 3419 3429 "src/oasis/OASISHostPath.ml" 102 3419 3432
type(
  string
)
ident(
  int_ref str "src/oasis/OASISHostPath.ml" 96 3212 3226 "src/oasis/OASISHostPath.ml" 96 3212 3229
)
"src/oasis/OASISHostPath.ml" 98 3269 3277 "src/oasis/OASISHostPath.ml" 102 3419 3432
type(
  string list
)
"src/oasis/OASISHostPath.ml" 103 3433 3452 "src/oasis/OASISHostPath.ml" 103 3433 3455
type(
  string
)
ident(
  def str "src/oasis/OASISHostPath.ml" 104 3465 3473 "src/oasis/OASISHostPath.ml" 104 3465 3496
)
"src/oasis/OASISHostPath.ml" 103 3433 3441 "src/oasis/OASISHostPath.ml" 103 3433 3455
type(
  'a
)
"src/oasis/OASISHostPath.ml" 103 3433 3459 "src/oasis/OASISHostPath.ml" 103 3433 3461
type(
  'a list
)
ident(
  def tl "src/oasis/OASISHostPath.ml" 104 3465 3473 "src/oasis/OASISHostPath.ml" 104 3465 3496
)
"src/oasis/OASISHostPath.ml" 103 3433 3441 "src/oasis/OASISHostPath.ml" 103 3433 3461
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 104 3465 3473 "src/oasis/OASISHostPath.ml" 104 3465 3476
type(
  string
)
ident(
  int_ref str "src/oasis/OASISHostPath.ml" 103 3433 3452 "src/oasis/OASISHostPath.ml" 103 3433 3455
)
"src/oasis/OASISHostPath.ml" 104 3465 3481 "src/oasis/OASISHostPath.ml" 104 3465 3492
type(
  'a list -> string list
)
ident(
  int_ref to_unix_aux "src/oasis/OASISHostPath.ml" 94 3171 3183 "src/oasis/OASISHostPath.ml" 94 3171 3194
)
"src/oasis/OASISHostPath.ml" 104 3465 3493 "src/oasis/OASISHostPath.ml" 104 3465 3495
type(
  'a list
)
ident(
  int_ref tl "src/oasis/OASISHostPath.ml" 103 3433 3459 "src/oasis/OASISHostPath.ml" 103 3433 3461
)
"src/oasis/OASISHostPath.ml" 104 3465 3480 "src/oasis/OASISHostPath.ml" 104 3465 3496
type(
  string list
)
"src/oasis/OASISHostPath.ml" 104 3465 3473 "src/oasis/OASISHostPath.ml" 104 3465 3496
type(
  string list
)
"src/oasis/OASISHostPath.ml" 105 3497 3505 "src/oasis/OASISHostPath.ml" 105 3497 3516
type(
  'a
)
"src/oasis/OASISHostPath.ml" 105 3497 3520 "src/oasis/OASISHostPath.ml" 105 3497 3522
type(
  'a list
)
ident(
  def tl "src/oasis/OASISHostPath.ml" 106 3526 3534 "src/oasis/OASISHostPath.ml" 106 3526 3557
)
"src/oasis/OASISHostPath.ml" 105 3497 3505 "src/oasis/OASISHostPath.ml" 105 3497 3522
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 106 3526 3534 "src/oasis/OASISHostPath.ml" 106 3526 3537
type(
  string
)
"src/oasis/OASISHostPath.ml" 106 3526 3542 "src/oasis/OASISHostPath.ml" 106 3526 3553
type(
  'a list -> string list
)
ident(
  int_ref to_unix_aux "src/oasis/OASISHostPath.ml" 94 3171 3183 "src/oasis/OASISHostPath.ml" 94 3171 3194
)
"src/oasis/OASISHostPath.ml" 106 3526 3554 "src/oasis/OASISHostPath.ml" 106 3526 3556
type(
  'a list
)
ident(
  int_ref tl "src/oasis/OASISHostPath.ml" 105 3497 3520 "src/oasis/OASISHostPath.ml" 105 3497 3522
)
"src/oasis/OASISHostPath.ml" 106 3526 3541 "src/oasis/OASISHostPath.ml" 106 3526 3557
type(
  string list
)
"src/oasis/OASISHostPath.ml" 106 3526 3534 "src/oasis/OASISHostPath.ml" 106 3526 3557
type(
  string list
)
"src/oasis/OASISHostPath.ml" 107 3558 3566 "src/oasis/OASISHostPath.ml" 107 3558 3576
type(
  'a
)
"src/oasis/OASISHostPath.ml" 107 3558 3580 "src/oasis/OASISHostPath.ml" 107 3558 3582
type(
  'a list
)
ident(
  def tl "src/oasis/OASISHostPath.ml" 108 3586 3594 "src/oasis/OASISHostPath.ml" 108 3586 3618
)
"src/oasis/OASISHostPath.ml" 107 3558 3566 "src/oasis/OASISHostPath.ml" 107 3558 3582
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 108 3586 3594 "src/oasis/OASISHostPath.ml" 108 3586 3598
type(
  string
)
"src/oasis/OASISHostPath.ml" 108 3586 3603 "src/oasis/OASISHostPath.ml" 108 3586 3614
type(
  'a list -> string list
)
ident(
  int_ref to_unix_aux "src/oasis/OASISHostPath.ml" 94 3171 3183 "src/oasis/OASISHostPath.ml" 94 3171 3194
)
"src/oasis/OASISHostPath.ml" 108 3586 3615 "src/oasis/OASISHostPath.ml" 108 3586 3617
type(
  'a list
)
ident(
  int_ref tl "src/oasis/OASISHostPath.ml" 107 3558 3580 "src/oasis/OASISHostPath.ml" 107 3558 3582
)
"src/oasis/OASISHostPath.ml" 108 3586 3602 "src/oasis/OASISHostPath.ml" 108 3586 3618
type(
  string list
)
"src/oasis/OASISHostPath.ml" 108 3586 3594 "src/oasis/OASISHostPath.ml" 108 3586 3618
type(
  string list
)
"src/oasis/OASISHostPath.ml" 109 3619 3627 "src/oasis/OASISHostPath.ml" 109 3619 3629
type(
  'a list
)
"src/oasis/OASISHostPath.ml" 110 3633 3641 "src/oasis/OASISHostPath.ml" 110 3633 3643
type(
  string list
)
"src/oasis/OASISHostPath.ml" 95 3197 3203 "src/oasis/OASISHostPath.ml" 110 3633 3643
type(
  'a list -> string list
)
"src/oasis/OASISHostPath.ml" 112 3651 3655 "src/oasis/OASISHostPath.ml" 112 3651 3673
type(
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.make "src/oasis/OASISUnixPath.mli" 57 2488 2488 "src/oasis/OASISUnixPath.mli" 57 2488 2533
)
"src/oasis/OASISHostPath.ml" 112 3651 3675 "src/oasis/OASISHostPath.ml" 112 3651 3686
type(
  [ `Component of OASISUnixPath.unix_filename
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> OASISUnixPath.unix_filename list
)
ident(
  int_ref to_unix_aux "src/oasis/OASISHostPath.ml" 94 3171 3183 "src/oasis/OASISHostPath.ml" 94 3171 3194
)
"src/oasis/OASISHostPath.ml" 112 3651 3688 "src/oasis/OASISHostPath.ml" 112 3651 3695
type(
  OASISUnixPath.unix_filename ->
  [ `Component of OASISUnixPath.unix_filename
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISHostPath.ml" 63 2445 2449 "src/oasis/OASISHostPath.ml" 63 2445 2456
)
"src/oasis/OASISHostPath.ml" 112 3651 3696 "src/oasis/OASISHostPath.ml" 112 3651 3699
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref hfn "src/oasis/OASISHostPath.ml" 90 3084 3096 "src/oasis/OASISHostPath.ml" 90 3084 3099
)
"src/oasis/OASISHostPath.ml" 112 3651 3687 "src/oasis/OASISHostPath.ml" 112 3651 3700
type(
  [ `Component of OASISUnixPath.unix_filename
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISHostPath.ml" 112 3651 3674 "src/oasis/OASISHostPath.ml" 112 3651 3701
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISHostPath.ml" 112 3651 3655 "src/oasis/OASISHostPath.ml" 112 3651 3701
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISHostPath.ml" 94 3171 3175 "src/oasis/OASISHostPath.ml" 112 3651 3701
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISHostPath.ml" 113 3702 3706 "src/oasis/OASISHostPath.ml" 113 3702 3713
type(
  string
)
type(
  string
)
ident(
  def os_type "src/oasis/OASISHostPath.ml" 114 3717 3721 "src/oasis/OASISHostPath.ml" 117 3844 3861
)
"src/oasis/OASISHostPath.ml" 114 3717 3721 "src/oasis/OASISHostPath.ml" 114 3717 3741
type(
  (string -> OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename,
   unit, string, OASISUnixPath.unix_filename)
  format4 ->
  string -> OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISHostPath.ml" 115 3742 3749 "src/oasis/OASISHostPath.ml" 115 3742 3751
type(
  (string -> OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename,
   unit, string, OASISUnixPath.unix_filename)
  format4 ->
  (string -> OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename,
   unit, string, OASISUnixPath.unix_filename)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISHostPath.ml" 115 3742 3752 "src/oasis/OASISHostPath.ml" 116 3818 3842
type(
  (string -> OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename,
   unit, string, OASISUnixPath.unix_filename)
  format4
)
"src/oasis/OASISHostPath.ml" 115 3742 3748 "src/oasis/OASISHostPath.ml" 116 3818 3843
type(
  (string -> OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename,
   unit, string, OASISUnixPath.unix_filename)
  format4
)
"src/oasis/OASISHostPath.ml" 117 3844 3850 "src/oasis/OASISHostPath.ml" 117 3844 3857
type(
  string
)
ident(
  int_ref os_type "src/oasis/OASISHostPath.ml" 113 3702 3706 "src/oasis/OASISHostPath.ml" 113 3702 3713
)
"src/oasis/OASISHostPath.ml" 117 3844 3858 "src/oasis/OASISHostPath.ml" 117 3844 3861
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref hfn "src/oasis/OASISHostPath.ml" 90 3084 3096 "src/oasis/OASISHostPath.ml" 90 3084 3099
)
"src/oasis/OASISHostPath.ml" 114 3717 3721 "src/oasis/OASISHostPath.ml" 117 3844 3861
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISHostPath.ml" 91 3102 3104 "src/oasis/OASISHostPath.ml" 117 3844 3861
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISHostPath.ml" 120 3864 3868 "src/oasis/OASISHostPath.ml" 120 3864 3881
type(
  string -> string -> string
)
ident(
  def add_extension "src/oasis/OASISHostPath.ml" 124 3906 3906 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 120 3864 3882 "src/oasis/OASISHostPath.ml" 120 3864 3884
type(
  string
)
ident(
  def fn "src/oasis/OASISHostPath.ml" 120 3864 3885 "src/oasis/OASISHostPath.ml" 121 3891 3903
)
"src/oasis/OASISHostPath.ml" 120 3864 3885 "src/oasis/OASISHostPath.ml" 120 3864 3888
type(
  string
)
ident(
  def ext "src/oasis/OASISHostPath.ml" 121 3891 3893 "src/oasis/OASISHostPath.ml" 121 3891 3903
)
"src/oasis/OASISHostPath.ml" 121 3891 3893 "src/oasis/OASISHostPath.ml" 121 3891 3895
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISHostPath.ml" 120 3864 3882 "src/oasis/OASISHostPath.ml" 120 3864 3884
)
"src/oasis/OASISHostPath.ml" 121 3891 3895 "src/oasis/OASISHostPath.ml" 121 3891 3896
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISHostPath.ml" 121 3891 3896 "src/oasis/OASISHostPath.ml" 121 3891 3899
type(
  string
)
"src/oasis/OASISHostPath.ml" 121 3891 3899 "src/oasis/OASISHostPath.ml" 121 3891 3900
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISHostPath.ml" 121 3891 3900 "src/oasis/OASISHostPath.ml" 121 3891 3903
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISHostPath.ml" 120 3864 3885 "src/oasis/OASISHostPath.ml" 120 3864 3888
)
"src/oasis/OASISHostPath.ml" 121 3891 3896 "src/oasis/OASISHostPath.ml" 121 3891 3903
type(
  string
)
"src/oasis/OASISHostPath.ml" 121 3891 3893 "src/oasis/OASISHostPath.ml" 121 3891 3903
type(
  string
)
"src/oasis/OASISHostPath.ml" 124 3906 3913 "src/oasis/OASISHostPath.ml" 124 3906 3916
ident(
  def Map "src/oasis/OASISHostPath.ml" 129 4012 4018 "src/oasis/OASISHostPath.ml" 0 0 -1
)
"src/oasis/OASISHostPath.ml" 128 3986 3994 "src/oasis/OASISHostPath.ml" 128 3986 4001
type(
  string -> string -> int
)
ident(
  def compare "src/oasis/OASISHostPath.ml" 128 3986 4011 "src/oasis/OASISHostPath.ml" 129 4012 4017
)
"src/oasis/OASISHostPath.ml" 128 3986 4004 "src/oasis/OASISHostPath.ml" 128 3986 4011
type(
  string -> string -> int
)
ident(
  int_ref compare "src/oasis/OASISHostPath.ml" 69 2620 2624 "src/oasis/OASISHostPath.ml" 69 2620 2631
)
