"src/oasis/OASISLibrary.ml" 27 1738 1742 "src/oasis/OASISLibrary.ml" 27 1738 1753
type(
  ctxt:OASISContext.t ->
  (string -> bool) ->
  OASISTypes.common_section ->
  OASISTypes.build_section ->
  OASISUnixPath.unix_filename ->
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of OASISUnixPath.unix_filename * string list ]
)
ident(
  def find_module "src/oasis/OASISLibrary.ml" 42 2270 2270 "src/oasis/OASISLibrary.ml" 0 0 -1
)
"src/oasis/OASISLibrary.ml" 27 1738 1755 "src/oasis/OASISLibrary.ml" 27 1738 1759
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISLibrary.ml" 27 1738 1760 "src/oasis/OASISLibrary.ml" 40 2261 2268
)
"src/oasis/OASISLibrary.ml" 27 1738 1760 "src/oasis/OASISLibrary.ml" 27 1738 1778
type(
  string -> bool
)
ident(
  def source_file_exists "src/oasis/OASISLibrary.ml" 27 1738 1779 "src/oasis/OASISLibrary.ml" 40 2261 2268
)
"src/oasis/OASISLibrary.ml" 27 1738 1779 "src/oasis/OASISLibrary.ml" 27 1738 1781
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISLibrary.ml" 27 1738 1782 "src/oasis/OASISLibrary.ml" 40 2261 2268
)
"src/oasis/OASISLibrary.ml" 27 1738 1782 "src/oasis/OASISLibrary.ml" 27 1738 1784
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISLibrary.ml" 27 1738 1785 "src/oasis/OASISLibrary.ml" 40 2261 2268
)
"src/oasis/OASISLibrary.ml" 27 1738 1785 "src/oasis/OASISLibrary.ml" 27 1738 1790
type(
  OASISUnixPath.unix_filename
)
ident(
  def modul "src/oasis/OASISLibrary.ml" 28 1793 1795 "src/oasis/OASISLibrary.ml" 40 2261 2268
)
"src/oasis/OASISLibrary.ml" 28 1793 1801 "src/oasis/OASISLibrary.ml" 28 1793 1830
type(
  (string -> bool) ->
  OASISTypes.build_section ->
  OASISUnixPath.unix_filename ->
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
ident(
  int_ref OASISBuildSection.find_module "src/oasis/OASISBuildSection.mli" 30 1783 1783 "src/oasis/OASISBuildSection.mli" 35 1937 1996
)
"src/oasis/OASISLibrary.ml" 28 1793 1831 "src/oasis/OASISLibrary.ml" 28 1793 1849
type(
  string -> bool
)
ident(
  int_ref source_file_exists "src/oasis/OASISLibrary.ml" 27 1738 1760 "src/oasis/OASISLibrary.ml" 27 1738 1778
)
"src/oasis/OASISLibrary.ml" 28 1793 1850 "src/oasis/OASISLibrary.ml" 28 1793 1852
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 27 1738 1782 "src/oasis/OASISLibrary.ml" 27 1738 1784
)
"src/oasis/OASISLibrary.ml" 28 1793 1853 "src/oasis/OASISLibrary.ml" 28 1793 1858
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref modul "src/oasis/OASISLibrary.ml" 27 1738 1785 "src/oasis/OASISLibrary.ml" 27 1738 1790
)
"src/oasis/OASISLibrary.ml" 28 1793 1801 "src/oasis/OASISLibrary.ml" 28 1793 1858
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 29 1864 1877 "src/oasis/OASISLibrary.ml" 29 1864 1878
type(
  OASISUnixPath.unix_filename * string list
)
"src/oasis/OASISLibrary.ml" 29 1864 1868 "src/oasis/OASISLibrary.ml" 29 1864 1878
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 29 1864 1868 "src/oasis/OASISLibrary.ml" 29 1864 1885
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
ident(
  def res "src/oasis/OASISLibrary.ml" 29 1864 1889 "src/oasis/OASISLibrary.ml" 29 1864 1892
)
"src/oasis/OASISLibrary.ml" 29 1864 1889 "src/oasis/OASISLibrary.ml" 29 1864 1892
type(
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of OASISUnixPath.unix_filename * string list ]
  as 'a
)
ident(
  int_ref res "src/oasis/OASISLibrary.ml" 29 1864 1868 "src/oasis/OASISLibrary.ml" 29 1864 1885
)
"src/oasis/OASISLibrary.ml" 30 1893 1909 "src/oasis/OASISLibrary.ml" 30 1893 1910
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 30 1893 1897 "src/oasis/OASISLibrary.ml" 30 1893 1910
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 30 1893 1897 "src/oasis/OASISLibrary.ml" 30 1893 1917
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
ident(
  def res "src/oasis/OASISLibrary.ml" 31 1921 1925 "src/oasis/OASISLibrary.ml" 40 2261 2268
)
"src/oasis/OASISLibrary.ml" 31 1921 1925 "src/oasis/OASISLibrary.ml" 31 1921 1945
type(
  ctxt:OASISContext.t ->
  (OASISUnixPath.unix_filename -> OASISTypes.name -> unit, unit, string,
   unit)
  format4 -> OASISUnixPath.unix_filename -> OASISTypes.name -> unit
)
ident(
  int_ref OASISMessage.warning "src/oasis/OASISMessage.mli" 54 2393 2393 "src/oasis/OASISMessage.mli" 54 2393 2467
)
"src/oasis/OASISLibrary.ml" 32 1946 1953 "src/oasis/OASISLibrary.ml" 32 1946 1957
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISLibrary.ml" 27 1738 1755 "src/oasis/OASISLibrary.ml" 27 1738 1759
)
"src/oasis/OASISLibrary.ml" 33 1958 1965 "src/oasis/OASISLibrary.ml" 33 1958 1967
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> unit, unit, string,
   unit)
  format4 ->
  (OASISUnixPath.unix_filename -> OASISTypes.name -> unit, unit, string,
   unit)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISLibrary.ml" 33 1958 1968 "src/oasis/OASISLibrary.ml" 33 1958 2029
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> unit, unit, string,
   unit)
  format4
)
"src/oasis/OASISLibrary.ml" 33 1958 1964 "src/oasis/OASISLibrary.ml" 33 1958 2030
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> unit, unit, string,
   unit)
  format4
)
"src/oasis/OASISLibrary.ml" 34 2031 2037 "src/oasis/OASISLibrary.ml" 34 2031 2042
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref modul "src/oasis/OASISLibrary.ml" 27 1738 1785 "src/oasis/OASISLibrary.ml" 27 1738 1790
)
"src/oasis/OASISLibrary.ml" 34 2031 2043 "src/oasis/OASISLibrary.ml" 34 2031 2045
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 27 1738 1779 "src/oasis/OASISLibrary.ml" 27 1738 1781
)
"src/oasis/OASISLibrary.ml" 34 2031 2043 "src/oasis/OASISLibrary.ml" 34 2031 2053
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 31 1921 1925 "src/oasis/OASISLibrary.ml" 34 2031 2053
type(
  unit
)
"src/oasis/OASISLibrary.ml" 35 2055 2059 "src/oasis/OASISLibrary.ml" 35 2055 2079
type(
  ctxt:OASISContext.t ->
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISMessage.warning "src/oasis/OASISMessage.mli" 54 2393 2393 "src/oasis/OASISMessage.mli" 54 2393 2467
)
"src/oasis/OASISLibrary.ml" 36 2080 2087 "src/oasis/OASISLibrary.ml" 36 2080 2091
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISLibrary.ml" 27 1738 1755 "src/oasis/OASISLibrary.ml" 27 1738 1759
)
"src/oasis/OASISLibrary.ml" 37 2092 2099 "src/oasis/OASISLibrary.ml" 37 2092 2101
type(
  (string -> unit, unit, string, unit) format4 ->
  (string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISLibrary.ml" 37 2092 2102 "src/oasis/OASISLibrary.ml" 38 2163 2201
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISLibrary.ml" 37 2092 2098 "src/oasis/OASISLibrary.ml" 38 2163 2202
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISLibrary.ml" 39 2203 2210 "src/oasis/OASISLibrary.ml" 39 2203 2239
type(
  OASISFeatures.t
)
ident(
  int_ref OASISFeatures.source_patterns "src/oasis/OASISFeatures.ml" 396 12371 12375 "src/oasis/OASISFeatures.ml" 396 12371 12390
)
"src/oasis/OASISLibrary.ml" 39 2203 2209 "src/oasis/OASISLibrary.ml" 39 2203 2259
type(
  string
)
"src/oasis/OASISLibrary.ml" 35 2055 2059 "src/oasis/OASISLibrary.ml" 39 2203 2259
type(
  unit
)
"src/oasis/OASISLibrary.ml" 40 2261 2265 "src/oasis/OASISLibrary.ml" 40 2261 2268
type(
  'a
)
ident(
  int_ref res "src/oasis/OASISLibrary.ml" 30 1893 1897 "src/oasis/OASISLibrary.ml" 30 1893 1917
)
"src/oasis/OASISLibrary.ml" 35 2055 2059 "src/oasis/OASISLibrary.ml" 40 2261 2268
type(
  'a
)
"src/oasis/OASISLibrary.ml" 31 1921 1925 "src/oasis/OASISLibrary.ml" 40 2261 2268
type(
  'a
)
"src/oasis/OASISLibrary.ml" 28 1793 1795 "src/oasis/OASISLibrary.ml" 40 2261 2268
type(
  'a
)
"src/oasis/OASISLibrary.ml" 42 2270 2274 "src/oasis/OASISLibrary.ml" 42 2270 2291
type(
  ctxt:OASISContext.t ->
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  (string -> bool) -> (OASISUnixPath.unix_filename * string list) list
)
ident(
  def source_unix_files "src/oasis/OASISLibrary.ml" 52 2586 2586 "src/oasis/OASISLibrary.ml" 0 0 -1
)
"src/oasis/OASISLibrary.ml" 42 2270 2293 "src/oasis/OASISLibrary.ml" 42 2270 2297
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISLibrary.ml" 42 2270 2298 "src/oasis/OASISLibrary.ml" 49 2535 2583
)
"src/oasis/OASISLibrary.ml" 42 2270 2299 "src/oasis/OASISLibrary.ml" 42 2270 2301
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISLibrary.ml" 42 2270 2312 "src/oasis/OASISLibrary.ml" 49 2535 2583
)
"src/oasis/OASISLibrary.ml" 42 2270 2303 "src/oasis/OASISLibrary.ml" 42 2270 2305
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISLibrary.ml" 42 2270 2312 "src/oasis/OASISLibrary.ml" 49 2535 2583
)
"src/oasis/OASISLibrary.ml" 42 2270 2307 "src/oasis/OASISLibrary.ml" 42 2270 2310
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISLibrary.ml" 42 2270 2312 "src/oasis/OASISLibrary.ml" 49 2535 2583
)
"src/oasis/OASISLibrary.ml" 42 2270 2298 "src/oasis/OASISLibrary.ml" 42 2270 2311
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/oasis/OASISLibrary.ml" 42 2270 2312 "src/oasis/OASISLibrary.ml" 42 2270 2330
type(
  string -> bool
)
ident(
  def source_file_exists "src/oasis/OASISLibrary.ml" 43 2333 2335 "src/oasis/OASISLibrary.ml" 49 2535 2583
)
"src/oasis/OASISLibrary.ml" 43 2333 2335 "src/oasis/OASISLibrary.ml" 43 2333 2349
type(
  ((OASISUnixPath.unix_filename * string list) list ->
   OASISUnixPath.unix_filename ->
   (OASISUnixPath.unix_filename * string list) list) ->
  (OASISUnixPath.unix_filename * string list) list ->
  OASISUnixPath.unix_filename list ->
  (OASISUnixPath.unix_filename * string list) list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISLibrary.ml" 44 2350 2359 "src/oasis/OASISLibrary.ml" 44 2350 2362
type(
  (OASISUnixPath.unix_filename * string list) list
)
ident(
  def acc "src/oasis/OASISLibrary.ml" 44 2350 2363 "src/oasis/OASISLibrary.ml" 47 2497 2526
)
"src/oasis/OASISLibrary.ml" 44 2350 2363 "src/oasis/OASISLibrary.ml" 44 2350 2368
type(
  OASISUnixPath.unix_filename
)
ident(
  def modul "src/oasis/OASISLibrary.ml" 45 2372 2379 "src/oasis/OASISLibrary.ml" 47 2497 2526
)
"src/oasis/OASISLibrary.ml" 45 2372 2385 "src/oasis/OASISLibrary.ml" 45 2372 2396
type(
  ctxt:OASISContext.t ->
  (string -> bool) ->
  OASISTypes.common_section ->
  OASISTypes.build_section ->
  OASISUnixPath.unix_filename ->
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of OASISUnixPath.unix_filename * string list ]
)
ident(
  int_ref find_module "src/oasis/OASISLibrary.ml" 27 1738 1742 "src/oasis/OASISLibrary.ml" 27 1738 1753
)
"src/oasis/OASISLibrary.ml" 45 2372 2398 "src/oasis/OASISLibrary.ml" 45 2372 2402
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISLibrary.ml" 42 2270 2293 "src/oasis/OASISLibrary.ml" 42 2270 2297
)
"src/oasis/OASISLibrary.ml" 45 2372 2403 "src/oasis/OASISLibrary.ml" 45 2372 2421
type(
  string -> bool
)
ident(
  int_ref source_file_exists "src/oasis/OASISLibrary.ml" 42 2270 2312 "src/oasis/OASISLibrary.ml" 42 2270 2330
)
"src/oasis/OASISLibrary.ml" 45 2372 2422 "src/oasis/OASISLibrary.ml" 45 2372 2424
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 42 2270 2299 "src/oasis/OASISLibrary.ml" 42 2270 2301
)
"src/oasis/OASISLibrary.ml" 45 2372 2425 "src/oasis/OASISLibrary.ml" 45 2372 2427
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 42 2270 2303 "src/oasis/OASISLibrary.ml" 42 2270 2305
)
"src/oasis/OASISLibrary.ml" 45 2372 2428 "src/oasis/OASISLibrary.ml" 45 2372 2433
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref modul "src/oasis/OASISLibrary.ml" 44 2350 2363 "src/oasis/OASISLibrary.ml" 44 2350 2368
)
"src/oasis/OASISLibrary.ml" 45 2372 2385 "src/oasis/OASISLibrary.ml" 45 2372 2433
type(
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of OASISUnixPath.unix_filename * string list ]
  as 'a
)
"src/oasis/OASISLibrary.ml" 46 2439 2458 "src/oasis/OASISLibrary.ml" 46 2439 2465
type(
  OASISUnixPath.unix_filename
)
ident(
  def base_fn "src/oasis/OASISLibrary.ml" 46 2439 2475 "src/oasis/OASISLibrary.ml" 46 2439 2496
)
"src/oasis/OASISLibrary.ml" 46 2439 2467 "src/oasis/OASISLibrary.ml" 46 2439 2470
type(
  string list
)
ident(
  def lst "src/oasis/OASISLibrary.ml" 46 2439 2475 "src/oasis/OASISLibrary.ml" 46 2439 2496
)
"src/oasis/OASISLibrary.ml" 46 2439 2457 "src/oasis/OASISLibrary.ml" 46 2439 2471
type(
  OASISUnixPath.unix_filename * string list
)
"src/oasis/OASISLibrary.ml" 46 2439 2448 "src/oasis/OASISLibrary.ml" 46 2439 2471
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 46 2439 2476 "src/oasis/OASISLibrary.ml" 46 2439 2483
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref base_fn "src/oasis/OASISLibrary.ml" 46 2439 2458 "src/oasis/OASISLibrary.ml" 46 2439 2465
)
"src/oasis/OASISLibrary.ml" 46 2439 2485 "src/oasis/OASISLibrary.ml" 46 2439 2488
type(
  string list
)
ident(
  int_ref lst "src/oasis/OASISLibrary.ml" 46 2439 2467 "src/oasis/OASISLibrary.ml" 46 2439 2470
)
"src/oasis/OASISLibrary.ml" 46 2439 2475 "src/oasis/OASISLibrary.ml" 46 2439 2489
type(
  OASISUnixPath.unix_filename * string list
)
"src/oasis/OASISLibrary.ml" 46 2439 2493 "src/oasis/OASISLibrary.ml" 46 2439 2496
type(
  (OASISUnixPath.unix_filename * string list) list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 44 2350 2359 "src/oasis/OASISLibrary.ml" 44 2350 2362
)
"src/oasis/OASISLibrary.ml" 46 2439 2475 "src/oasis/OASISLibrary.ml" 46 2439 2496
type(
  (OASISUnixPath.unix_filename * string list) list
)
"src/oasis/OASISLibrary.ml" 47 2497 2518 "src/oasis/OASISLibrary.ml" 47 2497 2519
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 47 2497 2506 "src/oasis/OASISLibrary.ml" 47 2497 2519
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 47 2497 2523 "src/oasis/OASISLibrary.ml" 47 2497 2526
type(
  (OASISUnixPath.unix_filename * string list) list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 44 2350 2359 "src/oasis/OASISLibrary.ml" 44 2350 2362
)
"src/oasis/OASISLibrary.ml" 45 2372 2379 "src/oasis/OASISLibrary.ml" 47 2497 2526
type(
  (OASISUnixPath.unix_filename * string list) list
)
"src/oasis/OASISLibrary.ml" 44 2350 2354 "src/oasis/OASISLibrary.ml" 47 2497 2527
type(
  (OASISUnixPath.unix_filename * string list) list ->
  OASISUnixPath.unix_filename ->
  (OASISUnixPath.unix_filename * string list) list
)
"src/oasis/OASISLibrary.ml" 48 2528 2532 "src/oasis/OASISLibrary.ml" 48 2528 2534
type(
  (OASISUnixPath.unix_filename * string list) list
)
"src/oasis/OASISLibrary.ml" 49 2535 2540 "src/oasis/OASISLibrary.ml" 49 2535 2543
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 42 2270 2307 "src/oasis/OASISLibrary.ml" 42 2270 2310
)
"src/oasis/OASISLibrary.ml" 49 2535 2540 "src/oasis/OASISLibrary.ml" 49 2535 2555
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 49 2535 2556 "src/oasis/OASISLibrary.ml" 49 2535 2557
type(
  OASISUnixPath.unix_filename list ->
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISLibrary.ml" 49 2535 2558 "src/oasis/OASISLibrary.ml" 49 2535 2561
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 42 2270 2307 "src/oasis/OASISLibrary.ml" 42 2270 2310
)
"src/oasis/OASISLibrary.ml" 49 2535 2558 "src/oasis/OASISLibrary.ml" 49 2535 2582
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 49 2535 2539 "src/oasis/OASISLibrary.ml" 49 2535 2583
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 43 2333 2335 "src/oasis/OASISLibrary.ml" 49 2535 2583
type(
  (OASISUnixPath.unix_filename * string list) list
)
"src/oasis/OASISLibrary.ml" 52 2586 2590 "src/oasis/OASISLibrary.ml" 52 2586 2610
type(
  ctxt:OASISContext.t ->
  is_native:bool ->
  has_native_dynlink:bool ->
  ext_lib:string ->
  ext_dll:string ->
  source_file_exists:(string -> bool) ->
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  OASISUnixPath.unix_filename list list
)
ident(
  def generated_unix_files "src/oasis/OASISLibrary.ml" 175 5563 5563 "src/oasis/OASISLibrary.ml" 0 0 -1
)
"src/oasis/OASISLibrary.ml" 53 2611 2616 "src/oasis/OASISLibrary.ml" 53 2611 2620
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISLibrary.ml" 54 2621 2625 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 54 2621 2626 "src/oasis/OASISLibrary.ml" 54 2621 2635
type(
  bool
)
ident(
  def is_native "src/oasis/OASISLibrary.ml" 55 2636 2640 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 55 2636 2641 "src/oasis/OASISLibrary.ml" 55 2636 2659
type(
  bool
)
ident(
  def has_native_dynlink "src/oasis/OASISLibrary.ml" 56 2660 2664 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 56 2660 2665 "src/oasis/OASISLibrary.ml" 56 2660 2672
type(
  string
)
ident(
  def ext_lib "src/oasis/OASISLibrary.ml" 57 2673 2677 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 57 2673 2678 "src/oasis/OASISLibrary.ml" 57 2673 2685
type(
  string
)
ident(
  def ext_dll "src/oasis/OASISLibrary.ml" 58 2686 2690 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 58 2686 2691 "src/oasis/OASISLibrary.ml" 58 2686 2709
type(
  string -> bool
)
ident(
  def source_file_exists "src/oasis/OASISLibrary.ml" 59 2710 2714 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISLibrary.ml" 61 2731 2733 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 59 2710 2719 "src/oasis/OASISLibrary.ml" 59 2710 2721
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISLibrary.ml" 61 2731 2733 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISLibrary.ml" 61 2731 2733 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 59 2710 2714 "src/oasis/OASISLibrary.ml" 59 2710 2727
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/oasis/OASISLibrary.ml" 61 2731 2737 "src/oasis/OASISLibrary.ml" 61 2731 2749
type(
  OASISUnixPath.unix_filename list -> string -> string list list
)
ident(
  def find_modules "src/oasis/OASISLibrary.ml" 81 3388 3390 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 61 2731 2750 "src/oasis/OASISLibrary.ml" 61 2731 2753
type(
  OASISUnixPath.unix_filename list
)
ident(
  def lst "src/oasis/OASISLibrary.ml" 61 2731 2754 "src/oasis/OASISLibrary.ml" 77 3332 3341
)
"src/oasis/OASISLibrary.ml" 61 2731 2754 "src/oasis/OASISLibrary.ml" 61 2731 2757
type(
  string
)
ident(
  def ext "src/oasis/OASISLibrary.ml" 62 2760 2764 "src/oasis/OASISLibrary.ml" 77 3332 3341
)
"src/oasis/OASISLibrary.ml" 62 2760 2768 "src/oasis/OASISLibrary.ml" 62 2760 2779
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename list option
)
ident(
  def find_module "src/oasis/OASISLibrary.ml" 70 3126 3130 "src/oasis/OASISLibrary.ml" 77 3332 3341
)
"src/oasis/OASISLibrary.ml" 62 2760 2780 "src/oasis/OASISLibrary.ml" 62 2760 2785
type(
  OASISUnixPath.unix_filename
)
ident(
  def modul "src/oasis/OASISLibrary.ml" 63 2788 2794 "src/oasis/OASISLibrary.ml" 68 3083 3118
)
"src/oasis/OASISLibrary.ml" 63 2788 2800 "src/oasis/OASISLibrary.ml" 63 2788 2811
type(
  ctxt:OASISContext.t ->
  (string -> bool) ->
  OASISTypes.common_section ->
  OASISTypes.build_section ->
  OASISUnixPath.unix_filename ->
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of OASISUnixPath.unix_filename * string list ]
)
ident(
  int_ref find_module "src/oasis/OASISLibrary.ml" 27 1738 1742 "src/oasis/OASISLibrary.ml" 27 1738 1753
)
"src/oasis/OASISLibrary.ml" 63 2788 2813 "src/oasis/OASISLibrary.ml" 63 2788 2817
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISLibrary.ml" 53 2611 2616 "src/oasis/OASISLibrary.ml" 53 2611 2620
)
"src/oasis/OASISLibrary.ml" 63 2788 2818 "src/oasis/OASISLibrary.ml" 63 2788 2836
type(
  string -> bool
)
ident(
  int_ref source_file_exists "src/oasis/OASISLibrary.ml" 58 2686 2691 "src/oasis/OASISLibrary.ml" 58 2686 2709
)
"src/oasis/OASISLibrary.ml" 63 2788 2837 "src/oasis/OASISLibrary.ml" 63 2788 2839
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 63 2788 2840 "src/oasis/OASISLibrary.ml" 63 2788 2842
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 59 2710 2719 "src/oasis/OASISLibrary.ml" 59 2710 2721
)
"src/oasis/OASISLibrary.ml" 63 2788 2843 "src/oasis/OASISLibrary.ml" 63 2788 2848
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref modul "src/oasis/OASISLibrary.ml" 62 2760 2780 "src/oasis/OASISLibrary.ml" 62 2760 2785
)
"src/oasis/OASISLibrary.ml" 63 2788 2800 "src/oasis/OASISLibrary.ml" 63 2788 2848
type(
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of OASISUnixPath.unix_filename * string list ]
  as 'a
)
"src/oasis/OASISLibrary.ml" 64 2854 2872 "src/oasis/OASISLibrary.ml" 64 2854 2873
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISLibrary.ml" 64 2854 2876 "src/oasis/OASISLibrary.ml" 64 2854 2878
type(
  string
)
ident(
  def fn "src/oasis/OASISLibrary.ml" 64 2854 2886 "src/oasis/OASISLibrary.ml" 66 2972 2984
)
"src/oasis/OASISLibrary.ml" 64 2854 2875 "src/oasis/OASISLibrary.ml" 64 2854 2879
type(
  string list
)
"src/oasis/OASISLibrary.ml" 64 2854 2871 "src/oasis/OASISLibrary.ml" 64 2854 2880
type(
  OASISUnixPath.unix_filename * string list
)
"src/oasis/OASISLibrary.ml" 64 2854 2862 "src/oasis/OASISLibrary.ml" 64 2854 2880
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 64 2854 2886 "src/oasis/OASISLibrary.ml" 64 2854 2889
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISLibrary.ml" 61 2731 2754 "src/oasis/OASISLibrary.ml" 61 2731 2757
)
"src/oasis/OASISLibrary.ml" 64 2854 2890 "src/oasis/OASISLibrary.ml" 64 2854 2892
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISLibrary.ml" 64 2854 2893 "src/oasis/OASISLibrary.ml" 64 2854 2898
type(
  string
)
"src/oasis/OASISLibrary.ml" 64 2854 2886 "src/oasis/OASISLibrary.ml" 64 2854 2898
type(
  bool
)
"src/oasis/OASISLibrary.ml" 65 2899 2934 "src/oasis/OASISLibrary.ml" 65 2899 2936
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISLibrary.ml" 65 2899 2937 "src/oasis/OASISLibrary.ml" 65 2899 2958
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.Filename.check_suffix "filename.mli" 45 2031 2031 "filename.mli" 45 2031 2074
)
"src/oasis/OASISLibrary.ml" 65 2899 2959 "src/oasis/OASISLibrary.ml" 65 2899 2961
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISLibrary.ml" 64 2854 2876 "src/oasis/OASISLibrary.ml" 64 2854 2878
)
"src/oasis/OASISLibrary.ml" 65 2899 2962 "src/oasis/OASISLibrary.ml" 65 2899 2968
type(
  string
)
"src/oasis/OASISLibrary.ml" 65 2899 2937 "src/oasis/OASISLibrary.ml" 65 2899 2968
type(
  bool
)
"src/oasis/OASISLibrary.ml" 64 2854 2886 "src/oasis/OASISLibrary.ml" 65 2899 2968
type(
  bool
)
"src/oasis/OASISLibrary.ml" 66 2972 2980 "src/oasis/OASISLibrary.ml" 66 2972 2984
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 67 3035 3053 "src/oasis/OASISLibrary.ml" 67 3035 3060
type(
  OASISUnixPath.unix_filename
)
ident(
  def base_fn "src/oasis/OASISLibrary.ml" 67 3035 3068 "src/oasis/OASISLibrary.ml" 67 3035 3082
)
"src/oasis/OASISLibrary.ml" 67 3035 3062 "src/oasis/OASISLibrary.ml" 67 3035 3063
type(
  string list
)
"src/oasis/OASISLibrary.ml" 67 3035 3052 "src/oasis/OASISLibrary.ml" 67 3035 3064
type(
  OASISUnixPath.unix_filename * string list
)
"src/oasis/OASISLibrary.ml" 67 3035 3043 "src/oasis/OASISLibrary.ml" 67 3035 3064
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 67 3035 3074 "src/oasis/OASISLibrary.ml" 67 3035 3081
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref base_fn "src/oasis/OASISLibrary.ml" 67 3035 3053 "src/oasis/OASISLibrary.ml" 67 3035 3060
)
"src/oasis/OASISLibrary.ml" 67 3035 3073 "src/oasis/OASISLibrary.ml" 67 3035 3082
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 67 3035 3068 "src/oasis/OASISLibrary.ml" 67 3035 3082
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 68 3083 3103 "src/oasis/OASISLibrary.ml" 68 3083 3106
type(
  OASISUnixPath.unix_filename list
)
ident(
  def lst "src/oasis/OASISLibrary.ml" 68 3083 3110 "src/oasis/OASISLibrary.ml" 68 3083 3118
)
"src/oasis/OASISLibrary.ml" 68 3083 3091 "src/oasis/OASISLibrary.ml" 68 3083 3106
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
type(
  [ `No_sources of OASISUnixPath.unix_filename list
  | `Sources of OASISUnixPath.unix_filename * string list ]
)
"src/oasis/OASISLibrary.ml" 68 3083 3115 "src/oasis/OASISLibrary.ml" 68 3083 3118
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref lst "src/oasis/OASISLibrary.ml" 68 3083 3103 "src/oasis/OASISLibrary.ml" 68 3083 3106
)
"src/oasis/OASISLibrary.ml" 68 3083 3110 "src/oasis/OASISLibrary.ml" 68 3083 3118
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 63 2788 2794 "src/oasis/OASISLibrary.ml" 68 3083 3118
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 70 3126 3130 "src/oasis/OASISLibrary.ml" 70 3126 3144
type(
  (string list list -> OASISUnixPath.unix_filename -> string list list) ->
  string list list -> OASISUnixPath.unix_filename list -> string list list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISLibrary.ml" 71 3145 3156 "src/oasis/OASISLibrary.ml" 71 3145 3159
type(
  string list list
)
ident(
  def acc "src/oasis/OASISLibrary.ml" 71 3145 3160 "src/oasis/OASISLibrary.ml" 75 3252 3321
)
"src/oasis/OASISLibrary.ml" 71 3145 3160 "src/oasis/OASISLibrary.ml" 71 3145 3162
type(
  OASISUnixPath.unix_filename
)
ident(
  def nm "src/oasis/OASISLibrary.ml" 72 3166 3175 "src/oasis/OASISLibrary.ml" 75 3252 3321
)
"src/oasis/OASISLibrary.ml" 72 3166 3181 "src/oasis/OASISLibrary.ml" 72 3166 3192
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename list option
)
ident(
  int_ref find_module "src/oasis/OASISLibrary.ml" 62 2760 2768 "src/oasis/OASISLibrary.ml" 62 2760 2779
)
"src/oasis/OASISLibrary.ml" 72 3166 3193 "src/oasis/OASISLibrary.ml" 72 3166 3195
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref nm "src/oasis/OASISLibrary.ml" 71 3145 3160 "src/oasis/OASISLibrary.ml" 71 3145 3162
)
"src/oasis/OASISLibrary.ml" 72 3166 3181 "src/oasis/OASISLibrary.ml" 72 3166 3195
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 73 3201 3212 "src/oasis/OASISLibrary.ml" 73 3201 3216
type(
  OASISUnixPath.unix_filename list option
)
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 73 3201 3220 "src/oasis/OASISLibrary.ml" 73 3201 3223
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 71 3145 3156 "src/oasis/OASISLibrary.ml" 71 3145 3159
)
"src/oasis/OASISLibrary.ml" 74 3224 3240 "src/oasis/OASISLibrary.ml" 74 3224 3248
type(
  OASISUnixPath.unix_filename list
)
ident(
  def base_fns "src/oasis/OASISLibrary.ml" 75 3252 3263 "src/oasis/OASISLibrary.ml" 75 3252 3321
)
"src/oasis/OASISLibrary.ml" 74 3224 3235 "src/oasis/OASISLibrary.ml" 74 3224 3248
type(
  OASISUnixPath.unix_filename list option
)
type(
  OASISUnixPath.unix_filename list option
)
"src/oasis/OASISLibrary.ml" 75 3252 3263 "src/oasis/OASISLibrary.ml" 75 3252 3271
type(
  (OASISUnixPath.unix_filename -> string) ->
  OASISUnixPath.unix_filename list -> string list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISLibrary.ml" 75 3252 3277 "src/oasis/OASISLibrary.ml" 75 3252 3284
type(
  OASISUnixPath.unix_filename
)
ident(
  def base_fn "src/oasis/OASISLibrary.ml" 75 3252 3288 "src/oasis/OASISLibrary.ml" 75 3252 3304
)
"src/oasis/OASISLibrary.ml" 75 3252 3288 "src/oasis/OASISLibrary.ml" 75 3252 3295
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref base_fn "src/oasis/OASISLibrary.ml" 75 3252 3277 "src/oasis/OASISLibrary.ml" 75 3252 3284
)
"src/oasis/OASISLibrary.ml" 75 3252 3296 "src/oasis/OASISLibrary.ml" 75 3252 3297
type(
  OASISUnixPath.unix_filename -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 75 3252 3297 "src/oasis/OASISLibrary.ml" 75 3252 3300
type(
  string
)
"src/oasis/OASISLibrary.ml" 75 3252 3300 "src/oasis/OASISLibrary.ml" 75 3252 3301
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 75 3252 3301 "src/oasis/OASISLibrary.ml" 75 3252 3304
type(
  string
)
ident(
  int_ref ext "src/oasis/OASISLibrary.ml" 61 2731 2754 "src/oasis/OASISLibrary.ml" 61 2731 2757
)
"src/oasis/OASISLibrary.ml" 75 3252 3297 "src/oasis/OASISLibrary.ml" 75 3252 3304
type(
  string
)
"src/oasis/OASISLibrary.ml" 75 3252 3288 "src/oasis/OASISLibrary.ml" 75 3252 3304
type(
  string
)
"src/oasis/OASISLibrary.ml" 75 3252 3272 "src/oasis/OASISLibrary.ml" 75 3252 3305
type(
  OASISUnixPath.unix_filename -> string
)
"src/oasis/OASISLibrary.ml" 75 3252 3306 "src/oasis/OASISLibrary.ml" 75 3252 3314
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref base_fns "src/oasis/OASISLibrary.ml" 74 3224 3240 "src/oasis/OASISLibrary.ml" 74 3224 3248
)
"src/oasis/OASISLibrary.ml" 75 3252 3263 "src/oasis/OASISLibrary.ml" 75 3252 3314
type(
  string list
)
"src/oasis/OASISLibrary.ml" 75 3252 3318 "src/oasis/OASISLibrary.ml" 75 3252 3321
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 71 3145 3156 "src/oasis/OASISLibrary.ml" 71 3145 3159
)
"src/oasis/OASISLibrary.ml" 75 3252 3263 "src/oasis/OASISLibrary.ml" 75 3252 3321
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 72 3166 3175 "src/oasis/OASISLibrary.ml" 75 3252 3321
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 71 3145 3151 "src/oasis/OASISLibrary.ml" 75 3252 3322
type(
  string list list -> OASISUnixPath.unix_filename -> string list list
)
"src/oasis/OASISLibrary.ml" 76 3323 3329 "src/oasis/OASISLibrary.ml" 76 3323 3331
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 77 3332 3338 "src/oasis/OASISLibrary.ml" 77 3332 3341
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref lst "src/oasis/OASISLibrary.ml" 61 2731 2750 "src/oasis/OASISLibrary.ml" 61 2731 2753
)
"src/oasis/OASISLibrary.ml" 70 3126 3130 "src/oasis/OASISLibrary.ml" 77 3332 3341
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 62 2760 2764 "src/oasis/OASISLibrary.ml" 77 3332 3341
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 81 3388 3394 "src/oasis/OASISLibrary.ml" 81 3388 3398
type(
  string list list
)
ident(
  def cmxs "src/oasis/OASISLibrary.ml" 101 3786 3788 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 82 3401 3409 "src/oasis/OASISLibrary.ml" 82 3401 3424
type(
  bool
)
ident(
  def should_be_built "src/oasis/OASISLibrary.ml" 88 3544 3548 "src/oasis/OASISLibrary.ml" 98 3771 3779
)
"src/oasis/OASISLibrary.ml" 83 3427 3439 "src/oasis/OASISLibrary.ml" 83 3427 3441
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 59 2710 2719 "src/oasis/OASISLibrary.ml" 59 2710 2721
)
"src/oasis/OASISLibrary.ml" 83 3427 3439 "src/oasis/OASISLibrary.ml" 83 3427 3460
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 84 3466 3474 "src/oasis/OASISLibrary.ml" 84 3466 3480
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 84 3466 3484 "src/oasis/OASISLibrary.ml" 84 3466 3488
type(
  bool
)
"src/oasis/OASISLibrary.ml" 85 3489 3497 "src/oasis/OASISLibrary.ml" 85 3489 3501
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 85 3489 3505 "src/oasis/OASISLibrary.ml" 85 3489 3514
type(
  bool
)
ident(
  int_ref is_native "src/oasis/OASISLibrary.ml" 54 2621 2626 "src/oasis/OASISLibrary.ml" 54 2621 2635
)
"src/oasis/OASISLibrary.ml" 86 3515 3523 "src/oasis/OASISLibrary.ml" 86 3515 3527
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 86 3515 3531 "src/oasis/OASISLibrary.ml" 86 3515 3536
type(
  bool
)
"src/oasis/OASISLibrary.ml" 83 3427 3433 "src/oasis/OASISLibrary.ml" 86 3515 3536
type(
  bool
)
"src/oasis/OASISLibrary.ml" 88 3544 3551 "src/oasis/OASISLibrary.ml" 88 3544 3566
type(
  bool
)
ident(
  int_ref should_be_built "src/oasis/OASISLibrary.ml" 82 3401 3409 "src/oasis/OASISLibrary.ml" 82 3401 3424
)
"src/oasis/OASISLibrary.ml" 89 3572 3581 "src/oasis/OASISLibrary.ml" 89 3572 3584
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
)
"src/oasis/OASISLibrary.ml" 89 3572 3581 "src/oasis/OASISLibrary.ml" 89 3572 3593
type(
  bool
)
"src/oasis/OASISLibrary.ml" 90 3599 3607 "src/oasis/OASISLibrary.ml" 90 3599 3619
type(
  OASISUnixPath.unix_filename list -> string -> string list list
)
ident(
  int_ref find_modules "src/oasis/OASISLibrary.ml" 61 2731 2737 "src/oasis/OASISLibrary.ml" 61 2731 2749
)
"src/oasis/OASISLibrary.ml" 91 3620 3631 "src/oasis/OASISLibrary.ml" 91 3620 3633
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 91 3620 3631 "src/oasis/OASISLibrary.ml" 91 3620 3641
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 91 3620 3630 "src/oasis/OASISLibrary.ml" 91 3620 3642
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 92 3643 3653 "src/oasis/OASISLibrary.ml" 92 3643 3658
type(
  string
)
"src/oasis/OASISLibrary.ml" 90 3599 3607 "src/oasis/OASISLibrary.ml" 92 3643 3658
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 94 3670 3678 "src/oasis/OASISLibrary.ml" 94 3670 3690
type(
  OASISUnixPath.unix_filename list -> string -> string list list
)
ident(
  int_ref find_modules "src/oasis/OASISLibrary.ml" 61 2731 2737 "src/oasis/OASISLibrary.ml" 61 2731 2749
)
"src/oasis/OASISLibrary.ml" 95 3691 3702 "src/oasis/OASISLibrary.ml" 95 3691 3705
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
)
"src/oasis/OASISLibrary.ml" 95 3691 3702 "src/oasis/OASISLibrary.ml" 95 3691 3717
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 95 3691 3718 "src/oasis/OASISLibrary.ml" 95 3691 3719
type(
  OASISUnixPath.unix_filename list ->
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISLibrary.ml" 95 3691 3720 "src/oasis/OASISLibrary.ml" 95 3691 3723
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
)
"src/oasis/OASISLibrary.ml" 95 3691 3720 "src/oasis/OASISLibrary.ml" 95 3691 3744
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 95 3691 3701 "src/oasis/OASISLibrary.ml" 95 3691 3745
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 96 3746 3756 "src/oasis/OASISLibrary.ml" 96 3746 3761
type(
  string
)
"src/oasis/OASISLibrary.ml" 94 3670 3678 "src/oasis/OASISLibrary.ml" 96 3746 3761
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 89 3572 3578 "src/oasis/OASISLibrary.ml" 96 3746 3761
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 98 3771 3777 "src/oasis/OASISLibrary.ml" 98 3771 3779
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 88 3544 3548 "src/oasis/OASISLibrary.ml" 98 3771 3779
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 82 3401 3405 "src/oasis/OASISLibrary.ml" 98 3771 3779
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 101 3786 3792 "src/oasis/OASISLibrary.ml" 101 3786 3802
type(
  'b list
)
ident(
  def acc_nopath "src/oasis/OASISLibrary.ml" 106 3888 3890 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 102 3805 3809 "src/oasis/OASISLibrary.ml" 102 3805 3811
type(
  'b list
)
"src/oasis/OASISLibrary.ml" 106 3888 3894 "src/oasis/OASISLibrary.ml" 106 3888 3901
type(
  string list list
)
ident(
  def headers "src/oasis/OASISLibrary.ml" 123 4337 4339 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 107 3904 3912 "src/oasis/OASISLibrary.ml" 107 3904 3916
type(
  string list
)
ident(
  def sufx "src/oasis/OASISLibrary.ml" 112 4034 4038 "src/oasis/OASISLibrary.ml" 119 4241 4283
)
"src/oasis/OASISLibrary.ml" 108 3919 3928 "src/oasis/OASISLibrary.ml" 108 3919 3931
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
)
"src/oasis/OASISLibrary.ml" 108 3919 3928 "src/oasis/OASISLibrary.ml" 108 3919 3940
type(
  bool
)
"src/oasis/OASISLibrary.ml" 109 3941 3953 "src/oasis/OASISLibrary.ml" 109 3941 3960
type(
  string
)
"src/oasis/OASISLibrary.ml" 109 3941 3962 "src/oasis/OASISLibrary.ml" 109 3941 3968
type(
  string
)
"src/oasis/OASISLibrary.ml" 109 3941 3970 "src/oasis/OASISLibrary.ml" 109 3941 3978
type(
  string
)
"src/oasis/OASISLibrary.ml" 109 3941 3952 "src/oasis/OASISLibrary.ml" 109 3941 3979
type(
  string list
)
"src/oasis/OASISLibrary.ml" 110 3980 3992 "src/oasis/OASISLibrary.ml" 110 3980 3998
type(
  string
)
"src/oasis/OASISLibrary.ml" 110 3980 4000 "src/oasis/OASISLibrary.ml" 110 3980 4007
type(
  string
)
"src/oasis/OASISLibrary.ml" 110 3980 4009 "src/oasis/OASISLibrary.ml" 110 3980 4015
type(
  string
)
"src/oasis/OASISLibrary.ml" 110 3980 4017 "src/oasis/OASISLibrary.ml" 110 3980 4025
type(
  string
)
"src/oasis/OASISLibrary.ml" 110 3980 3991 "src/oasis/OASISLibrary.ml" 110 3980 4026
type(
  string list
)
"src/oasis/OASISLibrary.ml" 108 3919 3925 "src/oasis/OASISLibrary.ml" 110 3980 4026
type(
  string list
)
"src/oasis/OASISLibrary.ml" 112 4034 4038 "src/oasis/OASISLibrary.ml" 112 4034 4046
type(
  (string list -> string list) -> string list list -> string list list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISLibrary.ml" 113 4047 4054 "src/oasis/OASISLibrary.ml" 113 4047 4068
type(
  (string list -> string -> string list) ->
  string list -> string list -> string list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISLibrary.ml" 114 4069 4083 "src/oasis/OASISLibrary.ml" 114 4069 4087
type(
  string list
)
ident(
  def accu "src/oasis/OASISLibrary.ml" 114 4069 4088 "src/oasis/OASISLibrary.ml" 117 4183 4226
)
"src/oasis/OASISLibrary.ml" 114 4069 4088 "src/oasis/OASISLibrary.ml" 114 4069 4089
type(
  string
)
ident(
  def s "src/oasis/OASISLibrary.ml" 115 4093 4105 "src/oasis/OASISLibrary.ml" 117 4183 4226
)
"src/oasis/OASISLibrary.ml" 115 4093 4109 "src/oasis/OASISLibrary.ml" 115 4093 4112
type(
  int
)
ident(
  def dot "src/oasis/OASISLibrary.ml" 116 4138 4150 "src/oasis/OASISLibrary.ml" 117 4183 4226
)
"src/oasis/OASISLibrary.ml" 115 4093 4115 "src/oasis/OASISLibrary.ml" 115 4093 4128
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.rindex "string.mli" 340 12147 12147 "string.mli" 340 12147 12181
)
"src/oasis/OASISLibrary.ml" 115 4093 4129 "src/oasis/OASISLibrary.ml" 115 4093 4130
type(
  string
)
ident(
  int_ref s "src/oasis/OASISLibrary.ml" 114 4069 4088 "src/oasis/OASISLibrary.ml" 114 4069 4089
)
"src/oasis/OASISLibrary.ml" 115 4093 4131 "src/oasis/OASISLibrary.ml" 115 4093 4134
type(
  char
)
"src/oasis/OASISLibrary.ml" 115 4093 4115 "src/oasis/OASISLibrary.ml" 115 4093 4134
type(
  int
)
"src/oasis/OASISLibrary.ml" 116 4138 4154 "src/oasis/OASISLibrary.ml" 116 4138 4158
type(
  string
)
ident(
  def base "src/oasis/OASISLibrary.ml" 117 4183 4195 "src/oasis/OASISLibrary.ml" 117 4183 4226
)
"src/oasis/OASISLibrary.ml" 116 4138 4161 "src/oasis/OASISLibrary.ml" 116 4138 4171
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISLibrary.ml" 116 4138 4172 "src/oasis/OASISLibrary.ml" 116 4138 4173
type(
  string
)
ident(
  int_ref s "src/oasis/OASISLibrary.ml" 114 4069 4088 "src/oasis/OASISLibrary.ml" 114 4069 4089
)
"src/oasis/OASISLibrary.ml" 116 4138 4174 "src/oasis/OASISLibrary.ml" 116 4138 4175
type(
  int
)
"src/oasis/OASISLibrary.ml" 116 4138 4176 "src/oasis/OASISLibrary.ml" 116 4138 4179
type(
  int
)
ident(
  int_ref dot "src/oasis/OASISLibrary.ml" 115 4093 4109 "src/oasis/OASISLibrary.ml" 115 4093 4112
)
"src/oasis/OASISLibrary.ml" 116 4138 4161 "src/oasis/OASISLibrary.ml" 116 4138 4179
type(
  string
)
"src/oasis/OASISLibrary.ml" 117 4183 4195 "src/oasis/OASISLibrary.ml" 117 4183 4203
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/OASISLibrary.ml" 117 4183 4205 "src/oasis/OASISLibrary.ml" 117 4183 4208
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 117 4183 4209 "src/oasis/OASISLibrary.ml" 117 4183 4213
type(
  string
)
ident(
  int_ref base "src/oasis/OASISLibrary.ml" 116 4138 4154 "src/oasis/OASISLibrary.ml" 116 4138 4158
)
"src/oasis/OASISLibrary.ml" 117 4183 4204 "src/oasis/OASISLibrary.ml" 117 4183 4214
type(
  string -> string
)
"src/oasis/OASISLibrary.ml" 117 4183 4215 "src/oasis/OASISLibrary.ml" 117 4183 4219
type(
  string list
)
ident(
  int_ref sufx "src/oasis/OASISLibrary.ml" 107 3904 3912 "src/oasis/OASISLibrary.ml" 107 3904 3916
)
"src/oasis/OASISLibrary.ml" 117 4183 4195 "src/oasis/OASISLibrary.ml" 117 4183 4219
type(
  string list
)
"src/oasis/OASISLibrary.ml" 117 4183 4220 "src/oasis/OASISLibrary.ml" 117 4183 4221
type(
  string list -> string list -> string list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISLibrary.ml" 117 4183 4222 "src/oasis/OASISLibrary.ml" 117 4183 4226
type(
  string list
)
ident(
  int_ref accu "src/oasis/OASISLibrary.ml" 114 4069 4083 "src/oasis/OASISLibrary.ml" 114 4069 4087
)
"src/oasis/OASISLibrary.ml" 117 4183 4195 "src/oasis/OASISLibrary.ml" 117 4183 4226
type(
  string list
)
"src/oasis/OASISLibrary.ml" 116 4138 4150 "src/oasis/OASISLibrary.ml" 117 4183 4226
type(
  string list
)
"src/oasis/OASISLibrary.ml" 115 4093 4105 "src/oasis/OASISLibrary.ml" 117 4183 4226
type(
  string list
)
"src/oasis/OASISLibrary.ml" 114 4069 4078 "src/oasis/OASISLibrary.ml" 117 4183 4227
type(
  string list -> string -> string list
)
"src/oasis/OASISLibrary.ml" 118 4228 4237 "src/oasis/OASISLibrary.ml" 118 4228 4239
type(
  string list
)
"src/oasis/OASISLibrary.ml" 113 4047 4053 "src/oasis/OASISLibrary.ml" 118 4228 4240
type(
  string list -> string list
)
"src/oasis/OASISLibrary.ml" 119 4241 4248 "src/oasis/OASISLibrary.ml" 119 4241 4260
type(
  OASISUnixPath.unix_filename list -> string -> string list list
)
ident(
  int_ref find_modules "src/oasis/OASISLibrary.ml" 61 2731 2737 "src/oasis/OASISLibrary.ml" 61 2731 2749
)
"src/oasis/OASISLibrary.ml" 119 4241 4261 "src/oasis/OASISLibrary.ml" 119 4241 4264
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
)
"src/oasis/OASISLibrary.ml" 119 4241 4261 "src/oasis/OASISLibrary.ml" 119 4241 4276
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 119 4241 4277 "src/oasis/OASISLibrary.ml" 119 4241 4282
type(
  string
)
"src/oasis/OASISLibrary.ml" 119 4241 4247 "src/oasis/OASISLibrary.ml" 119 4241 4283
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 112 4034 4038 "src/oasis/OASISLibrary.ml" 119 4241 4283
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 107 3904 3908 "src/oasis/OASISLibrary.ml" 119 4241 4283
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 123 4337 4343 "src/oasis/OASISLibrary.ml" 123 4337 4353
type(
  string list list
)
ident(
  def acc_nopath "src/oasis/OASISLibrary.ml" 150 5087 5089 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 125 4405 4413 "src/oasis/OASISLibrary.ml" 125 4405 4428
type(
  string list list -> string list list
)
ident(
  def add_pack_header "src/oasis/OASISLibrary.ml" 131 4566 4570 "src/oasis/OASISLibrary.ml" 146 5010 5046
)
"src/oasis/OASISLibrary.ml" 125 4405 4429 "src/oasis/OASISLibrary.ml" 125 4405 4432
type(
  string list list
)
ident(
  def acc "src/oasis/OASISLibrary.ml" 126 4435 4441 "src/oasis/OASISLibrary.ml" 129 4547 4558
)
"src/oasis/OASISLibrary.ml" 126 4435 4444 "src/oasis/OASISLibrary.ml" 126 4435 4447
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISLibrary.ml" 59 2710 2723 "src/oasis/OASISLibrary.ml" 59 2710 2726
)
"src/oasis/OASISLibrary.ml" 126 4435 4444 "src/oasis/OASISLibrary.ml" 126 4435 4456
type(
  bool
)
"src/oasis/OASISLibrary.ml" 127 4462 4471 "src/oasis/OASISLibrary.ml" 127 4462 4473
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 127 4462 4471 "src/oasis/OASISLibrary.ml" 127 4462 4481
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 127 4462 4481 "src/oasis/OASISLibrary.ml" 127 4462 4482
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 127 4462 4482 "src/oasis/OASISLibrary.ml" 127 4462 4488
type(
  string
)
"src/oasis/OASISLibrary.ml" 127 4462 4471 "src/oasis/OASISLibrary.ml" 127 4462 4488
type(
  string
)
"src/oasis/OASISLibrary.ml" 127 4462 4490 "src/oasis/OASISLibrary.ml" 127 4462 4492
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 127 4462 4490 "src/oasis/OASISLibrary.ml" 127 4462 4500
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 127 4462 4500 "src/oasis/OASISLibrary.ml" 127 4462 4501
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 127 4462 4501 "src/oasis/OASISLibrary.ml" 127 4462 4508
type(
  string
)
"src/oasis/OASISLibrary.ml" 127 4462 4490 "src/oasis/OASISLibrary.ml" 127 4462 4508
type(
  string
)
"src/oasis/OASISLibrary.ml" 127 4462 4510 "src/oasis/OASISLibrary.ml" 127 4462 4512
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 127 4462 4510 "src/oasis/OASISLibrary.ml" 127 4462 4520
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 127 4462 4520 "src/oasis/OASISLibrary.ml" 127 4462 4521
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 127 4462 4521 "src/oasis/OASISLibrary.ml" 127 4462 4527
type(
  string
)
"src/oasis/OASISLibrary.ml" 127 4462 4510 "src/oasis/OASISLibrary.ml" 127 4462 4527
type(
  string
)
"src/oasis/OASISLibrary.ml" 127 4462 4470 "src/oasis/OASISLibrary.ml" 127 4462 4528
type(
  string list
)
"src/oasis/OASISLibrary.ml" 127 4462 4532 "src/oasis/OASISLibrary.ml" 127 4462 4535
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 125 4405 4429 "src/oasis/OASISLibrary.ml" 125 4405 4432
)
"src/oasis/OASISLibrary.ml" 127 4462 4470 "src/oasis/OASISLibrary.ml" 127 4462 4535
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 129 4547 4555 "src/oasis/OASISLibrary.ml" 129 4547 4558
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 125 4405 4429 "src/oasis/OASISLibrary.ml" 125 4405 4432
)
"src/oasis/OASISLibrary.ml" 126 4435 4441 "src/oasis/OASISLibrary.ml" 129 4547 4558
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 131 4566 4574 "src/oasis/OASISLibrary.ml" 131 4566 4578
type(
  string list list -> string list list
)
ident(
  def byte "src/oasis/OASISLibrary.ml" 134 4643 4647 "src/oasis/OASISLibrary.ml" 146 5010 5046
)
"src/oasis/OASISLibrary.ml" 131 4566 4579 "src/oasis/OASISLibrary.ml" 131 4566 4582
type(
  string list list
)
ident(
  def acc "src/oasis/OASISLibrary.ml" 132 4585 4591 "src/oasis/OASISLibrary.ml" 132 4585 4635
)
"src/oasis/OASISLibrary.ml" 132 4585 4591 "src/oasis/OASISLibrary.ml" 132 4585 4606
type(
  string list list -> string list list
)
ident(
  int_ref add_pack_header "src/oasis/OASISLibrary.ml" 125 4405 4413 "src/oasis/OASISLibrary.ml" 125 4405 4428
)
"src/oasis/OASISLibrary.ml" 132 4585 4609 "src/oasis/OASISLibrary.ml" 132 4585 4611
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 132 4585 4609 "src/oasis/OASISLibrary.ml" 132 4585 4619
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 132 4585 4619 "src/oasis/OASISLibrary.ml" 132 4585 4620
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 132 4585 4620 "src/oasis/OASISLibrary.ml" 132 4585 4626
type(
  string
)
"src/oasis/OASISLibrary.ml" 132 4585 4609 "src/oasis/OASISLibrary.ml" 132 4585 4626
type(
  string
)
"src/oasis/OASISLibrary.ml" 132 4585 4608 "src/oasis/OASISLibrary.ml" 132 4585 4627
type(
  string list
)
"src/oasis/OASISLibrary.ml" 132 4585 4631 "src/oasis/OASISLibrary.ml" 132 4585 4634
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 131 4566 4579 "src/oasis/OASISLibrary.ml" 131 4566 4582
)
"src/oasis/OASISLibrary.ml" 132 4585 4607 "src/oasis/OASISLibrary.ml" 132 4585 4635
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 132 4585 4591 "src/oasis/OASISLibrary.ml" 132 4585 4635
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 134 4643 4651 "src/oasis/OASISLibrary.ml" 134 4643 4657
type(
  string list list -> string list list
)
ident(
  def native "src/oasis/OASISLibrary.ml" 143 4878 4882 "src/oasis/OASISLibrary.ml" 146 5010 5046
)
"src/oasis/OASISLibrary.ml" 134 4643 4658 "src/oasis/OASISLibrary.ml" 134 4643 4661
type(
  string list list
)
ident(
  def acc "src/oasis/OASISLibrary.ml" 135 4664 4670 "src/oasis/OASISLibrary.ml" 141 4813 4870
)
"src/oasis/OASISLibrary.ml" 135 4664 4674 "src/oasis/OASISLibrary.ml" 135 4664 4677
type(
  string list list
)
ident(
  def acc "src/oasis/OASISLibrary.ml" 141 4813 4819 "src/oasis/OASISLibrary.ml" 141 4813 4870
)
"src/oasis/OASISLibrary.ml" 136 4680 4688 "src/oasis/OASISLibrary.ml" 136 4680 4703
type(
  string list list -> string list list
)
ident(
  int_ref add_pack_header "src/oasis/OASISLibrary.ml" 125 4405 4413 "src/oasis/OASISLibrary.ml" 125 4405 4428
)
"src/oasis/OASISLibrary.ml" 137 4704 4718 "src/oasis/OASISLibrary.ml" 137 4704 4736
type(
  bool
)
ident(
  int_ref has_native_dynlink "src/oasis/OASISLibrary.ml" 55 2636 2641 "src/oasis/OASISLibrary.ml" 55 2636 2659
)
"src/oasis/OASISLibrary.ml" 138 4742 4756 "src/oasis/OASISLibrary.ml" 138 4742 4758
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 138 4742 4756 "src/oasis/OASISLibrary.ml" 138 4742 4766
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 138 4742 4766 "src/oasis/OASISLibrary.ml" 138 4742 4767
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 138 4742 4767 "src/oasis/OASISLibrary.ml" 138 4742 4774
type(
  string
)
"src/oasis/OASISLibrary.ml" 138 4742 4756 "src/oasis/OASISLibrary.ml" 138 4742 4774
type(
  string
)
"src/oasis/OASISLibrary.ml" 138 4742 4755 "src/oasis/OASISLibrary.ml" 138 4742 4775
type(
  string list
)
"src/oasis/OASISLibrary.ml" 138 4742 4779 "src/oasis/OASISLibrary.ml" 138 4742 4782
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 134 4643 4658 "src/oasis/OASISLibrary.ml" 134 4643 4661
)
"src/oasis/OASISLibrary.ml" 138 4742 4755 "src/oasis/OASISLibrary.ml" 138 4742 4782
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 139 4783 4799 "src/oasis/OASISLibrary.ml" 139 4783 4802
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 134 4643 4658 "src/oasis/OASISLibrary.ml" 134 4643 4661
)
"src/oasis/OASISLibrary.ml" 137 4704 4714 "src/oasis/OASISLibrary.ml" 139 4783 4803
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 136 4680 4688 "src/oasis/OASISLibrary.ml" 139 4783 4803
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 141 4813 4820 "src/oasis/OASISLibrary.ml" 141 4813 4822
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 141 4813 4820 "src/oasis/OASISLibrary.ml" 141 4813 4830
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 141 4813 4830 "src/oasis/OASISLibrary.ml" 141 4813 4831
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 141 4813 4831 "src/oasis/OASISLibrary.ml" 141 4813 4838
type(
  string
)
"src/oasis/OASISLibrary.ml" 141 4813 4820 "src/oasis/OASISLibrary.ml" 141 4813 4838
type(
  string
)
"src/oasis/OASISLibrary.ml" 141 4813 4819 "src/oasis/OASISLibrary.ml" 141 4813 4839
type(
  string list
)
"src/oasis/OASISLibrary.ml" 141 4813 4844 "src/oasis/OASISLibrary.ml" 141 4813 4846
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 141 4813 4844 "src/oasis/OASISLibrary.ml" 141 4813 4854
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 141 4813 4854 "src/oasis/OASISLibrary.ml" 141 4813 4855
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 141 4813 4855 "src/oasis/OASISLibrary.ml" 141 4813 4862
type(
  string
)
ident(
  int_ref ext_lib "src/oasis/OASISLibrary.ml" 56 2660 2665 "src/oasis/OASISLibrary.ml" 56 2660 2672
)
"src/oasis/OASISLibrary.ml" 141 4813 4844 "src/oasis/OASISLibrary.ml" 141 4813 4862
type(
  string
)
"src/oasis/OASISLibrary.ml" 141 4813 4843 "src/oasis/OASISLibrary.ml" 141 4813 4863
type(
  string list
)
"src/oasis/OASISLibrary.ml" 141 4813 4867 "src/oasis/OASISLibrary.ml" 141 4813 4870
type(
  string list list
)
ident(
  int_ref acc "src/oasis/OASISLibrary.ml" 135 4664 4674 "src/oasis/OASISLibrary.ml" 135 4664 4677
)
"src/oasis/OASISLibrary.ml" 141 4813 4843 "src/oasis/OASISLibrary.ml" 141 4813 4870
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 141 4813 4819 "src/oasis/OASISLibrary.ml" 141 4813 4870
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 135 4664 4670 "src/oasis/OASISLibrary.ml" 141 4813 4870
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 143 4878 4888 "src/oasis/OASISLibrary.ml" 143 4878 4890
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 59 2710 2719 "src/oasis/OASISLibrary.ml" 59 2710 2721
)
"src/oasis/OASISLibrary.ml" 143 4878 4888 "src/oasis/OASISLibrary.ml" 143 4878 4909
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 144 4915 4921 "src/oasis/OASISLibrary.ml" 144 4915 4927
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 144 4915 4931 "src/oasis/OASISLibrary.ml" 144 4915 4935
type(
  string list list -> string list list
)
ident(
  int_ref byte "src/oasis/OASISLibrary.ml" 131 4566 4574 "src/oasis/OASISLibrary.ml" 131 4566 4578
)
"src/oasis/OASISLibrary.ml" 144 4915 4937 "src/oasis/OASISLibrary.ml" 144 4915 4943
type(
  string list list -> string list list
)
ident(
  int_ref native "src/oasis/OASISLibrary.ml" 134 4643 4651 "src/oasis/OASISLibrary.ml" 134 4643 4657
)
"src/oasis/OASISLibrary.ml" 144 4915 4944 "src/oasis/OASISLibrary.ml" 144 4915 4954
type(
  string list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 101 3786 3792 "src/oasis/OASISLibrary.ml" 101 3786 3802
)
"src/oasis/OASISLibrary.ml" 144 4915 4936 "src/oasis/OASISLibrary.ml" 144 4915 4955
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 144 4915 4931 "src/oasis/OASISLibrary.ml" 144 4915 4955
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 145 4956 4962 "src/oasis/OASISLibrary.ml" 145 4956 4966
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 145 4956 4972 "src/oasis/OASISLibrary.ml" 145 4956 4981
type(
  bool
)
ident(
  int_ref is_native "src/oasis/OASISLibrary.ml" 54 2621 2626 "src/oasis/OASISLibrary.ml" 54 2621 2635
)
"src/oasis/OASISLibrary.ml" 145 4956 4985 "src/oasis/OASISLibrary.ml" 145 4956 4989
type(
  string list list -> string list list
)
ident(
  int_ref byte "src/oasis/OASISLibrary.ml" 131 4566 4574 "src/oasis/OASISLibrary.ml" 131 4566 4578
)
"src/oasis/OASISLibrary.ml" 145 4956 4991 "src/oasis/OASISLibrary.ml" 145 4956 4997
type(
  string list list -> string list list
)
ident(
  int_ref native "src/oasis/OASISLibrary.ml" 134 4643 4651 "src/oasis/OASISLibrary.ml" 134 4643 4657
)
"src/oasis/OASISLibrary.ml" 145 4956 4998 "src/oasis/OASISLibrary.ml" 145 4956 5008
type(
  string list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 101 3786 3792 "src/oasis/OASISLibrary.ml" 101 3786 3802
)
"src/oasis/OASISLibrary.ml" 145 4956 4990 "src/oasis/OASISLibrary.ml" 145 4956 5009
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 145 4956 4985 "src/oasis/OASISLibrary.ml" 145 4956 5009
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 146 5010 5016 "src/oasis/OASISLibrary.ml" 146 5010 5020
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 146 5010 5023 "src/oasis/OASISLibrary.ml" 146 5010 5027
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 146 5010 5016 "src/oasis/OASISLibrary.ml" 146 5010 5027
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISLibrary.ml" 146 5010 5031 "src/oasis/OASISLibrary.ml" 146 5010 5035
type(
  string list list -> string list list
)
ident(
  int_ref byte "src/oasis/OASISLibrary.ml" 131 4566 4574 "src/oasis/OASISLibrary.ml" 131 4566 4578
)
"src/oasis/OASISLibrary.ml" 146 5010 5036 "src/oasis/OASISLibrary.ml" 146 5010 5046
type(
  string list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 101 3786 3792 "src/oasis/OASISLibrary.ml" 101 3786 3802
)
"src/oasis/OASISLibrary.ml" 146 5010 5031 "src/oasis/OASISLibrary.ml" 146 5010 5046
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 143 4878 4882 "src/oasis/OASISLibrary.ml" 146 5010 5046
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 134 4643 4647 "src/oasis/OASISLibrary.ml" 146 5010 5046
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 131 4566 4570 "src/oasis/OASISLibrary.ml" 146 5010 5046
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 125 4405 4409 "src/oasis/OASISLibrary.ml" 146 5010 5046
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 150 5087 5093 "src/oasis/OASISLibrary.ml" 150 5087 5103
type(
  string list list
)
ident(
  def acc_nopath "src/oasis/OASISLibrary.ml" 164 5400 5402 "src/oasis/OASISLibrary.ml" 169 5521 5541
)
"src/oasis/OASISLibrary.ml" 151 5106 5113 "src/oasis/OASISLibrary.ml" 151 5106 5115
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 59 2710 2719 "src/oasis/OASISLibrary.ml" 59 2710 2721
)
"src/oasis/OASISLibrary.ml" 151 5106 5113 "src/oasis/OASISLibrary.ml" 151 5106 5128
type(
  OASISTypes.unix_filename list
)
"src/oasis/OASISLibrary.ml" 151 5106 5129 "src/oasis/OASISLibrary.ml" 151 5106 5131
type(
  OASISTypes.unix_filename list -> OASISTypes.unix_filename list -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISLibrary.ml" 151 5106 5132 "src/oasis/OASISLibrary.ml" 151 5106 5134
type(
  OASISTypes.unix_filename list
)
"src/oasis/OASISLibrary.ml" 151 5106 5113 "src/oasis/OASISLibrary.ml" 151 5106 5134
type(
  bool
)
"src/oasis/OASISLibrary.ml" 152 5146 5153 "src/oasis/OASISLibrary.ml" 152 5146 5158
type(
  string
)
"src/oasis/OASISLibrary.ml" 152 5146 5158 "src/oasis/OASISLibrary.ml" 152 5146 5159
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 152 5146 5159 "src/oasis/OASISLibrary.ml" 152 5146 5161
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 152 5146 5159 "src/oasis/OASISLibrary.ml" 152 5146 5169
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 152 5146 5169 "src/oasis/OASISLibrary.ml" 152 5146 5170
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 152 5146 5170 "src/oasis/OASISLibrary.ml" 152 5146 5178
type(
  string
)
"src/oasis/OASISLibrary.ml" 152 5146 5178 "src/oasis/OASISLibrary.ml" 152 5146 5179
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 152 5146 5179 "src/oasis/OASISLibrary.ml" 152 5146 5186
type(
  string
)
ident(
  int_ref ext_lib "src/oasis/OASISLibrary.ml" 56 2660 2665 "src/oasis/OASISLibrary.ml" 56 2660 2672
)
"src/oasis/OASISLibrary.ml" 152 5146 5170 "src/oasis/OASISLibrary.ml" 152 5146 5186
type(
  string
)
"src/oasis/OASISLibrary.ml" 152 5146 5159 "src/oasis/OASISLibrary.ml" 152 5146 5186
type(
  string
)
"src/oasis/OASISLibrary.ml" 152 5146 5153 "src/oasis/OASISLibrary.ml" 152 5146 5186
type(
  string
)
"src/oasis/OASISLibrary.ml" 152 5146 5152 "src/oasis/OASISLibrary.ml" 152 5146 5187
type(
  string list
)
"src/oasis/OASISLibrary.ml" 154 5197 5206 "src/oasis/OASISLibrary.ml" 154 5197 5224
type(
  bool
)
ident(
  int_ref has_native_dynlink "src/oasis/OASISLibrary.ml" 55 2636 2641 "src/oasis/OASISLibrary.ml" 55 2636 2659
)
"src/oasis/OASISLibrary.ml" 155 5230 5239 "src/oasis/OASISLibrary.ml" 155 5230 5244
type(
  string
)
"src/oasis/OASISLibrary.ml" 155 5230 5244 "src/oasis/OASISLibrary.ml" 155 5230 5245
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 155 5230 5245 "src/oasis/OASISLibrary.ml" 155 5230 5247
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISLibrary.ml" 59 2710 2715 "src/oasis/OASISLibrary.ml" 59 2710 2717
)
"src/oasis/OASISLibrary.ml" 155 5230 5245 "src/oasis/OASISLibrary.ml" 155 5230 5255
type(
  OASISTypes.name
)
"src/oasis/OASISLibrary.ml" 155 5230 5255 "src/oasis/OASISLibrary.ml" 155 5230 5256
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 155 5230 5256 "src/oasis/OASISLibrary.ml" 155 5230 5264
type(
  string
)
"src/oasis/OASISLibrary.ml" 155 5230 5264 "src/oasis/OASISLibrary.ml" 155 5230 5265
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISLibrary.ml" 155 5230 5265 "src/oasis/OASISLibrary.ml" 155 5230 5272
type(
  string
)
ident(
  int_ref ext_dll "src/oasis/OASISLibrary.ml" 57 2673 2678 "src/oasis/OASISLibrary.ml" 57 2673 2685
)
"src/oasis/OASISLibrary.ml" 155 5230 5256 "src/oasis/OASISLibrary.ml" 155 5230 5272
type(
  string
)
"src/oasis/OASISLibrary.ml" 155 5230 5245 "src/oasis/OASISLibrary.ml" 155 5230 5272
type(
  string
)
"src/oasis/OASISLibrary.ml" 155 5230 5239 "src/oasis/OASISLibrary.ml" 155 5230 5272
type(
  string
)
"src/oasis/OASISLibrary.ml" 155 5230 5238 "src/oasis/OASISLibrary.ml" 155 5230 5273
type(
  string list
)
"src/oasis/OASISLibrary.ml" 155 5230 5277 "src/oasis/OASISLibrary.ml" 155 5230 5287
type(
  string list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 123 4337 4343 "src/oasis/OASISLibrary.ml" 123 4337 4353
)
"src/oasis/OASISLibrary.ml" 155 5230 5238 "src/oasis/OASISLibrary.ml" 155 5230 5287
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 157 5299 5307 "src/oasis/OASISLibrary.ml" 157 5299 5317
type(
  string list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 123 4337 4343 "src/oasis/OASISLibrary.ml" 123 4337 4353
)
"src/oasis/OASISLibrary.ml" 154 5197 5203 "src/oasis/OASISLibrary.ml" 157 5299 5317
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 151 5106 5140 "src/oasis/OASISLibrary.ml" 158 5318 5325
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 158 5318 5331 "src/oasis/OASISLibrary.ml" 160 5354 5361
type(
  string list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 123 4337 4343 "src/oasis/OASISLibrary.ml" 123 4337 4353
)
"src/oasis/OASISLibrary.ml" 151 5106 5110 "src/oasis/OASISLibrary.ml" 160 5354 5361
type(
  string list list
)
"src/oasis/OASISLibrary.ml" 164 5400 5402 "src/oasis/OASISLibrary.ml" 164 5400 5417
type(
  OASISUnixPath.unix_filename list list ->
  OASISUnixPath.unix_filename list list ->
  OASISUnixPath.unix_filename list list
)
ident(
  int_ref Stdlib.List.rev_append "list.mli" 105 3970 3970 "list.mli" 105 3970 4016
)
"src/oasis/OASISLibrary.ml" 165 5418 5423 "src/oasis/OASISLibrary.ml" 165 5418 5435
type(
  (OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list) ->
  OASISUnixPath.unix_filename list list ->
  OASISUnixPath.unix_filename list list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISLibrary.ml" 166 5436 5444 "src/oasis/OASISLibrary.ml" 166 5436 5456
type(
  (OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename) ->
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISLibrary.ml" 167 5457 5468 "src/oasis/OASISLibrary.ml" 167 5457 5488
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.concat "src/oasis/OASISUnixPath.mli" 53 2362 2362 "src/oasis/OASISUnixPath.mli" 53 2362 2421
)
"src/oasis/OASISLibrary.ml" 167 5457 5489 "src/oasis/OASISLibrary.ml" 167 5457 5491
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISLibrary.ml" 59 2710 2719 "src/oasis/OASISLibrary.ml" 59 2710 2721
)
"src/oasis/OASISLibrary.ml" 167 5457 5489 "src/oasis/OASISLibrary.ml" 167 5457 5499
type(
  OASISTypes.unix_dirname
)
"src/oasis/OASISLibrary.ml" 167 5457 5467 "src/oasis/OASISLibrary.ml" 167 5457 5500
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
"src/oasis/OASISLibrary.ml" 166 5436 5443 "src/oasis/OASISLibrary.ml" 167 5457 5501
type(
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list
)
"src/oasis/OASISLibrary.ml" 168 5502 5509 "src/oasis/OASISLibrary.ml" 168 5502 5519
type(
  OASISUnixPath.unix_filename list list
)
ident(
  int_ref acc_nopath "src/oasis/OASISLibrary.ml" 150 5087 5093 "src/oasis/OASISLibrary.ml" 150 5087 5103
)
"src/oasis/OASISLibrary.ml" 165 5418 5422 "src/oasis/OASISLibrary.ml" 168 5502 5520
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 169 5521 5526 "src/oasis/OASISLibrary.ml" 169 5521 5533
type(
  OASISUnixPath.unix_filename list list
)
ident(
  int_ref headers "src/oasis/OASISLibrary.ml" 106 3888 3894 "src/oasis/OASISLibrary.ml" 106 3888 3901
)
"src/oasis/OASISLibrary.ml" 169 5521 5534 "src/oasis/OASISLibrary.ml" 169 5521 5535
type(
  OASISUnixPath.unix_filename list list ->
  OASISUnixPath.unix_filename list list ->
  OASISUnixPath.unix_filename list list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISLibrary.ml" 169 5521 5536 "src/oasis/OASISLibrary.ml" 169 5521 5540
type(
  OASISUnixPath.unix_filename list list
)
ident(
  int_ref cmxs "src/oasis/OASISLibrary.ml" 81 3388 3394 "src/oasis/OASISLibrary.ml" 81 3388 3398
)
"src/oasis/OASISLibrary.ml" 169 5521 5525 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 164 5400 5402 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 150 5087 5089 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 123 4337 4339 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 106 3888 3890 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 101 3786 3788 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 81 3388 3390 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 61 2731 2733 "src/oasis/OASISLibrary.ml" 169 5521 5541
type(
  OASISUnixPath.unix_filename list list
)
"src/oasis/OASISLibrary.ml" 175 5563 5567 "src/oasis/OASISLibrary.ml" 175 5563 5573
type(
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library)
  OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISLibrary.ml" 175 5563 5602 "src/oasis/OASISLibrary.ml" 0 0 -1
)
"src/oasis/OASISLibrary.ml" 175 5563 5576 "src/oasis/OASISLibrary.ml" 175 5563 5602
type(
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library)
  OASISSchema_intern.t
)
ident(
  int_ref OASISLibrary_intern.schema "src/oasis/OASISLibrary_intern.ml" 36 1866 1870 "src/oasis/OASISLibrary_intern.ml" 36 1866 1876
)
