"src/oasis/OASISString.ml" 32 1847 1851 "src/oasis/OASISString.ml" 32 1847 1858
type(
  string -> (char -> bool) -> string list
)
ident(
  def nsplitf "src/oasis/OASISString.ml" 56 2341 2341 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 32 1847 1859 "src/oasis/OASISString.ml" 32 1847 1862
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 32 1847 1863 "src/oasis/OASISString.ml" 50 2229 2246
)
"src/oasis/OASISString.ml" 32 1847 1863 "src/oasis/OASISString.ml" 32 1847 1864
type(
  char -> bool
)
ident(
  def f "src/oasis/OASISString.ml" 33 1867 1869 "src/oasis/OASISString.ml" 50 2229 2246
)
"src/oasis/OASISString.ml" 33 1867 1872 "src/oasis/OASISString.ml" 33 1867 1875
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 32 1847 1859 "src/oasis/OASISString.ml" 32 1847 1862
)
"src/oasis/OASISString.ml" 33 1867 1876 "src/oasis/OASISString.ml" 33 1867 1877
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 33 1867 1878 "src/oasis/OASISString.ml" 33 1867 1880
type(
  string
)
"src/oasis/OASISString.ml" 33 1867 1872 "src/oasis/OASISString.ml" 33 1867 1880
type(
  bool
)
"src/oasis/OASISString.ml" 34 1886 1890 "src/oasis/OASISString.ml" 34 1886 1892
type(
  string list
)
"src/oasis/OASISString.ml" 36 1900 1908 "src/oasis/OASISString.ml" 36 1900 1911
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISString.ml" 37 1934 1938 "src/oasis/OASISString.ml" 50 2229 2246
)
"src/oasis/OASISString.ml" 36 1900 1914 "src/oasis/OASISString.ml" 36 1900 1927
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISString.ml" 36 1900 1928 "src/oasis/OASISString.ml" 36 1900 1930
type(
  int
)
"src/oasis/OASISString.ml" 36 1900 1914 "src/oasis/OASISString.ml" 36 1900 1930
type(
  Buffer.t
)
"src/oasis/OASISString.ml" 37 1934 1942 "src/oasis/OASISString.ml" 37 1934 1945
type(
  string list ref
)
ident(
  def lst "src/oasis/OASISString.ml" 38 1958 1962 "src/oasis/OASISString.ml" 50 2229 2246
)
"src/oasis/OASISString.ml" 37 1934 1948 "src/oasis/OASISString.ml" 37 1934 1951
type(
  string list -> string list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 37 1934 1952 "src/oasis/OASISString.ml" 37 1934 1954
type(
  string list
)
"src/oasis/OASISString.ml" 37 1934 1948 "src/oasis/OASISString.ml" 37 1934 1954
type(
  string list ref
)
"src/oasis/OASISString.ml" 38 1958 1966 "src/oasis/OASISString.ml" 38 1958 1970
type(
  unit -> unit
)
ident(
  def push "src/oasis/OASISString.ml" 42 2048 2052 "src/oasis/OASISString.ml" 50 2229 2246
)
"src/oasis/OASISString.ml" 38 1958 1971 "src/oasis/OASISString.ml" 38 1958 1973
type(
  unit
)
"src/oasis/OASISString.ml" 39 1976 1982 "src/oasis/OASISString.ml" 39 1976 1985
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 37 1934 1942 "src/oasis/OASISString.ml" 37 1934 1945
)
"src/oasis/OASISString.ml" 39 1976 1986 "src/oasis/OASISString.ml" 39 1976 1988
type(
  string list ref -> string list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 39 1976 1989 "src/oasis/OASISString.ml" 39 1976 2004
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISString.ml" 39 1976 2005 "src/oasis/OASISString.ml" 39 1976 2008
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 36 1900 1908 "src/oasis/OASISString.ml" 36 1900 1911
)
"src/oasis/OASISString.ml" 39 1976 1989 "src/oasis/OASISString.ml" 39 1976 2008
type(
  string
)
"src/oasis/OASISString.ml" 39 1976 2012 "src/oasis/OASISString.ml" 39 1976 2013
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 39 1976 2013 "src/oasis/OASISString.ml" 39 1976 2016
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 37 1934 1942 "src/oasis/OASISString.ml" 37 1934 1945
)
"src/oasis/OASISString.ml" 39 1976 2012 "src/oasis/OASISString.ml" 39 1976 2016
type(
  string list
)
"src/oasis/OASISString.ml" 39 1976 1989 "src/oasis/OASISString.ml" 39 1976 2016
type(
  string list
)
"src/oasis/OASISString.ml" 39 1976 1982 "src/oasis/OASISString.ml" 39 1976 2016
type(
  unit
)
"src/oasis/OASISString.ml" 40 2018 2024 "src/oasis/OASISString.ml" 40 2018 2036
type(
  Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.clear "buffer.mli" 83 3483 3483 "buffer.mli" 83 3483 3504
)
"src/oasis/OASISString.ml" 40 2018 2037 "src/oasis/OASISString.ml" 40 2018 2040
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 36 1900 1908 "src/oasis/OASISString.ml" 36 1900 1911
)
"src/oasis/OASISString.ml" 40 2018 2024 "src/oasis/OASISString.ml" 40 2018 2040
type(
  unit
)
"src/oasis/OASISString.ml" 39 1976 1982 "src/oasis/OASISString.ml" 40 2018 2040
type(
  unit
)
"src/oasis/OASISString.ml" 42 2048 2056 "src/oasis/OASISString.ml" 42 2048 2063
type(
  int
)
ident(
  def str_len "src/oasis/OASISString.ml" 43 2087 2091 "src/oasis/OASISString.ml" 50 2229 2246
)
"src/oasis/OASISString.ml" 42 2048 2066 "src/oasis/OASISString.ml" 42 2048 2079
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 42 2048 2080 "src/oasis/OASISString.ml" 42 2048 2083
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 32 1847 1859 "src/oasis/OASISString.ml" 32 1847 1862
)
"src/oasis/OASISString.ml" 42 2048 2066 "src/oasis/OASISString.ml" 42 2048 2083
type(
  int
)
"src/oasis/OASISString.ml" 43 2087 2099 "src/oasis/OASISString.ml" 43 2087 2100
type(
  int
)
"src/oasis/OASISString.ml" 43 2087 2104 "src/oasis/OASISString.ml" 43 2087 2111
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISString.ml" 42 2048 2056 "src/oasis/OASISString.ml" 42 2048 2063
)
"src/oasis/OASISString.ml" 43 2087 2112 "src/oasis/OASISString.ml" 43 2087 2113
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 43 2087 2114 "src/oasis/OASISString.ml" 43 2087 2115
type(
  int
)
"src/oasis/OASISString.ml" 43 2087 2104 "src/oasis/OASISString.ml" 43 2087 2115
type(
  int
)
"src/oasis/OASISString.ml" 44 2119 2128 "src/oasis/OASISString.ml" 44 2119 2129
type(
  char -> bool
)
ident(
  int_ref f "src/oasis/OASISString.ml" 32 1847 1863 "src/oasis/OASISString.ml" 32 1847 1864
)
"src/oasis/OASISString.ml" 44 2119 2130 "src/oasis/OASISString.ml" 44 2119 2133
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 32 1847 1859 "src/oasis/OASISString.ml" 32 1847 1862
)
"src/oasis/OASISString.ml" 44 2119 2135 "src/oasis/OASISString.ml" 44 2119 2136
type(
  int
)
ident(
  int_ref i "src/oasis/OASISString.ml" 43 2087 2091 "src/oasis/OASISString.ml" 48 2206 2214
)
"src/oasis/OASISString.ml" 44 2119 2130 "src/oasis/OASISString.ml" 44 2119 2137
type(
  char
)
"src/oasis/OASISString.ml" 44 2119 2128 "src/oasis/OASISString.ml" 44 2119 2137
type(
  bool
)
"src/oasis/OASISString.ml" 45 2143 2151 "src/oasis/OASISString.ml" 45 2143 2155
type(
  unit -> unit
)
ident(
  int_ref push "src/oasis/OASISString.ml" 38 1958 1966 "src/oasis/OASISString.ml" 38 1958 1970
)
"src/oasis/OASISString.ml" 45 2143 2156 "src/oasis/OASISString.ml" 45 2143 2158
type(
  unit
)
"src/oasis/OASISString.ml" 45 2143 2151 "src/oasis/OASISString.ml" 45 2143 2158
type(
  unit
)
"src/oasis/OASISString.ml" 47 2170 2178 "src/oasis/OASISString.ml" 47 2170 2193
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISString.ml" 47 2170 2194 "src/oasis/OASISString.ml" 47 2170 2197
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 36 1900 1908 "src/oasis/OASISString.ml" 36 1900 1911
)
"src/oasis/OASISString.ml" 47 2170 2198 "src/oasis/OASISString.ml" 47 2170 2201
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 32 1847 1859 "src/oasis/OASISString.ml" 32 1847 1862
)
"src/oasis/OASISString.ml" 47 2170 2203 "src/oasis/OASISString.ml" 47 2170 2204
type(
  int
)
ident(
  int_ref i "src/oasis/OASISString.ml" 43 2087 2091 "src/oasis/OASISString.ml" 48 2206 2214
)
"src/oasis/OASISString.ml" 47 2170 2198 "src/oasis/OASISString.ml" 47 2170 2205
type(
  char
)
"src/oasis/OASISString.ml" 47 2170 2178 "src/oasis/OASISString.ml" 47 2170 2205
type(
  unit
)
"src/oasis/OASISString.ml" 44 2119 2125 "src/oasis/OASISString.ml" 47 2170 2205
type(
  unit
)
"src/oasis/OASISString.ml" 43 2087 2091 "src/oasis/OASISString.ml" 48 2206 2214
type(
  unit
)
"src/oasis/OASISString.ml" 49 2216 2220 "src/oasis/OASISString.ml" 49 2216 2224
type(
  unit -> unit
)
ident(
  int_ref push "src/oasis/OASISString.ml" 38 1958 1966 "src/oasis/OASISString.ml" 38 1958 1970
)
"src/oasis/OASISString.ml" 49 2216 2225 "src/oasis/OASISString.ml" 49 2216 2227
type(
  unit
)
"src/oasis/OASISString.ml" 49 2216 2220 "src/oasis/OASISString.ml" 49 2216 2227
type(
  unit
)
"src/oasis/OASISString.ml" 50 2229 2233 "src/oasis/OASISString.ml" 50 2229 2241
type(
  string list -> string list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISString.ml" 50 2229 2242 "src/oasis/OASISString.ml" 50 2229 2243
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 50 2229 2243 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 37 1934 1942 "src/oasis/OASISString.ml" 37 1934 1945
)
"src/oasis/OASISString.ml" 50 2229 2242 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 50 2229 2233 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 49 2216 2220 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 43 2087 2091 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 42 2048 2052 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 38 1958 1962 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 37 1934 1938 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 36 1900 1904 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 33 1867 1869 "src/oasis/OASISString.ml" 50 2229 2246
type(
  string list
)
"src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
type(
  string -> char -> string list
)
ident(
  def nsplit "src/oasis/OASISString.ml" 60 2384 2384 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 56 2341 2352 "src/oasis/OASISString.ml" 56 2341 2355
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 56 2341 2356 "src/oasis/OASISString.ml" 57 2360 2381
)
"src/oasis/OASISString.ml" 56 2341 2356 "src/oasis/OASISString.ml" 56 2341 2357
type(
  char
)
ident(
  def c "src/oasis/OASISString.ml" 57 2360 2362 "src/oasis/OASISString.ml" 57 2360 2381
)
"src/oasis/OASISString.ml" 57 2360 2362 "src/oasis/OASISString.ml" 57 2360 2369
type(
  string -> (char -> bool) -> string list
)
ident(
  int_ref nsplitf "src/oasis/OASISString.ml" 32 1847 1851 "src/oasis/OASISString.ml" 32 1847 1858
)
"src/oasis/OASISString.ml" 57 2360 2370 "src/oasis/OASISString.ml" 57 2360 2373
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 56 2341 2352 "src/oasis/OASISString.ml" 56 2341 2355
)
"src/oasis/OASISString.ml" 57 2360 2375 "src/oasis/OASISString.ml" 57 2360 2378
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 57 2360 2379 "src/oasis/OASISString.ml" 57 2360 2380
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 56 2341 2356 "src/oasis/OASISString.ml" 56 2341 2357
)
"src/oasis/OASISString.ml" 57 2360 2374 "src/oasis/OASISString.ml" 57 2360 2381
type(
  char -> bool
)
"src/oasis/OASISString.ml" 57 2360 2362 "src/oasis/OASISString.ml" 57 2360 2381
type(
  string list
)
"src/oasis/OASISString.ml" 60 2384 2388 "src/oasis/OASISString.ml" 60 2384 2392
type(
  what:string -> ?offset:int -> string -> int
)
ident(
  def find "src/oasis/OASISString.ml" 77 2772 2772 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 60 2384 2394 "src/oasis/OASISString.ml" 60 2384 2398
type(
  string
)
ident(
  def what "src/oasis/OASISString.ml" 60 2384 2399 "src/oasis/OASISString.ml" 74 2745 2769
)
"src/oasis/OASISString.ml" 60 2384 2401 "src/oasis/OASISString.ml" 60 2384 2407
type(
  int
)
ident(
  def offset "src/oasis/OASISString.ml" 60 2384 2411 "src/oasis/OASISString.ml" 74 2745 2769
)
"src/oasis/OASISString.ml" 60 2384 2408 "src/oasis/OASISString.ml" 60 2384 2409
type(
  int
)
type(
  int option
)
type(
  int option
)
type(
  int
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 60 2384 2408 "src/oasis/OASISString.ml" 60 2384 2409
)
type(
  int
)
type(
  int option
)
type(
  int option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 60 2384 2408 "src/oasis/OASISString.ml" 60 2384 2409
)
"src/oasis/OASISString.ml" 60 2384 2411 "src/oasis/OASISString.ml" 60 2384 2414
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 61 2417 2419 "src/oasis/OASISString.ml" 74 2745 2769
)
"src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
type(
  int ref
)
ident(
  def what_idx "src/oasis/OASISString.ml" 62 2443 2445 "src/oasis/OASISString.ml" 74 2745 2769
)
"src/oasis/OASISString.ml" 61 2417 2434 "src/oasis/OASISString.ml" 61 2417 2437
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 61 2417 2438 "src/oasis/OASISString.ml" 61 2417 2439
type(
  int
)
"src/oasis/OASISString.ml" 61 2417 2434 "src/oasis/OASISString.ml" 61 2417 2439
type(
  int ref
)
"src/oasis/OASISString.ml" 62 2443 2449 "src/oasis/OASISString.ml" 62 2443 2456
type(
  int ref
)
ident(
  def str_idx "src/oasis/OASISString.ml" 63 2473 2475 "src/oasis/OASISString.ml" 74 2745 2769
)
"src/oasis/OASISString.ml" 62 2443 2459 "src/oasis/OASISString.ml" 62 2443 2462
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 62 2443 2463 "src/oasis/OASISString.ml" 62 2443 2469
type(
  int
)
ident(
  int_ref offset "src/oasis/OASISString.ml" 60 2384 2401 "src/oasis/OASISString.ml" 60 2384 2407
)
"src/oasis/OASISString.ml" 62 2443 2459 "src/oasis/OASISString.ml" 62 2443 2469
type(
  int ref
)
"src/oasis/OASISString.ml" 63 2473 2481 "src/oasis/OASISString.ml" 63 2473 2482
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 63 2473 2482 "src/oasis/OASISString.ml" 63 2473 2489
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 62 2443 2449 "src/oasis/OASISString.ml" 62 2443 2456
)
"src/oasis/OASISString.ml" 63 2473 2481 "src/oasis/OASISString.ml" 63 2473 2489
type(
  int
)
"src/oasis/OASISString.ml" 63 2473 2490 "src/oasis/OASISString.ml" 63 2473 2491
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISString.ml" 63 2473 2492 "src/oasis/OASISString.ml" 63 2473 2505
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 63 2473 2506 "src/oasis/OASISString.ml" 63 2473 2509
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 60 2384 2411 "src/oasis/OASISString.ml" 60 2384 2414
)
"src/oasis/OASISString.ml" 63 2473 2492 "src/oasis/OASISString.ml" 63 2473 2509
type(
  int
)
"src/oasis/OASISString.ml" 63 2473 2481 "src/oasis/OASISString.ml" 63 2473 2509
type(
  bool
)
"src/oasis/OASISString.ml" 63 2473 2510 "src/oasis/OASISString.ml" 63 2473 2512
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 64 2513 2521 "src/oasis/OASISString.ml" 64 2513 2522
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 64 2513 2522 "src/oasis/OASISString.ml" 64 2513 2530
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
)
"src/oasis/OASISString.ml" 64 2513 2521 "src/oasis/OASISString.ml" 64 2513 2530
type(
  int
)
"src/oasis/OASISString.ml" 64 2513 2531 "src/oasis/OASISString.ml" 64 2513 2532
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISString.ml" 64 2513 2533 "src/oasis/OASISString.ml" 64 2513 2546
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 64 2513 2547 "src/oasis/OASISString.ml" 64 2513 2551
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 60 2384 2394 "src/oasis/OASISString.ml" 60 2384 2398
)
"src/oasis/OASISString.ml" 64 2513 2533 "src/oasis/OASISString.ml" 64 2513 2551
type(
  int
)
"src/oasis/OASISString.ml" 64 2513 2521 "src/oasis/OASISString.ml" 64 2513 2551
type(
  bool
)
"src/oasis/OASISString.ml" 63 2473 2481 "src/oasis/OASISString.ml" 64 2513 2551
type(
  bool
)
"src/oasis/OASISString.ml" 65 2555 2562 "src/oasis/OASISString.ml" 65 2555 2565
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 60 2384 2411 "src/oasis/OASISString.ml" 60 2384 2414
)
"src/oasis/OASISString.ml" 65 2555 2567 "src/oasis/OASISString.ml" 65 2555 2568
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 65 2555 2568 "src/oasis/OASISString.ml" 65 2555 2575
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 62 2443 2449 "src/oasis/OASISString.ml" 62 2443 2456
)
"src/oasis/OASISString.ml" 65 2555 2567 "src/oasis/OASISString.ml" 65 2555 2575
type(
  int
)
"src/oasis/OASISString.ml" 65 2555 2562 "src/oasis/OASISString.ml" 65 2555 2576
type(
  char
)
"src/oasis/OASISString.ml" 65 2555 2577 "src/oasis/OASISString.ml" 65 2555 2578
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 65 2555 2579 "src/oasis/OASISString.ml" 65 2555 2583
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 60 2384 2394 "src/oasis/OASISString.ml" 60 2384 2398
)
"src/oasis/OASISString.ml" 65 2555 2585 "src/oasis/OASISString.ml" 65 2555 2586
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 65 2555 2586 "src/oasis/OASISString.ml" 65 2555 2594
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
)
"src/oasis/OASISString.ml" 65 2555 2585 "src/oasis/OASISString.ml" 65 2555 2594
type(
  int
)
"src/oasis/OASISString.ml" 65 2555 2579 "src/oasis/OASISString.ml" 65 2555 2595
type(
  char
)
"src/oasis/OASISString.ml" 65 2555 2562 "src/oasis/OASISString.ml" 65 2555 2595
type(
  bool
)
"src/oasis/OASISString.ml" 66 2601 2607 "src/oasis/OASISString.ml" 66 2601 2611
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 66 2601 2612 "src/oasis/OASISString.ml" 66 2601 2620
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
)
"src/oasis/OASISString.ml" 66 2601 2607 "src/oasis/OASISString.ml" 66 2601 2620
type(
  unit
)
"src/oasis/OASISString.ml" 68 2630 2636 "src/oasis/OASISString.ml" 68 2630 2644
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
)
"src/oasis/OASISString.ml" 68 2630 2645 "src/oasis/OASISString.ml" 68 2630 2647
type(
  int ref -> int -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 68 2630 2648 "src/oasis/OASISString.ml" 68 2630 2649
type(
  int
)
"src/oasis/OASISString.ml" 68 2630 2636 "src/oasis/OASISString.ml" 68 2630 2649
type(
  unit
)
"src/oasis/OASISString.ml" 65 2555 2559 "src/oasis/OASISString.ml" 68 2630 2649
type(
  unit
)
"src/oasis/OASISString.ml" 69 2651 2655 "src/oasis/OASISString.ml" 69 2651 2659
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 69 2651 2660 "src/oasis/OASISString.ml" 69 2651 2667
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 62 2443 2449 "src/oasis/OASISString.ml" 62 2443 2456
)
"src/oasis/OASISString.ml" 69 2651 2655 "src/oasis/OASISString.ml" 69 2651 2667
type(
  unit
)
"src/oasis/OASISString.ml" 65 2555 2559 "src/oasis/OASISString.ml" 69 2651 2667
type(
  unit
)
"src/oasis/OASISString.ml" 63 2473 2475 "src/oasis/OASISString.ml" 70 2668 2674
type(
  unit
)
"src/oasis/OASISString.ml" 71 2676 2681 "src/oasis/OASISString.ml" 71 2676 2682
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 71 2676 2682 "src/oasis/OASISString.ml" 71 2676 2690
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
)
"src/oasis/OASISString.ml" 71 2676 2681 "src/oasis/OASISString.ml" 71 2676 2690
type(
  int
)
"src/oasis/OASISString.ml" 71 2676 2691 "src/oasis/OASISString.ml" 71 2676 2693
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISString.ml" 71 2676 2694 "src/oasis/OASISString.ml" 71 2676 2707
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 71 2676 2708 "src/oasis/OASISString.ml" 71 2676 2712
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 60 2384 2394 "src/oasis/OASISString.ml" 60 2384 2398
)
"src/oasis/OASISString.ml" 71 2676 2694 "src/oasis/OASISString.ml" 71 2676 2712
type(
  int
)
"src/oasis/OASISString.ml" 71 2676 2681 "src/oasis/OASISString.ml" 71 2676 2712
type(
  bool
)
"src/oasis/OASISString.ml" 72 2718 2722 "src/oasis/OASISString.ml" 72 2718 2727
type(
  exn -> int
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISString.ml" 72 2718 2728 "src/oasis/OASISString.ml" 72 2718 2737
type(
  exn
)
"src/oasis/OASISString.ml" 72 2718 2722 "src/oasis/OASISString.ml" 72 2718 2737
type(
  int
)
"src/oasis/OASISString.ml" 74 2745 2749 "src/oasis/OASISString.ml" 74 2745 2750
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 74 2745 2750 "src/oasis/OASISString.ml" 74 2745 2757
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 62 2443 2449 "src/oasis/OASISString.ml" 62 2443 2456
)
"src/oasis/OASISString.ml" 74 2745 2749 "src/oasis/OASISString.ml" 74 2745 2757
type(
  int
)
"src/oasis/OASISString.ml" 74 2745 2758 "src/oasis/OASISString.ml" 74 2745 2759
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 74 2745 2760 "src/oasis/OASISString.ml" 74 2745 2761
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 74 2745 2761 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 61 2417 2423 "src/oasis/OASISString.ml" 61 2417 2431
)
"src/oasis/OASISString.ml" 74 2745 2760 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int
)
"src/oasis/OASISString.ml" 74 2745 2749 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int
)
"src/oasis/OASISString.ml" 71 2676 2678 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int
)
"src/oasis/OASISString.ml" 63 2473 2475 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int
)
"src/oasis/OASISString.ml" 62 2443 2445 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int
)
"src/oasis/OASISString.ml" 61 2417 2419 "src/oasis/OASISString.ml" 74 2745 2769
type(
  int
)
"src/oasis/OASISString.ml" 77 2772 2776 "src/oasis/OASISString.ml" 77 2772 2785
type(
  string -> int -> string
)
ident(
  def sub_start "src/oasis/OASISString.ml" 85 2913 2913 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 77 2772 2786 "src/oasis/OASISString.ml" 77 2772 2789
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 77 2772 2790 "src/oasis/OASISString.ml" 82 2872 2910
)
"src/oasis/OASISString.ml" 77 2772 2790 "src/oasis/OASISString.ml" 77 2772 2793
type(
  int
)
ident(
  def len "src/oasis/OASISString.ml" 78 2796 2798 "src/oasis/OASISString.ml" 82 2872 2910
)
"src/oasis/OASISString.ml" 78 2796 2802 "src/oasis/OASISString.ml" 78 2796 2809
type(
  int
)
ident(
  def str_len "src/oasis/OASISString.ml" 79 2833 2835 "src/oasis/OASISString.ml" 82 2872 2910
)
"src/oasis/OASISString.ml" 78 2796 2812 "src/oasis/OASISString.ml" 78 2796 2825
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 78 2796 2826 "src/oasis/OASISString.ml" 78 2796 2829
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 77 2772 2786 "src/oasis/OASISString.ml" 77 2772 2789
)
"src/oasis/OASISString.ml" 78 2796 2812 "src/oasis/OASISString.ml" 78 2796 2829
type(
  int
)
"src/oasis/OASISString.ml" 79 2833 2838 "src/oasis/OASISString.ml" 79 2833 2841
type(
  int
)
ident(
  int_ref len "src/oasis/OASISString.ml" 77 2772 2790 "src/oasis/OASISString.ml" 77 2772 2793
)
"src/oasis/OASISString.ml" 79 2833 2842 "src/oasis/OASISString.ml" 79 2833 2844
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISString.ml" 79 2833 2845 "src/oasis/OASISString.ml" 79 2833 2852
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISString.ml" 78 2796 2802 "src/oasis/OASISString.ml" 78 2796 2809
)
"src/oasis/OASISString.ml" 79 2833 2838 "src/oasis/OASISString.ml" 79 2833 2852
type(
  bool
)
"src/oasis/OASISString.ml" 80 2858 2862 "src/oasis/OASISString.ml" 80 2858 2864
type(
  string
)
"src/oasis/OASISString.ml" 82 2872 2876 "src/oasis/OASISString.ml" 82 2872 2886
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 82 2872 2887 "src/oasis/OASISString.ml" 82 2872 2890
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 77 2772 2786 "src/oasis/OASISString.ml" 77 2772 2789
)
"src/oasis/OASISString.ml" 82 2872 2891 "src/oasis/OASISString.ml" 82 2872 2894
type(
  int
)
ident(
  int_ref len "src/oasis/OASISString.ml" 77 2772 2790 "src/oasis/OASISString.ml" 77 2772 2793
)
"src/oasis/OASISString.ml" 82 2872 2896 "src/oasis/OASISString.ml" 82 2872 2903
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISString.ml" 78 2796 2802 "src/oasis/OASISString.ml" 78 2796 2809
)
"src/oasis/OASISString.ml" 82 2872 2904 "src/oasis/OASISString.ml" 82 2872 2905
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 82 2872 2906 "src/oasis/OASISString.ml" 82 2872 2909
type(
  int
)
ident(
  int_ref len "src/oasis/OASISString.ml" 77 2772 2790 "src/oasis/OASISString.ml" 77 2772 2793
)
"src/oasis/OASISString.ml" 82 2872 2895 "src/oasis/OASISString.ml" 82 2872 2910
type(
  int
)
"src/oasis/OASISString.ml" 82 2872 2876 "src/oasis/OASISString.ml" 82 2872 2910
type(
  string
)
"src/oasis/OASISString.ml" 79 2833 2835 "src/oasis/OASISString.ml" 82 2872 2910
type(
  string
)
"src/oasis/OASISString.ml" 78 2796 2798 "src/oasis/OASISString.ml" 82 2872 2910
type(
  string
)
"src/oasis/OASISString.ml" 85 2913 2917 "src/oasis/OASISString.ml" 85 2913 2924
type(
  ?offset:int -> string -> int -> string
)
ident(
  def sub_end "src/oasis/OASISString.ml" 93 3062 3062 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 85 2913 2927 "src/oasis/OASISString.ml" 85 2913 2933
type(
  int
)
ident(
  def offset "src/oasis/OASISString.ml" 85 2913 2937 "src/oasis/OASISString.ml" 90 3023 3059
)
"src/oasis/OASISString.ml" 85 2913 2934 "src/oasis/OASISString.ml" 85 2913 2935
type(
  int
)
type(
  int option
)
type(
  int option
)
type(
  int
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 85 2913 2934 "src/oasis/OASISString.ml" 85 2913 2935
)
type(
  int
)
type(
  int option
)
type(
  int option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 85 2913 2934 "src/oasis/OASISString.ml" 85 2913 2935
)
"src/oasis/OASISString.ml" 85 2913 2937 "src/oasis/OASISString.ml" 85 2913 2940
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 85 2913 2941 "src/oasis/OASISString.ml" 90 3023 3059
)
"src/oasis/OASISString.ml" 85 2913 2941 "src/oasis/OASISString.ml" 85 2913 2944
type(
  int
)
ident(
  def len "src/oasis/OASISString.ml" 86 2947 2949 "src/oasis/OASISString.ml" 90 3023 3059
)
"src/oasis/OASISString.ml" 86 2947 2953 "src/oasis/OASISString.ml" 86 2947 2960
type(
  int
)
ident(
  def str_len "src/oasis/OASISString.ml" 87 2984 2986 "src/oasis/OASISString.ml" 90 3023 3059
)
"src/oasis/OASISString.ml" 86 2947 2963 "src/oasis/OASISString.ml" 86 2947 2976
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 86 2947 2977 "src/oasis/OASISString.ml" 86 2947 2980
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 85 2913 2937 "src/oasis/OASISString.ml" 85 2913 2940
)
"src/oasis/OASISString.ml" 86 2947 2963 "src/oasis/OASISString.ml" 86 2947 2980
type(
  int
)
"src/oasis/OASISString.ml" 87 2984 2989 "src/oasis/OASISString.ml" 87 2984 2992
type(
  int
)
ident(
  int_ref len "src/oasis/OASISString.ml" 85 2913 2941 "src/oasis/OASISString.ml" 85 2913 2944
)
"src/oasis/OASISString.ml" 87 2984 2993 "src/oasis/OASISString.ml" 87 2984 2995
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISString.ml" 87 2984 2996 "src/oasis/OASISString.ml" 87 2984 3003
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISString.ml" 86 2947 2953 "src/oasis/OASISString.ml" 86 2947 2960
)
"src/oasis/OASISString.ml" 87 2984 2989 "src/oasis/OASISString.ml" 87 2984 3003
type(
  bool
)
"src/oasis/OASISString.ml" 88 3009 3013 "src/oasis/OASISString.ml" 88 3009 3015
type(
  string
)
"src/oasis/OASISString.ml" 90 3023 3027 "src/oasis/OASISString.ml" 90 3023 3037
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 90 3023 3038 "src/oasis/OASISString.ml" 90 3023 3041
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 85 2913 2937 "src/oasis/OASISString.ml" 85 2913 2940
)
"src/oasis/OASISString.ml" 90 3023 3042 "src/oasis/OASISString.ml" 90 3023 3043
type(
  int
)
"src/oasis/OASISString.ml" 90 3023 3045 "src/oasis/OASISString.ml" 90 3023 3052
type(
  int
)
ident(
  int_ref str_len "src/oasis/OASISString.ml" 86 2947 2953 "src/oasis/OASISString.ml" 86 2947 2960
)
"src/oasis/OASISString.ml" 90 3023 3053 "src/oasis/OASISString.ml" 90 3023 3054
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 90 3023 3055 "src/oasis/OASISString.ml" 90 3023 3058
type(
  int
)
ident(
  int_ref len "src/oasis/OASISString.ml" 85 2913 2941 "src/oasis/OASISString.ml" 85 2913 2944
)
"src/oasis/OASISString.ml" 90 3023 3044 "src/oasis/OASISString.ml" 90 3023 3059
type(
  int
)
"src/oasis/OASISString.ml" 90 3023 3027 "src/oasis/OASISString.ml" 90 3023 3059
type(
  string
)
"src/oasis/OASISString.ml" 87 2984 2986 "src/oasis/OASISString.ml" 90 3023 3059
type(
  string
)
"src/oasis/OASISString.ml" 86 2947 2949 "src/oasis/OASISString.ml" 90 3023 3059
type(
  string
)
"src/oasis/OASISString.ml" 93 3062 3066 "src/oasis/OASISString.ml" 93 3062 3077
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  def starts_with "src/oasis/OASISString.ml" 109 3432 3432 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 93 3062 3079 "src/oasis/OASISString.ml" 93 3062 3083
type(
  string
)
ident(
  def what "src/oasis/OASISString.ml" 93 3062 3084 "src/oasis/OASISString.ml" 106 3397 3429
)
"src/oasis/OASISString.ml" 93 3062 3086 "src/oasis/OASISString.ml" 93 3062 3092
type(
  int
)
ident(
  def offset "src/oasis/OASISString.ml" 93 3062 3096 "src/oasis/OASISString.ml" 106 3397 3429
)
"src/oasis/OASISString.ml" 93 3062 3093 "src/oasis/OASISString.ml" 93 3062 3094
type(
  int
)
type(
  int option
)
type(
  int option
)
type(
  int
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 93 3062 3093 "src/oasis/OASISString.ml" 93 3062 3094
)
type(
  int
)
type(
  int option
)
type(
  int option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 93 3062 3093 "src/oasis/OASISString.ml" 93 3062 3094
)
"src/oasis/OASISString.ml" 93 3062 3096 "src/oasis/OASISString.ml" 93 3062 3099
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 94 3102 3104 "src/oasis/OASISString.ml" 106 3397 3429
)
"src/oasis/OASISString.ml" 94 3102 3108 "src/oasis/OASISString.ml" 94 3102 3116
type(
  int ref
)
ident(
  def what_idx "src/oasis/OASISString.ml" 95 3128 3130 "src/oasis/OASISString.ml" 106 3397 3429
)
"src/oasis/OASISString.ml" 94 3102 3119 "src/oasis/OASISString.ml" 94 3102 3122
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 94 3102 3123 "src/oasis/OASISString.ml" 94 3102 3124
type(
  int
)
"src/oasis/OASISString.ml" 94 3102 3119 "src/oasis/OASISString.ml" 94 3102 3124
type(
  int ref
)
"src/oasis/OASISString.ml" 95 3128 3134 "src/oasis/OASISString.ml" 95 3128 3141
type(
  int ref
)
ident(
  def str_idx "src/oasis/OASISString.ml" 96 3158 3160 "src/oasis/OASISString.ml" 106 3397 3429
)
"src/oasis/OASISString.ml" 95 3128 3144 "src/oasis/OASISString.ml" 95 3128 3147
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 95 3128 3148 "src/oasis/OASISString.ml" 95 3128 3154
type(
  int
)
ident(
  int_ref offset "src/oasis/OASISString.ml" 93 3062 3086 "src/oasis/OASISString.ml" 93 3062 3092
)
"src/oasis/OASISString.ml" 95 3128 3144 "src/oasis/OASISString.ml" 95 3128 3154
type(
  int ref
)
"src/oasis/OASISString.ml" 96 3158 3164 "src/oasis/OASISString.ml" 96 3158 3166
type(
  bool ref
)
ident(
  def ok "src/oasis/OASISString.ml" 97 3181 3183 "src/oasis/OASISString.ml" 106 3397 3429
)
"src/oasis/OASISString.ml" 96 3158 3169 "src/oasis/OASISString.ml" 96 3158 3172
type(
  bool -> bool ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 96 3158 3173 "src/oasis/OASISString.ml" 96 3158 3177
type(
  bool
)
"src/oasis/OASISString.ml" 96 3158 3169 "src/oasis/OASISString.ml" 96 3158 3177
type(
  bool ref
)
"src/oasis/OASISString.ml" 97 3181 3189 "src/oasis/OASISString.ml" 97 3181 3190
type(
  bool ref -> bool
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 97 3181 3190 "src/oasis/OASISString.ml" 97 3181 3192
type(
  bool ref
)
ident(
  int_ref ok "src/oasis/OASISString.ml" 96 3158 3164 "src/oasis/OASISString.ml" 96 3158 3166
)
"src/oasis/OASISString.ml" 97 3181 3189 "src/oasis/OASISString.ml" 97 3181 3192
type(
  bool
)
"src/oasis/OASISString.ml" 97 3181 3193 "src/oasis/OASISString.ml" 97 3181 3195
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 98 3196 3204 "src/oasis/OASISString.ml" 98 3196 3205
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 98 3196 3205 "src/oasis/OASISString.ml" 98 3196 3212
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 95 3128 3134 "src/oasis/OASISString.ml" 95 3128 3141
)
"src/oasis/OASISString.ml" 98 3196 3204 "src/oasis/OASISString.ml" 98 3196 3212
type(
  int
)
"src/oasis/OASISString.ml" 98 3196 3213 "src/oasis/OASISString.ml" 98 3196 3214
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISString.ml" 98 3196 3215 "src/oasis/OASISString.ml" 98 3196 3228
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 98 3196 3229 "src/oasis/OASISString.ml" 98 3196 3232
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 93 3062 3096 "src/oasis/OASISString.ml" 93 3062 3099
)
"src/oasis/OASISString.ml" 98 3196 3215 "src/oasis/OASISString.ml" 98 3196 3232
type(
  int
)
"src/oasis/OASISString.ml" 98 3196 3204 "src/oasis/OASISString.ml" 98 3196 3232
type(
  bool
)
"src/oasis/OASISString.ml" 98 3196 3233 "src/oasis/OASISString.ml" 98 3196 3235
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 99 3236 3244 "src/oasis/OASISString.ml" 99 3236 3245
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 99 3236 3245 "src/oasis/OASISString.ml" 99 3236 3253
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 94 3102 3108 "src/oasis/OASISString.ml" 94 3102 3116
)
"src/oasis/OASISString.ml" 99 3236 3244 "src/oasis/OASISString.ml" 99 3236 3253
type(
  int
)
"src/oasis/OASISString.ml" 99 3236 3254 "src/oasis/OASISString.ml" 99 3236 3255
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISString.ml" 99 3236 3256 "src/oasis/OASISString.ml" 99 3236 3269
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 99 3236 3270 "src/oasis/OASISString.ml" 99 3236 3274
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 93 3062 3079 "src/oasis/OASISString.ml" 93 3062 3083
)
"src/oasis/OASISString.ml" 99 3236 3256 "src/oasis/OASISString.ml" 99 3236 3274
type(
  int
)
"src/oasis/OASISString.ml" 99 3236 3244 "src/oasis/OASISString.ml" 99 3236 3274
type(
  bool
)
"src/oasis/OASISString.ml" 98 3196 3204 "src/oasis/OASISString.ml" 99 3236 3274
type(
  bool
)
"src/oasis/OASISString.ml" 97 3181 3189 "src/oasis/OASISString.ml" 99 3236 3274
type(
  bool
)
"src/oasis/OASISString.ml" 100 3278 3285 "src/oasis/OASISString.ml" 100 3278 3288
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 93 3062 3096 "src/oasis/OASISString.ml" 93 3062 3099
)
"src/oasis/OASISString.ml" 100 3278 3290 "src/oasis/OASISString.ml" 100 3278 3291
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 100 3278 3291 "src/oasis/OASISString.ml" 100 3278 3298
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 95 3128 3134 "src/oasis/OASISString.ml" 95 3128 3141
)
"src/oasis/OASISString.ml" 100 3278 3290 "src/oasis/OASISString.ml" 100 3278 3298
type(
  int
)
"src/oasis/OASISString.ml" 100 3278 3285 "src/oasis/OASISString.ml" 100 3278 3299
type(
  char
)
"src/oasis/OASISString.ml" 100 3278 3300 "src/oasis/OASISString.ml" 100 3278 3301
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 100 3278 3302 "src/oasis/OASISString.ml" 100 3278 3306
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 93 3062 3079 "src/oasis/OASISString.ml" 93 3062 3083
)
"src/oasis/OASISString.ml" 100 3278 3308 "src/oasis/OASISString.ml" 100 3278 3309
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 100 3278 3309 "src/oasis/OASISString.ml" 100 3278 3317
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 94 3102 3108 "src/oasis/OASISString.ml" 94 3102 3116
)
"src/oasis/OASISString.ml" 100 3278 3308 "src/oasis/OASISString.ml" 100 3278 3317
type(
  int
)
"src/oasis/OASISString.ml" 100 3278 3302 "src/oasis/OASISString.ml" 100 3278 3318
type(
  char
)
"src/oasis/OASISString.ml" 100 3278 3285 "src/oasis/OASISString.ml" 100 3278 3318
type(
  bool
)
"src/oasis/OASISString.ml" 101 3324 3330 "src/oasis/OASISString.ml" 101 3324 3334
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 101 3324 3335 "src/oasis/OASISString.ml" 101 3324 3343
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 94 3102 3108 "src/oasis/OASISString.ml" 94 3102 3116
)
"src/oasis/OASISString.ml" 101 3324 3330 "src/oasis/OASISString.ml" 101 3324 3343
type(
  unit
)
"src/oasis/OASISString.ml" 103 3353 3359 "src/oasis/OASISString.ml" 103 3353 3361
type(
  bool ref
)
ident(
  int_ref ok "src/oasis/OASISString.ml" 96 3158 3164 "src/oasis/OASISString.ml" 96 3158 3166
)
"src/oasis/OASISString.ml" 103 3353 3362 "src/oasis/OASISString.ml" 103 3353 3364
type(
  bool ref -> bool -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 103 3353 3365 "src/oasis/OASISString.ml" 103 3353 3370
type(
  bool
)
"src/oasis/OASISString.ml" 103 3353 3359 "src/oasis/OASISString.ml" 103 3353 3370
type(
  unit
)
"src/oasis/OASISString.ml" 100 3278 3282 "src/oasis/OASISString.ml" 103 3353 3370
type(
  unit
)
"src/oasis/OASISString.ml" 104 3372 3376 "src/oasis/OASISString.ml" 104 3372 3380
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 104 3372 3381 "src/oasis/OASISString.ml" 104 3372 3388
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 95 3128 3134 "src/oasis/OASISString.ml" 95 3128 3141
)
"src/oasis/OASISString.ml" 104 3372 3376 "src/oasis/OASISString.ml" 104 3372 3388
type(
  unit
)
"src/oasis/OASISString.ml" 100 3278 3282 "src/oasis/OASISString.ml" 104 3372 3388
type(
  unit
)
"src/oasis/OASISString.ml" 97 3181 3183 "src/oasis/OASISString.ml" 105 3389 3395
type(
  unit
)
"src/oasis/OASISString.ml" 106 3397 3399 "src/oasis/OASISString.ml" 106 3397 3400
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 106 3397 3400 "src/oasis/OASISString.ml" 106 3397 3408
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 94 3102 3108 "src/oasis/OASISString.ml" 94 3102 3116
)
"src/oasis/OASISString.ml" 106 3397 3399 "src/oasis/OASISString.ml" 106 3397 3408
type(
  int
)
"src/oasis/OASISString.ml" 106 3397 3409 "src/oasis/OASISString.ml" 106 3397 3410
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 106 3397 3411 "src/oasis/OASISString.ml" 106 3397 3424
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 106 3397 3425 "src/oasis/OASISString.ml" 106 3397 3429
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 93 3062 3079 "src/oasis/OASISString.ml" 93 3062 3083
)
"src/oasis/OASISString.ml" 106 3397 3411 "src/oasis/OASISString.ml" 106 3397 3429
type(
  int
)
"src/oasis/OASISString.ml" 106 3397 3399 "src/oasis/OASISString.ml" 106 3397 3429
type(
  bool
)
"src/oasis/OASISString.ml" 97 3181 3183 "src/oasis/OASISString.ml" 106 3397 3429
type(
  bool
)
"src/oasis/OASISString.ml" 96 3158 3160 "src/oasis/OASISString.ml" 106 3397 3429
type(
  bool
)
"src/oasis/OASISString.ml" 95 3128 3130 "src/oasis/OASISString.ml" 106 3397 3429
type(
  bool
)
"src/oasis/OASISString.ml" 94 3102 3104 "src/oasis/OASISString.ml" 106 3397 3429
type(
  bool
)
"src/oasis/OASISString.ml" 109 3432 3436 "src/oasis/OASISString.ml" 109 3432 3453
type(
  what:string -> string -> string
)
ident(
  def strip_starts_with "src/oasis/OASISString.ml" 116 3566 3566 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 109 3432 3455 "src/oasis/OASISString.ml" 109 3432 3459
type(
  string
)
ident(
  def what "src/oasis/OASISString.ml" 109 3432 3460 "src/oasis/OASISString.ml" 113 3544 3563
)
"src/oasis/OASISString.ml" 109 3432 3460 "src/oasis/OASISString.ml" 109 3432 3463
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 110 3466 3468 "src/oasis/OASISString.ml" 113 3544 3563
)
"src/oasis/OASISString.ml" 110 3466 3471 "src/oasis/OASISString.ml" 110 3466 3482
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  int_ref starts_with "src/oasis/OASISString.ml" 93 3062 3066 "src/oasis/OASISString.ml" 93 3062 3077
)
"src/oasis/OASISString.ml" 110 3466 3484 "src/oasis/OASISString.ml" 110 3466 3488
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 109 3432 3455 "src/oasis/OASISString.ml" 109 3432 3459
)
"src/oasis/OASISString.ml" 110 3466 3489 "src/oasis/OASISString.ml" 110 3466 3492
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 109 3432 3460 "src/oasis/OASISString.ml" 109 3432 3463
)
"src/oasis/OASISString.ml" 110 3466 3471 "src/oasis/OASISString.ml" 110 3466 3492
type(
  bool
)
"src/oasis/OASISString.ml" 111 3498 3502 "src/oasis/OASISString.ml" 111 3498 3511
type(
  string -> int -> string
)
ident(
  int_ref sub_start "src/oasis/OASISString.ml" 77 2772 2776 "src/oasis/OASISString.ml" 77 2772 2785
)
"src/oasis/OASISString.ml" 111 3498 3512 "src/oasis/OASISString.ml" 111 3498 3515
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 109 3432 3460 "src/oasis/OASISString.ml" 109 3432 3463
)
"src/oasis/OASISString.ml" 111 3498 3517 "src/oasis/OASISString.ml" 111 3498 3530
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 111 3498 3531 "src/oasis/OASISString.ml" 111 3498 3535
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 109 3432 3455 "src/oasis/OASISString.ml" 109 3432 3459
)
"src/oasis/OASISString.ml" 111 3498 3516 "src/oasis/OASISString.ml" 111 3498 3536
type(
  int
)
"src/oasis/OASISString.ml" 111 3498 3502 "src/oasis/OASISString.ml" 111 3498 3536
type(
  string
)
"src/oasis/OASISString.ml" 113 3544 3548 "src/oasis/OASISString.ml" 113 3544 3553
type(
  exn -> string
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISString.ml" 113 3544 3554 "src/oasis/OASISString.ml" 113 3544 3563
type(
  exn
)
"src/oasis/OASISString.ml" 113 3544 3548 "src/oasis/OASISString.ml" 113 3544 3563
type(
  string
)
"src/oasis/OASISString.ml" 110 3466 3468 "src/oasis/OASISString.ml" 113 3544 3563
type(
  string
)
"src/oasis/OASISString.ml" 116 3566 3570 "src/oasis/OASISString.ml" 116 3566 3579
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  def ends_with "src/oasis/OASISString.ml" 132 3936 3936 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 116 3566 3581 "src/oasis/OASISString.ml" 116 3566 3585
type(
  string
)
ident(
  def what "src/oasis/OASISString.ml" 116 3566 3586 "src/oasis/OASISString.ml" 129 3917 3933
)
"src/oasis/OASISString.ml" 116 3566 3588 "src/oasis/OASISString.ml" 116 3566 3594
type(
  int
)
ident(
  def offset "src/oasis/OASISString.ml" 116 3566 3598 "src/oasis/OASISString.ml" 129 3917 3933
)
"src/oasis/OASISString.ml" 116 3566 3595 "src/oasis/OASISString.ml" 116 3566 3596
type(
  int
)
type(
  int option
)
type(
  int option
)
type(
  int
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 116 3566 3595 "src/oasis/OASISString.ml" 116 3566 3596
)
type(
  int
)
type(
  int option
)
type(
  int option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 116 3566 3595 "src/oasis/OASISString.ml" 116 3566 3596
)
"src/oasis/OASISString.ml" 116 3566 3598 "src/oasis/OASISString.ml" 116 3566 3601
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 117 3604 3606 "src/oasis/OASISString.ml" 129 3917 3933
)
"src/oasis/OASISString.ml" 117 3604 3610 "src/oasis/OASISString.ml" 117 3604 3618
type(
  int ref
)
ident(
  def what_idx "src/oasis/OASISString.ml" 118 3655 3657 "src/oasis/OASISString.ml" 129 3917 3933
)
"src/oasis/OASISString.ml" 117 3604 3621 "src/oasis/OASISString.ml" 117 3604 3624
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 117 3604 3627 "src/oasis/OASISString.ml" 117 3604 3640
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 117 3604 3641 "src/oasis/OASISString.ml" 117 3604 3645
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 116 3566 3581 "src/oasis/OASISString.ml" 116 3566 3585
)
"src/oasis/OASISString.ml" 117 3604 3626 "src/oasis/OASISString.ml" 117 3604 3646
type(
  int
)
"src/oasis/OASISString.ml" 117 3604 3647 "src/oasis/OASISString.ml" 117 3604 3648
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 117 3604 3649 "src/oasis/OASISString.ml" 117 3604 3650
type(
  int
)
"src/oasis/OASISString.ml" 117 3604 3625 "src/oasis/OASISString.ml" 117 3604 3651
type(
  int
)
"src/oasis/OASISString.ml" 117 3604 3621 "src/oasis/OASISString.ml" 117 3604 3651
type(
  int ref
)
"src/oasis/OASISString.ml" 118 3655 3661 "src/oasis/OASISString.ml" 118 3655 3668
type(
  int ref
)
ident(
  def str_idx "src/oasis/OASISString.ml" 119 3704 3706 "src/oasis/OASISString.ml" 129 3917 3933
)
"src/oasis/OASISString.ml" 118 3655 3671 "src/oasis/OASISString.ml" 118 3655 3674
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 118 3655 3677 "src/oasis/OASISString.ml" 118 3655 3690
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 118 3655 3691 "src/oasis/OASISString.ml" 118 3655 3694
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 116 3566 3598 "src/oasis/OASISString.ml" 116 3566 3601
)
"src/oasis/OASISString.ml" 118 3655 3676 "src/oasis/OASISString.ml" 118 3655 3695
type(
  int
)
"src/oasis/OASISString.ml" 118 3655 3696 "src/oasis/OASISString.ml" 118 3655 3697
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 118 3655 3698 "src/oasis/OASISString.ml" 118 3655 3699
type(
  int
)
"src/oasis/OASISString.ml" 118 3655 3675 "src/oasis/OASISString.ml" 118 3655 3700
type(
  int
)
"src/oasis/OASISString.ml" 118 3655 3671 "src/oasis/OASISString.ml" 118 3655 3700
type(
  int ref
)
"src/oasis/OASISString.ml" 119 3704 3710 "src/oasis/OASISString.ml" 119 3704 3712
type(
  bool ref
)
ident(
  def ok "src/oasis/OASISString.ml" 120 3727 3729 "src/oasis/OASISString.ml" 129 3917 3933
)
"src/oasis/OASISString.ml" 119 3704 3715 "src/oasis/OASISString.ml" 119 3704 3718
type(
  bool -> bool ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 119 3704 3719 "src/oasis/OASISString.ml" 119 3704 3723
type(
  bool
)
"src/oasis/OASISString.ml" 119 3704 3715 "src/oasis/OASISString.ml" 119 3704 3723
type(
  bool ref
)
"src/oasis/OASISString.ml" 120 3727 3735 "src/oasis/OASISString.ml" 120 3727 3736
type(
  bool ref -> bool
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 120 3727 3736 "src/oasis/OASISString.ml" 120 3727 3738
type(
  bool ref
)
ident(
  int_ref ok "src/oasis/OASISString.ml" 119 3704 3710 "src/oasis/OASISString.ml" 119 3704 3712
)
"src/oasis/OASISString.ml" 120 3727 3735 "src/oasis/OASISString.ml" 120 3727 3738
type(
  bool
)
"src/oasis/OASISString.ml" 120 3727 3739 "src/oasis/OASISString.ml" 120 3727 3741
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 121 3742 3750 "src/oasis/OASISString.ml" 121 3742 3756
type(
  int
)
ident(
  int_ref offset "src/oasis/OASISString.ml" 116 3566 3588 "src/oasis/OASISString.ml" 116 3566 3594
)
"src/oasis/OASISString.ml" 121 3742 3757 "src/oasis/OASISString.ml" 121 3742 3759
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISString.ml" 121 3742 3760 "src/oasis/OASISString.ml" 121 3742 3761
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 121 3742 3761 "src/oasis/OASISString.ml" 121 3742 3768
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 118 3655 3661 "src/oasis/OASISString.ml" 118 3655 3668
)
"src/oasis/OASISString.ml" 121 3742 3760 "src/oasis/OASISString.ml" 121 3742 3768
type(
  int
)
"src/oasis/OASISString.ml" 121 3742 3750 "src/oasis/OASISString.ml" 121 3742 3768
type(
  bool
)
"src/oasis/OASISString.ml" 121 3742 3769 "src/oasis/OASISString.ml" 121 3742 3771
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 122 3772 3780 "src/oasis/OASISString.ml" 122 3772 3781
type(
  int
)
"src/oasis/OASISString.ml" 122 3772 3782 "src/oasis/OASISString.ml" 122 3772 3784
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISString.ml" 122 3772 3785 "src/oasis/OASISString.ml" 122 3772 3786
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 122 3772 3786 "src/oasis/OASISString.ml" 122 3772 3794
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 117 3604 3610 "src/oasis/OASISString.ml" 117 3604 3618
)
"src/oasis/OASISString.ml" 122 3772 3785 "src/oasis/OASISString.ml" 122 3772 3794
type(
  int
)
"src/oasis/OASISString.ml" 122 3772 3780 "src/oasis/OASISString.ml" 122 3772 3794
type(
  bool
)
"src/oasis/OASISString.ml" 121 3742 3750 "src/oasis/OASISString.ml" 122 3772 3794
type(
  bool
)
"src/oasis/OASISString.ml" 120 3727 3735 "src/oasis/OASISString.ml" 122 3772 3794
type(
  bool
)
"src/oasis/OASISString.ml" 123 3798 3805 "src/oasis/OASISString.ml" 123 3798 3808
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 116 3566 3598 "src/oasis/OASISString.ml" 116 3566 3601
)
"src/oasis/OASISString.ml" 123 3798 3810 "src/oasis/OASISString.ml" 123 3798 3811
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 123 3798 3811 "src/oasis/OASISString.ml" 123 3798 3818
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 118 3655 3661 "src/oasis/OASISString.ml" 118 3655 3668
)
"src/oasis/OASISString.ml" 123 3798 3810 "src/oasis/OASISString.ml" 123 3798 3818
type(
  int
)
"src/oasis/OASISString.ml" 123 3798 3805 "src/oasis/OASISString.ml" 123 3798 3819
type(
  char
)
"src/oasis/OASISString.ml" 123 3798 3820 "src/oasis/OASISString.ml" 123 3798 3821
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 123 3798 3822 "src/oasis/OASISString.ml" 123 3798 3826
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 116 3566 3581 "src/oasis/OASISString.ml" 116 3566 3585
)
"src/oasis/OASISString.ml" 123 3798 3828 "src/oasis/OASISString.ml" 123 3798 3829
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 123 3798 3829 "src/oasis/OASISString.ml" 123 3798 3837
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 117 3604 3610 "src/oasis/OASISString.ml" 117 3604 3618
)
"src/oasis/OASISString.ml" 123 3798 3828 "src/oasis/OASISString.ml" 123 3798 3837
type(
  int
)
"src/oasis/OASISString.ml" 123 3798 3822 "src/oasis/OASISString.ml" 123 3798 3838
type(
  char
)
"src/oasis/OASISString.ml" 123 3798 3805 "src/oasis/OASISString.ml" 123 3798 3838
type(
  bool
)
"src/oasis/OASISString.ml" 124 3844 3850 "src/oasis/OASISString.ml" 124 3844 3854
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.decr "stdlib.mli" 1246 47332 47332 "stdlib.mli" 1246 47332 47373
)
"src/oasis/OASISString.ml" 124 3844 3855 "src/oasis/OASISString.ml" 124 3844 3863
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 117 3604 3610 "src/oasis/OASISString.ml" 117 3604 3618
)
"src/oasis/OASISString.ml" 124 3844 3850 "src/oasis/OASISString.ml" 124 3844 3863
type(
  unit
)
"src/oasis/OASISString.ml" 126 3873 3879 "src/oasis/OASISString.ml" 126 3873 3881
type(
  bool ref
)
ident(
  int_ref ok "src/oasis/OASISString.ml" 119 3704 3710 "src/oasis/OASISString.ml" 119 3704 3712
)
"src/oasis/OASISString.ml" 126 3873 3882 "src/oasis/OASISString.ml" 126 3873 3884
type(
  bool ref -> bool -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 126 3873 3885 "src/oasis/OASISString.ml" 126 3873 3890
type(
  bool
)
"src/oasis/OASISString.ml" 126 3873 3879 "src/oasis/OASISString.ml" 126 3873 3890
type(
  unit
)
"src/oasis/OASISString.ml" 123 3798 3802 "src/oasis/OASISString.ml" 126 3873 3890
type(
  unit
)
"src/oasis/OASISString.ml" 127 3892 3896 "src/oasis/OASISString.ml" 127 3892 3900
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.decr "stdlib.mli" 1246 47332 47332 "stdlib.mli" 1246 47332 47373
)
"src/oasis/OASISString.ml" 127 3892 3901 "src/oasis/OASISString.ml" 127 3892 3908
type(
  int ref
)
ident(
  int_ref str_idx "src/oasis/OASISString.ml" 118 3655 3661 "src/oasis/OASISString.ml" 118 3655 3668
)
"src/oasis/OASISString.ml" 127 3892 3896 "src/oasis/OASISString.ml" 127 3892 3908
type(
  unit
)
"src/oasis/OASISString.ml" 123 3798 3802 "src/oasis/OASISString.ml" 127 3892 3908
type(
  unit
)
"src/oasis/OASISString.ml" 120 3727 3729 "src/oasis/OASISString.ml" 128 3909 3915
type(
  unit
)
"src/oasis/OASISString.ml" 129 3917 3919 "src/oasis/OASISString.ml" 129 3917 3920
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 129 3917 3920 "src/oasis/OASISString.ml" 129 3917 3928
type(
  int ref
)
ident(
  int_ref what_idx "src/oasis/OASISString.ml" 117 3604 3610 "src/oasis/OASISString.ml" 117 3604 3618
)
"src/oasis/OASISString.ml" 129 3917 3919 "src/oasis/OASISString.ml" 129 3917 3928
type(
  int
)
"src/oasis/OASISString.ml" 129 3917 3929 "src/oasis/OASISString.ml" 129 3917 3930
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 129 3917 3931 "src/oasis/OASISString.ml" 129 3917 3933
type(
  int
)
"src/oasis/OASISString.ml" 129 3917 3919 "src/oasis/OASISString.ml" 129 3917 3933
type(
  bool
)
"src/oasis/OASISString.ml" 120 3727 3729 "src/oasis/OASISString.ml" 129 3917 3933
type(
  bool
)
"src/oasis/OASISString.ml" 119 3704 3706 "src/oasis/OASISString.ml" 129 3917 3933
type(
  bool
)
"src/oasis/OASISString.ml" 118 3655 3657 "src/oasis/OASISString.ml" 129 3917 3933
type(
  bool
)
"src/oasis/OASISString.ml" 117 3604 3606 "src/oasis/OASISString.ml" 129 3917 3933
type(
  bool
)
"src/oasis/OASISString.ml" 132 3936 3940 "src/oasis/OASISString.ml" 132 3936 3955
type(
  what:string -> string -> string
)
ident(
  def strip_ends_with "src/oasis/OASISString.ml" 139 4064 4064 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 132 3936 3957 "src/oasis/OASISString.ml" 132 3936 3961
type(
  string
)
ident(
  def what "src/oasis/OASISString.ml" 132 3936 3962 "src/oasis/OASISString.ml" 136 4042 4061
)
"src/oasis/OASISString.ml" 132 3936 3962 "src/oasis/OASISString.ml" 132 3936 3965
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 133 3968 3970 "src/oasis/OASISString.ml" 136 4042 4061
)
"src/oasis/OASISString.ml" 133 3968 3973 "src/oasis/OASISString.ml" 133 3968 3982
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  int_ref ends_with "src/oasis/OASISString.ml" 116 3566 3570 "src/oasis/OASISString.ml" 116 3566 3579
)
"src/oasis/OASISString.ml" 133 3968 3984 "src/oasis/OASISString.ml" 133 3968 3988
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 132 3936 3957 "src/oasis/OASISString.ml" 132 3936 3961
)
"src/oasis/OASISString.ml" 133 3968 3989 "src/oasis/OASISString.ml" 133 3968 3992
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 132 3936 3962 "src/oasis/OASISString.ml" 132 3936 3965
)
"src/oasis/OASISString.ml" 133 3968 3973 "src/oasis/OASISString.ml" 133 3968 3992
type(
  bool
)
"src/oasis/OASISString.ml" 134 3998 4002 "src/oasis/OASISString.ml" 134 3998 4009
type(
  ?offset:int -> string -> int -> string
)
ident(
  int_ref sub_end "src/oasis/OASISString.ml" 85 2913 2917 "src/oasis/OASISString.ml" 85 2913 2924
)
"src/oasis/OASISString.ml" 134 3998 4010 "src/oasis/OASISString.ml" 134 3998 4013
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 132 3936 3962 "src/oasis/OASISString.ml" 132 3936 3965
)
"src/oasis/OASISString.ml" 134 3998 4015 "src/oasis/OASISString.ml" 134 3998 4028
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 134 3998 4029 "src/oasis/OASISString.ml" 134 3998 4033
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 132 3936 3957 "src/oasis/OASISString.ml" 132 3936 3961
)
"src/oasis/OASISString.ml" 134 3998 4014 "src/oasis/OASISString.ml" 134 3998 4034
type(
  int
)
"src/oasis/OASISString.ml" 134 3998 4002 "src/oasis/OASISString.ml" 134 3998 4034
type(
  string
)
"src/oasis/OASISString.ml" 136 4042 4046 "src/oasis/OASISString.ml" 136 4042 4051
type(
  exn -> string
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISString.ml" 136 4042 4052 "src/oasis/OASISString.ml" 136 4042 4061
type(
  exn
)
"src/oasis/OASISString.ml" 136 4042 4046 "src/oasis/OASISString.ml" 136 4042 4061
type(
  string
)
"src/oasis/OASISString.ml" 133 3968 3970 "src/oasis/OASISString.ml" 136 4042 4061
type(
  string
)
"src/oasis/OASISString.ml" 139 4064 4068 "src/oasis/OASISString.ml" 139 4064 4081
type(
  (char -> char) -> string -> string
)
ident(
  def replace_chars "src/oasis/OASISString.ml" 144 4212 4212 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 139 4064 4082 "src/oasis/OASISString.ml" 139 4064 4083
type(
  char -> char
)
ident(
  def f "src/oasis/OASISString.ml" 139 4064 4084 "src/oasis/OASISString.ml" 142 4189 4210
)
"src/oasis/OASISString.ml" 139 4064 4084 "src/oasis/OASISString.ml" 139 4064 4085
type(
  string
)
ident(
  def s "src/oasis/OASISString.ml" 140 4088 4090 "src/oasis/OASISString.ml" 142 4189 4210
)
"src/oasis/OASISString.ml" 140 4088 4094 "src/oasis/OASISString.ml" 140 4088 4097
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISString.ml" 141 4135 4137 "src/oasis/OASISString.ml" 142 4189 4210
)
"src/oasis/OASISString.ml" 140 4088 4100 "src/oasis/OASISString.ml" 140 4088 4113
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISString.ml" 140 4088 4115 "src/oasis/OASISString.ml" 140 4088 4128
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 140 4088 4129 "src/oasis/OASISString.ml" 140 4088 4130
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 139 4064 4084 "src/oasis/OASISString.ml" 139 4064 4085
)
"src/oasis/OASISString.ml" 140 4088 4114 "src/oasis/OASISString.ml" 140 4088 4131
type(
  int
)
"src/oasis/OASISString.ml" 140 4088 4100 "src/oasis/OASISString.ml" 140 4088 4131
type(
  Buffer.t
)
"src/oasis/OASISString.ml" 141 4135 4137 "src/oasis/OASISString.ml" 141 4135 4148
type(
  (char -> unit) -> string -> unit
)
ident(
  int_ref Stdlib.String.iter "string.mli" 291 10436 10436 "string.mli" 291 10436 10479
)
"src/oasis/OASISString.ml" 141 4135 4154 "src/oasis/OASISString.ml" 141 4135 4155
type(
  char
)
ident(
  def c "src/oasis/OASISString.ml" 141 4135 4159 "src/oasis/OASISString.ml" 141 4135 4184
)
"src/oasis/OASISString.ml" 141 4135 4159 "src/oasis/OASISString.ml" 141 4135 4174
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISString.ml" 141 4135 4175 "src/oasis/OASISString.ml" 141 4135 4178
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 140 4088 4094 "src/oasis/OASISString.ml" 140 4088 4097
)
"src/oasis/OASISString.ml" 141 4135 4180 "src/oasis/OASISString.ml" 141 4135 4181
type(
  char -> char
)
ident(
  int_ref f "src/oasis/OASISString.ml" 139 4064 4082 "src/oasis/OASISString.ml" 139 4064 4083
)
"src/oasis/OASISString.ml" 141 4135 4182 "src/oasis/OASISString.ml" 141 4135 4183
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 141 4135 4154 "src/oasis/OASISString.ml" 141 4135 4155
)
"src/oasis/OASISString.ml" 141 4135 4179 "src/oasis/OASISString.ml" 141 4135 4184
type(
  char
)
"src/oasis/OASISString.ml" 141 4135 4159 "src/oasis/OASISString.ml" 141 4135 4184
type(
  unit
)
"src/oasis/OASISString.ml" 141 4135 4149 "src/oasis/OASISString.ml" 141 4135 4185
type(
  char -> unit
)
"src/oasis/OASISString.ml" 141 4135 4186 "src/oasis/OASISString.ml" 141 4135 4187
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 139 4064 4084 "src/oasis/OASISString.ml" 139 4064 4085
)
"src/oasis/OASISString.ml" 141 4135 4137 "src/oasis/OASISString.ml" 141 4135 4187
type(
  unit
)
"src/oasis/OASISString.ml" 142 4189 4191 "src/oasis/OASISString.ml" 142 4189 4206
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISString.ml" 142 4189 4207 "src/oasis/OASISString.ml" 142 4189 4210
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 140 4088 4094 "src/oasis/OASISString.ml" 140 4088 4097
)
"src/oasis/OASISString.ml" 142 4189 4191 "src/oasis/OASISString.ml" 142 4189 4210
type(
  string
)
"src/oasis/OASISString.ml" 141 4135 4137 "src/oasis/OASISString.ml" 142 4189 4210
type(
  string
)
"src/oasis/OASISString.ml" 140 4088 4090 "src/oasis/OASISString.ml" 142 4189 4210
type(
  string
)
"src/oasis/OASISString.ml" 144 4212 4216 "src/oasis/OASISString.ml" 144 4212 4231
type(
  string -> string
)
ident(
  def lowercase_ascii "src/oasis/OASISString.ml" 152 4364 4364 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 145 4234 4236 "src/oasis/OASISString.ml" 145 4234 4249
type(
  (char -> char) -> string -> string
)
ident(
  int_ref replace_chars "src/oasis/OASISString.ml" 139 4064 4068 "src/oasis/OASISString.ml" 139 4064 4081
)
"src/oasis/OASISString.ml" 146 4250 4259 "src/oasis/OASISString.ml" 146 4250 4260
type(
  char
)
ident(
  def c "src/oasis/OASISString.ml" 147 4264 4271 "src/oasis/OASISString.ml" 150 4351 4361
)
"src/oasis/OASISString.ml" 147 4264 4275 "src/oasis/OASISString.ml" 147 4264 4276
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 146 4250 4259 "src/oasis/OASISString.ml" 146 4250 4260
)
"src/oasis/OASISString.ml" 147 4264 4277 "src/oasis/OASISString.ml" 147 4264 4279
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISString.ml" 147 4264 4280 "src/oasis/OASISString.ml" 147 4264 4283
type(
  char
)
"src/oasis/OASISString.ml" 147 4264 4275 "src/oasis/OASISString.ml" 147 4264 4283
type(
  bool
)
"src/oasis/OASISString.ml" 147 4264 4284 "src/oasis/OASISString.ml" 147 4264 4286
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 147 4264 4287 "src/oasis/OASISString.ml" 147 4264 4288
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 146 4250 4259 "src/oasis/OASISString.ml" 146 4250 4260
)
"src/oasis/OASISString.ml" 147 4264 4289 "src/oasis/OASISString.ml" 147 4264 4291
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISString.ml" 147 4264 4292 "src/oasis/OASISString.ml" 147 4264 4295
type(
  char
)
"src/oasis/OASISString.ml" 147 4264 4287 "src/oasis/OASISString.ml" 147 4264 4295
type(
  bool
)
"src/oasis/OASISString.ml" 147 4264 4274 "src/oasis/OASISString.ml" 147 4264 4296
type(
  bool
)
"src/oasis/OASISString.ml" 148 4302 4311 "src/oasis/OASISString.ml" 148 4302 4319
type(
  int -> char
)
ident(
  int_ref Stdlib.Char.chr "char.mli" 21 1198 1198 "char.mli" 21 1198 1219
)
"src/oasis/OASISString.ml" 148 4302 4321 "src/oasis/OASISString.ml" 148 4302 4330
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/oasis/OASISString.ml" 148 4302 4331 "src/oasis/OASISString.ml" 148 4302 4332
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 146 4250 4259 "src/oasis/OASISString.ml" 146 4250 4260
)
"src/oasis/OASISString.ml" 148 4302 4321 "src/oasis/OASISString.ml" 148 4302 4332
type(
  int
)
"src/oasis/OASISString.ml" 148 4302 4333 "src/oasis/OASISString.ml" 148 4302 4334
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 148 4302 4335 "src/oasis/OASISString.ml" 148 4302 4337
type(
  int
)
"src/oasis/OASISString.ml" 148 4302 4320 "src/oasis/OASISString.ml" 148 4302 4338
type(
  int
)
"src/oasis/OASISString.ml" 148 4302 4311 "src/oasis/OASISString.ml" 148 4302 4338
type(
  char
)
"src/oasis/OASISString.ml" 150 4351 4360 "src/oasis/OASISString.ml" 150 4351 4361
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 146 4250 4259 "src/oasis/OASISString.ml" 146 4250 4260
)
"src/oasis/OASISString.ml" 147 4264 4271 "src/oasis/OASISString.ml" 150 4351 4361
type(
  char
)
"src/oasis/OASISString.ml" 146 4250 4254 "src/oasis/OASISString.ml" 150 4351 4362
type(
  char -> char
)
"src/oasis/OASISString.ml" 145 4234 4236 "src/oasis/OASISString.ml" 150 4351 4362
type(
  string -> string
)
"src/oasis/OASISString.ml" 152 4364 4368 "src/oasis/OASISString.ml" 152 4364 4386
type(
  string -> string
)
ident(
  def uncapitalize_ascii "src/oasis/OASISString.ml" 158 4507 4507 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 152 4364 4387 "src/oasis/OASISString.ml" 152 4364 4388
type(
  string
)
ident(
  def s "src/oasis/OASISString.ml" 153 4391 4393 "src/oasis/OASISString.ml" 156 4500 4505
)
"src/oasis/OASISString.ml" 153 4391 4396 "src/oasis/OASISString.ml" 153 4391 4397
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 152 4364 4387 "src/oasis/OASISString.ml" 152 4364 4388
)
"src/oasis/OASISString.ml" 153 4391 4398 "src/oasis/OASISString.ml" 153 4391 4400
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISString.ml" 153 4391 4401 "src/oasis/OASISString.ml" 153 4391 4403
type(
  string
)
"src/oasis/OASISString.ml" 153 4391 4396 "src/oasis/OASISString.ml" 153 4391 4403
type(
  bool
)
"src/oasis/OASISString.ml" 154 4409 4414 "src/oasis/OASISString.ml" 154 4409 4429
type(
  string -> string
)
ident(
  int_ref lowercase_ascii "src/oasis/OASISString.ml" 144 4212 4216 "src/oasis/OASISString.ml" 144 4212 4231
)
"src/oasis/OASISString.ml" 154 4409 4431 "src/oasis/OASISString.ml" 154 4409 4441
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 154 4409 4442 "src/oasis/OASISString.ml" 154 4409 4443
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 152 4364 4387 "src/oasis/OASISString.ml" 152 4364 4388
)
"src/oasis/OASISString.ml" 154 4409 4444 "src/oasis/OASISString.ml" 154 4409 4445
type(
  int
)
"src/oasis/OASISString.ml" 154 4409 4446 "src/oasis/OASISString.ml" 154 4409 4447
type(
  int
)
"src/oasis/OASISString.ml" 154 4409 4430 "src/oasis/OASISString.ml" 154 4409 4448
type(
  string
)
"src/oasis/OASISString.ml" 154 4409 4413 "src/oasis/OASISString.ml" 154 4409 4449
type(
  string
)
"src/oasis/OASISString.ml" 154 4409 4450 "src/oasis/OASISString.ml" 154 4409 4451
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISString.ml" 154 4409 4453 "src/oasis/OASISString.ml" 154 4409 4463
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 154 4409 4464 "src/oasis/OASISString.ml" 154 4409 4465
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 152 4364 4387 "src/oasis/OASISString.ml" 152 4364 4388
)
"src/oasis/OASISString.ml" 154 4409 4466 "src/oasis/OASISString.ml" 154 4409 4467
type(
  int
)
"src/oasis/OASISString.ml" 154 4409 4470 "src/oasis/OASISString.ml" 154 4409 4483
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 154 4409 4484 "src/oasis/OASISString.ml" 154 4409 4485
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 152 4364 4387 "src/oasis/OASISString.ml" 152 4364 4388
)
"src/oasis/OASISString.ml" 154 4409 4469 "src/oasis/OASISString.ml" 154 4409 4486
type(
  int
)
"src/oasis/OASISString.ml" 154 4409 4487 "src/oasis/OASISString.ml" 154 4409 4488
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 154 4409 4489 "src/oasis/OASISString.ml" 154 4409 4490
type(
  int
)
"src/oasis/OASISString.ml" 154 4409 4468 "src/oasis/OASISString.ml" 154 4409 4491
type(
  int
)
"src/oasis/OASISString.ml" 154 4409 4452 "src/oasis/OASISString.ml" 154 4409 4492
type(
  string
)
"src/oasis/OASISString.ml" 154 4409 4413 "src/oasis/OASISString.ml" 154 4409 4492
type(
  string
)
"src/oasis/OASISString.ml" 156 4500 4504 "src/oasis/OASISString.ml" 156 4500 4505
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 152 4364 4387 "src/oasis/OASISString.ml" 152 4364 4388
)
"src/oasis/OASISString.ml" 153 4391 4393 "src/oasis/OASISString.ml" 156 4500 4505
type(
  string
)
"src/oasis/OASISString.ml" 158 4507 4511 "src/oasis/OASISString.ml" 158 4507 4526
type(
  string -> string
)
ident(
  def uppercase_ascii "src/oasis/OASISString.ml" 166 4659 4659 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 159 4529 4531 "src/oasis/OASISString.ml" 159 4529 4544
type(
  (char -> char) -> string -> string
)
ident(
  int_ref replace_chars "src/oasis/OASISString.ml" 139 4064 4068 "src/oasis/OASISString.ml" 139 4064 4081
)
"src/oasis/OASISString.ml" 160 4545 4554 "src/oasis/OASISString.ml" 160 4545 4555
type(
  char
)
ident(
  def c "src/oasis/OASISString.ml" 161 4559 4566 "src/oasis/OASISString.ml" 164 4646 4656
)
"src/oasis/OASISString.ml" 161 4559 4570 "src/oasis/OASISString.ml" 161 4559 4571
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 160 4545 4554 "src/oasis/OASISString.ml" 160 4545 4555
)
"src/oasis/OASISString.ml" 161 4559 4572 "src/oasis/OASISString.ml" 161 4559 4574
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISString.ml" 161 4559 4575 "src/oasis/OASISString.ml" 161 4559 4578
type(
  char
)
"src/oasis/OASISString.ml" 161 4559 4570 "src/oasis/OASISString.ml" 161 4559 4578
type(
  bool
)
"src/oasis/OASISString.ml" 161 4559 4579 "src/oasis/OASISString.ml" 161 4559 4581
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 161 4559 4582 "src/oasis/OASISString.ml" 161 4559 4583
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 160 4545 4554 "src/oasis/OASISString.ml" 160 4545 4555
)
"src/oasis/OASISString.ml" 161 4559 4584 "src/oasis/OASISString.ml" 161 4559 4586
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISString.ml" 161 4559 4587 "src/oasis/OASISString.ml" 161 4559 4590
type(
  char
)
"src/oasis/OASISString.ml" 161 4559 4582 "src/oasis/OASISString.ml" 161 4559 4590
type(
  bool
)
"src/oasis/OASISString.ml" 161 4559 4569 "src/oasis/OASISString.ml" 161 4559 4591
type(
  bool
)
"src/oasis/OASISString.ml" 162 4597 4606 "src/oasis/OASISString.ml" 162 4597 4614
type(
  int -> char
)
ident(
  int_ref Stdlib.Char.chr "char.mli" 21 1198 1198 "char.mli" 21 1198 1219
)
"src/oasis/OASISString.ml" 162 4597 4616 "src/oasis/OASISString.ml" 162 4597 4625
type(
  char -> int
)
ident(
  int_ref Stdlib.Char.code "char.mli" 18 1109 1109 "char.mli" 18 1109 1150
)
"src/oasis/OASISString.ml" 162 4597 4626 "src/oasis/OASISString.ml" 162 4597 4627
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 160 4545 4554 "src/oasis/OASISString.ml" 160 4545 4555
)
"src/oasis/OASISString.ml" 162 4597 4616 "src/oasis/OASISString.ml" 162 4597 4627
type(
  int
)
"src/oasis/OASISString.ml" 162 4597 4628 "src/oasis/OASISString.ml" 162 4597 4629
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 162 4597 4630 "src/oasis/OASISString.ml" 162 4597 4632
type(
  int
)
"src/oasis/OASISString.ml" 162 4597 4615 "src/oasis/OASISString.ml" 162 4597 4633
type(
  int
)
"src/oasis/OASISString.ml" 162 4597 4606 "src/oasis/OASISString.ml" 162 4597 4633
type(
  char
)
"src/oasis/OASISString.ml" 164 4646 4655 "src/oasis/OASISString.ml" 164 4646 4656
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 160 4545 4554 "src/oasis/OASISString.ml" 160 4545 4555
)
"src/oasis/OASISString.ml" 161 4559 4566 "src/oasis/OASISString.ml" 164 4646 4656
type(
  char
)
"src/oasis/OASISString.ml" 160 4545 4549 "src/oasis/OASISString.ml" 164 4646 4657
type(
  char -> char
)
"src/oasis/OASISString.ml" 159 4529 4531 "src/oasis/OASISString.ml" 164 4646 4657
type(
  string -> string
)
"src/oasis/OASISString.ml" 166 4659 4663 "src/oasis/OASISString.ml" 166 4659 4679
type(
  string -> string
)
ident(
  def capitalize_ascii "src/oasis/OASISString.ml" 179 4986 4986 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 166 4659 4680 "src/oasis/OASISString.ml" 166 4659 4681
type(
  string
)
ident(
  def s "src/oasis/OASISString.ml" 167 4684 4686 "src/oasis/OASISString.ml" 170 4793 4798
)
"src/oasis/OASISString.ml" 167 4684 4689 "src/oasis/OASISString.ml" 167 4684 4690
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 166 4659 4680 "src/oasis/OASISString.ml" 166 4659 4681
)
"src/oasis/OASISString.ml" 167 4684 4691 "src/oasis/OASISString.ml" 167 4684 4693
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISString.ml" 167 4684 4694 "src/oasis/OASISString.ml" 167 4684 4696
type(
  string
)
"src/oasis/OASISString.ml" 167 4684 4689 "src/oasis/OASISString.ml" 167 4684 4696
type(
  bool
)
"src/oasis/OASISString.ml" 168 4702 4707 "src/oasis/OASISString.ml" 168 4702 4722
type(
  string -> string
)
ident(
  int_ref uppercase_ascii "src/oasis/OASISString.ml" 158 4507 4511 "src/oasis/OASISString.ml" 158 4507 4526
)
"src/oasis/OASISString.ml" 168 4702 4724 "src/oasis/OASISString.ml" 168 4702 4734
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 168 4702 4735 "src/oasis/OASISString.ml" 168 4702 4736
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 166 4659 4680 "src/oasis/OASISString.ml" 166 4659 4681
)
"src/oasis/OASISString.ml" 168 4702 4737 "src/oasis/OASISString.ml" 168 4702 4738
type(
  int
)
"src/oasis/OASISString.ml" 168 4702 4739 "src/oasis/OASISString.ml" 168 4702 4740
type(
  int
)
"src/oasis/OASISString.ml" 168 4702 4723 "src/oasis/OASISString.ml" 168 4702 4741
type(
  string
)
"src/oasis/OASISString.ml" 168 4702 4706 "src/oasis/OASISString.ml" 168 4702 4742
type(
  string
)
"src/oasis/OASISString.ml" 168 4702 4743 "src/oasis/OASISString.ml" 168 4702 4744
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISString.ml" 168 4702 4746 "src/oasis/OASISString.ml" 168 4702 4756
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 168 4702 4757 "src/oasis/OASISString.ml" 168 4702 4758
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 166 4659 4680 "src/oasis/OASISString.ml" 166 4659 4681
)
"src/oasis/OASISString.ml" 168 4702 4759 "src/oasis/OASISString.ml" 168 4702 4760
type(
  int
)
"src/oasis/OASISString.ml" 168 4702 4763 "src/oasis/OASISString.ml" 168 4702 4776
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 168 4702 4777 "src/oasis/OASISString.ml" 168 4702 4778
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 166 4659 4680 "src/oasis/OASISString.ml" 166 4659 4681
)
"src/oasis/OASISString.ml" 168 4702 4762 "src/oasis/OASISString.ml" 168 4702 4779
type(
  int
)
"src/oasis/OASISString.ml" 168 4702 4780 "src/oasis/OASISString.ml" 168 4702 4781
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 168 4702 4782 "src/oasis/OASISString.ml" 168 4702 4783
type(
  int
)
"src/oasis/OASISString.ml" 168 4702 4761 "src/oasis/OASISString.ml" 168 4702 4784
type(
  int
)
"src/oasis/OASISString.ml" 168 4702 4745 "src/oasis/OASISString.ml" 168 4702 4785
type(
  string
)
"src/oasis/OASISString.ml" 168 4702 4706 "src/oasis/OASISString.ml" 168 4702 4785
type(
  string
)
"src/oasis/OASISString.ml" 170 4793 4797 "src/oasis/OASISString.ml" 170 4793 4798
type(
  string
)
ident(
  int_ref s "src/oasis/OASISString.ml" 166 4659 4680 "src/oasis/OASISString.ml" 166 4659 4681
)
"src/oasis/OASISString.ml" 167 4684 4686 "src/oasis/OASISString.ml" 170 4793 4798
type(
  string
)
"src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
type(
  char -> bool
)
ident(
  def is_whitespace "src/oasis/OASISString.ml" 185 5077 5077 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 181 5017 5023 "src/oasis/OASISString.ml" 181 5017 5026
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5029 "src/oasis/OASISString.ml" 181 5017 5033
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5023 "src/oasis/OASISString.ml" 181 5017 5033
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5036 "src/oasis/OASISString.ml" 181 5017 5040
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5023 "src/oasis/OASISString.ml" 181 5017 5040
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5043 "src/oasis/OASISString.ml" 181 5017 5047
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5023 "src/oasis/OASISString.ml" 181 5017 5047
type(
  char
)
"src/oasis/OASISString.ml" 181 5017 5051 "src/oasis/OASISString.ml" 181 5017 5055
type(
  bool
)
"src/oasis/OASISString.ml" 182 5056 5063 "src/oasis/OASISString.ml" 182 5056 5064
type(
  char
)
"src/oasis/OASISString.ml" 182 5056 5069 "src/oasis/OASISString.ml" 182 5056 5074
type(
  bool
)
"src/oasis/OASISString.ml" 180 5006 5008 "src/oasis/OASISString.ml" 182 5056 5074
type(
  char -> bool
)
"src/oasis/OASISString.ml" 185 5077 5081 "src/oasis/OASISString.ml" 185 5077 5089
type(
  ?is_whitespace:(char -> bool) ->
  ?tokens:string list -> string -> string list
)
ident(
  def tokenize "src/oasis/OASISString.ml" 232 6058 6058 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 185 5077 5092 "src/oasis/OASISString.ml" 185 5077 5105
type(
  char -> bool
)
ident(
  def is_whitespace "src/oasis/OASISString.ml" 185 5077 5121 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 185 5077 5106 "src/oasis/OASISString.ml" 185 5077 5119
type(
  char -> bool
)
ident(
  int_ref is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
type(
  (char -> bool) option
)
type(
  (char -> bool) option
)
type(
  char -> bool
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 185 5077 5106 "src/oasis/OASISString.ml" 185 5077 5119
)
type(
  char -> bool
)
type(
  (char -> bool) option
)
type(
  (char -> bool) option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 185 5077 5106 "src/oasis/OASISString.ml" 185 5077 5119
)
"src/oasis/OASISString.ml" 185 5077 5123 "src/oasis/OASISString.ml" 185 5077 5129
type(
  string list
)
ident(
  def tokens "src/oasis/OASISString.ml" 185 5077 5134 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 185 5077 5130 "src/oasis/OASISString.ml" 185 5077 5132
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
type(
  string list
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 185 5077 5130 "src/oasis/OASISString.ml" 185 5077 5132
)
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 185 5077 5130 "src/oasis/OASISString.ml" 185 5077 5132
)
"src/oasis/OASISString.ml" 185 5077 5134 "src/oasis/OASISString.ml" 185 5077 5137
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 186 5140 5142 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 186 5140 5146 "src/oasis/OASISString.ml" 186 5140 5149
type(
  string list ref
)
ident(
  def lst "src/oasis/OASISString.ml" 187 5162 5164 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 186 5140 5152 "src/oasis/OASISString.ml" 186 5140 5155
type(
  string list -> string list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 186 5140 5156 "src/oasis/OASISString.ml" 186 5140 5158
type(
  string list
)
"src/oasis/OASISString.ml" 186 5140 5152 "src/oasis/OASISString.ml" 186 5140 5158
type(
  string list ref
)
"src/oasis/OASISString.ml" 187 5162 5168 "src/oasis/OASISString.ml" 187 5162 5171
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISString.ml" 188 5194 5196 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 187 5162 5174 "src/oasis/OASISString.ml" 187 5162 5187
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISString.ml" 187 5162 5188 "src/oasis/OASISString.ml" 187 5162 5190
type(
  int
)
"src/oasis/OASISString.ml" 187 5162 5174 "src/oasis/OASISString.ml" 187 5162 5190
type(
  Buffer.t
)
"src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
type(
  int ref
)
ident(
  def idx "src/oasis/OASISString.ml" 189 5215 5217 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 188 5194 5206 "src/oasis/OASISString.ml" 188 5194 5209
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 188 5194 5210 "src/oasis/OASISString.ml" 188 5194 5211
type(
  int
)
"src/oasis/OASISString.ml" 188 5194 5206 "src/oasis/OASISString.ml" 188 5194 5211
type(
  int ref
)
"src/oasis/OASISString.ml" 189 5215 5221 "src/oasis/OASISString.ml" 189 5215 5225
type(
  unit -> unit
)
ident(
  def push "src/oasis/OASISString.ml" 197 5415 5417 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 189 5215 5226 "src/oasis/OASISString.ml" 189 5215 5228
type(
  unit
)
"src/oasis/OASISString.ml" 191 5285 5292 "src/oasis/OASISString.ml" 191 5285 5305
type(
  Buffer.t -> int
)
ident(
  int_ref Stdlib.Buffer.length "buffer.mli" 80 3386 3386 "buffer.mli" 80 3386 3407
)
"src/oasis/OASISString.ml" 191 5285 5306 "src/oasis/OASISString.ml" 191 5285 5309
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 187 5162 5168 "src/oasis/OASISString.ml" 187 5162 5171
)
"src/oasis/OASISString.ml" 191 5285 5292 "src/oasis/OASISString.ml" 191 5285 5309
type(
  int
)
"src/oasis/OASISString.ml" 191 5285 5310 "src/oasis/OASISString.ml" 191 5285 5311
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISString.ml" 191 5285 5312 "src/oasis/OASISString.ml" 191 5285 5313
type(
  int
)
"src/oasis/OASISString.ml" 191 5285 5292 "src/oasis/OASISString.ml" 191 5285 5313
type(
  bool
)
"src/oasis/OASISString.ml" 193 5331 5339 "src/oasis/OASISString.ml" 193 5331 5342
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 186 5140 5146 "src/oasis/OASISString.ml" 186 5140 5149
)
"src/oasis/OASISString.ml" 193 5331 5343 "src/oasis/OASISString.ml" 193 5331 5345
type(
  string list ref -> string list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 193 5331 5346 "src/oasis/OASISString.ml" 193 5331 5361
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISString.ml" 193 5331 5362 "src/oasis/OASISString.ml" 193 5331 5365
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 187 5162 5168 "src/oasis/OASISString.ml" 187 5162 5171
)
"src/oasis/OASISString.ml" 193 5331 5346 "src/oasis/OASISString.ml" 193 5331 5365
type(
  string
)
"src/oasis/OASISString.ml" 193 5331 5369 "src/oasis/OASISString.ml" 193 5331 5370
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 193 5331 5370 "src/oasis/OASISString.ml" 193 5331 5373
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 186 5140 5146 "src/oasis/OASISString.ml" 186 5140 5149
)
"src/oasis/OASISString.ml" 193 5331 5369 "src/oasis/OASISString.ml" 193 5331 5373
type(
  string list
)
"src/oasis/OASISString.ml" 193 5331 5346 "src/oasis/OASISString.ml" 193 5331 5373
type(
  string list
)
"src/oasis/OASISString.ml" 193 5331 5339 "src/oasis/OASISString.ml" 193 5331 5373
type(
  unit
)
"src/oasis/OASISString.ml" 194 5375 5383 "src/oasis/OASISString.ml" 194 5375 5395
type(
  Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.clear "buffer.mli" 83 3483 3483 "buffer.mli" 83 3483 3504
)
"src/oasis/OASISString.ml" 194 5375 5396 "src/oasis/OASISString.ml" 194 5375 5399
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 187 5162 5168 "src/oasis/OASISString.ml" 187 5162 5171
)
"src/oasis/OASISString.ml" 194 5375 5383 "src/oasis/OASISString.ml" 194 5375 5399
type(
  unit
)
"src/oasis/OASISString.ml" 192 5319 5325 "src/oasis/OASISString.ml" 195 5400 5409
type(
  unit
)
"src/oasis/OASISString.ml" 191 5285 5289 "src/oasis/OASISString.ml" 195 5400 5409
type(
  unit
)
"src/oasis/OASISString.ml" 197 5415 5421 "src/oasis/OASISString.ml" 197 5415 5432
type(
  unit -> bool
)
ident(
  def match_token "src/oasis/OASISString.ml" 211 5731 5733 "src/oasis/OASISString.ml" 229 6040 6055
)
"src/oasis/OASISString.ml" 197 5415 5433 "src/oasis/OASISString.ml" 197 5415 5435
type(
  unit
)
"src/oasis/OASISString.ml" 198 5438 5442 "src/oasis/OASISString.ml" 198 5438 5453
type(
  (string -> bool) -> string list -> bool
)
ident(
  int_ref Stdlib.List.exists "list.mli" 272 9272 9272 "list.mli" 272 9272 9316
)
"src/oasis/OASISString.ml" 199 5454 5465 "src/oasis/OASISString.ml" 199 5454 5468
type(
  string
)
ident(
  def tok "src/oasis/OASISString.ml" 200 5472 5481 "src/oasis/OASISString.ml" 208 5695 5711
)
"src/oasis/OASISString.ml" 200 5472 5484 "src/oasis/OASISString.ml" 200 5472 5495
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  int_ref starts_with "src/oasis/OASISString.ml" 93 3062 3066 "src/oasis/OASISString.ml" 93 3062 3077
)
"src/oasis/OASISString.ml" 200 5472 5502 "src/oasis/OASISString.ml" 200 5472 5505
type(
  string
)
ident(
  int_ref tok "src/oasis/OASISString.ml" 199 5454 5465 "src/oasis/OASISString.ml" 199 5454 5468
)
"src/oasis/OASISString.ml" 200 5472 5514 "src/oasis/OASISString.ml" 200 5472 5515
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 200 5472 5515 "src/oasis/OASISString.ml" 200 5472 5518
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 200 5472 5514 "src/oasis/OASISString.ml" 200 5472 5518
type(
  int
)
type(
  int option
)
"src/oasis/OASISString.ml" 200 5472 5519 "src/oasis/OASISString.ml" 200 5472 5522
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 185 5077 5134 "src/oasis/OASISString.ml" 185 5077 5137
)
"src/oasis/OASISString.ml" 200 5472 5484 "src/oasis/OASISString.ml" 200 5472 5522
type(
  bool
)
"src/oasis/OASISString.ml" 202 5545 5558 "src/oasis/OASISString.ml" 202 5545 5562
type(
  unit -> unit
)
ident(
  int_ref push "src/oasis/OASISString.ml" 189 5215 5221 "src/oasis/OASISString.ml" 189 5215 5225
)
"src/oasis/OASISString.ml" 202 5545 5563 "src/oasis/OASISString.ml" 202 5545 5565
type(
  unit
)
"src/oasis/OASISString.ml" 202 5545 5558 "src/oasis/OASISString.ml" 202 5545 5565
type(
  unit
)
"src/oasis/OASISString.ml" 203 5567 5580 "src/oasis/OASISString.ml" 203 5567 5583
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 186 5140 5146 "src/oasis/OASISString.ml" 186 5140 5149
)
"src/oasis/OASISString.ml" 203 5567 5584 "src/oasis/OASISString.ml" 203 5567 5586
type(
  string list ref -> string list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 203 5567 5587 "src/oasis/OASISString.ml" 203 5567 5590
type(
  string
)
ident(
  int_ref tok "src/oasis/OASISString.ml" 199 5454 5465 "src/oasis/OASISString.ml" 199 5454 5468
)
"src/oasis/OASISString.ml" 203 5567 5594 "src/oasis/OASISString.ml" 203 5567 5595
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 203 5567 5595 "src/oasis/OASISString.ml" 203 5567 5598
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 186 5140 5146 "src/oasis/OASISString.ml" 186 5140 5149
)
"src/oasis/OASISString.ml" 203 5567 5594 "src/oasis/OASISString.ml" 203 5567 5598
type(
  string list
)
"src/oasis/OASISString.ml" 203 5567 5587 "src/oasis/OASISString.ml" 203 5567 5598
type(
  string list
)
"src/oasis/OASISString.ml" 203 5567 5580 "src/oasis/OASISString.ml" 203 5567 5598
type(
  unit
)
"src/oasis/OASISString.ml" 204 5600 5613 "src/oasis/OASISString.ml" 204 5600 5616
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 204 5600 5617 "src/oasis/OASISString.ml" 204 5600 5619
type(
  int ref -> int -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 204 5600 5620 "src/oasis/OASISString.ml" 204 5600 5621
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 204 5600 5621 "src/oasis/OASISString.ml" 204 5600 5624
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 204 5600 5620 "src/oasis/OASISString.ml" 204 5600 5624
type(
  int
)
"src/oasis/OASISString.ml" 204 5600 5625 "src/oasis/OASISString.ml" 204 5600 5626
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 204 5600 5628 "src/oasis/OASISString.ml" 204 5600 5641
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 204 5600 5642 "src/oasis/OASISString.ml" 204 5600 5645
type(
  string
)
ident(
  int_ref tok "src/oasis/OASISString.ml" 199 5454 5465 "src/oasis/OASISString.ml" 199 5454 5468
)
"src/oasis/OASISString.ml" 204 5600 5627 "src/oasis/OASISString.ml" 204 5600 5646
type(
  int
)
"src/oasis/OASISString.ml" 204 5600 5620 "src/oasis/OASISString.ml" 204 5600 5646
type(
  int
)
"src/oasis/OASISString.ml" 204 5600 5613 "src/oasis/OASISString.ml" 204 5600 5646
type(
  unit
)
"src/oasis/OASISString.ml" 205 5648 5661 "src/oasis/OASISString.ml" 205 5648 5665
type(
  bool
)
"src/oasis/OASISString.ml" 204 5600 5613 "src/oasis/OASISString.ml" 205 5648 5665
type(
  bool
)
"src/oasis/OASISString.ml" 203 5567 5580 "src/oasis/OASISString.ml" 205 5648 5665
type(
  bool
)
"src/oasis/OASISString.ml" 201 5528 5539 "src/oasis/OASISString.ml" 206 5666 5680
type(
  bool
)
"src/oasis/OASISString.ml" 208 5695 5706 "src/oasis/OASISString.ml" 208 5695 5711
type(
  bool
)
"src/oasis/OASISString.ml" 200 5472 5481 "src/oasis/OASISString.ml" 208 5695 5711
type(
  bool
)
"src/oasis/OASISString.ml" 199 5454 5460 "src/oasis/OASISString.ml" 208 5695 5712
type(
  string -> bool
)
"src/oasis/OASISString.ml" 209 5713 5719 "src/oasis/OASISString.ml" 209 5713 5725
type(
  string list
)
ident(
  int_ref tokens "src/oasis/OASISString.ml" 185 5077 5123 "src/oasis/OASISString.ml" 185 5077 5129
)
"src/oasis/OASISString.ml" 198 5438 5442 "src/oasis/OASISString.ml" 209 5713 5725
type(
  bool
)
"src/oasis/OASISString.ml" 211 5731 5739 "src/oasis/OASISString.ml" 211 5731 5740
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 211 5731 5740 "src/oasis/OASISString.ml" 211 5731 5743
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 211 5731 5739 "src/oasis/OASISString.ml" 211 5731 5743
type(
  int
)
"src/oasis/OASISString.ml" 211 5731 5744 "src/oasis/OASISString.ml" 211 5731 5745
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISString.ml" 211 5731 5746 "src/oasis/OASISString.ml" 211 5731 5759
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 211 5731 5760 "src/oasis/OASISString.ml" 211 5731 5763
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 185 5077 5134 "src/oasis/OASISString.ml" 185 5077 5137
)
"src/oasis/OASISString.ml" 211 5731 5746 "src/oasis/OASISString.ml" 211 5731 5763
type(
  int
)
"src/oasis/OASISString.ml" 211 5731 5739 "src/oasis/OASISString.ml" 211 5731 5763
type(
  bool
)
"src/oasis/OASISString.ml" 212 5767 5775 "src/oasis/OASISString.ml" 212 5767 5776
type(
  char
)
ident(
  def c "src/oasis/OASISString.ml" 213 5793 5797 "src/oasis/OASISString.ml" 226 6011 6020
)
"src/oasis/OASISString.ml" 212 5767 5779 "src/oasis/OASISString.ml" 212 5767 5782
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 185 5077 5134 "src/oasis/OASISString.ml" 185 5077 5137
)
"src/oasis/OASISString.ml" 212 5767 5784 "src/oasis/OASISString.ml" 212 5767 5785
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 212 5767 5785 "src/oasis/OASISString.ml" 212 5767 5788
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 212 5767 5784 "src/oasis/OASISString.ml" 212 5767 5788
type(
  int
)
"src/oasis/OASISString.ml" 212 5767 5779 "src/oasis/OASISString.ml" 212 5767 5789
type(
  char
)
"src/oasis/OASISString.ml" 213 5793 5800 "src/oasis/OASISString.ml" 213 5793 5813
type(
  char -> bool
)
ident(
  int_ref is_whitespace "src/oasis/OASISString.ml" 185 5077 5092 "src/oasis/OASISString.ml" 185 5077 5105
)
"src/oasis/OASISString.ml" 213 5793 5814 "src/oasis/OASISString.ml" 213 5793 5815
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 212 5767 5775 "src/oasis/OASISString.ml" 212 5767 5776
)
"src/oasis/OASISString.ml" 213 5793 5800 "src/oasis/OASISString.ml" 213 5793 5815
type(
  bool
)
"src/oasis/OASISString.ml" 215 5833 5841 "src/oasis/OASISString.ml" 215 5833 5845
type(
  unit -> unit
)
ident(
  int_ref push "src/oasis/OASISString.ml" 189 5215 5221 "src/oasis/OASISString.ml" 189 5215 5225
)
"src/oasis/OASISString.ml" 215 5833 5846 "src/oasis/OASISString.ml" 215 5833 5848
type(
  unit
)
"src/oasis/OASISString.ml" 215 5833 5841 "src/oasis/OASISString.ml" 215 5833 5848
type(
  unit
)
"src/oasis/OASISString.ml" 216 5850 5858 "src/oasis/OASISString.ml" 216 5850 5862
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 216 5850 5863 "src/oasis/OASISString.ml" 216 5850 5866
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 216 5850 5858 "src/oasis/OASISString.ml" 216 5850 5866
type(
  unit
)
"src/oasis/OASISString.ml" 214 5821 5827 "src/oasis/OASISString.ml" 217 5867 5876
type(
  unit
)
"src/oasis/OASISString.ml" 218 5877 5889 "src/oasis/OASISString.ml" 218 5877 5900
type(
  unit -> bool
)
ident(
  int_ref match_token "src/oasis/OASISString.ml" 197 5415 5421 "src/oasis/OASISString.ml" 197 5415 5432
)
"src/oasis/OASISString.ml" 218 5877 5901 "src/oasis/OASISString.ml" 218 5877 5903
type(
  unit
)
"src/oasis/OASISString.ml" 218 5877 5889 "src/oasis/OASISString.ml" 218 5877 5903
type(
  bool
)
"src/oasis/OASISString.ml" 219 5909 5915 "src/oasis/OASISString.ml" 221 5932 5941
type(
  unit
)
"src/oasis/OASISString.ml" 224 5963 5971 "src/oasis/OASISString.ml" 224 5963 5986
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISString.ml" 224 5963 5987 "src/oasis/OASISString.ml" 224 5963 5990
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISString.ml" 187 5162 5168 "src/oasis/OASISString.ml" 187 5162 5171
)
"src/oasis/OASISString.ml" 224 5963 5991 "src/oasis/OASISString.ml" 224 5963 5992
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 212 5767 5775 "src/oasis/OASISString.ml" 212 5767 5776
)
"src/oasis/OASISString.ml" 224 5963 5971 "src/oasis/OASISString.ml" 224 5963 5992
type(
  unit
)
"src/oasis/OASISString.ml" 225 5994 6002 "src/oasis/OASISString.ml" 225 5994 6006
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 225 5994 6007 "src/oasis/OASISString.ml" 225 5994 6010
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 188 5194 5200 "src/oasis/OASISString.ml" 188 5194 5203
)
"src/oasis/OASISString.ml" 225 5994 6002 "src/oasis/OASISString.ml" 225 5994 6010
type(
  unit
)
"src/oasis/OASISString.ml" 223 5951 5957 "src/oasis/OASISString.ml" 226 6011 6020
type(
  unit
)
"src/oasis/OASISString.ml" 218 5877 5886 "src/oasis/OASISString.ml" 226 6011 6020
type(
  unit
)
"src/oasis/OASISString.ml" 213 5793 5797 "src/oasis/OASISString.ml" 226 6011 6020
type(
  unit
)
"src/oasis/OASISString.ml" 212 5767 5771 "src/oasis/OASISString.ml" 226 6011 6020
type(
  unit
)
"src/oasis/OASISString.ml" 211 5731 5733 "src/oasis/OASISString.ml" 227 6021 6027
type(
  unit
)
"src/oasis/OASISString.ml" 228 6029 6031 "src/oasis/OASISString.ml" 228 6029 6035
type(
  unit -> unit
)
ident(
  int_ref push "src/oasis/OASISString.ml" 189 5215 5221 "src/oasis/OASISString.ml" 189 5215 5225
)
"src/oasis/OASISString.ml" 228 6029 6036 "src/oasis/OASISString.ml" 228 6029 6038
type(
  unit
)
"src/oasis/OASISString.ml" 228 6029 6031 "src/oasis/OASISString.ml" 228 6029 6038
type(
  unit
)
"src/oasis/OASISString.ml" 229 6040 6042 "src/oasis/OASISString.ml" 229 6040 6050
type(
  string list -> string list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISString.ml" 229 6040 6051 "src/oasis/OASISString.ml" 229 6040 6052
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 229 6040 6052 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 186 5140 5146 "src/oasis/OASISString.ml" 186 5140 5149
)
"src/oasis/OASISString.ml" 229 6040 6051 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 229 6040 6042 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 228 6029 6031 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 211 5731 5733 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 197 5415 5417 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 189 5215 5217 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 188 5194 5196 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 187 5162 5164 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 186 5140 5142 "src/oasis/OASISString.ml" 229 6040 6055
type(
  string list
)
"src/oasis/OASISString.ml" 232 6058 6062 "src/oasis/OASISString.ml" 232 6058 6077
type(
  ?tokens:string list -> string -> Genlex.token list
)
ident(
  def tokenize_genlex "src/oasis/OASISString.ml" 239 6253 6253 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 232 6058 6080 "src/oasis/OASISString.ml" 232 6058 6086
type(
  string list
)
ident(
  def tokens "src/oasis/OASISString.ml" 232 6058 6091 "src/oasis/OASISString.ml" 236 6235 6250
)
"src/oasis/OASISString.ml" 232 6058 6087 "src/oasis/OASISString.ml" 232 6058 6089
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
type(
  string list
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 232 6058 6087 "src/oasis/OASISString.ml" 232 6058 6089
)
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 232 6058 6087 "src/oasis/OASISString.ml" 232 6058 6089
)
"src/oasis/OASISString.ml" 232 6058 6091 "src/oasis/OASISString.ml" 232 6058 6094
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 233 6097 6099 "src/oasis/OASISString.ml" 236 6235 6250
)
"src/oasis/OASISString.ml" 233 6097 6103 "src/oasis/OASISString.ml" 233 6097 6107
type(
  Genlex.token Stream.t
)
ident(
  def strm "src/oasis/OASISString.ml" 234 6161 6163 "src/oasis/OASISString.ml" 236 6235 6250
)
"src/oasis/OASISString.ml" 233 6097 6110 "src/oasis/OASISString.ml" 233 6097 6127
type(
  string list -> char Stream.t -> Genlex.token Stream.t
)
ident(
  int_ref Stdlib.Genlex.make_lexer "genlex.mli" 66 2932 2932 "genlex.mli" 66 2932 2995
)
"src/oasis/OASISString.ml" 233 6097 6128 "src/oasis/OASISString.ml" 233 6097 6134
type(
  string list
)
ident(
  int_ref tokens "src/oasis/OASISString.ml" 232 6058 6080 "src/oasis/OASISString.ml" 232 6058 6086
)
"src/oasis/OASISString.ml" 233 6097 6136 "src/oasis/OASISString.ml" 233 6097 6152
type(
  string -> char Stream.t
)
ident(
  int_ref Stdlib.Stream.of_string "stream.mli" 48 2097 2097 "stream.mli" 48 2097 2129
)
"src/oasis/OASISString.ml" 233 6097 6153 "src/oasis/OASISString.ml" 233 6097 6156
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 232 6058 6091 "src/oasis/OASISString.ml" 232 6058 6094
)
"src/oasis/OASISString.ml" 233 6097 6135 "src/oasis/OASISString.ml" 233 6097 6157
type(
  char Stream.t
)
"src/oasis/OASISString.ml" 233 6097 6110 "src/oasis/OASISString.ml" 233 6097 6157
type(
  Genlex.token Stream.t
)
"src/oasis/OASISString.ml" 234 6161 6167 "src/oasis/OASISString.ml" 234 6161 6170
type(
  Genlex.token list ref
)
ident(
  def lst "src/oasis/OASISString.ml" 235 6183 6185 "src/oasis/OASISString.ml" 236 6235 6250
)
"src/oasis/OASISString.ml" 234 6161 6173 "src/oasis/OASISString.ml" 234 6161 6176
type(
  Genlex.token list -> Genlex.token list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 234 6161 6177 "src/oasis/OASISString.ml" 234 6161 6179
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 234 6161 6173 "src/oasis/OASISString.ml" 234 6161 6179
type(
  Genlex.token list ref
)
"src/oasis/OASISString.ml" 235 6183 6185 "src/oasis/OASISString.ml" 235 6183 6196
type(
  (Genlex.token -> unit) -> Genlex.token Stream.t -> unit
)
ident(
  int_ref Stdlib.Stream.iter "stream.mli" 61 2456 2456 "stream.mli" 61 2456 2495
)
"src/oasis/OASISString.ml" 235 6183 6202 "src/oasis/OASISString.ml" 235 6183 6205
type(
  Genlex.token
)
ident(
  def tok "src/oasis/OASISString.ml" 235 6183 6209 "src/oasis/OASISString.ml" 235 6183 6227
)
"src/oasis/OASISString.ml" 235 6183 6209 "src/oasis/OASISString.ml" 235 6183 6212
type(
  Genlex.token list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 234 6161 6167 "src/oasis/OASISString.ml" 234 6161 6170
)
"src/oasis/OASISString.ml" 235 6183 6213 "src/oasis/OASISString.ml" 235 6183 6215
type(
  Genlex.token list ref -> Genlex.token list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 235 6183 6216 "src/oasis/OASISString.ml" 235 6183 6219
type(
  Genlex.token
)
ident(
  int_ref tok "src/oasis/OASISString.ml" 235 6183 6202 "src/oasis/OASISString.ml" 235 6183 6205
)
"src/oasis/OASISString.ml" 235 6183 6223 "src/oasis/OASISString.ml" 235 6183 6224
type(
  Genlex.token list ref -> Genlex.token list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 235 6183 6224 "src/oasis/OASISString.ml" 235 6183 6227
type(
  Genlex.token list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 234 6161 6167 "src/oasis/OASISString.ml" 234 6161 6170
)
"src/oasis/OASISString.ml" 235 6183 6223 "src/oasis/OASISString.ml" 235 6183 6227
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 235 6183 6216 "src/oasis/OASISString.ml" 235 6183 6227
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 235 6183 6209 "src/oasis/OASISString.ml" 235 6183 6227
type(
  unit
)
"src/oasis/OASISString.ml" 235 6183 6197 "src/oasis/OASISString.ml" 235 6183 6228
type(
  Genlex.token -> unit
)
"src/oasis/OASISString.ml" 235 6183 6229 "src/oasis/OASISString.ml" 235 6183 6233
type(
  Genlex.token Stream.t
)
ident(
  int_ref strm "src/oasis/OASISString.ml" 233 6097 6103 "src/oasis/OASISString.ml" 233 6097 6107
)
"src/oasis/OASISString.ml" 235 6183 6185 "src/oasis/OASISString.ml" 235 6183 6233
type(
  unit
)
"src/oasis/OASISString.ml" 236 6235 6237 "src/oasis/OASISString.ml" 236 6235 6245
type(
  Genlex.token list -> Genlex.token list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISString.ml" 236 6235 6246 "src/oasis/OASISString.ml" 236 6235 6247
type(
  Genlex.token list ref -> Genlex.token list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 236 6235 6247 "src/oasis/OASISString.ml" 236 6235 6250
type(
  Genlex.token list ref
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 234 6161 6167 "src/oasis/OASISString.ml" 234 6161 6170
)
"src/oasis/OASISString.ml" 236 6235 6246 "src/oasis/OASISString.ml" 236 6235 6250
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 236 6235 6237 "src/oasis/OASISString.ml" 236 6235 6250
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 235 6183 6185 "src/oasis/OASISString.ml" 236 6235 6250
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 234 6161 6163 "src/oasis/OASISString.ml" 236 6235 6250
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 233 6097 6099 "src/oasis/OASISString.ml" 236 6235 6250
type(
  Genlex.token list
)
"src/oasis/OASISString.ml" 239 6253 6257 "src/oasis/OASISString.ml" 239 6253 6262
type(
  string -> char -> string * string
)
ident(
  def split "src/oasis/OASISString.ml" 245 6388 6388 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 239 6253 6263 "src/oasis/OASISString.ml" 239 6253 6266
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 239 6253 6267 "src/oasis/OASISString.ml" 242 6329 6385
)
"src/oasis/OASISString.ml" 239 6253 6267 "src/oasis/OASISString.ml" 239 6253 6268
type(
  char
)
ident(
  def c "src/oasis/OASISString.ml" 240 6271 6273 "src/oasis/OASISString.ml" 242 6329 6385
)
"src/oasis/OASISString.ml" 240 6271 6277 "src/oasis/OASISString.ml" 240 6271 6280
type(
  int
)
ident(
  def idx "src/oasis/OASISString.ml" 241 6305 6307 "src/oasis/OASISString.ml" 242 6329 6385
)
"src/oasis/OASISString.ml" 240 6271 6283 "src/oasis/OASISString.ml" 240 6271 6295
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.index "string.mli" 332 11937 11937 "string.mli" 332 11937 11970
)
"src/oasis/OASISString.ml" 240 6271 6296 "src/oasis/OASISString.ml" 240 6271 6299
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 239 6253 6263 "src/oasis/OASISString.ml" 239 6253 6266
)
"src/oasis/OASISString.ml" 240 6271 6300 "src/oasis/OASISString.ml" 240 6271 6301
type(
  char
)
ident(
  int_ref c "src/oasis/OASISString.ml" 239 6253 6267 "src/oasis/OASISString.ml" 239 6253 6268
)
"src/oasis/OASISString.ml" 240 6271 6283 "src/oasis/OASISString.ml" 240 6271 6301
type(
  int
)
"src/oasis/OASISString.ml" 241 6305 6307 "src/oasis/OASISString.ml" 241 6305 6317
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 241 6305 6318 "src/oasis/OASISString.ml" 241 6305 6321
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 239 6253 6263 "src/oasis/OASISString.ml" 239 6253 6266
)
"src/oasis/OASISString.ml" 241 6305 6322 "src/oasis/OASISString.ml" 241 6305 6323
type(
  int
)
"src/oasis/OASISString.ml" 241 6305 6324 "src/oasis/OASISString.ml" 241 6305 6327
type(
  int
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 240 6271 6277 "src/oasis/OASISString.ml" 240 6271 6280
)
"src/oasis/OASISString.ml" 241 6305 6307 "src/oasis/OASISString.ml" 241 6305 6327
type(
  string
)
"src/oasis/OASISString.ml" 242 6329 6331 "src/oasis/OASISString.ml" 242 6329 6341
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 242 6329 6342 "src/oasis/OASISString.ml" 242 6329 6345
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 239 6253 6263 "src/oasis/OASISString.ml" 239 6253 6266
)
"src/oasis/OASISString.ml" 242 6329 6347 "src/oasis/OASISString.ml" 242 6329 6350
type(
  int
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 240 6271 6277 "src/oasis/OASISString.ml" 240 6271 6280
)
"src/oasis/OASISString.ml" 242 6329 6351 "src/oasis/OASISString.ml" 242 6329 6352
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 242 6329 6353 "src/oasis/OASISString.ml" 242 6329 6354
type(
  int
)
"src/oasis/OASISString.ml" 242 6329 6346 "src/oasis/OASISString.ml" 242 6329 6355
type(
  int
)
"src/oasis/OASISString.ml" 242 6329 6357 "src/oasis/OASISString.ml" 242 6329 6370
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 242 6329 6371 "src/oasis/OASISString.ml" 242 6329 6374
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 239 6253 6263 "src/oasis/OASISString.ml" 239 6253 6266
)
"src/oasis/OASISString.ml" 242 6329 6357 "src/oasis/OASISString.ml" 242 6329 6374
type(
  int
)
"src/oasis/OASISString.ml" 242 6329 6375 "src/oasis/OASISString.ml" 242 6329 6376
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 242 6329 6377 "src/oasis/OASISString.ml" 242 6329 6380
type(
  int
)
ident(
  int_ref idx "src/oasis/OASISString.ml" 240 6271 6277 "src/oasis/OASISString.ml" 240 6271 6280
)
"src/oasis/OASISString.ml" 242 6329 6357 "src/oasis/OASISString.ml" 242 6329 6380
type(
  int
)
"src/oasis/OASISString.ml" 242 6329 6381 "src/oasis/OASISString.ml" 242 6329 6382
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 242 6329 6383 "src/oasis/OASISString.ml" 242 6329 6384
type(
  int
)
"src/oasis/OASISString.ml" 242 6329 6356 "src/oasis/OASISString.ml" 242 6329 6385
type(
  int
)
"src/oasis/OASISString.ml" 242 6329 6331 "src/oasis/OASISString.ml" 242 6329 6385
type(
  string
)
"src/oasis/OASISString.ml" 241 6305 6307 "src/oasis/OASISString.ml" 242 6329 6385
type(
  string * string
)
"src/oasis/OASISString.ml" 240 6271 6273 "src/oasis/OASISString.ml" 242 6329 6385
type(
  string * string
)
"src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
type(
  string -> string
)
ident(
  def trim "src/oasis/OASISString.ml" 259 6828 6828 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 245 6388 6397 "src/oasis/OASISString.ml" 245 6388 6400
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 246 6403 6405 "src/oasis/OASISString.ml" 256 6751 6825
)
"src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
type(
  int ref
)
ident(
  def start_non_blank "src/oasis/OASISString.ml" 247 6436 6438 "src/oasis/OASISString.ml" 256 6751 6825
)
"src/oasis/OASISString.ml" 246 6403 6427 "src/oasis/OASISString.ml" 246 6403 6430
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 246 6403 6431 "src/oasis/OASISString.ml" 246 6403 6432
type(
  int
)
"src/oasis/OASISString.ml" 246 6403 6427 "src/oasis/OASISString.ml" 246 6403 6432
type(
  int ref
)
"src/oasis/OASISString.ml" 247 6436 6442 "src/oasis/OASISString.ml" 247 6436 6456
type(
  int ref
)
ident(
  def stop_non_blank "src/oasis/OASISString.ml" 248 6492 6494 "src/oasis/OASISString.ml" 256 6751 6825
)
"src/oasis/OASISString.ml" 247 6436 6459 "src/oasis/OASISString.ml" 247 6436 6462
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 247 6436 6465 "src/oasis/OASISString.ml" 247 6436 6478
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 247 6436 6479 "src/oasis/OASISString.ml" 247 6436 6482
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 245 6388 6397 "src/oasis/OASISString.ml" 245 6388 6400
)
"src/oasis/OASISString.ml" 247 6436 6464 "src/oasis/OASISString.ml" 247 6436 6483
type(
  int
)
"src/oasis/OASISString.ml" 247 6436 6484 "src/oasis/OASISString.ml" 247 6436 6485
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 247 6436 6486 "src/oasis/OASISString.ml" 247 6436 6487
type(
  int
)
"src/oasis/OASISString.ml" 247 6436 6463 "src/oasis/OASISString.ml" 247 6436 6488
type(
  int
)
"src/oasis/OASISString.ml" 247 6436 6459 "src/oasis/OASISString.ml" 247 6436 6488
type(
  int ref
)
"src/oasis/OASISString.ml" 248 6492 6500 "src/oasis/OASISString.ml" 248 6492 6501
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 248 6492 6501 "src/oasis/OASISString.ml" 248 6492 6516
type(
  int ref
)
ident(
  int_ref start_non_blank "src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
)
"src/oasis/OASISString.ml" 248 6492 6500 "src/oasis/OASISString.ml" 248 6492 6516
type(
  int
)
"src/oasis/OASISString.ml" 248 6492 6517 "src/oasis/OASISString.ml" 248 6492 6518
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/OASISString.ml" 248 6492 6519 "src/oasis/OASISString.ml" 248 6492 6532
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 248 6492 6533 "src/oasis/OASISString.ml" 248 6492 6536
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 245 6388 6397 "src/oasis/OASISString.ml" 245 6388 6400
)
"src/oasis/OASISString.ml" 248 6492 6519 "src/oasis/OASISString.ml" 248 6492 6536
type(
  int
)
"src/oasis/OASISString.ml" 248 6492 6500 "src/oasis/OASISString.ml" 248 6492 6536
type(
  bool
)
"src/oasis/OASISString.ml" 248 6492 6537 "src/oasis/OASISString.ml" 248 6492 6539
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 249 6540 6548 "src/oasis/OASISString.ml" 249 6540 6561
type(
  char -> bool
)
ident(
  int_ref is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
"src/oasis/OASISString.ml" 249 6540 6563 "src/oasis/OASISString.ml" 249 6540 6566
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 245 6388 6397 "src/oasis/OASISString.ml" 245 6388 6400
)
"src/oasis/OASISString.ml" 249 6540 6568 "src/oasis/OASISString.ml" 249 6540 6569
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 249 6540 6569 "src/oasis/OASISString.ml" 249 6540 6584
type(
  int ref
)
ident(
  int_ref start_non_blank "src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
)
"src/oasis/OASISString.ml" 249 6540 6568 "src/oasis/OASISString.ml" 249 6540 6584
type(
  int
)
"src/oasis/OASISString.ml" 249 6540 6562 "src/oasis/OASISString.ml" 249 6540 6586
type(
  char
)
"src/oasis/OASISString.ml" 249 6540 6548 "src/oasis/OASISString.ml" 249 6540 6586
type(
  bool
)
"src/oasis/OASISString.ml" 248 6492 6500 "src/oasis/OASISString.ml" 249 6540 6586
type(
  bool
)
"src/oasis/OASISString.ml" 250 6590 6594 "src/oasis/OASISString.ml" 250 6590 6598
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISString.ml" 250 6590 6599 "src/oasis/OASISString.ml" 250 6590 6614
type(
  int ref
)
ident(
  int_ref start_non_blank "src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
)
"src/oasis/OASISString.ml" 250 6590 6594 "src/oasis/OASISString.ml" 250 6590 6614
type(
  unit
)
"src/oasis/OASISString.ml" 248 6492 6494 "src/oasis/OASISString.ml" 251 6615 6621
type(
  unit
)
"src/oasis/OASISString.ml" 252 6623 6631 "src/oasis/OASISString.ml" 252 6623 6632
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 252 6623 6632 "src/oasis/OASISString.ml" 252 6623 6647
type(
  int ref
)
ident(
  int_ref start_non_blank "src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
)
"src/oasis/OASISString.ml" 252 6623 6631 "src/oasis/OASISString.ml" 252 6623 6647
type(
  int
)
"src/oasis/OASISString.ml" 252 6623 6648 "src/oasis/OASISString.ml" 252 6623 6650
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISString.ml" 252 6623 6651 "src/oasis/OASISString.ml" 252 6623 6652
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 252 6623 6652 "src/oasis/OASISString.ml" 252 6623 6666
type(
  int ref
)
ident(
  int_ref stop_non_blank "src/oasis/OASISString.ml" 247 6436 6442 "src/oasis/OASISString.ml" 247 6436 6456
)
"src/oasis/OASISString.ml" 252 6623 6651 "src/oasis/OASISString.ml" 252 6623 6666
type(
  int
)
"src/oasis/OASISString.ml" 252 6623 6631 "src/oasis/OASISString.ml" 252 6623 6666
type(
  bool
)
"src/oasis/OASISString.ml" 252 6623 6667 "src/oasis/OASISString.ml" 252 6623 6669
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISString.ml" 253 6670 6678 "src/oasis/OASISString.ml" 253 6670 6691
type(
  char -> bool
)
ident(
  int_ref is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
"src/oasis/OASISString.ml" 253 6670 6693 "src/oasis/OASISString.ml" 253 6670 6696
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 245 6388 6397 "src/oasis/OASISString.ml" 245 6388 6400
)
"src/oasis/OASISString.ml" 253 6670 6698 "src/oasis/OASISString.ml" 253 6670 6699
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 253 6670 6699 "src/oasis/OASISString.ml" 253 6670 6713
type(
  int ref
)
ident(
  int_ref stop_non_blank "src/oasis/OASISString.ml" 247 6436 6442 "src/oasis/OASISString.ml" 247 6436 6456
)
"src/oasis/OASISString.ml" 253 6670 6698 "src/oasis/OASISString.ml" 253 6670 6713
type(
  int
)
"src/oasis/OASISString.ml" 253 6670 6692 "src/oasis/OASISString.ml" 253 6670 6715
type(
  char
)
"src/oasis/OASISString.ml" 253 6670 6678 "src/oasis/OASISString.ml" 253 6670 6715
type(
  bool
)
"src/oasis/OASISString.ml" 252 6623 6631 "src/oasis/OASISString.ml" 253 6670 6715
type(
  bool
)
"src/oasis/OASISString.ml" 254 6719 6723 "src/oasis/OASISString.ml" 254 6719 6727
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.decr "stdlib.mli" 1246 47332 47332 "stdlib.mli" 1246 47332 47373
)
"src/oasis/OASISString.ml" 254 6719 6728 "src/oasis/OASISString.ml" 254 6719 6742
type(
  int ref
)
ident(
  int_ref stop_non_blank "src/oasis/OASISString.ml" 247 6436 6442 "src/oasis/OASISString.ml" 247 6436 6456
)
"src/oasis/OASISString.ml" 254 6719 6723 "src/oasis/OASISString.ml" 254 6719 6742
type(
  unit
)
"src/oasis/OASISString.ml" 252 6623 6625 "src/oasis/OASISString.ml" 255 6743 6749
type(
  unit
)
"src/oasis/OASISString.ml" 256 6751 6753 "src/oasis/OASISString.ml" 256 6751 6763
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISString.ml" 256 6751 6764 "src/oasis/OASISString.ml" 256 6751 6767
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 245 6388 6397 "src/oasis/OASISString.ml" 245 6388 6400
)
"src/oasis/OASISString.ml" 256 6751 6768 "src/oasis/OASISString.ml" 256 6751 6769
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 256 6751 6769 "src/oasis/OASISString.ml" 256 6751 6784
type(
  int ref
)
ident(
  int_ref start_non_blank "src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
)
"src/oasis/OASISString.ml" 256 6751 6768 "src/oasis/OASISString.ml" 256 6751 6784
type(
  int
)
"src/oasis/OASISString.ml" 256 6751 6786 "src/oasis/OASISString.ml" 256 6751 6787
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 256 6751 6787 "src/oasis/OASISString.ml" 256 6751 6801
type(
  int ref
)
ident(
  int_ref stop_non_blank "src/oasis/OASISString.ml" 247 6436 6442 "src/oasis/OASISString.ml" 247 6436 6456
)
"src/oasis/OASISString.ml" 256 6751 6786 "src/oasis/OASISString.ml" 256 6751 6801
type(
  int
)
"src/oasis/OASISString.ml" 256 6751 6802 "src/oasis/OASISString.ml" 256 6751 6803
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 256 6751 6804 "src/oasis/OASISString.ml" 256 6751 6805
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 256 6751 6805 "src/oasis/OASISString.ml" 256 6751 6820
type(
  int ref
)
ident(
  int_ref start_non_blank "src/oasis/OASISString.ml" 246 6403 6409 "src/oasis/OASISString.ml" 246 6403 6424
)
"src/oasis/OASISString.ml" 256 6751 6804 "src/oasis/OASISString.ml" 256 6751 6820
type(
  int
)
"src/oasis/OASISString.ml" 256 6751 6786 "src/oasis/OASISString.ml" 256 6751 6820
type(
  int
)
"src/oasis/OASISString.ml" 256 6751 6821 "src/oasis/OASISString.ml" 256 6751 6822
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 256 6751 6823 "src/oasis/OASISString.ml" 256 6751 6824
type(
  int
)
"src/oasis/OASISString.ml" 256 6751 6785 "src/oasis/OASISString.ml" 256 6751 6825
type(
  int
)
"src/oasis/OASISString.ml" 256 6751 6753 "src/oasis/OASISString.ml" 256 6751 6825
type(
  string
)
"src/oasis/OASISString.ml" 252 6623 6625 "src/oasis/OASISString.ml" 256 6751 6825
type(
  string
)
"src/oasis/OASISString.ml" 248 6492 6494 "src/oasis/OASISString.ml" 256 6751 6825
type(
  string
)
"src/oasis/OASISString.ml" 247 6436 6438 "src/oasis/OASISString.ml" 256 6751 6825
type(
  string
)
"src/oasis/OASISString.ml" 246 6403 6405 "src/oasis/OASISString.ml" 256 6751 6825
type(
  string
)
"src/oasis/OASISString.ml" 259 6828 6832 "src/oasis/OASISString.ml" 259 6828 6841
type(
  ('a -> char -> 'a) -> 'a -> string -> 'a
)
ident(
  def fold_left "src/oasis/OASISString.ml" 267 6964 6964 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 259 6828 6842 "src/oasis/OASISString.ml" 259 6828 6843
type(
  'a -> char -> 'a
)
ident(
  def f "src/oasis/OASISString.ml" 259 6828 6844 "src/oasis/OASISString.ml" 264 6954 6961
)
"src/oasis/OASISString.ml" 259 6828 6844 "src/oasis/OASISString.ml" 259 6828 6847
type(
  'a
)
ident(
  def acc "src/oasis/OASISString.ml" 259 6828 6848 "src/oasis/OASISString.ml" 264 6954 6961
)
"src/oasis/OASISString.ml" 259 6828 6848 "src/oasis/OASISString.ml" 259 6828 6851
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 260 6854 6856 "src/oasis/OASISString.ml" 264 6954 6961
)
"src/oasis/OASISString.ml" 260 6854 6860 "src/oasis/OASISString.ml" 260 6854 6864
type(
  'a ref
)
ident(
  def racc "src/oasis/OASISString.ml" 261 6878 6880 "src/oasis/OASISString.ml" 264 6954 6961
)
"src/oasis/OASISString.ml" 260 6854 6867 "src/oasis/OASISString.ml" 260 6854 6870
type(
  'a -> 'a ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISString.ml" 260 6854 6871 "src/oasis/OASISString.ml" 260 6854 6874
type(
  'a
)
ident(
  int_ref acc "src/oasis/OASISString.ml" 259 6828 6844 "src/oasis/OASISString.ml" 259 6828 6847
)
"src/oasis/OASISString.ml" 260 6854 6867 "src/oasis/OASISString.ml" 260 6854 6874
type(
  'a ref
)
"src/oasis/OASISString.ml" 261 6878 6888 "src/oasis/OASISString.ml" 261 6878 6889
type(
  int
)
"src/oasis/OASISString.ml" 261 6878 6893 "src/oasis/OASISString.ml" 261 6878 6906
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 261 6878 6907 "src/oasis/OASISString.ml" 261 6878 6910
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 259 6828 6848 "src/oasis/OASISString.ml" 259 6828 6851
)
"src/oasis/OASISString.ml" 261 6878 6893 "src/oasis/OASISString.ml" 261 6878 6910
type(
  int
)
"src/oasis/OASISString.ml" 261 6878 6911 "src/oasis/OASISString.ml" 261 6878 6912
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISString.ml" 261 6878 6913 "src/oasis/OASISString.ml" 261 6878 6914
type(
  int
)
"src/oasis/OASISString.ml" 261 6878 6893 "src/oasis/OASISString.ml" 261 6878 6914
type(
  int
)
"src/oasis/OASISString.ml" 262 6918 6922 "src/oasis/OASISString.ml" 262 6918 6926
type(
  'a ref
)
ident(
  int_ref racc "src/oasis/OASISString.ml" 260 6854 6860 "src/oasis/OASISString.ml" 260 6854 6864
)
"src/oasis/OASISString.ml" 262 6918 6927 "src/oasis/OASISString.ml" 262 6918 6929
type(
  'a ref -> 'a -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISString.ml" 262 6918 6930 "src/oasis/OASISString.ml" 262 6918 6931
type(
  'a -> char -> 'a
)
ident(
  int_ref f "src/oasis/OASISString.ml" 259 6828 6842 "src/oasis/OASISString.ml" 259 6828 6843
)
"src/oasis/OASISString.ml" 262 6918 6932 "src/oasis/OASISString.ml" 262 6918 6933
type(
  'a ref -> 'a
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 262 6918 6933 "src/oasis/OASISString.ml" 262 6918 6937
type(
  'a ref
)
ident(
  int_ref racc "src/oasis/OASISString.ml" 260 6854 6860 "src/oasis/OASISString.ml" 260 6854 6864
)
"src/oasis/OASISString.ml" 262 6918 6932 "src/oasis/OASISString.ml" 262 6918 6937
type(
  'a
)
"src/oasis/OASISString.ml" 262 6918 6938 "src/oasis/OASISString.ml" 262 6918 6941
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 259 6828 6848 "src/oasis/OASISString.ml" 259 6828 6851
)
"src/oasis/OASISString.ml" 262 6918 6943 "src/oasis/OASISString.ml" 262 6918 6944
type(
  int
)
ident(
  int_ref i "src/oasis/OASISString.ml" 261 6878 6880 "src/oasis/OASISString.ml" 263 6946 6952
)
"src/oasis/OASISString.ml" 262 6918 6938 "src/oasis/OASISString.ml" 262 6918 6945
type(
  char
)
"src/oasis/OASISString.ml" 262 6918 6930 "src/oasis/OASISString.ml" 262 6918 6945
type(
  'a
)
"src/oasis/OASISString.ml" 262 6918 6922 "src/oasis/OASISString.ml" 262 6918 6945
type(
  unit
)
"src/oasis/OASISString.ml" 261 6878 6880 "src/oasis/OASISString.ml" 263 6946 6952
type(
  unit
)
"src/oasis/OASISString.ml" 264 6954 6956 "src/oasis/OASISString.ml" 264 6954 6957
type(
  'a ref -> 'a
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISString.ml" 264 6954 6957 "src/oasis/OASISString.ml" 264 6954 6961
type(
  'a ref
)
ident(
  int_ref racc "src/oasis/OASISString.ml" 260 6854 6860 "src/oasis/OASISString.ml" 260 6854 6864
)
"src/oasis/OASISString.ml" 264 6954 6956 "src/oasis/OASISString.ml" 264 6954 6961
type(
  'a
)
"src/oasis/OASISString.ml" 261 6878 6880 "src/oasis/OASISString.ml" 264 6954 6961
type(
  'a
)
"src/oasis/OASISString.ml" 260 6854 6856 "src/oasis/OASISString.ml" 264 6954 6961
type(
  'a
)
"src/oasis/OASISString.ml" 267 6964 6968 "src/oasis/OASISString.ml" 267 6964 6976
type(
  what:string -> string -> bool
)
ident(
  def contains "src/oasis/OASISString.ml" 285 7432 7432 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 267 6964 6978 "src/oasis/OASISString.ml" 267 6964 6982
type(
  string
)
ident(
  def what "src/oasis/OASISString.ml" 267 6964 6983 "src/oasis/OASISString.ml" 281 7357 7368
)
"src/oasis/OASISString.ml" 267 6964 6983 "src/oasis/OASISString.ml" 267 6964 6986
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 269 7022 7024 "src/oasis/OASISString.ml" 281 7357 7368
)
"src/oasis/OASISString.ml" 269 7022 7028 "src/oasis/OASISString.ml" 269 7022 7036
type(
  int
)
ident(
  def len_what "src/oasis/OASISString.ml" 270 7061 7063 "src/oasis/OASISString.ml" 281 7357 7368
)
"src/oasis/OASISString.ml" 269 7022 7039 "src/oasis/OASISString.ml" 269 7022 7052
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 269 7022 7053 "src/oasis/OASISString.ml" 269 7022 7057
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 267 6964 6978 "src/oasis/OASISString.ml" 267 6964 6982
)
"src/oasis/OASISString.ml" 269 7022 7039 "src/oasis/OASISString.ml" 269 7022 7057
type(
  int
)
"src/oasis/OASISString.ml" 270 7061 7067 "src/oasis/OASISString.ml" 270 7061 7074
type(
  int
)
ident(
  def len_str "src/oasis/OASISString.ml" 271 7098 7100 "src/oasis/OASISString.ml" 281 7357 7368
)
"src/oasis/OASISString.ml" 270 7061 7077 "src/oasis/OASISString.ml" 270 7061 7090
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISString.ml" 270 7061 7091 "src/oasis/OASISString.ml" 270 7061 7094
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 267 6964 6983 "src/oasis/OASISString.ml" 267 6964 6986
)
"src/oasis/OASISString.ml" 270 7061 7077 "src/oasis/OASISString.ml" 270 7061 7094
type(
  int
)
"src/oasis/OASISString.ml" 271 7098 7108 "src/oasis/OASISString.ml" 271 7098 7113
type(
  int -> int -> bool
)
ident(
  def check "src/oasis/OASISString.ml" 271 7098 7100 "src/oasis/OASISString.ml" 281 7357 7368
)
"src/oasis/OASISString.ml" 271 7098 7114 "src/oasis/OASISString.ml" 271 7098 7122
type(
  int
)
ident(
  def idx_what "src/oasis/OASISString.ml" 271 7098 7123 "src/oasis/OASISString.ml" 279 7324 7351
)
"src/oasis/OASISString.ml" 271 7098 7123 "src/oasis/OASISString.ml" 271 7098 7130
type(
  int
)
ident(
  def idx_str "src/oasis/OASISString.ml" 272 7133 7137 "src/oasis/OASISString.ml" 279 7324 7351
)
"src/oasis/OASISString.ml" 272 7133 7140 "src/oasis/OASISString.ml" 272 7133 7148
type(
  int
)
ident(
  int_ref idx_what "src/oasis/OASISString.ml" 271 7098 7114 "src/oasis/OASISString.ml" 271 7098 7122
)
"src/oasis/OASISString.ml" 272 7133 7149 "src/oasis/OASISString.ml" 272 7133 7151
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISString.ml" 272 7133 7152 "src/oasis/OASISString.ml" 272 7133 7160
type(
  int
)
ident(
  int_ref len_what "src/oasis/OASISString.ml" 269 7022 7028 "src/oasis/OASISString.ml" 269 7022 7036
)
"src/oasis/OASISString.ml" 272 7133 7140 "src/oasis/OASISString.ml" 272 7133 7160
type(
  bool
)
"src/oasis/OASISString.ml" 273 7166 7172 "src/oasis/OASISString.ml" 273 7166 7176
type(
  bool
)
"src/oasis/OASISString.ml" 274 7177 7189 "src/oasis/OASISString.ml" 274 7177 7196
type(
  int
)
ident(
  int_ref idx_str "src/oasis/OASISString.ml" 271 7098 7123 "src/oasis/OASISString.ml" 271 7098 7130
)
"src/oasis/OASISString.ml" 274 7177 7197 "src/oasis/OASISString.ml" 274 7177 7199
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/oasis/OASISString.ml" 274 7177 7200 "src/oasis/OASISString.ml" 274 7177 7207
type(
  int
)
ident(
  int_ref len_str "src/oasis/OASISString.ml" 270 7061 7067 "src/oasis/OASISString.ml" 270 7061 7074
)
"src/oasis/OASISString.ml" 274 7177 7189 "src/oasis/OASISString.ml" 274 7177 7207
type(
  bool
)
"src/oasis/OASISString.ml" 275 7213 7219 "src/oasis/OASISString.ml" 275 7213 7224
type(
  bool
)
"src/oasis/OASISString.ml" 276 7225 7237 "src/oasis/OASISString.ml" 276 7225 7240
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 267 6964 6983 "src/oasis/OASISString.ml" 267 6964 6986
)
"src/oasis/OASISString.ml" 276 7225 7242 "src/oasis/OASISString.ml" 276 7225 7249
type(
  int
)
ident(
  int_ref idx_str "src/oasis/OASISString.ml" 271 7098 7123 "src/oasis/OASISString.ml" 271 7098 7130
)
"src/oasis/OASISString.ml" 276 7225 7237 "src/oasis/OASISString.ml" 276 7225 7250
type(
  char
)
"src/oasis/OASISString.ml" 276 7225 7251 "src/oasis/OASISString.ml" 276 7225 7252
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISString.ml" 276 7225 7253 "src/oasis/OASISString.ml" 276 7225 7257
type(
  string
)
ident(
  int_ref what "src/oasis/OASISString.ml" 267 6964 6978 "src/oasis/OASISString.ml" 267 6964 6982
)
"src/oasis/OASISString.ml" 276 7225 7259 "src/oasis/OASISString.ml" 276 7225 7267
type(
  int
)
ident(
  int_ref idx_what "src/oasis/OASISString.ml" 271 7098 7114 "src/oasis/OASISString.ml" 271 7098 7122
)
"src/oasis/OASISString.ml" 276 7225 7253 "src/oasis/OASISString.ml" 276 7225 7268
type(
  char
)
"src/oasis/OASISString.ml" 276 7225 7237 "src/oasis/OASISString.ml" 276 7225 7268
type(
  bool
)
"src/oasis/OASISString.ml" 277 7274 7280 "src/oasis/OASISString.ml" 277 7274 7285
type(
  int -> int -> bool
)
ident(
  int_ref check "src/oasis/OASISString.ml" 271 7098 7108 "src/oasis/OASISString.ml" 271 7098 7113
)
"src/oasis/OASISString.ml" 277 7274 7287 "src/oasis/OASISString.ml" 277 7274 7295
type(
  int
)
ident(
  int_ref idx_what "src/oasis/OASISString.ml" 271 7098 7114 "src/oasis/OASISString.ml" 271 7098 7122
)
"src/oasis/OASISString.ml" 277 7274 7296 "src/oasis/OASISString.ml" 277 7274 7297
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 277 7274 7298 "src/oasis/OASISString.ml" 277 7274 7299
type(
  int
)
"src/oasis/OASISString.ml" 277 7274 7286 "src/oasis/OASISString.ml" 277 7274 7300
type(
  int
)
"src/oasis/OASISString.ml" 277 7274 7302 "src/oasis/OASISString.ml" 277 7274 7309
type(
  int
)
ident(
  int_ref idx_str "src/oasis/OASISString.ml" 271 7098 7123 "src/oasis/OASISString.ml" 271 7098 7130
)
"src/oasis/OASISString.ml" 277 7274 7310 "src/oasis/OASISString.ml" 277 7274 7311
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 277 7274 7312 "src/oasis/OASISString.ml" 277 7274 7313
type(
  int
)
"src/oasis/OASISString.ml" 277 7274 7301 "src/oasis/OASISString.ml" 277 7274 7314
type(
  int
)
"src/oasis/OASISString.ml" 277 7274 7280 "src/oasis/OASISString.ml" 277 7274 7314
type(
  bool
)
"src/oasis/OASISString.ml" 279 7324 7330 "src/oasis/OASISString.ml" 279 7324 7335
type(
  int -> int -> bool
)
ident(
  int_ref check "src/oasis/OASISString.ml" 271 7098 7108 "src/oasis/OASISString.ml" 271 7098 7113
)
"src/oasis/OASISString.ml" 279 7324 7336 "src/oasis/OASISString.ml" 279 7324 7337
type(
  int
)
"src/oasis/OASISString.ml" 279 7324 7339 "src/oasis/OASISString.ml" 279 7324 7346
type(
  int
)
ident(
  int_ref idx_str "src/oasis/OASISString.ml" 271 7098 7123 "src/oasis/OASISString.ml" 271 7098 7130
)
"src/oasis/OASISString.ml" 279 7324 7347 "src/oasis/OASISString.ml" 279 7324 7348
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISString.ml" 279 7324 7349 "src/oasis/OASISString.ml" 279 7324 7350
type(
  int
)
"src/oasis/OASISString.ml" 279 7324 7338 "src/oasis/OASISString.ml" 279 7324 7351
type(
  int
)
"src/oasis/OASISString.ml" 279 7324 7330 "src/oasis/OASISString.ml" 279 7324 7351
type(
  bool
)
"src/oasis/OASISString.ml" 276 7225 7234 "src/oasis/OASISString.ml" 279 7324 7351
type(
  bool
)
"src/oasis/OASISString.ml" 274 7177 7186 "src/oasis/OASISString.ml" 279 7324 7351
type(
  bool
)
"src/oasis/OASISString.ml" 272 7133 7137 "src/oasis/OASISString.ml" 279 7324 7351
type(
  bool
)
"src/oasis/OASISString.ml" 281 7357 7359 "src/oasis/OASISString.ml" 281 7357 7364
type(
  int -> int -> bool
)
ident(
  int_ref check "src/oasis/OASISString.ml" 271 7098 7108 "src/oasis/OASISString.ml" 271 7098 7113
)
"src/oasis/OASISString.ml" 281 7357 7365 "src/oasis/OASISString.ml" 281 7357 7366
type(
  int
)
"src/oasis/OASISString.ml" 281 7357 7367 "src/oasis/OASISString.ml" 281 7357 7368
type(
  int
)
"src/oasis/OASISString.ml" 281 7357 7359 "src/oasis/OASISString.ml" 281 7357 7368
type(
  bool
)
"src/oasis/OASISString.ml" 271 7098 7100 "src/oasis/OASISString.ml" 281 7357 7368
type(
  bool
)
"src/oasis/OASISString.ml" 270 7061 7063 "src/oasis/OASISString.ml" 281 7357 7368
type(
  bool
)
"src/oasis/OASISString.ml" 269 7022 7024 "src/oasis/OASISString.ml" 281 7357 7368
type(
  bool
)
"src/oasis/OASISString.ml" 285 7432 7436 "src/oasis/OASISString.ml" 285 7432 7447
type(
  string -> string list
)
ident(
  def split_comma "src/oasis/OASISString.ml" 290 7551 7551 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 285 7432 7448 "src/oasis/OASISString.ml" 285 7432 7451
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 286 7454 7456 "src/oasis/OASISString.ml" 286 7454 7486
)
"src/oasis/OASISString.ml" 286 7454 7456 "src/oasis/OASISString.ml" 286 7454 7464
type(
  (string -> string) -> string list -> string list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISString.ml" 286 7454 7465 "src/oasis/OASISString.ml" 286 7454 7469
type(
  string -> string
)
ident(
  int_ref trim "src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
)
"src/oasis/OASISString.ml" 286 7454 7471 "src/oasis/OASISString.ml" 286 7454 7477
type(
  string -> char -> string list
)
ident(
  int_ref nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/oasis/OASISString.ml" 286 7454 7478 "src/oasis/OASISString.ml" 286 7454 7481
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 285 7432 7448 "src/oasis/OASISString.ml" 285 7432 7451
)
"src/oasis/OASISString.ml" 286 7454 7482 "src/oasis/OASISString.ml" 286 7454 7485
type(
  char
)
"src/oasis/OASISString.ml" 286 7454 7470 "src/oasis/OASISString.ml" 286 7454 7486
type(
  string list
)
"src/oasis/OASISString.ml" 286 7454 7456 "src/oasis/OASISString.ml" 286 7454 7486
type(
  string list
)
"src/oasis/OASISString.ml" 290 7551 7555 "src/oasis/OASISString.ml" 290 7551 7568
type(
  ?do_trim:bool -> string -> string list
)
ident(
  def split_newline "src/oasis/OASISString.ml" 299 7749 7749 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 290 7551 7571 "src/oasis/OASISString.ml" 290 7551 7578
type(
  bool
)
ident(
  def do_trim "src/oasis/OASISString.ml" 290 7551 7585 "src/oasis/OASISString.ml" 295 7669 7676
)
"src/oasis/OASISString.ml" 290 7551 7579 "src/oasis/OASISString.ml" 290 7551 7583
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/oasis/OASISString.ml" 290 7551 7579 "src/oasis/OASISString.ml" 290 7551 7583
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/oasis/OASISString.ml" 290 7551 7579 "src/oasis/OASISString.ml" 290 7551 7583
)
"src/oasis/OASISString.ml" 290 7551 7585 "src/oasis/OASISString.ml" 290 7551 7588
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 291 7591 7593 "src/oasis/OASISString.ml" 295 7669 7676
)
"src/oasis/OASISString.ml" 291 7591 7597 "src/oasis/OASISString.ml" 291 7591 7600
type(
  string list
)
ident(
  def lst "src/oasis/OASISString.ml" 292 7622 7624 "src/oasis/OASISString.ml" 295 7669 7676
)
"src/oasis/OASISString.ml" 291 7591 7603 "src/oasis/OASISString.ml" 291 7591 7609
type(
  string -> char -> string list
)
ident(
  int_ref nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/oasis/OASISString.ml" 291 7591 7610 "src/oasis/OASISString.ml" 291 7591 7613
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 290 7551 7585 "src/oasis/OASISString.ml" 290 7551 7588
)
"src/oasis/OASISString.ml" 291 7591 7614 "src/oasis/OASISString.ml" 291 7591 7618
type(
  char
)
"src/oasis/OASISString.ml" 291 7591 7603 "src/oasis/OASISString.ml" 291 7591 7618
type(
  string list
)
"src/oasis/OASISString.ml" 292 7622 7627 "src/oasis/OASISString.ml" 292 7622 7634
type(
  bool
)
ident(
  int_ref do_trim "src/oasis/OASISString.ml" 290 7551 7571 "src/oasis/OASISString.ml" 290 7551 7578
)
"src/oasis/OASISString.ml" 293 7640 7644 "src/oasis/OASISString.ml" 293 7640 7652
type(
  (string -> string) -> string list -> string list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISString.ml" 293 7640 7653 "src/oasis/OASISString.ml" 293 7640 7657
type(
  string -> string
)
ident(
  int_ref trim "src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
)
"src/oasis/OASISString.ml" 293 7640 7658 "src/oasis/OASISString.ml" 293 7640 7661
type(
  string list
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 291 7591 7597 "src/oasis/OASISString.ml" 291 7591 7600
)
"src/oasis/OASISString.ml" 293 7640 7644 "src/oasis/OASISString.ml" 293 7640 7661
type(
  string list
)
"src/oasis/OASISString.ml" 295 7669 7673 "src/oasis/OASISString.ml" 295 7669 7676
type(
  string list
)
ident(
  int_ref lst "src/oasis/OASISString.ml" 291 7591 7597 "src/oasis/OASISString.ml" 291 7591 7600
)
"src/oasis/OASISString.ml" 292 7622 7624 "src/oasis/OASISString.ml" 295 7669 7676
type(
  string list
)
"src/oasis/OASISString.ml" 291 7591 7593 "src/oasis/OASISString.ml" 295 7669 7676
type(
  string list
)
"src/oasis/OASISString.ml" 299 7749 7753 "src/oasis/OASISString.ml" 299 7749 7779
type(
  string -> string * string option
)
ident(
  def split_optional_parentheses "src/oasis/OASISString.ml" 306 7968 7986 "src/oasis/OASISString.ml" 0 0 -1
)
"src/oasis/OASISString.ml" 299 7749 7780 "src/oasis/OASISString.ml" 299 7749 7783
type(
  string
)
ident(
  def str "src/oasis/OASISString.ml" 300 7786 7788 "src/oasis/OASISString.ml" 306 7968 7986
)
"src/oasis/OASISString.ml" 301 7792 7800 "src/oasis/OASISString.ml" 301 7792 7807
type(
  string
)
ident(
  def beg_str "src/oasis/OASISString.ml" 302 7843 7847 "src/oasis/OASISString.ml" 304 7920 7947
)
"src/oasis/OASISString.ml" 301 7792 7809 "src/oasis/OASISString.ml" 301 7792 7816
type(
  string
)
ident(
  def end_str "src/oasis/OASISString.ml" 302 7843 7847 "src/oasis/OASISString.ml" 304 7920 7947
)
"src/oasis/OASISString.ml" 301 7792 7800 "src/oasis/OASISString.ml" 301 7792 7816
type(
  string * string
)
"src/oasis/OASISString.ml" 301 7792 7819 "src/oasis/OASISString.ml" 301 7792 7824
type(
  string -> char -> string * string
)
ident(
  int_ref split "src/oasis/OASISString.ml" 239 6253 6257 "src/oasis/OASISString.ml" 239 6253 6262
)
"src/oasis/OASISString.ml" 301 7792 7826 "src/oasis/OASISString.ml" 301 7792 7830
type(
  string -> string
)
ident(
  int_ref trim "src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
)
"src/oasis/OASISString.ml" 301 7792 7831 "src/oasis/OASISString.ml" 301 7792 7834
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 299 7749 7780 "src/oasis/OASISString.ml" 299 7749 7783
)
"src/oasis/OASISString.ml" 301 7792 7825 "src/oasis/OASISString.ml" 301 7792 7835
type(
  string
)
"src/oasis/OASISString.ml" 301 7792 7836 "src/oasis/OASISString.ml" 301 7792 7839
type(
  char
)
"src/oasis/OASISString.ml" 301 7792 7819 "src/oasis/OASISString.ml" 301 7792 7839
type(
  string * string
)
"src/oasis/OASISString.ml" 302 7843 7851 "src/oasis/OASISString.ml" 302 7843 7862
type(
  string
)
ident(
  def content_str "src/oasis/OASISString.ml" 303 7902 7906 "src/oasis/OASISString.ml" 304 7920 7947
)
"src/oasis/OASISString.ml" 302 7843 7865 "src/oasis/OASISString.ml" 302 7843 7880
type(
  what:string -> string -> string
)
ident(
  int_ref strip_ends_with "src/oasis/OASISString.ml" 132 3936 3940 "src/oasis/OASISString.ml" 132 3936 3955
)
"src/oasis/OASISString.ml" 302 7843 7887 "src/oasis/OASISString.ml" 302 7843 7890
type(
  string
)
"src/oasis/OASISString.ml" 302 7843 7891 "src/oasis/OASISString.ml" 302 7843 7898
type(
  string
)
ident(
  int_ref end_str "src/oasis/OASISString.ml" 301 7792 7809 "src/oasis/OASISString.ml" 301 7792 7816
)
"src/oasis/OASISString.ml" 302 7843 7865 "src/oasis/OASISString.ml" 302 7843 7898
type(
  string
)
"src/oasis/OASISString.ml" 303 7902 7906 "src/oasis/OASISString.ml" 303 7902 7910
type(
  string -> string
)
ident(
  int_ref trim "src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
)
"src/oasis/OASISString.ml" 303 7902 7911 "src/oasis/OASISString.ml" 303 7902 7918
type(
  string
)
ident(
  int_ref beg_str "src/oasis/OASISString.ml" 301 7792 7800 "src/oasis/OASISString.ml" 301 7792 7807
)
"src/oasis/OASISString.ml" 303 7902 7906 "src/oasis/OASISString.ml" 303 7902 7918
type(
  string
)
"src/oasis/OASISString.ml" 304 7920 7930 "src/oasis/OASISString.ml" 304 7920 7934
type(
  string -> string
)
ident(
  int_ref trim "src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
)
"src/oasis/OASISString.ml" 304 7920 7935 "src/oasis/OASISString.ml" 304 7920 7946
type(
  string
)
ident(
  int_ref content_str "src/oasis/OASISString.ml" 302 7843 7851 "src/oasis/OASISString.ml" 302 7843 7862
)
"src/oasis/OASISString.ml" 304 7920 7929 "src/oasis/OASISString.ml" 304 7920 7947
type(
  string
)
"src/oasis/OASISString.ml" 304 7920 7924 "src/oasis/OASISString.ml" 304 7920 7947
type(
  string option
)
"src/oasis/OASISString.ml" 303 7902 7906 "src/oasis/OASISString.ml" 304 7920 7947
type(
  string * string option
)
"src/oasis/OASISString.ml" 302 7843 7847 "src/oasis/OASISString.ml" 304 7920 7947
type(
  string * string option
)
"src/oasis/OASISString.ml" 301 7792 7796 "src/oasis/OASISString.ml" 304 7920 7947
type(
  string * string option
)
"src/oasis/OASISString.ml" 305 7948 7955 "src/oasis/OASISString.ml" 305 7948 7964
type(
  exn
)
"src/oasis/OASISString.ml" 306 7968 7972 "src/oasis/OASISString.ml" 306 7968 7976
type(
  string -> string
)
ident(
  int_ref trim "src/oasis/OASISString.ml" 245 6388 6392 "src/oasis/OASISString.ml" 245 6388 6396
)
"src/oasis/OASISString.ml" 306 7968 7977 "src/oasis/OASISString.ml" 306 7968 7980
type(
  string
)
ident(
  int_ref str "src/oasis/OASISString.ml" 299 7749 7780 "src/oasis/OASISString.ml" 299 7749 7783
)
"src/oasis/OASISString.ml" 306 7968 7972 "src/oasis/OASISString.ml" 306 7968 7980
type(
  string
)
"src/oasis/OASISString.ml" 306 7968 7982 "src/oasis/OASISString.ml" 306 7968 7986
type(
  string option
)
"src/oasis/OASISString.ml" 306 7968 7972 "src/oasis/OASISString.ml" 306 7968 7986
type(
  string * string option
)
"src/oasis/OASISString.ml" 300 7786 7788 "src/oasis/OASISString.ml" 306 7968 7986
type(
  string * string option
)
