"src/oasis/OASISUnixPath.ml" 32 1817 1821 "src/oasis/OASISUnixPath.ml" 32 1817 1837
type(
  string
)
ident(
  def current_dir_name "src/oasis/OASISUnixPath.ml" 35 1846 1846 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 32 1817 1840 "src/oasis/OASISUnixPath.ml" 32 1817 1843
type(
  string
)
"src/oasis/OASISUnixPath.ml" 35 1846 1850 "src/oasis/OASISUnixPath.ml" 35 1846 1865
type(
  string
)
ident(
  def parent_dir_name "src/oasis/OASISUnixPath.ml" 38 1875 1875 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 35 1846 1868 "src/oasis/OASISUnixPath.ml" 35 1846 1872
type(
  string
)
"src/oasis/OASISUnixPath.ml" 38 1875 1879 "src/oasis/OASISUnixPath.ml" 38 1875 1893
type(
  string -> bool
)
ident(
  def is_current_dir "src/oasis/OASISUnixPath.ml" 42 1936 1936 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 38 1875 1894 "src/oasis/OASISUnixPath.ml" 38 1875 1896
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 39 1899 1901 "src/oasis/OASISUnixPath.ml" 39 1899 1933
)
"src/oasis/OASISUnixPath.ml" 39 1899 1901 "src/oasis/OASISUnixPath.ml" 39 1899 1903
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 38 1875 1894 "src/oasis/OASISUnixPath.ml" 38 1875 1896
)
"src/oasis/OASISUnixPath.ml" 39 1899 1904 "src/oasis/OASISUnixPath.ml" 39 1899 1905
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUnixPath.ml" 39 1899 1906 "src/oasis/OASISUnixPath.ml" 39 1899 1922
type(
  string
)
ident(
  int_ref current_dir_name "src/oasis/OASISUnixPath.ml" 32 1817 1821 "src/oasis/OASISUnixPath.ml" 32 1817 1837
)
"src/oasis/OASISUnixPath.ml" 39 1899 1901 "src/oasis/OASISUnixPath.ml" 39 1899 1922
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 39 1899 1923 "src/oasis/OASISUnixPath.ml" 39 1899 1925
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUnixPath.ml" 39 1899 1926 "src/oasis/OASISUnixPath.ml" 39 1899 1928
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 38 1875 1894 "src/oasis/OASISUnixPath.ml" 38 1875 1896
)
"src/oasis/OASISUnixPath.ml" 39 1899 1929 "src/oasis/OASISUnixPath.ml" 39 1899 1930
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUnixPath.ml" 39 1899 1931 "src/oasis/OASISUnixPath.ml" 39 1899 1933
type(
  string
)
"src/oasis/OASISUnixPath.ml" 39 1899 1926 "src/oasis/OASISUnixPath.ml" 39 1899 1933
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 39 1899 1901 "src/oasis/OASISUnixPath.ml" 39 1899 1933
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 42 1936 1940 "src/oasis/OASISUnixPath.ml" 42 1936 1946
type(
  string -> string -> string
)
ident(
  def concat "src/oasis/OASISUnixPath.ml" 52 2107 2107 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 42 1936 1947 "src/oasis/OASISUnixPath.ml" 42 1936 1949
type(
  string
)
ident(
  def f1 "src/oasis/OASISUnixPath.ml" 42 1936 1950 "src/oasis/OASISUnixPath.ml" 49 2090 2104
)
"src/oasis/OASISUnixPath.ml" 42 1936 1950 "src/oasis/OASISUnixPath.ml" 42 1936 1952
type(
  string
)
ident(
  def f2 "src/oasis/OASISUnixPath.ml" 43 1955 1957 "src/oasis/OASISUnixPath.ml" 49 2090 2104
)
"src/oasis/OASISUnixPath.ml" 43 1955 1960 "src/oasis/OASISUnixPath.ml" 43 1955 1974
type(
  string -> bool
)
ident(
  int_ref is_current_dir "src/oasis/OASISUnixPath.ml" 38 1875 1879 "src/oasis/OASISUnixPath.ml" 38 1875 1893
)
"src/oasis/OASISUnixPath.ml" 43 1955 1975 "src/oasis/OASISUnixPath.ml" 43 1955 1977
type(
  string
)
ident(
  int_ref f1 "src/oasis/OASISUnixPath.ml" 42 1936 1947 "src/oasis/OASISUnixPath.ml" 42 1936 1949
)
"src/oasis/OASISUnixPath.ml" 43 1955 1960 "src/oasis/OASISUnixPath.ml" 43 1955 1977
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 44 1983 1987 "src/oasis/OASISUnixPath.ml" 44 1983 1989
type(
  string
)
ident(
  int_ref f2 "src/oasis/OASISUnixPath.ml" 42 1936 1950 "src/oasis/OASISUnixPath.ml" 42 1936 1952
)
"src/oasis/OASISUnixPath.ml" 46 1997 2005 "src/oasis/OASISUnixPath.ml" 46 1997 2008
type(
  string
)
ident(
  def f1' "src/oasis/OASISUnixPath.ml" 49 2090 2094 "src/oasis/OASISUnixPath.ml" 49 2090 2104
)
"src/oasis/OASISUnixPath.ml" 47 2011 2021 "src/oasis/OASISUnixPath.ml" 47 2011 2048
type(
  what:string -> string -> string
)
ident(
  int_ref OASISString.strip_ends_with "src/oasis/OASISString.ml" 132 3936 3940 "src/oasis/OASISString.ml" 132 3936 3955
)
"src/oasis/OASISUnixPath.ml" 47 2011 2055 "src/oasis/OASISUnixPath.ml" 47 2011 2058
type(
  string
)
"src/oasis/OASISUnixPath.ml" 47 2011 2059 "src/oasis/OASISUnixPath.ml" 47 2011 2061
type(
  string
)
ident(
  int_ref f1 "src/oasis/OASISUnixPath.ml" 42 1936 1947 "src/oasis/OASISUnixPath.ml" 42 1936 1949
)
"src/oasis/OASISUnixPath.ml" 47 2011 2021 "src/oasis/OASISUnixPath.ml" 47 2011 2061
type(
  string
)
"src/oasis/OASISUnixPath.ml" 47 2011 2067 "src/oasis/OASISUnixPath.ml" 47 2011 2076
type(
  exn
)
"src/oasis/OASISUnixPath.ml" 47 2011 2080 "src/oasis/OASISUnixPath.ml" 47 2011 2082
type(
  string
)
ident(
  int_ref f1 "src/oasis/OASISUnixPath.ml" 42 1936 1947 "src/oasis/OASISUnixPath.ml" 42 1936 1949
)
"src/oasis/OASISUnixPath.ml" 47 2011 2017 "src/oasis/OASISUnixPath.ml" 47 2011 2082
type(
  string
)
"src/oasis/OASISUnixPath.ml" 49 2090 2094 "src/oasis/OASISUnixPath.ml" 49 2090 2097
type(
  string
)
ident(
  int_ref f1' "src/oasis/OASISUnixPath.ml" 46 1997 2005 "src/oasis/OASISUnixPath.ml" 46 1997 2008
)
"src/oasis/OASISUnixPath.ml" 49 2090 2097 "src/oasis/OASISUnixPath.ml" 49 2090 2098
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUnixPath.ml" 49 2090 2098 "src/oasis/OASISUnixPath.ml" 49 2090 2101
type(
  string
)
"src/oasis/OASISUnixPath.ml" 49 2090 2101 "src/oasis/OASISUnixPath.ml" 49 2090 2102
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUnixPath.ml" 49 2090 2102 "src/oasis/OASISUnixPath.ml" 49 2090 2104
type(
  string
)
ident(
  int_ref f2 "src/oasis/OASISUnixPath.ml" 42 1936 1950 "src/oasis/OASISUnixPath.ml" 42 1936 1952
)
"src/oasis/OASISUnixPath.ml" 49 2090 2098 "src/oasis/OASISUnixPath.ml" 49 2090 2104
type(
  string
)
"src/oasis/OASISUnixPath.ml" 49 2090 2094 "src/oasis/OASISUnixPath.ml" 49 2090 2104
type(
  string
)
"src/oasis/OASISUnixPath.ml" 46 1997 2001 "src/oasis/OASISUnixPath.ml" 49 2090 2104
type(
  string
)
"src/oasis/OASISUnixPath.ml" 43 1955 1957 "src/oasis/OASISUnixPath.ml" 49 2090 2104
type(
  string
)
"src/oasis/OASISUnixPath.ml" 52 2107 2111 "src/oasis/OASISUnixPath.ml" 52 2107 2115
type(
  string list -> string
)
ident(
  def make "src/oasis/OASISUnixPath.ml" 63 2275 2275 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 54 2129 2135 "src/oasis/OASISUnixPath.ml" 54 2129 2137
type(
  string
)
ident(
  def hd "src/oasis/OASISUnixPath.ml" 55 2147 2153 "src/oasis/OASISUnixPath.ml" 58 2211 2221
)
"src/oasis/OASISUnixPath.ml" 54 2129 2141 "src/oasis/OASISUnixPath.ml" 54 2129 2143
type(
  string list
)
ident(
  def tl "src/oasis/OASISUnixPath.ml" 55 2147 2153 "src/oasis/OASISUnixPath.ml" 58 2211 2221
)
"src/oasis/OASISUnixPath.ml" 54 2129 2135 "src/oasis/OASISUnixPath.ml" 54 2129 2143
type(
  string list
)
"src/oasis/OASISUnixPath.ml" 55 2147 2153 "src/oasis/OASISUnixPath.ml" 55 2147 2167
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/OASISUnixPath.ml" 56 2168 2181 "src/oasis/OASISUnixPath.ml" 56 2168 2182
type(
  string
)
ident(
  def f "src/oasis/OASISUnixPath.ml" 56 2168 2183 "src/oasis/OASISUnixPath.ml" 56 2168 2198
)
"src/oasis/OASISUnixPath.ml" 56 2168 2183 "src/oasis/OASISUnixPath.ml" 56 2168 2184
type(
  string
)
ident(
  def p "src/oasis/OASISUnixPath.ml" 56 2168 2188 "src/oasis/OASISUnixPath.ml" 56 2168 2198
)
"src/oasis/OASISUnixPath.ml" 56 2168 2188 "src/oasis/OASISUnixPath.ml" 56 2168 2194
type(
  string -> string -> string
)
ident(
  int_ref concat "src/oasis/OASISUnixPath.ml" 42 1936 1940 "src/oasis/OASISUnixPath.ml" 42 1936 1946
)
"src/oasis/OASISUnixPath.ml" 56 2168 2195 "src/oasis/OASISUnixPath.ml" 56 2168 2196
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 56 2168 2181 "src/oasis/OASISUnixPath.ml" 56 2168 2182
)
"src/oasis/OASISUnixPath.ml" 56 2168 2197 "src/oasis/OASISUnixPath.ml" 56 2168 2198
type(
  string
)
ident(
  int_ref p "src/oasis/OASISUnixPath.ml" 56 2168 2183 "src/oasis/OASISUnixPath.ml" 56 2168 2184
)
"src/oasis/OASISUnixPath.ml" 56 2168 2188 "src/oasis/OASISUnixPath.ml" 56 2168 2198
type(
  string
)
"src/oasis/OASISUnixPath.ml" 56 2168 2176 "src/oasis/OASISUnixPath.ml" 56 2168 2199
type(
  string -> string -> string
)
"src/oasis/OASISUnixPath.ml" 57 2200 2208 "src/oasis/OASISUnixPath.ml" 57 2200 2210
type(
  string
)
ident(
  int_ref hd "src/oasis/OASISUnixPath.ml" 54 2129 2135 "src/oasis/OASISUnixPath.ml" 54 2129 2137
)
"src/oasis/OASISUnixPath.ml" 58 2211 2219 "src/oasis/OASISUnixPath.ml" 58 2211 2221
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISUnixPath.ml" 54 2129 2141 "src/oasis/OASISUnixPath.ml" 54 2129 2143
)
"src/oasis/OASISUnixPath.ml" 55 2147 2153 "src/oasis/OASISUnixPath.ml" 58 2211 2221
type(
  string
)
"src/oasis/OASISUnixPath.ml" 59 2222 2228 "src/oasis/OASISUnixPath.ml" 59 2222 2230
type(
  string list
)
"src/oasis/OASISUnixPath.ml" 60 2234 2240 "src/oasis/OASISUnixPath.ml" 60 2234 2251
type(
  string -> string
)
ident(
  int_ref Stdlib.invalid_arg "stdlib.mli" 38 1822 1822 "stdlib.mli" 38 1822 1852
)
"src/oasis/OASISUnixPath.ml" 60 2234 2252 "src/oasis/OASISUnixPath.ml" 60 2234 2272
type(
  string
)
"src/oasis/OASISUnixPath.ml" 60 2234 2240 "src/oasis/OASISUnixPath.ml" 60 2234 2272
type(
  string
)
"src/oasis/OASISUnixPath.ml" 53 2118 2120 "src/oasis/OASISUnixPath.ml" 60 2234 2272
type(
  string list -> string
)
"src/oasis/OASISUnixPath.ml" 63 2275 2279 "src/oasis/OASISUnixPath.ml" 63 2275 2286
type(
  string -> string
)
ident(
  def dirname "src/oasis/OASISUnixPath.ml" 70 2381 2381 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 63 2275 2287 "src/oasis/OASISUnixPath.ml" 63 2275 2288
type(
  string
)
ident(
  def f "src/oasis/OASISUnixPath.ml" 64 2291 2293 "src/oasis/OASISUnixPath.ml" 67 2358 2378
)
"src/oasis/OASISUnixPath.ml" 65 2297 2301 "src/oasis/OASISUnixPath.ml" 65 2297 2311
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISUnixPath.ml" 65 2297 2312 "src/oasis/OASISUnixPath.ml" 65 2297 2313
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 63 2275 2287 "src/oasis/OASISUnixPath.ml" 63 2275 2288
)
"src/oasis/OASISUnixPath.ml" 65 2297 2314 "src/oasis/OASISUnixPath.ml" 65 2297 2315
type(
  int
)
"src/oasis/OASISUnixPath.ml" 65 2297 2317 "src/oasis/OASISUnixPath.ml" 65 2297 2330
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.rindex "string.mli" 340 12147 12147 "string.mli" 340 12147 12181
)
"src/oasis/OASISUnixPath.ml" 65 2297 2331 "src/oasis/OASISUnixPath.ml" 65 2297 2332
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 63 2275 2287 "src/oasis/OASISUnixPath.ml" 63 2275 2288
)
"src/oasis/OASISUnixPath.ml" 65 2297 2333 "src/oasis/OASISUnixPath.ml" 65 2297 2336
type(
  char
)
"src/oasis/OASISUnixPath.ml" 65 2297 2316 "src/oasis/OASISUnixPath.ml" 65 2297 2337
type(
  int
)
"src/oasis/OASISUnixPath.ml" 65 2297 2301 "src/oasis/OASISUnixPath.ml" 65 2297 2337
type(
  string
)
"src/oasis/OASISUnixPath.ml" 66 2338 2345 "src/oasis/OASISUnixPath.ml" 66 2338 2354
type(
  exn
)
"src/oasis/OASISUnixPath.ml" 67 2358 2362 "src/oasis/OASISUnixPath.ml" 67 2358 2378
type(
  string
)
ident(
  int_ref current_dir_name "src/oasis/OASISUnixPath.ml" 32 1817 1821 "src/oasis/OASISUnixPath.ml" 32 1817 1837
)
"src/oasis/OASISUnixPath.ml" 64 2291 2293 "src/oasis/OASISUnixPath.ml" 67 2358 2378
type(
  string
)
"src/oasis/OASISUnixPath.ml" 70 2381 2385 "src/oasis/OASISUnixPath.ml" 70 2381 2393
type(
  string -> string
)
ident(
  def basename "src/oasis/OASISUnixPath.ml" 80 2550 2550 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 70 2381 2394 "src/oasis/OASISUnixPath.ml" 70 2381 2395
type(
  string
)
ident(
  def f "src/oasis/OASISUnixPath.ml" 71 2398 2400 "src/oasis/OASISUnixPath.ml" 77 2542 2547
)
"src/oasis/OASISUnixPath.ml" 72 2404 2412 "src/oasis/OASISUnixPath.ml" 72 2404 2421
type(
  int
)
ident(
  def pos_start "src/oasis/OASISUnixPath.ml" 75 2463 2467 "src/oasis/OASISUnixPath.ml" 75 2463 2521
)
"src/oasis/OASISUnixPath.ml" 73 2424 2431 "src/oasis/OASISUnixPath.ml" 73 2424 2444
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.rindex "string.mli" 340 12147 12147 "string.mli" 340 12147 12181
)
"src/oasis/OASISUnixPath.ml" 73 2424 2445 "src/oasis/OASISUnixPath.ml" 73 2424 2446
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 70 2381 2394 "src/oasis/OASISUnixPath.ml" 70 2381 2395
)
"src/oasis/OASISUnixPath.ml" 73 2424 2447 "src/oasis/OASISUnixPath.ml" 73 2424 2450
type(
  char
)
"src/oasis/OASISUnixPath.ml" 73 2424 2430 "src/oasis/OASISUnixPath.ml" 73 2424 2451
type(
  int
)
"src/oasis/OASISUnixPath.ml" 73 2424 2452 "src/oasis/OASISUnixPath.ml" 73 2424 2453
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISUnixPath.ml" 73 2424 2454 "src/oasis/OASISUnixPath.ml" 73 2424 2455
type(
  int
)
"src/oasis/OASISUnixPath.ml" 73 2424 2430 "src/oasis/OASISUnixPath.ml" 73 2424 2455
type(
  int
)
"src/oasis/OASISUnixPath.ml" 75 2463 2467 "src/oasis/OASISUnixPath.ml" 75 2463 2477
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISUnixPath.ml" 75 2463 2478 "src/oasis/OASISUnixPath.ml" 75 2463 2479
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 70 2381 2394 "src/oasis/OASISUnixPath.ml" 70 2381 2395
)
"src/oasis/OASISUnixPath.ml" 75 2463 2480 "src/oasis/OASISUnixPath.ml" 75 2463 2489
type(
  int
)
ident(
  int_ref pos_start "src/oasis/OASISUnixPath.ml" 72 2404 2412 "src/oasis/OASISUnixPath.ml" 72 2404 2421
)
"src/oasis/OASISUnixPath.ml" 75 2463 2492 "src/oasis/OASISUnixPath.ml" 75 2463 2505
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISUnixPath.ml" 75 2463 2506 "src/oasis/OASISUnixPath.ml" 75 2463 2507
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 70 2381 2394 "src/oasis/OASISUnixPath.ml" 70 2381 2395
)
"src/oasis/OASISUnixPath.ml" 75 2463 2491 "src/oasis/OASISUnixPath.ml" 75 2463 2508
type(
  int
)
"src/oasis/OASISUnixPath.ml" 75 2463 2509 "src/oasis/OASISUnixPath.ml" 75 2463 2510
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISUnixPath.ml" 75 2463 2511 "src/oasis/OASISUnixPath.ml" 75 2463 2520
type(
  int
)
ident(
  int_ref pos_start "src/oasis/OASISUnixPath.ml" 72 2404 2412 "src/oasis/OASISUnixPath.ml" 72 2404 2421
)
"src/oasis/OASISUnixPath.ml" 75 2463 2490 "src/oasis/OASISUnixPath.ml" 75 2463 2521
type(
  int
)
"src/oasis/OASISUnixPath.ml" 75 2463 2467 "src/oasis/OASISUnixPath.ml" 75 2463 2521
type(
  string
)
"src/oasis/OASISUnixPath.ml" 72 2404 2408 "src/oasis/OASISUnixPath.ml" 75 2463 2521
type(
  string
)
"src/oasis/OASISUnixPath.ml" 76 2522 2529 "src/oasis/OASISUnixPath.ml" 76 2522 2538
type(
  exn
)
"src/oasis/OASISUnixPath.ml" 77 2542 2546 "src/oasis/OASISUnixPath.ml" 77 2542 2547
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 70 2381 2394 "src/oasis/OASISUnixPath.ml" 70 2381 2395
)
"src/oasis/OASISUnixPath.ml" 71 2398 2400 "src/oasis/OASISUnixPath.ml" 77 2542 2547
type(
  string
)
"src/oasis/OASISUnixPath.ml" 80 2550 2554 "src/oasis/OASISUnixPath.ml" 80 2550 2568
type(
  string -> string
)
ident(
  def chop_extension "src/oasis/OASISUnixPath.ml" 103 2880 2880 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 80 2550 2569 "src/oasis/OASISUnixPath.ml" 80 2550 2570
type(
  string
)
ident(
  def f "src/oasis/OASISUnixPath.ml" 81 2573 2575 "src/oasis/OASISUnixPath.ml" 100 2872 2877
)
"src/oasis/OASISUnixPath.ml" 82 2579 2587 "src/oasis/OASISUnixPath.ml" 82 2579 2595
type(
  int
)
ident(
  def last_dot "src/oasis/OASISUnixPath.ml" 85 2631 2635 "src/oasis/OASISUnixPath.ml" 97 2841 2850
)
"src/oasis/OASISUnixPath.ml" 83 2598 2604 "src/oasis/OASISUnixPath.ml" 83 2598 2617
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.rindex "string.mli" 340 12147 12147 "string.mli" 340 12147 12181
)
"src/oasis/OASISUnixPath.ml" 83 2598 2618 "src/oasis/OASISUnixPath.ml" 83 2598 2619
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 80 2550 2569 "src/oasis/OASISUnixPath.ml" 80 2550 2570
)
"src/oasis/OASISUnixPath.ml" 83 2598 2620 "src/oasis/OASISUnixPath.ml" 83 2598 2623
type(
  char
)
"src/oasis/OASISUnixPath.ml" 83 2598 2604 "src/oasis/OASISUnixPath.ml" 83 2598 2623
type(
  int
)
"src/oasis/OASISUnixPath.ml" 85 2631 2639 "src/oasis/OASISUnixPath.ml" 85 2631 2642
type(
  string
)
ident(
  def sub "src/oasis/OASISUnixPath.ml" 88 2682 2686 "src/oasis/OASISUnixPath.ml" 97 2841 2850
)
"src/oasis/OASISUnixPath.ml" 86 2645 2651 "src/oasis/OASISUnixPath.ml" 86 2645 2661
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISUnixPath.ml" 86 2645 2662 "src/oasis/OASISUnixPath.ml" 86 2645 2663
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 80 2550 2569 "src/oasis/OASISUnixPath.ml" 80 2550 2570
)
"src/oasis/OASISUnixPath.ml" 86 2645 2664 "src/oasis/OASISUnixPath.ml" 86 2645 2665
type(
  int
)
"src/oasis/OASISUnixPath.ml" 86 2645 2666 "src/oasis/OASISUnixPath.ml" 86 2645 2674
type(
  int
)
ident(
  int_ref last_dot "src/oasis/OASISUnixPath.ml" 82 2579 2587 "src/oasis/OASISUnixPath.ml" 82 2579 2595
)
"src/oasis/OASISUnixPath.ml" 86 2645 2651 "src/oasis/OASISUnixPath.ml" 86 2645 2674
type(
  string
)
"src/oasis/OASISUnixPath.ml" 89 2690 2700 "src/oasis/OASISUnixPath.ml" 89 2690 2710
type(
  int
)
ident(
  def last_slash "src/oasis/OASISUnixPath.ml" 92 2750 2756 "src/oasis/OASISUnixPath.ml" 95 2809 2818
)
"src/oasis/OASISUnixPath.ml" 90 2713 2721 "src/oasis/OASISUnixPath.ml" 90 2713 2734
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.rindex "string.mli" 340 12147 12147 "string.mli" 340 12147 12181
)
"src/oasis/OASISUnixPath.ml" 90 2713 2735 "src/oasis/OASISUnixPath.ml" 90 2713 2736
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 80 2550 2569 "src/oasis/OASISUnixPath.ml" 80 2550 2570
)
"src/oasis/OASISUnixPath.ml" 90 2713 2737 "src/oasis/OASISUnixPath.ml" 90 2713 2740
type(
  char
)
"src/oasis/OASISUnixPath.ml" 90 2713 2721 "src/oasis/OASISUnixPath.ml" 90 2713 2740
type(
  int
)
"src/oasis/OASISUnixPath.ml" 92 2750 2759 "src/oasis/OASISUnixPath.ml" 92 2750 2769
type(
  int
)
ident(
  int_ref last_slash "src/oasis/OASISUnixPath.ml" 89 2690 2700 "src/oasis/OASISUnixPath.ml" 89 2690 2710
)
"src/oasis/OASISUnixPath.ml" 92 2750 2770 "src/oasis/OASISUnixPath.ml" 92 2750 2771
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISUnixPath.ml" 92 2750 2772 "src/oasis/OASISUnixPath.ml" 92 2750 2780
type(
  int
)
ident(
  int_ref last_dot "src/oasis/OASISUnixPath.ml" 82 2579 2587 "src/oasis/OASISUnixPath.ml" 82 2579 2595
)
"src/oasis/OASISUnixPath.ml" 92 2750 2759 "src/oasis/OASISUnixPath.ml" 92 2750 2780
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 93 2786 2794 "src/oasis/OASISUnixPath.ml" 93 2786 2797
type(
  string
)
ident(
  int_ref sub "src/oasis/OASISUnixPath.ml" 85 2631 2639 "src/oasis/OASISUnixPath.ml" 85 2631 2642
)
"src/oasis/OASISUnixPath.ml" 95 2809 2817 "src/oasis/OASISUnixPath.ml" 95 2809 2818
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 80 2550 2569 "src/oasis/OASISUnixPath.ml" 80 2550 2570
)
"src/oasis/OASISUnixPath.ml" 92 2750 2756 "src/oasis/OASISUnixPath.ml" 95 2809 2818
type(
  string
)
"src/oasis/OASISUnixPath.ml" 89 2690 2696 "src/oasis/OASISUnixPath.ml" 95 2809 2818
type(
  string
)
"src/oasis/OASISUnixPath.ml" 96 2819 2828 "src/oasis/OASISUnixPath.ml" 96 2819 2837
type(
  exn
)
"src/oasis/OASISUnixPath.ml" 97 2841 2847 "src/oasis/OASISUnixPath.ml" 97 2841 2850
type(
  string
)
ident(
  int_ref sub "src/oasis/OASISUnixPath.ml" 85 2631 2639 "src/oasis/OASISUnixPath.ml" 85 2631 2642
)
"src/oasis/OASISUnixPath.ml" 88 2682 2686 "src/oasis/OASISUnixPath.ml" 97 2841 2850
type(
  string
)
"src/oasis/OASISUnixPath.ml" 85 2631 2635 "src/oasis/OASISUnixPath.ml" 97 2841 2850
type(
  string
)
"src/oasis/OASISUnixPath.ml" 82 2579 2583 "src/oasis/OASISUnixPath.ml" 97 2841 2850
type(
  string
)
"src/oasis/OASISUnixPath.ml" 99 2852 2859 "src/oasis/OASISUnixPath.ml" 99 2852 2868
type(
  exn
)
"src/oasis/OASISUnixPath.ml" 100 2872 2876 "src/oasis/OASISUnixPath.ml" 100 2872 2877
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 80 2550 2569 "src/oasis/OASISUnixPath.ml" 80 2550 2570
)
"src/oasis/OASISUnixPath.ml" 81 2573 2575 "src/oasis/OASISUnixPath.ml" 100 2872 2877
type(
  string
)
"src/oasis/OASISUnixPath.ml" 103 2880 2884 "src/oasis/OASISUnixPath.ml" 103 2880 2899
type(
  string -> string
)
ident(
  def capitalize_file "src/oasis/OASISUnixPath.ml" 109 3007 3007 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 103 2880 2900 "src/oasis/OASISUnixPath.ml" 103 2880 2901
type(
  string
)
ident(
  def f "src/oasis/OASISUnixPath.ml" 104 2904 2906 "src/oasis/OASISUnixPath.ml" 106 2956 3004
)
"src/oasis/OASISUnixPath.ml" 104 2904 2910 "src/oasis/OASISUnixPath.ml" 104 2904 2913
type(
  string
)
ident(
  def dir "src/oasis/OASISUnixPath.ml" 105 2929 2931 "src/oasis/OASISUnixPath.ml" 106 2956 3004
)
"src/oasis/OASISUnixPath.ml" 104 2904 2916 "src/oasis/OASISUnixPath.ml" 104 2904 2923
type(
  string -> string
)
ident(
  int_ref dirname "src/oasis/OASISUnixPath.ml" 63 2275 2279 "src/oasis/OASISUnixPath.ml" 63 2275 2286
)
"src/oasis/OASISUnixPath.ml" 104 2904 2924 "src/oasis/OASISUnixPath.ml" 104 2904 2925
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 103 2880 2900 "src/oasis/OASISUnixPath.ml" 103 2880 2901
)
"src/oasis/OASISUnixPath.ml" 104 2904 2916 "src/oasis/OASISUnixPath.ml" 104 2904 2925
type(
  string
)
"src/oasis/OASISUnixPath.ml" 105 2929 2935 "src/oasis/OASISUnixPath.ml" 105 2929 2939
type(
  string
)
ident(
  def base "src/oasis/OASISUnixPath.ml" 106 2956 2958 "src/oasis/OASISUnixPath.ml" 106 2956 3004
)
"src/oasis/OASISUnixPath.ml" 105 2929 2942 "src/oasis/OASISUnixPath.ml" 105 2929 2950
type(
  string -> string
)
ident(
  int_ref basename "src/oasis/OASISUnixPath.ml" 70 2381 2385 "src/oasis/OASISUnixPath.ml" 70 2381 2393
)
"src/oasis/OASISUnixPath.ml" 105 2929 2951 "src/oasis/OASISUnixPath.ml" 105 2929 2952
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 103 2880 2900 "src/oasis/OASISUnixPath.ml" 103 2880 2901
)
"src/oasis/OASISUnixPath.ml" 105 2929 2942 "src/oasis/OASISUnixPath.ml" 105 2929 2952
type(
  string
)
"src/oasis/OASISUnixPath.ml" 106 2956 2958 "src/oasis/OASISUnixPath.ml" 106 2956 2964
type(
  string -> string -> string
)
ident(
  int_ref concat "src/oasis/OASISUnixPath.ml" 42 1936 1940 "src/oasis/OASISUnixPath.ml" 42 1936 1946
)
"src/oasis/OASISUnixPath.ml" 106 2956 2965 "src/oasis/OASISUnixPath.ml" 106 2956 2968
type(
  string
)
ident(
  int_ref dir "src/oasis/OASISUnixPath.ml" 104 2904 2910 "src/oasis/OASISUnixPath.ml" 104 2904 2913
)
"src/oasis/OASISUnixPath.ml" 106 2956 2970 "src/oasis/OASISUnixPath.ml" 106 2956 2998
type(
  string -> string
)
ident(
  int_ref OASISString.capitalize_ascii "src/oasis/OASISString.ml" 166 4659 4663 "src/oasis/OASISString.ml" 166 4659 4679
)
"src/oasis/OASISUnixPath.ml" 106 2956 2999 "src/oasis/OASISUnixPath.ml" 106 2956 3003
type(
  string
)
ident(
  int_ref base "src/oasis/OASISUnixPath.ml" 105 2929 2935 "src/oasis/OASISUnixPath.ml" 105 2929 2939
)
"src/oasis/OASISUnixPath.ml" 106 2956 2969 "src/oasis/OASISUnixPath.ml" 106 2956 3004
type(
  string
)
"src/oasis/OASISUnixPath.ml" 106 2956 2958 "src/oasis/OASISUnixPath.ml" 106 2956 3004
type(
  string
)
"src/oasis/OASISUnixPath.ml" 105 2929 2931 "src/oasis/OASISUnixPath.ml" 106 2956 3004
type(
  string
)
"src/oasis/OASISUnixPath.ml" 104 2904 2906 "src/oasis/OASISUnixPath.ml" 106 2956 3004
type(
  string
)
"src/oasis/OASISUnixPath.ml" 109 3007 3011 "src/oasis/OASISUnixPath.ml" 109 3007 3028
type(
  string -> string
)
ident(
  def uncapitalize_file "src/oasis/OASISUnixPath.ml" 118 3157 3157 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 109 3007 3029 "src/oasis/OASISUnixPath.ml" 109 3007 3030
type(
  string
)
ident(
  def f "src/oasis/OASISUnixPath.ml" 110 3033 3035 "src/oasis/OASISUnixPath.ml" 112 3085 3135
)
"src/oasis/OASISUnixPath.ml" 110 3033 3039 "src/oasis/OASISUnixPath.ml" 110 3033 3042
type(
  string
)
ident(
  def dir "src/oasis/OASISUnixPath.ml" 111 3058 3060 "src/oasis/OASISUnixPath.ml" 112 3085 3135
)
"src/oasis/OASISUnixPath.ml" 110 3033 3045 "src/oasis/OASISUnixPath.ml" 110 3033 3052
type(
  string -> string
)
ident(
  int_ref dirname "src/oasis/OASISUnixPath.ml" 63 2275 2279 "src/oasis/OASISUnixPath.ml" 63 2275 2286
)
"src/oasis/OASISUnixPath.ml" 110 3033 3053 "src/oasis/OASISUnixPath.ml" 110 3033 3054
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 109 3007 3029 "src/oasis/OASISUnixPath.ml" 109 3007 3030
)
"src/oasis/OASISUnixPath.ml" 110 3033 3045 "src/oasis/OASISUnixPath.ml" 110 3033 3054
type(
  string
)
"src/oasis/OASISUnixPath.ml" 111 3058 3064 "src/oasis/OASISUnixPath.ml" 111 3058 3068
type(
  string
)
ident(
  def base "src/oasis/OASISUnixPath.ml" 112 3085 3087 "src/oasis/OASISUnixPath.ml" 112 3085 3135
)
"src/oasis/OASISUnixPath.ml" 111 3058 3071 "src/oasis/OASISUnixPath.ml" 111 3058 3079
type(
  string -> string
)
ident(
  int_ref basename "src/oasis/OASISUnixPath.ml" 70 2381 2385 "src/oasis/OASISUnixPath.ml" 70 2381 2393
)
"src/oasis/OASISUnixPath.ml" 111 3058 3080 "src/oasis/OASISUnixPath.ml" 111 3058 3081
type(
  string
)
ident(
  int_ref f "src/oasis/OASISUnixPath.ml" 109 3007 3029 "src/oasis/OASISUnixPath.ml" 109 3007 3030
)
"src/oasis/OASISUnixPath.ml" 111 3058 3071 "src/oasis/OASISUnixPath.ml" 111 3058 3081
type(
  string
)
"src/oasis/OASISUnixPath.ml" 112 3085 3087 "src/oasis/OASISUnixPath.ml" 112 3085 3093
type(
  string -> string -> string
)
ident(
  int_ref concat "src/oasis/OASISUnixPath.ml" 42 1936 1940 "src/oasis/OASISUnixPath.ml" 42 1936 1946
)
"src/oasis/OASISUnixPath.ml" 112 3085 3094 "src/oasis/OASISUnixPath.ml" 112 3085 3097
type(
  string
)
ident(
  int_ref dir "src/oasis/OASISUnixPath.ml" 110 3033 3039 "src/oasis/OASISUnixPath.ml" 110 3033 3042
)
"src/oasis/OASISUnixPath.ml" 112 3085 3099 "src/oasis/OASISUnixPath.ml" 112 3085 3129
type(
  string -> string
)
ident(
  int_ref OASISString.uncapitalize_ascii "src/oasis/OASISString.ml" 152 4364 4368 "src/oasis/OASISString.ml" 152 4364 4386
)
"src/oasis/OASISUnixPath.ml" 112 3085 3130 "src/oasis/OASISUnixPath.ml" 112 3085 3134
type(
  string
)
ident(
  int_ref base "src/oasis/OASISUnixPath.ml" 111 3058 3064 "src/oasis/OASISUnixPath.ml" 111 3058 3068
)
"src/oasis/OASISUnixPath.ml" 112 3085 3098 "src/oasis/OASISUnixPath.ml" 112 3085 3135
type(
  string
)
"src/oasis/OASISUnixPath.ml" 112 3085 3087 "src/oasis/OASISUnixPath.ml" 112 3085 3135
type(
  string
)
"src/oasis/OASISUnixPath.ml" 111 3058 3060 "src/oasis/OASISUnixPath.ml" 112 3085 3135
type(
  string
)
"src/oasis/OASISUnixPath.ml" 110 3033 3035 "src/oasis/OASISUnixPath.ml" 112 3085 3135
type(
  string
)
"src/oasis/OASISUnixPath.ml" 118 3157 3161 "src/oasis/OASISUnixPath.ml" 118 3157 3176
type(
  string -> string -> bool
)
ident(
  def check_extension "src/oasis/OASISUnixPath.ml" 122 3231 3231 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 118 3157 3177 "src/oasis/OASISUnixPath.ml" 118 3157 3179
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 118 3157 3180 "src/oasis/OASISUnixPath.ml" 119 3186 3228
)
"src/oasis/OASISUnixPath.ml" 118 3157 3180 "src/oasis/OASISUnixPath.ml" 118 3157 3183
type(
  string
)
ident(
  def ext "src/oasis/OASISUnixPath.ml" 119 3186 3188 "src/oasis/OASISUnixPath.ml" 119 3186 3228
)
"src/oasis/OASISUnixPath.ml" 119 3186 3188 "src/oasis/OASISUnixPath.ml" 119 3186 3209
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  int_ref OASISString.ends_with "src/oasis/OASISString.ml" 116 3566 3570 "src/oasis/OASISString.ml" 116 3566 3579
)
"src/oasis/OASISUnixPath.ml" 119 3186 3217 "src/oasis/OASISUnixPath.ml" 119 3186 3220
type(
  string
)
"src/oasis/OASISUnixPath.ml" 119 3186 3220 "src/oasis/OASISUnixPath.ml" 119 3186 3221
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUnixPath.ml" 119 3186 3221 "src/oasis/OASISUnixPath.ml" 119 3186 3224
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISUnixPath.ml" 118 3157 3180 "src/oasis/OASISUnixPath.ml" 118 3157 3183
)
"src/oasis/OASISUnixPath.ml" 119 3186 3216 "src/oasis/OASISUnixPath.ml" 119 3186 3225
type(
  string
)
"src/oasis/OASISUnixPath.ml" 119 3186 3226 "src/oasis/OASISUnixPath.ml" 119 3186 3228
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 118 3157 3177 "src/oasis/OASISUnixPath.ml" 118 3157 3179
)
"src/oasis/OASISUnixPath.ml" 119 3186 3188 "src/oasis/OASISUnixPath.ml" 119 3186 3228
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 122 3231 3235 "src/oasis/OASISUnixPath.ml" 122 3231 3248
type(
  string -> string -> string
)
ident(
  def add_extension "src/oasis/OASISUnixPath.ml" 126 3273 3273 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 122 3231 3249 "src/oasis/OASISUnixPath.ml" 122 3231 3251
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 122 3231 3252 "src/oasis/OASISUnixPath.ml" 123 3258 3270
)
"src/oasis/OASISUnixPath.ml" 122 3231 3252 "src/oasis/OASISUnixPath.ml" 122 3231 3255
type(
  string
)
ident(
  def ext "src/oasis/OASISUnixPath.ml" 123 3258 3260 "src/oasis/OASISUnixPath.ml" 123 3258 3270
)
"src/oasis/OASISUnixPath.ml" 123 3258 3260 "src/oasis/OASISUnixPath.ml" 123 3258 3262
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 122 3231 3249 "src/oasis/OASISUnixPath.ml" 122 3231 3251
)
"src/oasis/OASISUnixPath.ml" 123 3258 3262 "src/oasis/OASISUnixPath.ml" 123 3258 3263
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUnixPath.ml" 123 3258 3263 "src/oasis/OASISUnixPath.ml" 123 3258 3266
type(
  string
)
"src/oasis/OASISUnixPath.ml" 123 3258 3266 "src/oasis/OASISUnixPath.ml" 123 3258 3267
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUnixPath.ml" 123 3258 3267 "src/oasis/OASISUnixPath.ml" 123 3258 3270
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISUnixPath.ml" 122 3231 3252 "src/oasis/OASISUnixPath.ml" 122 3231 3255
)
"src/oasis/OASISUnixPath.ml" 123 3258 3263 "src/oasis/OASISUnixPath.ml" 123 3258 3270
type(
  string
)
"src/oasis/OASISUnixPath.ml" 123 3258 3260 "src/oasis/OASISUnixPath.ml" 123 3258 3270
type(
  string
)
"src/oasis/OASISUnixPath.ml" 126 3273 3277 "src/oasis/OASISUnixPath.ml" 126 3273 3294
type(
  string -> string -> string
)
ident(
  def replace_extension "src/oasis/OASISUnixPath.ml" 130 3355 3355 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 126 3273 3295 "src/oasis/OASISUnixPath.ml" 126 3273 3297
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 126 3273 3298 "src/oasis/OASISUnixPath.ml" 127 3304 3352
)
"src/oasis/OASISUnixPath.ml" 126 3273 3298 "src/oasis/OASISUnixPath.ml" 126 3273 3301
type(
  string
)
ident(
  def ext "src/oasis/OASISUnixPath.ml" 127 3304 3306 "src/oasis/OASISUnixPath.ml" 127 3304 3352
)
"src/oasis/OASISUnixPath.ml" 127 3304 3306 "src/oasis/OASISUnixPath.ml" 127 3304 3319
type(
  string -> string -> string
)
ident(
  int_ref add_extension "src/oasis/OASISUnixPath.ml" 122 3231 3235 "src/oasis/OASISUnixPath.ml" 122 3231 3248
)
"src/oasis/OASISUnixPath.ml" 127 3304 3321 "src/oasis/OASISUnixPath.ml" 127 3304 3344
type(
  string -> string
)
ident(
  int_ref Stdlib.Filename.chop_extension "filename.mli" 101 3857 3857 "filename.mli" 101 3857 3894
)
"src/oasis/OASISUnixPath.ml" 127 3304 3345 "src/oasis/OASISUnixPath.ml" 127 3304 3347
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 126 3273 3295 "src/oasis/OASISUnixPath.ml" 126 3273 3297
)
"src/oasis/OASISUnixPath.ml" 127 3304 3320 "src/oasis/OASISUnixPath.ml" 127 3304 3348
type(
  string
)
"src/oasis/OASISUnixPath.ml" 127 3304 3349 "src/oasis/OASISUnixPath.ml" 127 3304 3352
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISUnixPath.ml" 126 3273 3298 "src/oasis/OASISUnixPath.ml" 126 3273 3301
)
"src/oasis/OASISUnixPath.ml" 127 3304 3306 "src/oasis/OASISUnixPath.ml" 127 3304 3352
type(
  string
)
"src/oasis/OASISUnixPath.ml" 134 3395 3399 "src/oasis/OASISUnixPath.ml" 134 3395 3415
type(
  [< `Component of string
   | `CurrentDir
   | `ParentDir
   | `Root of 'a
   | `RootRelative of 'b ]
  list -> string
)
ident(
  def filename_of_list "src/oasis/OASISUnixPath.ml" 160 4031 4031 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 134 3395 3416 "src/oasis/OASISUnixPath.ml" 134 3395 3419
type(
  ([< `Component of string
    | `CurrentDir
    | `ParentDir
    | `Root of 'a
    | `RootRelative of 'b ]
   as 'c)
  list
)
ident(
  def lst "src/oasis/OASISUnixPath.ml" 135 3422 3424 "src/oasis/OASISUnixPath.ml" 157 4007 4028
)
"src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISUnixPath.ml" 136 3454 3456 "src/oasis/OASISUnixPath.ml" 157 4007 4028
)
"src/oasis/OASISUnixPath.ml" 135 3422 3434 "src/oasis/OASISUnixPath.ml" 135 3422 3447
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISUnixPath.ml" 135 3422 3448 "src/oasis/OASISUnixPath.ml" 135 3422 3450
type(
  int
)
"src/oasis/OASISUnixPath.ml" 135 3422 3434 "src/oasis/OASISUnixPath.ml" 135 3422 3450
type(
  Buffer.t
)
"src/oasis/OASISUnixPath.ml" 136 3454 3456 "src/oasis/OASISUnixPath.ml" 136 3454 3465
type(
  ('c -> unit) -> 'c list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISUnixPath.ml" 138 3480 3494 "src/oasis/OASISUnixPath.ml" 138 3480 3495
type(
  'a
)
"src/oasis/OASISUnixPath.ml" 138 3480 3488 "src/oasis/OASISUnixPath.ml" 138 3480 3495
type(
  'c
)
"src/oasis/OASISUnixPath.ml" 138 3480 3512 "src/oasis/OASISUnixPath.ml" 138 3480 3513
type(
  'b
)
"src/oasis/OASISUnixPath.ml" 138 3480 3498 "src/oasis/OASISUnixPath.ml" 138 3480 3513
type(
  'c
)
"src/oasis/OASISUnixPath.ml" 138 3480 3488 "src/oasis/OASISUnixPath.ml" 138 3480 3513
type(
  'c
)
"src/oasis/OASISUnixPath.ml" 138 3480 3517 "src/oasis/OASISUnixPath.ml" 138 3480 3532
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUnixPath.ml" 138 3480 3533 "src/oasis/OASISUnixPath.ml" 138 3480 3536
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 138 3480 3537 "src/oasis/OASISUnixPath.ml" 138 3480 3540
type(
  char
)
"src/oasis/OASISUnixPath.ml" 138 3480 3517 "src/oasis/OASISUnixPath.ml" 138 3480 3540
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 140 3542 3561 "src/oasis/OASISUnixPath.ml" 140 3542 3564
type(
  string
)
ident(
  def str "src/oasis/OASISUnixPath.ml" 141 3568 3576 "src/oasis/OASISUnixPath.ml" 143 3641 3674
)
"src/oasis/OASISUnixPath.ml" 140 3542 3550 "src/oasis/OASISUnixPath.ml" 140 3542 3564
type(
  'c
)
"src/oasis/OASISUnixPath.ml" 141 3568 3579 "src/oasis/OASISUnixPath.ml" 141 3568 3592
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISUnixPath.ml" 141 3568 3593 "src/oasis/OASISUnixPath.ml" 141 3568 3596
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 141 3568 3579 "src/oasis/OASISUnixPath.ml" 141 3568 3596
type(
  int
)
"src/oasis/OASISUnixPath.ml" 141 3568 3597 "src/oasis/OASISUnixPath.ml" 141 3568 3598
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISUnixPath.ml" 141 3568 3599 "src/oasis/OASISUnixPath.ml" 141 3568 3600
type(
  int
)
"src/oasis/OASISUnixPath.ml" 141 3568 3579 "src/oasis/OASISUnixPath.ml" 141 3568 3600
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 142 3606 3616 "src/oasis/OASISUnixPath.ml" 142 3606 3631
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUnixPath.ml" 142 3606 3632 "src/oasis/OASISUnixPath.ml" 142 3606 3635
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 142 3606 3636 "src/oasis/OASISUnixPath.ml" 142 3606 3639
type(
  char
)
"src/oasis/OASISUnixPath.ml" 142 3606 3616 "src/oasis/OASISUnixPath.ml" 142 3606 3639
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 141 3568 3576 "src/oasis/OASISUnixPath.ml" 142 3606 3639
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 143 3641 3649 "src/oasis/OASISUnixPath.ml" 143 3641 3666
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/oasis/OASISUnixPath.ml" 143 3641 3667 "src/oasis/OASISUnixPath.ml" 143 3641 3670
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 143 3641 3671 "src/oasis/OASISUnixPath.ml" 143 3641 3674
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUnixPath.ml" 140 3542 3561 "src/oasis/OASISUnixPath.ml" 140 3542 3564
)
"src/oasis/OASISUnixPath.ml" 143 3641 3649 "src/oasis/OASISUnixPath.ml" 143 3641 3674
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 141 3568 3576 "src/oasis/OASISUnixPath.ml" 143 3641 3674
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 145 3676 3684 "src/oasis/OASISUnixPath.ml" 145 3676 3695
type(
  'c
)
"src/oasis/OASISUnixPath.ml" 146 3699 3710 "src/oasis/OASISUnixPath.ml" 146 3699 3723
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISUnixPath.ml" 146 3699 3724 "src/oasis/OASISUnixPath.ml" 146 3699 3727
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 146 3699 3710 "src/oasis/OASISUnixPath.ml" 146 3699 3727
type(
  int
)
"src/oasis/OASISUnixPath.ml" 146 3699 3728 "src/oasis/OASISUnixPath.ml" 146 3699 3729
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISUnixPath.ml" 146 3699 3730 "src/oasis/OASISUnixPath.ml" 146 3699 3731
type(
  int
)
"src/oasis/OASISUnixPath.ml" 146 3699 3710 "src/oasis/OASISUnixPath.ml" 146 3699 3731
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 148 3753 3765 "src/oasis/OASISUnixPath.ml" 148 3753 3780
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUnixPath.ml" 148 3753 3781 "src/oasis/OASISUnixPath.ml" 148 3753 3784
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 148 3753 3785 "src/oasis/OASISUnixPath.ml" 148 3753 3788
type(
  char
)
"src/oasis/OASISUnixPath.ml" 148 3753 3765 "src/oasis/OASISUnixPath.ml" 148 3753 3788
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 149 3790 3802 "src/oasis/OASISUnixPath.ml" 149 3790 3819
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/oasis/OASISUnixPath.ml" 149 3790 3820 "src/oasis/OASISUnixPath.ml" 149 3790 3823
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 149 3790 3824 "src/oasis/OASISUnixPath.ml" 149 3790 3840
type(
  string
)
ident(
  int_ref current_dir_name "src/oasis/OASISUnixPath.ml" 32 1817 1821 "src/oasis/OASISUnixPath.ml" 32 1817 1837
)
"src/oasis/OASISUnixPath.ml" 149 3790 3802 "src/oasis/OASISUnixPath.ml" 149 3790 3840
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 147 3737 3747 "src/oasis/OASISUnixPath.ml" 150 3841 3854
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 146 3699 3707 "src/oasis/OASISUnixPath.ml" 150 3841 3854
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 152 3856 3864 "src/oasis/OASISUnixPath.ml" 152 3856 3874
type(
  'c
)
"src/oasis/OASISUnixPath.ml" 153 3878 3889 "src/oasis/OASISUnixPath.ml" 153 3878 3902
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISUnixPath.ml" 153 3878 3903 "src/oasis/OASISUnixPath.ml" 153 3878 3906
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 153 3878 3889 "src/oasis/OASISUnixPath.ml" 153 3878 3906
type(
  int
)
"src/oasis/OASISUnixPath.ml" 153 3878 3907 "src/oasis/OASISUnixPath.ml" 153 3878 3908
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISUnixPath.ml" 153 3878 3909 "src/oasis/OASISUnixPath.ml" 153 3878 3910
type(
  int
)
"src/oasis/OASISUnixPath.ml" 153 3878 3889 "src/oasis/OASISUnixPath.ml" 153 3878 3910
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 154 3916 3926 "src/oasis/OASISUnixPath.ml" 154 3916 3941
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUnixPath.ml" 154 3916 3942 "src/oasis/OASISUnixPath.ml" 154 3916 3945
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 154 3916 3946 "src/oasis/OASISUnixPath.ml" 154 3916 3949
type(
  char
)
"src/oasis/OASISUnixPath.ml" 154 3916 3926 "src/oasis/OASISUnixPath.ml" 154 3916 3949
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 153 3878 3886 "src/oasis/OASISUnixPath.ml" 154 3916 3949
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 155 3951 3959 "src/oasis/OASISUnixPath.ml" 155 3951 3976
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/oasis/OASISUnixPath.ml" 155 3951 3977 "src/oasis/OASISUnixPath.ml" 155 3951 3980
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 155 3951 3981 "src/oasis/OASISUnixPath.ml" 155 3951 3996
type(
  string
)
ident(
  int_ref parent_dir_name "src/oasis/OASISUnixPath.ml" 35 1846 1850 "src/oasis/OASISUnixPath.ml" 35 1846 1865
)
"src/oasis/OASISUnixPath.ml" 155 3951 3959 "src/oasis/OASISUnixPath.ml" 155 3951 3996
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 153 3878 3886 "src/oasis/OASISUnixPath.ml" 155 3951 3996
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 137 3466 3470 "src/oasis/OASISUnixPath.ml" 155 3951 3997
type(
  'c -> unit
)
"src/oasis/OASISUnixPath.ml" 156 3998 4002 "src/oasis/OASISUnixPath.ml" 156 3998 4005
type(
  'c list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 134 3395 3416 "src/oasis/OASISUnixPath.ml" 134 3395 3419
)
"src/oasis/OASISUnixPath.ml" 136 3454 3456 "src/oasis/OASISUnixPath.ml" 156 3998 4005
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 157 4007 4009 "src/oasis/OASISUnixPath.ml" 157 4007 4024
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISUnixPath.ml" 157 4007 4025 "src/oasis/OASISUnixPath.ml" 157 4007 4028
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUnixPath.ml" 135 3422 3428 "src/oasis/OASISUnixPath.ml" 135 3422 3431
)
"src/oasis/OASISUnixPath.ml" 157 4007 4009 "src/oasis/OASISUnixPath.ml" 157 4007 4028
type(
  string
)
"src/oasis/OASISUnixPath.ml" 136 3454 3456 "src/oasis/OASISUnixPath.ml" 157 4007 4028
type(
  string
)
"src/oasis/OASISUnixPath.ml" 135 3422 3424 "src/oasis/OASISUnixPath.ml" 157 4007 4028
type(
  string
)
"src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def fn_norm "src/oasis/OASISUnixPath.ml" 163 4094 4094 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 160 4031 4043 "src/oasis/OASISUnixPath.ml" 160 4031 4045
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 160 4031 4048 "src/oasis/OASISUnixPath.ml" 160 4031 4091
)
"src/oasis/OASISUnixPath.ml" 160 4031 4048 "src/oasis/OASISUnixPath.ml" 160 4031 4057
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/OASISUnixPath.ml" 160 4031 4058 "src/oasis/OASISUnixPath.ml" 160 4031 4060
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 160 4031 4062 "src/oasis/OASISUnixPath.ml" 160 4031 4071
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/OASISUnixPath.ml" 160 4031 4081 "src/oasis/OASISUnixPath.ml" 160 4031 4087
type(
  string
)
type(
  string option
)
"src/oasis/OASISUnixPath.ml" 160 4031 4088 "src/oasis/OASISUnixPath.ml" 160 4031 4090
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 160 4031 4043 "src/oasis/OASISUnixPath.ml" 160 4031 4045
)
"src/oasis/OASISUnixPath.ml" 160 4031 4061 "src/oasis/OASISUnixPath.ml" 160 4031 4091
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 160 4031 4048 "src/oasis/OASISUnixPath.ml" 160 4031 4091
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 163 4094 4098 "src/oasis/OASISUnixPath.ml" 163 4094 4104
type(
  string -> string
)
ident(
  def reduce "src/oasis/OASISUnixPath.ml" 166 4142 4142 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 163 4094 4105 "src/oasis/OASISUnixPath.ml" 163 4094 4107
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 163 4094 4110 "src/oasis/OASISUnixPath.ml" 163 4094 4139
)
"src/oasis/OASISUnixPath.ml" 163 4094 4110 "src/oasis/OASISUnixPath.ml" 163 4094 4126
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> string
)
ident(
  int_ref filename_of_list "src/oasis/OASISUnixPath.ml" 134 3395 3399 "src/oasis/OASISUnixPath.ml" 134 3395 3415
)
"src/oasis/OASISUnixPath.ml" 163 4094 4128 "src/oasis/OASISUnixPath.ml" 163 4094 4135
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
)
"src/oasis/OASISUnixPath.ml" 163 4094 4136 "src/oasis/OASISUnixPath.ml" 163 4094 4138
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 163 4094 4105 "src/oasis/OASISUnixPath.ml" 163 4094 4107
)
"src/oasis/OASISUnixPath.ml" 163 4094 4127 "src/oasis/OASISUnixPath.ml" 163 4094 4139
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 163 4094 4110 "src/oasis/OASISUnixPath.ml" 163 4094 4139
type(
  string
)
"src/oasis/OASISUnixPath.ml" 166 4142 4146 "src/oasis/OASISUnixPath.ml" 166 4142 4159
type(
  string -> string -> string
)
ident(
  def make_relative "src/oasis/OASISUnixPath.ml" 238 6099 6099 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 166 4142 4160 "src/oasis/OASISUnixPath.ml" 166 4142 4167
type(
  string
)
ident(
  def fn_root "src/oasis/OASISUnixPath.ml" 166 4142 4168 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 166 4142 4168 "src/oasis/OASISUnixPath.ml" 166 4142 4170
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 168 4215 4217 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 168 4215 4221 "src/oasis/OASISUnixPath.ml" 168 4215 4229
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def lst_root "src/oasis/OASISUnixPath.ml" 169 4251 4253 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 168 4215 4232 "src/oasis/OASISUnixPath.ml" 168 4215 4239
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
)
"src/oasis/OASISUnixPath.ml" 168 4215 4240 "src/oasis/OASISUnixPath.ml" 168 4215 4247
type(
  string
)
ident(
  int_ref fn_root "src/oasis/OASISUnixPath.ml" 166 4142 4160 "src/oasis/OASISUnixPath.ml" 166 4142 4167
)
"src/oasis/OASISUnixPath.ml" 168 4215 4232 "src/oasis/OASISUnixPath.ml" 168 4215 4247
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 169 4251 4257 "src/oasis/OASISUnixPath.ml" 169 4251 4260
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def lst "src/oasis/OASISUnixPath.ml" 170 4277 4279 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 169 4251 4263 "src/oasis/OASISUnixPath.ml" 169 4251 4270
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
)
"src/oasis/OASISUnixPath.ml" 169 4251 4271 "src/oasis/OASISUnixPath.ml" 169 4251 4273
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 166 4142 4168 "src/oasis/OASISUnixPath.ml" 166 4142 4170
)
"src/oasis/OASISUnixPath.ml" 169 4251 4263 "src/oasis/OASISUnixPath.ml" 169 4251 4273
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 170 4277 4283 "src/oasis/OASISUnixPath.ml" 170 4277 4301
type(
  OASISUtils.SetString.t
)
ident(
  def existing_component "src/oasis/OASISUnixPath.ml" 184 4666 4668 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 171 4304 4308 "src/oasis/OASISUnixPath.ml" 171 4304 4322
type(
  (OASISUtils.SetString.t ->
   [ `Component of OASISUtils.SetString.elt
   | `CurrentDir
   | `ParentDir
   | `Root of string
   | `RootRelative of string ] -> OASISUtils.SetString.t) ->
  OASISUtils.SetString.t ->
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> OASISUtils.SetString.t
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISUnixPath.ml" 172 4323 4334 "src/oasis/OASISUnixPath.ml" 172 4323 4337
type(
  OASISUtils.SetString.t
)
ident(
  def acc "src/oasis/OASISUnixPath.ml" 173 4341 4350 "src/oasis/OASISUnixPath.ml" 175 4412 4433
)
"src/oasis/OASISUnixPath.ml" 174 4359 4383 "src/oasis/OASISUnixPath.ml" 174 4359 4386
type(
  OASISUtils.SetString.elt
)
ident(
  def str "src/oasis/OASISUnixPath.ml" 174 4359 4390 "src/oasis/OASISUnixPath.ml" 174 4359 4411
)
"src/oasis/OASISUnixPath.ml" 174 4359 4372 "src/oasis/OASISUnixPath.ml" 174 4359 4386
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISUnixPath.ml" 174 4359 4390 "src/oasis/OASISUnixPath.ml" 174 4359 4403
type(
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.t -> OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.add "set.mli" 83 3129 3133 "set.mli" 83 3129 3155
)
"src/oasis/OASISUnixPath.ml" 174 4359 4404 "src/oasis/OASISUnixPath.ml" 174 4359 4407
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref str "src/oasis/OASISUnixPath.ml" 174 4359 4383 "src/oasis/OASISUnixPath.ml" 174 4359 4386
)
"src/oasis/OASISUnixPath.ml" 174 4359 4408 "src/oasis/OASISUnixPath.ml" 174 4359 4411
type(
  OASISUtils.SetString.t
)
ident(
  int_ref acc "src/oasis/OASISUnixPath.ml" 172 4323 4334 "src/oasis/OASISUnixPath.ml" 172 4323 4337
)
"src/oasis/OASISUnixPath.ml" 174 4359 4390 "src/oasis/OASISUnixPath.ml" 174 4359 4411
type(
  OASISUtils.SetString.t
)
"src/oasis/OASISUnixPath.ml" 175 4412 4425 "src/oasis/OASISUnixPath.ml" 175 4412 4426
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISUnixPath.ml" 175 4412 4430 "src/oasis/OASISUnixPath.ml" 175 4412 4433
type(
  OASISUtils.SetString.t
)
ident(
  int_ref acc "src/oasis/OASISUnixPath.ml" 172 4323 4334 "src/oasis/OASISUnixPath.ml" 172 4323 4337
)
"src/oasis/OASISUnixPath.ml" 173 4341 4350 "src/oasis/OASISUnixPath.ml" 175 4412 4433
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] -> OASISUtils.SetString.t
)
"src/oasis/OASISUnixPath.ml" 172 4323 4329 "src/oasis/OASISUnixPath.ml" 175 4412 4434
type(
  OASISUtils.SetString.t ->
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] -> OASISUtils.SetString.t
)
"src/oasis/OASISUnixPath.ml" 176 4435 4441 "src/oasis/OASISUnixPath.ml" 176 4435 4456
type(
  OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.empty "set.mli" 74 2915 2919 "set.mli" 74 2915 2931
)
"src/oasis/OASISUnixPath.ml" 177 4457 4464 "src/oasis/OASISUnixPath.ml" 177 4457 4479
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref Stdlib.List.rev_append "list.mli" 105 3970 3970 "list.mli" 105 3970 4016
)
"src/oasis/OASISUnixPath.ml" 177 4457 4480 "src/oasis/OASISUnixPath.ml" 177 4457 4488
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst_root "src/oasis/OASISUnixPath.ml" 168 4215 4221 "src/oasis/OASISUnixPath.ml" 168 4215 4229
)
"src/oasis/OASISUnixPath.ml" 177 4457 4489 "src/oasis/OASISUnixPath.ml" 177 4457 4492
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 169 4251 4257 "src/oasis/OASISUnixPath.ml" 169 4251 4260
)
"src/oasis/OASISUnixPath.ml" 177 4457 4463 "src/oasis/OASISUnixPath.ml" 177 4457 4493
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 171 4304 4308 "src/oasis/OASISUnixPath.ml" 177 4457 4493
type(
  OASISUtils.SetString.t
)
"src/oasis/OASISUnixPath.ml" 184 4666 4672 "src/oasis/OASISUnixPath.ml" 184 4666 4681
type(
  string
)
ident(
  def fake_root "src/oasis/OASISUnixPath.ml" 202 5138 5140 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 185 4684 4692 "src/oasis/OASISUnixPath.ml" 185 4684 4699
type(
  int
)
ident(
  def abs_len "src/oasis/OASISUnixPath.ml" 188 4765 4769 "src/oasis/OASISUnixPath.ml" 197 4985 5063
)
"src/oasis/OASISUnixPath.ml" 186 4702 4708 "src/oasis/OASISUnixPath.ml" 186 4702 4711
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.max "stdlib.mli" 186 7963 7963 "stdlib.mli" 186 7963 7987
)
"src/oasis/OASISUnixPath.ml" 186 4702 4713 "src/oasis/OASISUnixPath.ml" 186 4702 4724
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> int
)
ident(
  int_ref Stdlib.List.length "list.mli" 43 2033 2033 "list.mli" 43 2033 2060
)
"src/oasis/OASISUnixPath.ml" 186 4702 4725 "src/oasis/OASISUnixPath.ml" 186 4702 4733
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst_root "src/oasis/OASISUnixPath.ml" 168 4215 4221 "src/oasis/OASISUnixPath.ml" 168 4215 4229
)
"src/oasis/OASISUnixPath.ml" 186 4702 4712 "src/oasis/OASISUnixPath.ml" 186 4702 4734
type(
  int
)
"src/oasis/OASISUnixPath.ml" 186 4702 4737 "src/oasis/OASISUnixPath.ml" 186 4702 4748
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> int
)
ident(
  int_ref Stdlib.List.length "list.mli" 43 2033 2033 "list.mli" 43 2033 2060
)
"src/oasis/OASISUnixPath.ml" 186 4702 4749 "src/oasis/OASISUnixPath.ml" 186 4702 4752
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 169 4251 4257 "src/oasis/OASISUnixPath.ml" 169 4251 4260
)
"src/oasis/OASISUnixPath.ml" 186 4702 4736 "src/oasis/OASISUnixPath.ml" 186 4702 4753
type(
  int
)
"src/oasis/OASISUnixPath.ml" 186 4702 4708 "src/oasis/OASISUnixPath.ml" 186 4702 4753
type(
  int
)
"src/oasis/OASISUnixPath.ml" 186 4702 4754 "src/oasis/OASISUnixPath.ml" 186 4702 4755
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISUnixPath.ml" 186 4702 4756 "src/oasis/OASISUnixPath.ml" 186 4702 4757
type(
  int
)
"src/oasis/OASISUnixPath.ml" 186 4702 4708 "src/oasis/OASISUnixPath.ml" 186 4702 4757
type(
  int
)
"src/oasis/OASISUnixPath.ml" 188 4765 4773 "src/oasis/OASISUnixPath.ml" 188 4765 4776
type(
  int ref
)
ident(
  def idx "src/oasis/OASISUnixPath.ml" 189 4788 4792 "src/oasis/OASISUnixPath.ml" 197 4985 5063
)
"src/oasis/OASISUnixPath.ml" 188 4765 4779 "src/oasis/OASISUnixPath.ml" 188 4765 4782
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISUnixPath.ml" 188 4765 4783 "src/oasis/OASISUnixPath.ml" 188 4765 4784
type(
  int
)
"src/oasis/OASISUnixPath.ml" 188 4765 4779 "src/oasis/OASISUnixPath.ml" 188 4765 4784
type(
  int ref
)
"src/oasis/OASISUnixPath.ml" 189 4788 4800 "src/oasis/OASISUnixPath.ml" 189 4788 4808
type(
  'a -> [> `Component of string ]
)
ident(
  def cpt_uniq "src/oasis/OASISUnixPath.ml" 189 4788 4792 "src/oasis/OASISUnixPath.ml" 197 4985 5063
)
"src/oasis/OASISUnixPath.ml" 189 4788 4809 "src/oasis/OASISUnixPath.ml" 189 4788 4810
type(
  'a
)
ident(
  def i "src/oasis/OASISUnixPath.ml" 190 4813 4819 "src/oasis/OASISUnixPath.ml" 195 4955 4977
)
"src/oasis/OASISUnixPath.ml" 190 4813 4823 "src/oasis/OASISUnixPath.ml" 190 4813 4826
type(
  string
)
ident(
  def cpt "src/oasis/OASISUnixPath.ml" 191 4858 4864 "src/oasis/OASISUnixPath.ml" 195 4955 4977
)
"src/oasis/OASISUnixPath.ml" 190 4813 4829 "src/oasis/OASISUnixPath.ml" 190 4813 4843
type(
  (int -> string, unit, string) format -> int -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISUnixPath.ml" 190 4813 4844 "src/oasis/OASISUnixPath.ml" 190 4813 4849
type(
  (int -> string, unit, string) format
)
"src/oasis/OASISUnixPath.ml" 190 4813 4850 "src/oasis/OASISUnixPath.ml" 190 4813 4851
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISUnixPath.ml" 190 4813 4851 "src/oasis/OASISUnixPath.ml" 190 4813 4854
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISUnixPath.ml" 188 4765 4773 "src/oasis/OASISUnixPath.ml" 188 4765 4776
)
"src/oasis/OASISUnixPath.ml" 190 4813 4850 "src/oasis/OASISUnixPath.ml" 190 4813 4854
type(
  int
)
"src/oasis/OASISUnixPath.ml" 190 4813 4829 "src/oasis/OASISUnixPath.ml" 190 4813 4854
type(
  string
)
"src/oasis/OASISUnixPath.ml" 191 4858 4864 "src/oasis/OASISUnixPath.ml" 191 4858 4868
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISUnixPath.ml" 191 4858 4869 "src/oasis/OASISUnixPath.ml" 191 4858 4872
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISUnixPath.ml" 188 4765 4773 "src/oasis/OASISUnixPath.ml" 188 4765 4776
)
"src/oasis/OASISUnixPath.ml" 191 4858 4864 "src/oasis/OASISUnixPath.ml" 191 4858 4872
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 192 4874 4883 "src/oasis/OASISUnixPath.ml" 192 4874 4896
type(
  OASISUtils.SetString.elt -> OASISUtils.SetString.t -> bool
)
ident(
  int_ref OASISUtils.SetString.mem "set.mli" 80 3035 3039 "set.mli" 80 3035 3064
)
"src/oasis/OASISUnixPath.ml" 192 4874 4897 "src/oasis/OASISUnixPath.ml" 192 4874 4900
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref cpt "src/oasis/OASISUnixPath.ml" 190 4813 4823 "src/oasis/OASISUnixPath.ml" 190 4813 4826
)
"src/oasis/OASISUnixPath.ml" 192 4874 4901 "src/oasis/OASISUnixPath.ml" 192 4874 4919
type(
  OASISUtils.SetString.t
)
ident(
  int_ref existing_component "src/oasis/OASISUnixPath.ml" 170 4277 4283 "src/oasis/OASISUnixPath.ml" 170 4277 4301
)
"src/oasis/OASISUnixPath.ml" 192 4874 4883 "src/oasis/OASISUnixPath.ml" 192 4874 4919
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 193 4925 4933 "src/oasis/OASISUnixPath.ml" 193 4925 4941
type(
  'a -> ([> `Component of string ] as 'b)
)
ident(
  int_ref cpt_uniq "src/oasis/OASISUnixPath.ml" 189 4788 4800 "src/oasis/OASISUnixPath.ml" 189 4788 4808
)
"src/oasis/OASISUnixPath.ml" 193 4925 4942 "src/oasis/OASISUnixPath.ml" 193 4925 4943
type(
  'a
)
ident(
  int_ref i "src/oasis/OASISUnixPath.ml" 189 4788 4809 "src/oasis/OASISUnixPath.ml" 189 4788 4810
)
"src/oasis/OASISUnixPath.ml" 193 4925 4933 "src/oasis/OASISUnixPath.ml" 193 4925 4943
type(
  'b
)
"src/oasis/OASISUnixPath.ml" 195 4955 4974 "src/oasis/OASISUnixPath.ml" 195 4955 4977
type(
  string
)
ident(
  int_ref cpt "src/oasis/OASISUnixPath.ml" 190 4813 4823 "src/oasis/OASISUnixPath.ml" 190 4813 4826
)
"src/oasis/OASISUnixPath.ml" 195 4955 4963 "src/oasis/OASISUnixPath.ml" 195 4955 4977
type(
  'b
)
"src/oasis/OASISUnixPath.ml" 192 4874 4880 "src/oasis/OASISUnixPath.ml" 195 4955 4977
type(
  'b
)
"src/oasis/OASISUnixPath.ml" 191 4858 4864 "src/oasis/OASISUnixPath.ml" 195 4955 4977
type(
  'b
)
"src/oasis/OASISUnixPath.ml" 190 4813 4819 "src/oasis/OASISUnixPath.ml" 195 4955 4977
type(
  'b
)
"src/oasis/OASISUnixPath.ml" 197 4985 4989 "src/oasis/OASISUnixPath.ml" 197 4985 5005
type(
  _[< `Component of string
    | `CurrentDir
    | `ParentDir
    | `Root of string
    | `RootRelative of '_weak1
    > `Component `Root ]
  list -> string
)
ident(
  int_ref filename_of_list "src/oasis/OASISUnixPath.ml" 134 3395 3399 "src/oasis/OASISUnixPath.ml" 134 3395 3415
)
"src/oasis/OASISUnixPath.ml" 197 4985 5013 "src/oasis/OASISUnixPath.ml" 197 4985 5015
type(
  string
)
"src/oasis/OASISUnixPath.ml" 197 4985 5007 "src/oasis/OASISUnixPath.ml" 197 4985 5015
type(
  _[< `Component of string
    | `CurrentDir
    | `ParentDir
    | `Root of string
    | `RootRelative of '_weak1
    > `Component `Root ]
  as 'c
)
"src/oasis/OASISUnixPath.ml" 197 4985 5019 "src/oasis/OASISUnixPath.ml" 197 4985 5032
type(
  'c array -> 'c list
)
ident(
  int_ref Stdlib.Array.to_list "array.mli" 150 6222 6222 "array.mli" 150 6222 6255
)
"src/oasis/OASISUnixPath.ml" 197 4985 5034 "src/oasis/OASISUnixPath.ml" 197 4985 5044
type(
  int -> (int -> 'c) -> 'c array
)
ident(
  int_ref Stdlib.Array.init "array.mli" 80 3394 3394 "array.mli" 80 3394 3435
)
"src/oasis/OASISUnixPath.ml" 197 4985 5045 "src/oasis/OASISUnixPath.ml" 197 4985 5052
type(
  int
)
ident(
  int_ref abs_len "src/oasis/OASISUnixPath.ml" 185 4684 4692 "src/oasis/OASISUnixPath.ml" 185 4684 4699
)
"src/oasis/OASISUnixPath.ml" 197 4985 5053 "src/oasis/OASISUnixPath.ml" 197 4985 5061
type(
  int -> 'c
)
ident(
  int_ref cpt_uniq "src/oasis/OASISUnixPath.ml" 189 4788 4800 "src/oasis/OASISUnixPath.ml" 189 4788 4808
)
"src/oasis/OASISUnixPath.ml" 197 4985 5033 "src/oasis/OASISUnixPath.ml" 197 4985 5062
type(
  'c array
)
"src/oasis/OASISUnixPath.ml" 197 4985 5019 "src/oasis/OASISUnixPath.ml" 197 4985 5062
type(
  'c list
)
"src/oasis/OASISUnixPath.ml" 197 4985 5006 "src/oasis/OASISUnixPath.ml" 197 4985 5063
type(
  'c list
)
"src/oasis/OASISUnixPath.ml" 197 4985 4989 "src/oasis/OASISUnixPath.ml" 197 4985 5063
type(
  string
)
"src/oasis/OASISUnixPath.ml" 189 4788 4792 "src/oasis/OASISUnixPath.ml" 197 4985 5063
type(
  string
)
"src/oasis/OASISUnixPath.ml" 188 4765 4769 "src/oasis/OASISUnixPath.ml" 197 4985 5063
type(
  string
)
"src/oasis/OASISUnixPath.ml" 185 4684 4688 "src/oasis/OASISUnixPath.ml" 197 4985 5063
type(
  string
)
"src/oasis/OASISUnixPath.ml" 202 5138 5144 "src/oasis/OASISUnixPath.ml" 202 5138 5157
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def make_absolute "src/oasis/OASISUnixPath.ml" 208 5263 5265 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 202 5138 5158 "src/oasis/OASISUnixPath.ml" 202 5138 5161
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def lst "src/oasis/OASISUnixPath.ml" 202 5138 5162 "src/oasis/OASISUnixPath.ml" 205 5214 5256
)
"src/oasis/OASISUnixPath.ml" 202 5138 5162 "src/oasis/OASISUnixPath.ml" 202 5138 5164
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 203 5167 5171 "src/oasis/OASISUnixPath.ml" 205 5214 5256
)
"src/oasis/OASISUnixPath.ml" 203 5167 5177 "src/oasis/OASISUnixPath.ml" 203 5167 5180
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 202 5138 5158 "src/oasis/OASISUnixPath.ml" 202 5138 5161
)
"src/oasis/OASISUnixPath.ml" 204 5186 5200 "src/oasis/OASISUnixPath.ml" 204 5186 5201
type(
  string
)
"src/oasis/OASISUnixPath.ml" 204 5186 5194 "src/oasis/OASISUnixPath.ml" 204 5186 5201
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISUnixPath.ml" 204 5186 5205 "src/oasis/OASISUnixPath.ml" 204 5186 5206
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 204 5186 5194 "src/oasis/OASISUnixPath.ml" 204 5186 5206
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/OASISUnixPath.ml" 204 5186 5210 "src/oasis/OASISUnixPath.ml" 204 5186 5213
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 202 5138 5158 "src/oasis/OASISUnixPath.ml" 202 5138 5161
)
"src/oasis/OASISUnixPath.ml" 205 5214 5222 "src/oasis/OASISUnixPath.ml" 205 5214 5223
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/OASISUnixPath.ml" 205 5214 5227 "src/oasis/OASISUnixPath.ml" 205 5214 5234
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
)
"src/oasis/OASISUnixPath.ml" 205 5214 5236 "src/oasis/OASISUnixPath.ml" 205 5214 5242
type(
  string -> string -> string
)
ident(
  int_ref concat "src/oasis/OASISUnixPath.ml" 42 1936 1940 "src/oasis/OASISUnixPath.ml" 42 1936 1946
)
"src/oasis/OASISUnixPath.ml" 205 5214 5243 "src/oasis/OASISUnixPath.ml" 205 5214 5252
type(
  string
)
ident(
  int_ref fake_root "src/oasis/OASISUnixPath.ml" 184 4666 4672 "src/oasis/OASISUnixPath.ml" 184 4666 4681
)
"src/oasis/OASISUnixPath.ml" 205 5214 5253 "src/oasis/OASISUnixPath.ml" 205 5214 5255
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 202 5138 5162 "src/oasis/OASISUnixPath.ml" 202 5138 5164
)
"src/oasis/OASISUnixPath.ml" 205 5214 5235 "src/oasis/OASISUnixPath.ml" 205 5214 5256
type(
  string
)
"src/oasis/OASISUnixPath.ml" 205 5214 5227 "src/oasis/OASISUnixPath.ml" 205 5214 5256
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 203 5167 5171 "src/oasis/OASISUnixPath.ml" 205 5214 5256
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 208 5263 5269 "src/oasis/OASISUnixPath.ml" 208 5263 5281
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def abs_lst_root "src/oasis/OASISUnixPath.ml" 209 5318 5320 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 208 5263 5284 "src/oasis/OASISUnixPath.ml" 208 5263 5297
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref make_absolute "src/oasis/OASISUnixPath.ml" 202 5138 5144 "src/oasis/OASISUnixPath.ml" 202 5138 5157
)
"src/oasis/OASISUnixPath.ml" 208 5263 5298 "src/oasis/OASISUnixPath.ml" 208 5263 5306
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst_root "src/oasis/OASISUnixPath.ml" 168 4215 4221 "src/oasis/OASISUnixPath.ml" 168 4215 4229
)
"src/oasis/OASISUnixPath.ml" 208 5263 5307 "src/oasis/OASISUnixPath.ml" 208 5263 5314
type(
  string
)
ident(
  int_ref fn_root "src/oasis/OASISUnixPath.ml" 166 4142 4160 "src/oasis/OASISUnixPath.ml" 166 4142 4167
)
"src/oasis/OASISUnixPath.ml" 208 5263 5284 "src/oasis/OASISUnixPath.ml" 208 5263 5314
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 209 5318 5324 "src/oasis/OASISUnixPath.ml" 209 5318 5331
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  def abs_lst "src/oasis/OASISUnixPath.ml" 212 5390 5392 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 209 5318 5334 "src/oasis/OASISUnixPath.ml" 209 5318 5347
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list ->
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref make_absolute "src/oasis/OASISUnixPath.ml" 202 5138 5144 "src/oasis/OASISUnixPath.ml" 202 5138 5157
)
"src/oasis/OASISUnixPath.ml" 209 5318 5348 "src/oasis/OASISUnixPath.ml" 209 5318 5351
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 169 4251 4257 "src/oasis/OASISUnixPath.ml" 169 4251 4260
)
"src/oasis/OASISUnixPath.ml" 209 5318 5352 "src/oasis/OASISUnixPath.ml" 209 5318 5354
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 166 4142 4168 "src/oasis/OASISUnixPath.ml" 166 4142 4170
)
"src/oasis/OASISUnixPath.ml" 209 5318 5334 "src/oasis/OASISUnixPath.ml" 209 5318 5354
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 212 5390 5400 "src/oasis/OASISUnixPath.ml" 212 5390 5414
type(
  ([> `ParentDir ] as 'd) list * 'd list -> 'd list
)
ident(
  def make_relative' "src/oasis/OASISUnixPath.ml" 212 5390 5392 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 214 5430 5438 "src/oasis/OASISUnixPath.ml" 214 5430 5445
type(
  'd
)
ident(
  def hd_root "src/oasis/OASISUnixPath.ml" 214 5430 5472 "src/oasis/OASISUnixPath.ml" 215 5488 5524
)
"src/oasis/OASISUnixPath.ml" 214 5430 5449 "src/oasis/OASISUnixPath.ml" 214 5430 5456
type(
  'd list
)
ident(
  def tl_root "src/oasis/OASISUnixPath.ml" 214 5430 5472 "src/oasis/OASISUnixPath.ml" 215 5488 5524
)
"src/oasis/OASISUnixPath.ml" 214 5430 5438 "src/oasis/OASISUnixPath.ml" 214 5430 5456
type(
  'd list
)
"src/oasis/OASISUnixPath.ml" 214 5430 5458 "src/oasis/OASISUnixPath.ml" 214 5430 5460
type(
  'd
)
ident(
  def hd "src/oasis/OASISUnixPath.ml" 214 5430 5472 "src/oasis/OASISUnixPath.ml" 215 5488 5524
)
"src/oasis/OASISUnixPath.ml" 214 5430 5464 "src/oasis/OASISUnixPath.ml" 214 5430 5466
type(
  'd list
)
ident(
  def tl "src/oasis/OASISUnixPath.ml" 214 5430 5472 "src/oasis/OASISUnixPath.ml" 215 5488 5524
)
"src/oasis/OASISUnixPath.ml" 214 5430 5458 "src/oasis/OASISUnixPath.ml" 214 5430 5466
type(
  'd list
)
"src/oasis/OASISUnixPath.ml" 214 5430 5438 "src/oasis/OASISUnixPath.ml" 214 5430 5466
type(
  'd list * 'd list
)
"src/oasis/OASISUnixPath.ml" 214 5430 5472 "src/oasis/OASISUnixPath.ml" 214 5430 5479
type(
  'd
)
ident(
  int_ref hd_root "src/oasis/OASISUnixPath.ml" 214 5430 5438 "src/oasis/OASISUnixPath.ml" 214 5430 5445
)
"src/oasis/OASISUnixPath.ml" 214 5430 5480 "src/oasis/OASISUnixPath.ml" 214 5430 5481
type(
  'd -> 'd -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUnixPath.ml" 214 5430 5482 "src/oasis/OASISUnixPath.ml" 214 5430 5484
type(
  'd
)
ident(
  int_ref hd "src/oasis/OASISUnixPath.ml" 214 5430 5458 "src/oasis/OASISUnixPath.ml" 214 5430 5460
)
"src/oasis/OASISUnixPath.ml" 214 5430 5472 "src/oasis/OASISUnixPath.ml" 214 5430 5484
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 215 5488 5496 "src/oasis/OASISUnixPath.ml" 215 5488 5510
type(
  'd list * 'd list -> 'd list
)
ident(
  int_ref make_relative' "src/oasis/OASISUnixPath.ml" 212 5390 5400 "src/oasis/OASISUnixPath.ml" 212 5390 5414
)
"src/oasis/OASISUnixPath.ml" 215 5488 5512 "src/oasis/OASISUnixPath.ml" 215 5488 5519
type(
  'd list
)
ident(
  int_ref tl_root "src/oasis/OASISUnixPath.ml" 214 5430 5449 "src/oasis/OASISUnixPath.ml" 214 5430 5456
)
"src/oasis/OASISUnixPath.ml" 215 5488 5521 "src/oasis/OASISUnixPath.ml" 215 5488 5523
type(
  'd list
)
ident(
  int_ref tl "src/oasis/OASISUnixPath.ml" 214 5430 5464 "src/oasis/OASISUnixPath.ml" 214 5430 5466
)
"src/oasis/OASISUnixPath.ml" 215 5488 5511 "src/oasis/OASISUnixPath.ml" 215 5488 5524
type(
  'd list * 'd list
)
"src/oasis/OASISUnixPath.ml" 215 5488 5496 "src/oasis/OASISUnixPath.ml" 215 5488 5524
type(
  'd list
)
"src/oasis/OASISUnixPath.ml" 216 5525 5533 "src/oasis/OASISUnixPath.ml" 216 5525 5541
type(
  'd list
)
ident(
  def lst_root "src/oasis/OASISUnixPath.ml" 217 5550 5558 "src/oasis/OASISUnixPath.ml" 218 5624 5650
)
"src/oasis/OASISUnixPath.ml" 216 5525 5543 "src/oasis/OASISUnixPath.ml" 216 5525 5546
type(
  'd list
)
ident(
  def lst "src/oasis/OASISUnixPath.ml" 217 5550 5558 "src/oasis/OASISUnixPath.ml" 218 5624 5650
)
"src/oasis/OASISUnixPath.ml" 216 5525 5533 "src/oasis/OASISUnixPath.ml" 216 5525 5546
type(
  'd list * 'd list
)
"src/oasis/OASISUnixPath.ml" 217 5550 5562 "src/oasis/OASISUnixPath.ml" 217 5550 5574
type(
  [> `ParentDir ] list
)
ident(
  def back_to_base "src/oasis/OASISUnixPath.ml" 218 5624 5632 "src/oasis/OASISUnixPath.ml" 218 5624 5650
)
"src/oasis/OASISUnixPath.ml" 217 5550 5577 "src/oasis/OASISUnixPath.ml" 217 5550 5589
type(
  ('d -> ([> `ParentDir ] as 'e)) -> 'd list -> 'e list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISUnixPath.ml" 217 5550 5595 "src/oasis/OASISUnixPath.ml" 217 5550 5596
type(
  'd
)
"src/oasis/OASISUnixPath.ml" 217 5550 5600 "src/oasis/OASISUnixPath.ml" 217 5550 5610
type(
  'e
)
"src/oasis/OASISUnixPath.ml" 217 5550 5590 "src/oasis/OASISUnixPath.ml" 217 5550 5611
type(
  'd -> 'e
)
"src/oasis/OASISUnixPath.ml" 217 5550 5612 "src/oasis/OASISUnixPath.ml" 217 5550 5620
type(
  'd list
)
ident(
  int_ref lst_root "src/oasis/OASISUnixPath.ml" 216 5525 5533 "src/oasis/OASISUnixPath.ml" 216 5525 5541
)
"src/oasis/OASISUnixPath.ml" 217 5550 5577 "src/oasis/OASISUnixPath.ml" 217 5550 5620
type(
  'e list
)
"src/oasis/OASISUnixPath.ml" 218 5624 5632 "src/oasis/OASISUnixPath.ml" 218 5624 5644
type(
  'd list
)
ident(
  int_ref back_to_base "src/oasis/OASISUnixPath.ml" 217 5550 5562 "src/oasis/OASISUnixPath.ml" 217 5550 5574
)
"src/oasis/OASISUnixPath.ml" 218 5624 5645 "src/oasis/OASISUnixPath.ml" 218 5624 5646
type(
  'd list -> 'd list -> 'd list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISUnixPath.ml" 218 5624 5647 "src/oasis/OASISUnixPath.ml" 218 5624 5650
type(
  'd list
)
ident(
  int_ref lst "src/oasis/OASISUnixPath.ml" 216 5525 5543 "src/oasis/OASISUnixPath.ml" 216 5525 5546
)
"src/oasis/OASISUnixPath.ml" 218 5624 5632 "src/oasis/OASISUnixPath.ml" 218 5624 5650
type(
  'd list
)
"src/oasis/OASISUnixPath.ml" 217 5550 5558 "src/oasis/OASISUnixPath.ml" 218 5624 5650
type(
  'd list
)
"src/oasis/OASISUnixPath.ml" 213 5417 5421 "src/oasis/OASISUnixPath.ml" 218 5624 5650
type(
  'd list * 'd list -> 'd list
)
"src/oasis/OASISUnixPath.ml" 220 5656 5662 "src/oasis/OASISUnixPath.ml" 220 5656 5665
type(
  string
)
ident(
  def res "src/oasis/OASISUnixPath.ml" 224 5772 5774 "src/oasis/OASISUnixPath.ml" 235 6091 6096
)
"src/oasis/OASISUnixPath.ml" 221 5668 5672 "src/oasis/OASISUnixPath.ml" 221 5668 5688
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> string
)
ident(
  int_ref filename_of_list "src/oasis/OASISUnixPath.ml" 134 3395 3399 "src/oasis/OASISUnixPath.ml" 134 3395 3415
)
"src/oasis/OASISUnixPath.ml" 221 5668 5690 "src/oasis/OASISUnixPath.ml" 221 5668 5699
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/OASISUnixPath.ml" 221 5668 5700 "src/oasis/OASISUnixPath.ml" 221 5668 5702
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 221 5668 5704 "src/oasis/OASISUnixPath.ml" 221 5668 5718
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 make_relative' "src/oasis/OASISUnixPath.ml" 212 5390 5400 "src/oasis/OASISUnixPath.ml" 212 5390 5414
)
"src/oasis/OASISUnixPath.ml" 221 5668 5720 "src/oasis/OASISUnixPath.ml" 221 5668 5732
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref abs_lst_root "src/oasis/OASISUnixPath.ml" 208 5263 5269 "src/oasis/OASISUnixPath.ml" 208 5263 5281
)
"src/oasis/OASISUnixPath.ml" 221 5668 5734 "src/oasis/OASISUnixPath.ml" 221 5668 5741
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref abs_lst "src/oasis/OASISUnixPath.ml" 209 5318 5324 "src/oasis/OASISUnixPath.ml" 209 5318 5331
)
"src/oasis/OASISUnixPath.ml" 221 5668 5719 "src/oasis/OASISUnixPath.ml" 221 5668 5742
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
)
"src/oasis/OASISUnixPath.ml" 221 5668 5703 "src/oasis/OASISUnixPath.ml" 221 5668 5743
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 221 5668 5689 "src/oasis/OASISUnixPath.ml" 221 5668 5744
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 221 5668 5672 "src/oasis/OASISUnixPath.ml" 221 5668 5744
type(
  string
)
"src/oasis/OASISUnixPath.ml" 224 5772 5774 "src/oasis/OASISUnixPath.ml" 224 5772 5783
type(
  ([ `Component of OASISUtils.SetString.elt
   | `CurrentDir
   | `ParentDir
   | `Root of string
   | `RootRelative of string ] -> unit) ->
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISUnixPath.ml" 226 5798 5817 "src/oasis/OASISUnixPath.ml" 226 5798 5820
type(
  OASISUtils.SetString.elt
)
ident(
  def str "src/oasis/OASISUnixPath.ml" 227 5824 5832 "src/oasis/OASISUnixPath.ml" 231 6020 6046
)
"src/oasis/OASISUnixPath.ml" 226 5798 5806 "src/oasis/OASISUnixPath.ml" 226 5798 5820
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISUnixPath.ml" 227 5824 5835 "src/oasis/OASISUnixPath.ml" 227 5824 5838
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISUnixPath.ml" 227 5824 5840 "src/oasis/OASISUnixPath.ml" 227 5824 5853
type(
  OASISUtils.SetString.elt -> OASISUtils.SetString.t -> bool
)
ident(
  int_ref OASISUtils.SetString.mem "set.mli" 80 3035 3039 "set.mli" 80 3035 3064
)
"src/oasis/OASISUnixPath.ml" 227 5824 5854 "src/oasis/OASISUnixPath.ml" 227 5824 5857
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref str "src/oasis/OASISUnixPath.ml" 226 5798 5817 "src/oasis/OASISUnixPath.ml" 226 5798 5820
)
"src/oasis/OASISUnixPath.ml" 227 5824 5858 "src/oasis/OASISUnixPath.ml" 227 5824 5876
type(
  OASISUtils.SetString.t
)
ident(
  int_ref existing_component "src/oasis/OASISUnixPath.ml" 170 4277 4283 "src/oasis/OASISUnixPath.ml" 170 4277 4301
)
"src/oasis/OASISUnixPath.ml" 227 5824 5839 "src/oasis/OASISUnixPath.ml" 227 5824 5877
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 227 5824 5835 "src/oasis/OASISUnixPath.ml" 227 5824 5877
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 228 5883 5893 "src/oasis/OASISUnixPath.ml" 228 5883 5913
type(
  (string -> string -> OASISUtils.SetString.elt -> unit, unit, string, unit)
  format4 -> string -> string -> OASISUtils.SetString.elt -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISUnixPath.ml" 229 5914 5926 "src/oasis/OASISUnixPath.ml" 230 5975 6019
type(
  (string -> string -> OASISUtils.SetString.elt -> unit, unit, string, unit)
  format4
)
"src/oasis/OASISUnixPath.ml" 231 6020 6032 "src/oasis/OASISUnixPath.ml" 231 6020 6039
type(
  string
)
ident(
  int_ref fn_root "src/oasis/OASISUnixPath.ml" 166 4142 4160 "src/oasis/OASISUnixPath.ml" 166 4142 4167
)
"src/oasis/OASISUnixPath.ml" 231 6020 6040 "src/oasis/OASISUnixPath.ml" 231 6020 6042
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 166 4142 4168 "src/oasis/OASISUnixPath.ml" 166 4142 4170
)
"src/oasis/OASISUnixPath.ml" 231 6020 6043 "src/oasis/OASISUnixPath.ml" 231 6020 6046
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref str "src/oasis/OASISUnixPath.ml" 226 5798 5817 "src/oasis/OASISUnixPath.ml" 226 5798 5820
)
"src/oasis/OASISUnixPath.ml" 228 5883 5893 "src/oasis/OASISUnixPath.ml" 231 6020 6046
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 227 5824 5832 "src/oasis/OASISUnixPath.ml" 231 6020 6046
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 232 6047 6055 "src/oasis/OASISUnixPath.ml" 232 6047 6056
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISUnixPath.ml" 233 6060 6068 "src/oasis/OASISUnixPath.ml" 233 6060 6070
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 225 5784 5788 "src/oasis/OASISUnixPath.ml" 233 6060 6071
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] -> unit
)
"src/oasis/OASISUnixPath.ml" 234 6072 6077 "src/oasis/OASISUnixPath.ml" 234 6072 6084
type(
  string ->
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
)
"src/oasis/OASISUnixPath.ml" 234 6072 6085 "src/oasis/OASISUnixPath.ml" 234 6072 6088
type(
  string
)
ident(
  int_ref res "src/oasis/OASISUnixPath.ml" 220 5656 5662 "src/oasis/OASISUnixPath.ml" 220 5656 5665
)
"src/oasis/OASISUnixPath.ml" 234 6072 6076 "src/oasis/OASISUnixPath.ml" 234 6072 6089
type(
  [ `Component of OASISUtils.SetString.elt
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 224 5772 5774 "src/oasis/OASISUnixPath.ml" 234 6072 6089
type(
  unit
)
"src/oasis/OASISUnixPath.ml" 235 6091 6093 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
ident(
  int_ref res "src/oasis/OASISUnixPath.ml" 220 5656 5662 "src/oasis/OASISUnixPath.ml" 220 5656 5665
)
"src/oasis/OASISUnixPath.ml" 224 5772 5774 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 220 5656 5658 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 212 5390 5392 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 209 5318 5320 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 208 5263 5265 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 202 5138 5140 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 184 4666 4668 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 170 4277 4279 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 169 4251 4253 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 168 4215 4217 "src/oasis/OASISUnixPath.ml" 235 6091 6096
type(
  string
)
"src/oasis/OASISUnixPath.ml" 238 6099 6103 "src/oasis/OASISUnixPath.ml" 238 6099 6113
type(
  string -> bool
)
ident(
  def is_current "src/oasis/OASISUnixPath.ml" 245 6213 6213 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 238 6099 6114 "src/oasis/OASISUnixPath.ml" 238 6099 6116
type(
  string
)
ident(
  def fn "src/oasis/OASISUnixPath.ml" 239 6119 6121 "src/oasis/OASISUnixPath.ml" 242 6178 6210
)
"src/oasis/OASISUnixPath.ml" 239 6119 6124 "src/oasis/OASISUnixPath.ml" 239 6119 6126
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 238 6099 6114 "src/oasis/OASISUnixPath.ml" 238 6099 6116
)
"src/oasis/OASISUnixPath.ml" 239 6119 6127 "src/oasis/OASISUnixPath.ml" 239 6119 6128
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUnixPath.ml" 239 6119 6129 "src/oasis/OASISUnixPath.ml" 239 6119 6145
type(
  string
)
ident(
  int_ref current_dir_name "src/oasis/OASISUnixPath.ml" 32 1817 1821 "src/oasis/OASISUnixPath.ml" 32 1817 1837
)
"src/oasis/OASISUnixPath.ml" 239 6119 6124 "src/oasis/OASISUnixPath.ml" 239 6119 6145
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 239 6119 6146 "src/oasis/OASISUnixPath.ml" 239 6119 6148
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUnixPath.ml" 239 6119 6149 "src/oasis/OASISUnixPath.ml" 239 6119 6151
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 238 6099 6114 "src/oasis/OASISUnixPath.ml" 238 6099 6116
)
"src/oasis/OASISUnixPath.ml" 239 6119 6152 "src/oasis/OASISUnixPath.ml" 239 6119 6153
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUnixPath.ml" 239 6119 6154 "src/oasis/OASISUnixPath.ml" 239 6119 6156
type(
  string
)
"src/oasis/OASISUnixPath.ml" 239 6119 6149 "src/oasis/OASISUnixPath.ml" 239 6119 6156
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 239 6119 6124 "src/oasis/OASISUnixPath.ml" 239 6119 6156
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 240 6162 6166 "src/oasis/OASISUnixPath.ml" 240 6162 6170
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 242 6178 6183 "src/oasis/OASISUnixPath.ml" 242 6178 6190
type(
  string ->
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
ident(
  int_ref fn_norm "src/oasis/OASISUnixPath.ml" 160 4031 4035 "src/oasis/OASISUnixPath.ml" 160 4031 4042
)
"src/oasis/OASISUnixPath.ml" 242 6178 6191 "src/oasis/OASISUnixPath.ml" 242 6178 6193
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUnixPath.ml" 238 6099 6114 "src/oasis/OASISUnixPath.ml" 238 6099 6116
)
"src/oasis/OASISUnixPath.ml" 242 6178 6182 "src/oasis/OASISUnixPath.ml" 242 6178 6194
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 242 6178 6195 "src/oasis/OASISUnixPath.ml" 242 6178 6196
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 -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUnixPath.ml" 242 6178 6198 "src/oasis/OASISUnixPath.ml" 242 6178 6209
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ]
)
"src/oasis/OASISUnixPath.ml" 242 6178 6197 "src/oasis/OASISUnixPath.ml" 242 6178 6210
type(
  [ `Component of string
  | `CurrentDir
  | `ParentDir
  | `Root of string
  | `RootRelative of string ] list
)
"src/oasis/OASISUnixPath.ml" 242 6178 6182 "src/oasis/OASISUnixPath.ml" 242 6178 6210
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 239 6119 6121 "src/oasis/OASISUnixPath.ml" 242 6178 6210
type(
  bool
)
"src/oasis/OASISUnixPath.ml" 245 6213 6220 "src/oasis/OASISUnixPath.ml" 245 6213 6223
ident(
  def Set "src/oasis/OASISUnixPath.ml" 250 6339 6345 "src/oasis/OASISUnixPath.ml" 0 0 -1
)
"src/oasis/OASISUnixPath.ml" 249 6276 6284 "src/oasis/OASISUnixPath.ml" 249 6276 6291
type(
  string -> string -> int
)
ident(
  def compare "src/oasis/OASISUnixPath.ml" 249 6276 6338 "src/oasis/OASISUnixPath.ml" 250 6339 6344
)
"src/oasis/OASISUnixPath.ml" 249 6276 6292 "src/oasis/OASISUnixPath.ml" 249 6276 6294
type(
  string
)
ident(
  def t1 "src/oasis/OASISUnixPath.ml" 249 6276 6295 "src/oasis/OASISUnixPath.ml" 249 6276 6338
)
"src/oasis/OASISUnixPath.ml" 249 6276 6295 "src/oasis/OASISUnixPath.ml" 249 6276 6297
type(
  string
)
ident(
  def t2 "src/oasis/OASISUnixPath.ml" 249 6276 6300 "src/oasis/OASISUnixPath.ml" 249 6276 6338
)
"src/oasis/OASISUnixPath.ml" 249 6276 6300 "src/oasis/OASISUnixPath.ml" 249 6276 6314
type(
  String.t -> String.t -> int
)
ident(
  int_ref Stdlib.String.compare "string.mli" 155 5690 5690 "string.mli" 155 5690 5717
)
"src/oasis/OASISUnixPath.ml" 249 6276 6316 "src/oasis/OASISUnixPath.ml" 249 6276 6322
type(
  string -> String.t
)
ident(
  int_ref reduce "src/oasis/OASISUnixPath.ml" 163 4094 4098 "src/oasis/OASISUnixPath.ml" 163 4094 4104
)
"src/oasis/OASISUnixPath.ml" 249 6276 6323 "src/oasis/OASISUnixPath.ml" 249 6276 6325
type(
  string
)
ident(
  int_ref t1 "src/oasis/OASISUnixPath.ml" 249 6276 6292 "src/oasis/OASISUnixPath.ml" 249 6276 6294
)
"src/oasis/OASISUnixPath.ml" 249 6276 6315 "src/oasis/OASISUnixPath.ml" 249 6276 6326
type(
  String.t
)
"src/oasis/OASISUnixPath.ml" 249 6276 6328 "src/oasis/OASISUnixPath.ml" 249 6276 6334
type(
  string -> String.t
)
ident(
  int_ref reduce "src/oasis/OASISUnixPath.ml" 163 4094 4098 "src/oasis/OASISUnixPath.ml" 163 4094 4104
)
"src/oasis/OASISUnixPath.ml" 249 6276 6335 "src/oasis/OASISUnixPath.ml" 249 6276 6337
type(
  string
)
ident(
  int_ref t2 "src/oasis/OASISUnixPath.ml" 249 6276 6295 "src/oasis/OASISUnixPath.ml" 249 6276 6297
)
"src/oasis/OASISUnixPath.ml" 249 6276 6327 "src/oasis/OASISUnixPath.ml" 249 6276 6338
type(
  String.t
)
"src/oasis/OASISUnixPath.ml" 249 6276 6300 "src/oasis/OASISUnixPath.ml" 249 6276 6338
type(
  int
)
