"src/oasis/OASISBuildSection.ml" 26 1784 1788 "src/oasis/OASISBuildSection.ml" 26 1784 1799
type(
  (OASISUnixPath.unix_filename -> bool) ->
  OASISTypes.build_section ->
  string ->
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of
       OASISUnixPath.unix_filename * OASISUnixPath.unix_filename list ]
)
ident(
  def find_module "src/oasis/OASISBuildSection.ml" 53 2549 2549 "src/oasis/OASISBuildSection.ml" 0 0 -1
)
"src/oasis/OASISBuildSection.ml" 26 1784 1800 "src/oasis/OASISBuildSection.ml" 26 1784 1818
type(
  OASISUnixPath.unix_filename -> bool
)
ident(
  def source_file_exists "src/oasis/OASISBuildSection.ml" 26 1784 1819 "src/oasis/OASISBuildSection.ml" 47 2493 2527
)
"src/oasis/OASISBuildSection.ml" 26 1784 1819 "src/oasis/OASISBuildSection.ml" 26 1784 1821
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISBuildSection.ml" 26 1784 1822 "src/oasis/OASISBuildSection.ml" 47 2493 2527
)
"src/oasis/OASISBuildSection.ml" 26 1784 1822 "src/oasis/OASISBuildSection.ml" 26 1784 1827
type(
  string
)
ident(
  def modul "src/oasis/OASISBuildSection.ml" 27 1830 1832 "src/oasis/OASISBuildSection.ml" 47 2493 2527
)
"src/oasis/OASISBuildSection.ml" 27 1830 1836 "src/oasis/OASISBuildSection.ml" 27 1830 1848
type(
  OASISUnixPath.unix_filename list
)
ident(
  def possible_lst "src/oasis/OASISBuildSection.ml" 33 2000 2002 "src/oasis/OASISBuildSection.ml" 47 2493 2527
)
"src/oasis/OASISBuildSection.ml" 28 1851 1855 "src/oasis/OASISBuildSection.ml" 28 1851 1893
type(
  OASISSourcePatterns.t list ->
  path:OASISUnixPath.unix_dirname ->
  modul:string -> OASISUnixPath.unix_filename list
)
ident(
  int_ref OASISSourcePatterns.all_possible_files "src/oasis/OASISSourcePatterns.mli" 54 2614 2614 "src/oasis/OASISSourcePatterns.mli" 55 2638 2705
)
"src/oasis/OASISBuildSection.ml" 29 1894 1901 "src/oasis/OASISBuildSection.ml" 29 1894 1903
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISBuildSection.ml" 26 1784 1819 "src/oasis/OASISBuildSection.ml" 26 1784 1821
)
"src/oasis/OASISBuildSection.ml" 29 1894 1901 "src/oasis/OASISBuildSection.ml" 29 1894 1925
type(
  OASISSourcePatterns.t list
)
"src/oasis/OASISBuildSection.ml" 29 1894 1926 "src/oasis/OASISBuildSection.ml" 29 1894 1927
type(
  OASISSourcePatterns.t list ->
  OASISSourcePatterns.t list -> OASISSourcePatterns.t list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/oasis/OASISBuildSection.ml" 29 1894 1928 "src/oasis/OASISBuildSection.ml" 29 1894 1930
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISBuildSection.ml" 26 1784 1819 "src/oasis/OASISBuildSection.ml" 26 1784 1821
)
"src/oasis/OASISBuildSection.ml" 29 1894 1928 "src/oasis/OASISBuildSection.ml" 29 1894 1957
type(
  OASISSourcePatterns.t list
)
"src/oasis/OASISBuildSection.ml" 29 1894 1900 "src/oasis/OASISBuildSection.ml" 29 1894 1958
type(
  OASISSourcePatterns.t list
)
"src/oasis/OASISBuildSection.ml" 30 1959 1971 "src/oasis/OASISBuildSection.ml" 30 1959 1973
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISBuildSection.ml" 26 1784 1819 "src/oasis/OASISBuildSection.ml" 26 1784 1821
)
"src/oasis/OASISBuildSection.ml" 30 1959 1971 "src/oasis/OASISBuildSection.ml" 30 1959 1981
type(
  OASISTypes.unix_dirname
)
"src/oasis/OASISBuildSection.ml" 31 1982 1989 "src/oasis/OASISBuildSection.ml" 31 1982 1994
type(
  string
)
ident(
  int_ref modul "src/oasis/OASISBuildSection.ml" 26 1784 1822 "src/oasis/OASISBuildSection.ml" 26 1784 1827
)
"src/oasis/OASISBuildSection.ml" 28 1851 1855 "src/oasis/OASISBuildSection.ml" 31 1982 1994
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 33 2000 2008 "src/oasis/OASISBuildSection.ml" 33 2000 2019
type(
  (OASISUnixPath.unix_filename -> bool) ->
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list
)
ident(
  int_ref Stdlib.List.filter "list.mli" 327 10954 10954 "list.mli" 327 10954 11001
)
"src/oasis/OASISBuildSection.ml" 33 2000 2020 "src/oasis/OASISBuildSection.ml" 33 2000 2038
type(
  OASISUnixPath.unix_filename -> bool
)
ident(
  int_ref source_file_exists "src/oasis/OASISBuildSection.ml" 26 1784 1800 "src/oasis/OASISBuildSection.ml" 26 1784 1818
)
"src/oasis/OASISBuildSection.ml" 33 2000 2039 "src/oasis/OASISBuildSection.ml" 33 2000 2051
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref possible_lst "src/oasis/OASISBuildSection.ml" 27 1830 1836 "src/oasis/OASISBuildSection.ml" 27 1830 1848
)
"src/oasis/OASISBuildSection.ml" 33 2000 2008 "src/oasis/OASISBuildSection.ml" 33 2000 2051
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 34 2057 2062 "src/oasis/OASISBuildSection.ml" 34 2057 2064
type(
  OASISUnixPath.unix_filename
)
ident(
  def fn "src/oasis/OASISBuildSection.ml" 34 2057 2084 "src/oasis/OASISBuildSection.ml" 34 2057 2134
)
"src/oasis/OASISBuildSection.ml" 34 2057 2068 "src/oasis/OASISBuildSection.ml" 34 2057 2069
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 34 2057 2061 "src/oasis/OASISBuildSection.ml" 34 2057 2070
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 34 2057 2061 "src/oasis/OASISBuildSection.ml" 34 2057 2080
type(
  OASISUnixPath.unix_filename list
)
type(
  OASISUnixPath.unix_filename list
)
ident(
  def fn_lst "src/oasis/OASISBuildSection.ml" 34 2057 2084 "src/oasis/OASISBuildSection.ml" 34 2057 2134
)
"src/oasis/OASISBuildSection.ml" 34 2057 2094 "src/oasis/OASISBuildSection.ml" 34 2057 2122
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.chop_extension "src/oasis/OASISUnixPath.mli" 74 2923 2923 "src/oasis/OASISUnixPath.mli" 74 2923 2973
)
"src/oasis/OASISBuildSection.ml" 34 2057 2123 "src/oasis/OASISBuildSection.ml" 34 2057 2125
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref fn "src/oasis/OASISBuildSection.ml" 34 2057 2062 "src/oasis/OASISBuildSection.ml" 34 2057 2064
)
"src/oasis/OASISBuildSection.ml" 34 2057 2094 "src/oasis/OASISBuildSection.ml" 34 2057 2125
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISBuildSection.ml" 34 2057 2127 "src/oasis/OASISBuildSection.ml" 34 2057 2133
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref fn_lst "src/oasis/OASISBuildSection.ml" 34 2057 2061 "src/oasis/OASISBuildSection.ml" 34 2057 2080
)
"src/oasis/OASISBuildSection.ml" 34 2057 2093 "src/oasis/OASISBuildSection.ml" 34 2057 2134
type(
  OASISUnixPath.unix_filename * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 34 2057 2084 "src/oasis/OASISBuildSection.ml" 34 2057 2134
type(
  [> `No_sources of OASISUnixPath.unix_filename list
   | `Sources of
       OASISUnixPath.unix_filename * OASISUnixPath.unix_filename list ]
  as 'a
)
"src/oasis/OASISBuildSection.ml" 35 2135 2139 "src/oasis/OASISBuildSection.ml" 35 2135 2141
type(
  OASISUnixPath.unix_filename list
)
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 37 2172 2180 "src/oasis/OASISBuildSection.ml" 37 2172 2181
type(
  OASISUtils.SetString.t
)
"src/oasis/OASISBuildSection.ml" 37 2172 2183 "src/oasis/OASISBuildSection.ml" 37 2172 2190
type(
  OASISUnixPath.unix_filename list
)
ident(
  def rev_lst "src/oasis/OASISBuildSection.ml" 47 2493 2497 "src/oasis/OASISBuildSection.ml" 47 2493 2527
)
"src/oasis/OASISBuildSection.ml" 37 2172 2180 "src/oasis/OASISBuildSection.ml" 37 2172 2190
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 38 2193 2199 "src/oasis/OASISBuildSection.ml" 38 2193 2213
type(
  (OASISUtils.SetString.t * OASISUnixPath.unix_filename list ->
   OASISUnixPath.unix_filename ->
   OASISUtils.SetString.t * OASISUnixPath.unix_filename list) ->
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list ->
  OASISUnixPath.unix_filename list ->
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISBuildSection.ml" 39 2214 2228 "src/oasis/OASISBuildSection.ml" 39 2214 2231
type(
  OASISUtils.SetString.t
)
ident(
  def set "src/oasis/OASISBuildSection.ml" 39 2214 2238 "src/oasis/OASISBuildSection.ml" 44 2387 2441
)
"src/oasis/OASISBuildSection.ml" 39 2214 2233 "src/oasis/OASISBuildSection.ml" 39 2214 2236
type(
  OASISUnixPath.unix_filename list
)
ident(
  def acc "src/oasis/OASISBuildSection.ml" 39 2214 2238 "src/oasis/OASISBuildSection.ml" 44 2387 2441
)
"src/oasis/OASISBuildSection.ml" 39 2214 2227 "src/oasis/OASISBuildSection.ml" 39 2214 2237
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 39 2214 2238 "src/oasis/OASISBuildSection.ml" 39 2214 2240
type(
  OASISUnixPath.unix_filename
)
ident(
  def fn "src/oasis/OASISBuildSection.ml" 40 2244 2255 "src/oasis/OASISBuildSection.ml" 44 2387 2441
)
"src/oasis/OASISBuildSection.ml" 40 2244 2259 "src/oasis/OASISBuildSection.ml" 40 2244 2266
type(
  OASISUnixPath.unix_filename
)
ident(
  def base_fn "src/oasis/OASISBuildSection.ml" 41 2304 2315 "src/oasis/OASISBuildSection.ml" 44 2387 2441
)
"src/oasis/OASISBuildSection.ml" 40 2244 2269 "src/oasis/OASISBuildSection.ml" 40 2244 2297
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.chop_extension "src/oasis/OASISUnixPath.mli" 74 2923 2923 "src/oasis/OASISUnixPath.mli" 74 2923 2973
)
"src/oasis/OASISBuildSection.ml" 40 2244 2298 "src/oasis/OASISBuildSection.ml" 40 2244 2300
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref fn "src/oasis/OASISBuildSection.ml" 39 2214 2238 "src/oasis/OASISBuildSection.ml" 39 2214 2240
)
"src/oasis/OASISBuildSection.ml" 40 2244 2269 "src/oasis/OASISBuildSection.ml" 40 2244 2300
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISBuildSection.ml" 41 2304 2318 "src/oasis/OASISBuildSection.ml" 41 2304 2331
type(
  OASISUtils.SetString.elt -> OASISUtils.SetString.t -> bool
)
ident(
  int_ref OASISUtils.SetString.mem "set.mli" 80 3035 3039 "set.mli" 80 3035 3064
)
"src/oasis/OASISBuildSection.ml" 41 2304 2332 "src/oasis/OASISBuildSection.ml" 41 2304 2339
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref base_fn "src/oasis/OASISBuildSection.ml" 40 2244 2259 "src/oasis/OASISBuildSection.ml" 40 2244 2266
)
"src/oasis/OASISBuildSection.ml" 41 2304 2340 "src/oasis/OASISBuildSection.ml" 41 2304 2343
type(
  OASISUtils.SetString.t
)
ident(
  int_ref set "src/oasis/OASISBuildSection.ml" 39 2214 2228 "src/oasis/OASISBuildSection.ml" 39 2214 2231
)
"src/oasis/OASISBuildSection.ml" 41 2304 2318 "src/oasis/OASISBuildSection.ml" 41 2304 2343
type(
  bool
)
"src/oasis/OASISBuildSection.ml" 42 2349 2362 "src/oasis/OASISBuildSection.ml" 42 2349 2365
type(
  OASISUtils.SetString.t
)
ident(
  int_ref set "src/oasis/OASISBuildSection.ml" 39 2214 2228 "src/oasis/OASISBuildSection.ml" 39 2214 2231
)
"src/oasis/OASISBuildSection.ml" 42 2349 2367 "src/oasis/OASISBuildSection.ml" 42 2349 2370
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref acc "src/oasis/OASISBuildSection.ml" 39 2214 2233 "src/oasis/OASISBuildSection.ml" 39 2214 2236
)
"src/oasis/OASISBuildSection.ml" 42 2349 2362 "src/oasis/OASISBuildSection.ml" 42 2349 2370
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 44 2387 2400 "src/oasis/OASISBuildSection.ml" 44 2387 2413
type(
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.t -> OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.add "set.mli" 83 3129 3133 "set.mli" 83 3129 3155
)
"src/oasis/OASISBuildSection.ml" 44 2387 2414 "src/oasis/OASISBuildSection.ml" 44 2387 2421
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref base_fn "src/oasis/OASISBuildSection.ml" 40 2244 2259 "src/oasis/OASISBuildSection.ml" 40 2244 2266
)
"src/oasis/OASISBuildSection.ml" 44 2387 2422 "src/oasis/OASISBuildSection.ml" 44 2387 2425
type(
  OASISUtils.SetString.t
)
ident(
  int_ref set "src/oasis/OASISBuildSection.ml" 39 2214 2228 "src/oasis/OASISBuildSection.ml" 39 2214 2231
)
"src/oasis/OASISBuildSection.ml" 44 2387 2400 "src/oasis/OASISBuildSection.ml" 44 2387 2425
type(
  OASISUtils.SetString.t
)
"src/oasis/OASISBuildSection.ml" 44 2387 2427 "src/oasis/OASISBuildSection.ml" 44 2387 2434
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref base_fn "src/oasis/OASISBuildSection.ml" 40 2244 2259 "src/oasis/OASISBuildSection.ml" 40 2244 2266
)
"src/oasis/OASISBuildSection.ml" 44 2387 2438 "src/oasis/OASISBuildSection.ml" 44 2387 2441
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref acc "src/oasis/OASISBuildSection.ml" 39 2214 2233 "src/oasis/OASISBuildSection.ml" 39 2214 2236
)
"src/oasis/OASISBuildSection.ml" 44 2387 2427 "src/oasis/OASISBuildSection.ml" 44 2387 2441
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 44 2387 2400 "src/oasis/OASISBuildSection.ml" 44 2387 2441
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 41 2304 2315 "src/oasis/OASISBuildSection.ml" 44 2387 2441
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 40 2244 2255 "src/oasis/OASISBuildSection.ml" 44 2387 2441
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 39 2214 2222 "src/oasis/OASISBuildSection.ml" 44 2387 2442
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list ->
  OASISUnixPath.unix_filename ->
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 45 2443 2452 "src/oasis/OASISBuildSection.ml" 45 2443 2467
type(
  OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.empty "set.mli" 74 2915 2919 "set.mli" 74 2915 2931
)
"src/oasis/OASISBuildSection.ml" 45 2443 2469 "src/oasis/OASISBuildSection.ml" 45 2443 2471
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 45 2443 2451 "src/oasis/OASISBuildSection.ml" 45 2443 2472
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 45 2443 2473 "src/oasis/OASISBuildSection.ml" 45 2443 2485
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref possible_lst "src/oasis/OASISBuildSection.ml" 27 1830 1836 "src/oasis/OASISBuildSection.ml" 27 1830 1848
)
"src/oasis/OASISBuildSection.ml" 38 2193 2199 "src/oasis/OASISBuildSection.ml" 45 2443 2485
type(
  OASISUtils.SetString.t * OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 47 2493 2510 "src/oasis/OASISBuildSection.ml" 47 2493 2518
type(
  OASISUnixPath.unix_filename list -> OASISUnixPath.unix_filename list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISBuildSection.ml" 47 2493 2519 "src/oasis/OASISBuildSection.ml" 47 2493 2526
type(
  OASISUnixPath.unix_filename list
)
ident(
  int_ref rev_lst "src/oasis/OASISBuildSection.ml" 37 2172 2183 "src/oasis/OASISBuildSection.ml" 37 2172 2190
)
"src/oasis/OASISBuildSection.ml" 47 2493 2509 "src/oasis/OASISBuildSection.ml" 47 2493 2527
type(
  OASISUnixPath.unix_filename list
)
"src/oasis/OASISBuildSection.ml" 47 2493 2497 "src/oasis/OASISBuildSection.ml" 47 2493 2527
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 37 2172 2176 "src/oasis/OASISBuildSection.ml" 47 2493 2527
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 36 2145 2149 "src/oasis/OASISBuildSection.ml" 47 2493 2527
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 33 2000 2002 "src/oasis/OASISBuildSection.ml" 47 2493 2527
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 27 1830 1832 "src/oasis/OASISBuildSection.ml" 47 2493 2527
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 55 2568 2575 "src/oasis/OASISBuildSection.ml" 55 2568 2576
ident(
  def G "src/oasis/OASISBuildSection.ml" 55 2568 2589 "src/oasis/OASISBuildSection.ml" 0 0 -1
)
"src/oasis/OASISBuildSection.ml" 62 2701 2705 "src/oasis/OASISBuildSection.ml" 62 2701 2716
type(
  OASISTypes.package ->
  (int, OASISTypes.section) Hashtbl.t *
  (int,
   [> `ExternalTool of OASISTypes.name
    | `FindlibPackage of
        OASISTypes.findlib_full * OASISVersion.comparator option ])
  Hashtbl.t * vertex G.t
)
ident(
  def build_graph "src/oasis/OASISBuildSection.ml" 127 4653 4653 "src/oasis/OASISBuildSection.ml" 0 0 -1
)
"src/oasis/OASISBuildSection.ml" 62 2701 2717 "src/oasis/OASISBuildSection.ml" 62 2701 2720
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISBuildSection.ml" 63 2723 2725 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
type(
  vertex G.t
)
ident(
  def g "src/oasis/OASISBuildSection.ml" 64 2788 2790 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 63 2723 2745 "src/oasis/OASISBuildSection.ml" 63 2723 2753
type(
  int -> vertex G.t
)
ident(
  int_ref G.create "src/oasis/OASISGraph.ml" 42 1922 1926 "src/oasis/OASISGraph.ml" 42 1922 1932
)
"src/oasis/OASISBuildSection.ml" 63 2723 2755 "src/oasis/OASISBuildSection.ml" 63 2723 2756
type(
  int
)
"src/oasis/OASISBuildSection.ml" 63 2723 2757 "src/oasis/OASISBuildSection.ml" 63 2723 2758
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( * ) "stdlib.mli" 357 13929 13929 "stdlib.mli" 357 13929 13975
)
"src/oasis/OASISBuildSection.ml" 63 2723 2759 "src/oasis/OASISBuildSection.ml" 63 2723 2770
type(
  OASISTypes.section list -> int
)
ident(
  int_ref Stdlib.List.length "list.mli" 43 2033 2033 "list.mli" 43 2033 2060
)
"src/oasis/OASISBuildSection.ml" 63 2723 2771 "src/oasis/OASISBuildSection.ml" 63 2723 2774
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISBuildSection.ml" 62 2701 2717 "src/oasis/OASISBuildSection.ml" 62 2701 2720
)
"src/oasis/OASISBuildSection.ml" 63 2723 2771 "src/oasis/OASISBuildSection.ml" 63 2723 2783
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 63 2723 2759 "src/oasis/OASISBuildSection.ml" 63 2723 2783
type(
  int
)
"src/oasis/OASISBuildSection.ml" 63 2723 2754 "src/oasis/OASISBuildSection.ml" 63 2723 2784
type(
  int
)
"src/oasis/OASISBuildSection.ml" 63 2723 2745 "src/oasis/OASISBuildSection.ml" 63 2723 2784
type(
  vertex G.t
)
"src/oasis/OASISBuildSection.ml" 64 2788 2794 "src/oasis/OASISBuildSection.ml" 64 2788 2805
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  def sct_of_vrtx "src/oasis/OASISBuildSection.ml" 65 2853 2855 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 64 2788 2808 "src/oasis/OASISBuildSection.ml" 64 2788 2822
type(
  ?random:bool -> int -> (int, OASISTypes.section) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/OASISBuildSection.ml" 64 2788 2824 "src/oasis/OASISBuildSection.ml" 64 2788 2835
type(
  OASISTypes.section list -> int
)
ident(
  int_ref Stdlib.List.length "list.mli" 43 2033 2033 "list.mli" 43 2033 2060
)
"src/oasis/OASISBuildSection.ml" 64 2788 2836 "src/oasis/OASISBuildSection.ml" 64 2788 2839
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISBuildSection.ml" 62 2701 2717 "src/oasis/OASISBuildSection.ml" 62 2701 2720
)
"src/oasis/OASISBuildSection.ml" 64 2788 2836 "src/oasis/OASISBuildSection.ml" 64 2788 2848
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 64 2788 2823 "src/oasis/OASISBuildSection.ml" 64 2788 2849
type(
  int
)
"src/oasis/OASISBuildSection.ml" 64 2788 2808 "src/oasis/OASISBuildSection.ml" 64 2788 2849
type(
  (int, OASISTypes.section) Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 65 2853 2859 "src/oasis/OASISBuildSection.ml" 65 2853 2870
type(
  (int,
   [> `ExternalTool of OASISTypes.name
    | `FindlibPackage of
        OASISTypes.findlib_full * OASISVersion.comparator option ]
   as 'a)
  Hashtbl.t
)
ident(
  def ext_of_vrtx "src/oasis/OASISBuildSection.ml" 67 2895 2897 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 65 2853 2873 "src/oasis/OASISBuildSection.ml" 65 2853 2887
type(
  ?random:bool -> int -> (int, 'a) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/OASISBuildSection.ml" 65 2853 2888 "src/oasis/OASISBuildSection.ml" 65 2853 2890
type(
  int
)
"src/oasis/OASISBuildSection.ml" 65 2853 2873 "src/oasis/OASISBuildSection.ml" 65 2853 2890
type(
  (int, 'a) Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 67 2895 2901 "src/oasis/OASISBuildSection.ml" 67 2895 2909
type(
  (int * OASISTypes.section) list
)
ident(
  def sections "src/oasis/OASISBuildSection.ml" 82 3253 3255 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 71 3006 3010 "src/oasis/OASISBuildSection.ml" 71 3006 3024
type(
  ((int * OASISTypes.section) list ->
   OASISTypes.section -> (int * OASISTypes.section) list) ->
  (int * OASISTypes.section) list ->
  OASISTypes.section list -> (int * OASISTypes.section) list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISBuildSection.ml" 72 3025 3036 "src/oasis/OASISBuildSection.ml" 72 3025 3039
type(
  (int * OASISTypes.section) list
)
ident(
  def acc "src/oasis/OASISBuildSection.ml" 72 3025 3040 "src/oasis/OASISBuildSection.ml" 77 3190 3217
)
"src/oasis/OASISBuildSection.ml" 72 3025 3040 "src/oasis/OASISBuildSection.ml" 72 3025 3043
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISBuildSection.ml" 73 3047 3056 "src/oasis/OASISBuildSection.ml" 77 3190 3217
)
"src/oasis/OASISBuildSection.ml" 73 3047 3060 "src/oasis/OASISBuildSection.ml" 73 3047 3064
type(
  int
)
ident(
  def vrtx "src/oasis/OASISBuildSection.ml" 76 3147 3156 "src/oasis/OASISBuildSection.ml" 77 3190 3217
)
"src/oasis/OASISBuildSection.ml" 74 3067 3078 "src/oasis/OASISBuildSection.ml" 74 3067 3090
type(
  vertex G.t -> vertex -> int
)
ident(
  int_ref G.add_vertex "src/oasis/OASISGraph.ml" 67 2310 2314 "src/oasis/OASISGraph.ml" 67 2310 2324
)
"src/oasis/OASISBuildSection.ml" 74 3067 3091 "src/oasis/OASISBuildSection.ml" 74 3067 3092
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 74 3067 3095 "src/oasis/OASISBuildSection.ml" 74 3067 3118
type(
  OASISTypes.section -> OASISTypes.section_kind * OASISTypes.name
)
ident(
  int_ref OASISSection.section_id "src/oasis/OASISSection.mli" 55 2232 2232 "src/oasis/OASISSection.mli" 55 2232 2278
)
"src/oasis/OASISBuildSection.ml" 74 3067 3119 "src/oasis/OASISBuildSection.ml" 74 3067 3122
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 72 3025 3040 "src/oasis/OASISBuildSection.ml" 72 3025 3043
)
"src/oasis/OASISBuildSection.ml" 74 3067 3094 "src/oasis/OASISBuildSection.ml" 74 3067 3123
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 74 3067 3078 "src/oasis/OASISBuildSection.ml" 74 3067 3134
type(
  int
)
"src/oasis/OASISBuildSection.ml" 76 3147 3156 "src/oasis/OASISBuildSection.ml" 76 3147 3167
type(
  (int, OASISTypes.section) Hashtbl.t -> int -> OASISTypes.section -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/OASISBuildSection.ml" 76 3147 3168 "src/oasis/OASISBuildSection.ml" 76 3147 3179
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  int_ref sct_of_vrtx "src/oasis/OASISBuildSection.ml" 64 2788 2794 "src/oasis/OASISBuildSection.ml" 64 2788 2805
)
"src/oasis/OASISBuildSection.ml" 76 3147 3180 "src/oasis/OASISBuildSection.ml" 76 3147 3184
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 73 3047 3060 "src/oasis/OASISBuildSection.ml" 73 3047 3064
)
"src/oasis/OASISBuildSection.ml" 76 3147 3185 "src/oasis/OASISBuildSection.ml" 76 3147 3188
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 72 3025 3040 "src/oasis/OASISBuildSection.ml" 72 3025 3043
)
"src/oasis/OASISBuildSection.ml" 76 3147 3156 "src/oasis/OASISBuildSection.ml" 76 3147 3188
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 77 3190 3200 "src/oasis/OASISBuildSection.ml" 77 3190 3204
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 73 3047 3060 "src/oasis/OASISBuildSection.ml" 73 3047 3064
)
"src/oasis/OASISBuildSection.ml" 77 3190 3206 "src/oasis/OASISBuildSection.ml" 77 3190 3209
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 72 3025 3040 "src/oasis/OASISBuildSection.ml" 72 3025 3043
)
"src/oasis/OASISBuildSection.ml" 77 3190 3199 "src/oasis/OASISBuildSection.ml" 77 3190 3210
type(
  int * OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 77 3190 3214 "src/oasis/OASISBuildSection.ml" 77 3190 3217
type(
  (int * OASISTypes.section) list
)
ident(
  int_ref acc "src/oasis/OASISBuildSection.ml" 72 3025 3036 "src/oasis/OASISBuildSection.ml" 72 3025 3039
)
"src/oasis/OASISBuildSection.ml" 77 3190 3199 "src/oasis/OASISBuildSection.ml" 77 3190 3217
type(
  (int * OASISTypes.section) list
)
"src/oasis/OASISBuildSection.ml" 76 3147 3156 "src/oasis/OASISBuildSection.ml" 77 3190 3217
type(
  (int * OASISTypes.section) list
)
"src/oasis/OASISBuildSection.ml" 73 3047 3056 "src/oasis/OASISBuildSection.ml" 77 3190 3217
type(
  (int * OASISTypes.section) list
)
"src/oasis/OASISBuildSection.ml" 72 3025 3031 "src/oasis/OASISBuildSection.ml" 77 3190 3218
type(
  (int * OASISTypes.section) list ->
  OASISTypes.section -> (int * OASISTypes.section) list
)
"src/oasis/OASISBuildSection.ml" 78 3219 3225 "src/oasis/OASISBuildSection.ml" 78 3219 3227
type(
  (int * OASISTypes.section) list
)
"src/oasis/OASISBuildSection.ml" 79 3228 3234 "src/oasis/OASISBuildSection.ml" 79 3228 3237
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISBuildSection.ml" 62 2701 2717 "src/oasis/OASISBuildSection.ml" 62 2701 2720
)
"src/oasis/OASISBuildSection.ml" 79 3228 3234 "src/oasis/OASISBuildSection.ml" 79 3228 3246
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 71 3006 3010 "src/oasis/OASISBuildSection.ml" 79 3228 3246
type(
  (int * OASISTypes.section) list
)
"src/oasis/OASISBuildSection.ml" 82 3253 3259 "src/oasis/OASISBuildSection.ml" 82 3253 3273
type(
  int -> OASISTypes.tool list -> unit
)
ident(
  def add_build_tool "src/oasis/OASISBuildSection.ml" 95 3653 3655 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 82 3253 3274 "src/oasis/OASISBuildSection.ml" 82 3253 3278
type(
  int
)
ident(
  def vrtx "src/oasis/OASISBuildSection.ml" 82 3253 3279 "src/oasis/OASISBuildSection.ml" 92 3637 3646
)
"src/oasis/OASISBuildSection.ml" 82 3253 3279 "src/oasis/OASISBuildSection.ml" 82 3253 3282
type(
  OASISTypes.tool list
)
ident(
  def lst "src/oasis/OASISBuildSection.ml" 83 3285 3289 "src/oasis/OASISBuildSection.ml" 92 3637 3646
)
"src/oasis/OASISBuildSection.ml" 83 3285 3289 "src/oasis/OASISBuildSection.ml" 83 3285 3298
type(
  (OASISTypes.tool -> unit) -> OASISTypes.tool list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISBuildSection.ml" 85 3315 3344 "src/oasis/OASISBuildSection.ml" 85 3315 3346
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISBuildSection.ml" 86 3350 3360 "src/oasis/OASISBuildSection.ml" 87 3413 3446
)
"src/oasis/OASISBuildSection.ml" 85 3315 3325 "src/oasis/OASISBuildSection.ml" 85 3315 3346
type(
  OASISTypes.tool
)
"src/oasis/OASISBuildSection.ml" 86 3350 3364 "src/oasis/OASISBuildSection.ml" 86 3350 3369
type(
  int
)
ident(
  def dvrtx "src/oasis/OASISBuildSection.ml" 87 3413 3423 "src/oasis/OASISBuildSection.ml" 87 3413 3446
)
"src/oasis/OASISBuildSection.ml" 86 3350 3372 "src/oasis/OASISBuildSection.ml" 86 3350 3389
type(
  vertex G.t -> vertex -> int
)
ident(
  int_ref G.vertex_of_value "src/oasis/OASISGraph.ml" 63 2256 2260 "src/oasis/OASISGraph.ml" 63 2256 2275
)
"src/oasis/OASISBuildSection.ml" 86 3350 3390 "src/oasis/OASISBuildSection.ml" 86 3350 3391
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 86 3350 3393 "src/oasis/OASISBuildSection.ml" 86 3350 3404
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 86 3350 3406 "src/oasis/OASISBuildSection.ml" 86 3350 3408
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISBuildSection.ml" 85 3315 3344 "src/oasis/OASISBuildSection.ml" 85 3315 3346
)
"src/oasis/OASISBuildSection.ml" 86 3350 3392 "src/oasis/OASISBuildSection.ml" 86 3350 3409
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 86 3350 3372 "src/oasis/OASISBuildSection.ml" 86 3350 3409
type(
  int
)
"src/oasis/OASISBuildSection.ml" 87 3413 3423 "src/oasis/OASISBuildSection.ml" 87 3413 3433
type(
  vertex G.t -> int -> G.SetInt.elt -> unit
)
ident(
  int_ref G.add_edge "src/oasis/OASISGraph.ml" 88 2730 2734 "src/oasis/OASISGraph.ml" 88 2730 2742
)
"src/oasis/OASISBuildSection.ml" 87 3413 3434 "src/oasis/OASISBuildSection.ml" 87 3413 3435
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 87 3413 3436 "src/oasis/OASISBuildSection.ml" 87 3413 3440
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 82 3253 3274 "src/oasis/OASISBuildSection.ml" 82 3253 3278
)
"src/oasis/OASISBuildSection.ml" 87 3413 3441 "src/oasis/OASISBuildSection.ml" 87 3413 3446
type(
  G.SetInt.elt
)
ident(
  int_ref dvrtx "src/oasis/OASISBuildSection.ml" 86 3350 3364 "src/oasis/OASISBuildSection.ml" 86 3350 3369
)
"src/oasis/OASISBuildSection.ml" 87 3413 3423 "src/oasis/OASISBuildSection.ml" 87 3413 3446
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 86 3350 3360 "src/oasis/OASISBuildSection.ml" 87 3413 3446
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 88 3447 3470 "src/oasis/OASISBuildSection.ml" 88 3447 3474
type(
  OASISTypes.name
)
ident(
  def prog "src/oasis/OASISBuildSection.ml" 89 3478 3488 "src/oasis/OASISBuildSection.ml" 91 3602 3635
)
"src/oasis/OASISBuildSection.ml" 88 3447 3457 "src/oasis/OASISBuildSection.ml" 88 3447 3474
type(
  OASISTypes.tool
)
"src/oasis/OASISBuildSection.ml" 89 3478 3492 "src/oasis/OASISBuildSection.ml" 89 3478 3497
type(
  int
)
ident(
  def dvrtx "src/oasis/OASISBuildSection.ml" 90 3540 3550 "src/oasis/OASISBuildSection.ml" 91 3602 3635
)
"src/oasis/OASISBuildSection.ml" 89 3478 3500 "src/oasis/OASISBuildSection.ml" 89 3478 3512
type(
  vertex G.t -> vertex -> int
)
ident(
  int_ref G.add_vertex "src/oasis/OASISGraph.ml" 67 2310 2314 "src/oasis/OASISGraph.ml" 67 2310 2324
)
"src/oasis/OASISBuildSection.ml" 89 3478 3513 "src/oasis/OASISBuildSection.ml" 89 3478 3514
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 89 3478 3516 "src/oasis/OASISBuildSection.ml" 89 3478 3529
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 89 3478 3531 "src/oasis/OASISBuildSection.ml" 89 3478 3535
type(
  OASISTypes.name
)
ident(
  int_ref prog "src/oasis/OASISBuildSection.ml" 88 3447 3470 "src/oasis/OASISBuildSection.ml" 88 3447 3474
)
"src/oasis/OASISBuildSection.ml" 89 3478 3515 "src/oasis/OASISBuildSection.ml" 89 3478 3536
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 89 3478 3500 "src/oasis/OASISBuildSection.ml" 89 3478 3536
type(
  int
)
"src/oasis/OASISBuildSection.ml" 90 3540 3550 "src/oasis/OASISBuildSection.ml" 90 3540 3561
type(
  (int, 'a) Hashtbl.t -> int -> 'a -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/OASISBuildSection.ml" 90 3540 3562 "src/oasis/OASISBuildSection.ml" 90 3540 3573
type(
  (int, 'a) Hashtbl.t
)
ident(
  int_ref ext_of_vrtx "src/oasis/OASISBuildSection.ml" 65 2853 2859 "src/oasis/OASISBuildSection.ml" 65 2853 2870
)
"src/oasis/OASISBuildSection.ml" 90 3540 3574 "src/oasis/OASISBuildSection.ml" 90 3540 3579
type(
  int
)
ident(
  int_ref dvrtx "src/oasis/OASISBuildSection.ml" 89 3478 3492 "src/oasis/OASISBuildSection.ml" 89 3478 3497
)
"src/oasis/OASISBuildSection.ml" 90 3540 3595 "src/oasis/OASISBuildSection.ml" 90 3540 3599
type(
  OASISTypes.name
)
ident(
  int_ref prog "src/oasis/OASISBuildSection.ml" 88 3447 3470 "src/oasis/OASISBuildSection.ml" 88 3447 3474
)
"src/oasis/OASISBuildSection.ml" 90 3540 3580 "src/oasis/OASISBuildSection.ml" 90 3540 3600
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 90 3540 3550 "src/oasis/OASISBuildSection.ml" 90 3540 3600
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 91 3602 3612 "src/oasis/OASISBuildSection.ml" 91 3602 3622
type(
  vertex G.t -> int -> G.SetInt.elt -> unit
)
ident(
  int_ref G.add_edge "src/oasis/OASISGraph.ml" 88 2730 2734 "src/oasis/OASISGraph.ml" 88 2730 2742
)
"src/oasis/OASISBuildSection.ml" 91 3602 3623 "src/oasis/OASISBuildSection.ml" 91 3602 3624
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 91 3602 3625 "src/oasis/OASISBuildSection.ml" 91 3602 3629
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 82 3253 3274 "src/oasis/OASISBuildSection.ml" 82 3253 3278
)
"src/oasis/OASISBuildSection.ml" 91 3602 3630 "src/oasis/OASISBuildSection.ml" 91 3602 3635
type(
  G.SetInt.elt
)
ident(
  int_ref dvrtx "src/oasis/OASISBuildSection.ml" 89 3478 3492 "src/oasis/OASISBuildSection.ml" 89 3478 3497
)
"src/oasis/OASISBuildSection.ml" 91 3602 3612 "src/oasis/OASISBuildSection.ml" 91 3602 3635
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 90 3540 3550 "src/oasis/OASISBuildSection.ml" 91 3602 3635
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 89 3478 3488 "src/oasis/OASISBuildSection.ml" 91 3602 3635
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 84 3299 3305 "src/oasis/OASISBuildSection.ml" 91 3602 3636
type(
  OASISTypes.tool -> unit
)
"src/oasis/OASISBuildSection.ml" 92 3637 3643 "src/oasis/OASISBuildSection.ml" 92 3637 3646
type(
  OASISTypes.tool list
)
ident(
  int_ref lst "src/oasis/OASISBuildSection.ml" 82 3253 3279 "src/oasis/OASISBuildSection.ml" 82 3253 3282
)
"src/oasis/OASISBuildSection.ml" 83 3285 3289 "src/oasis/OASISBuildSection.ml" 92 3637 3646
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 95 3653 3659 "src/oasis/OASISBuildSection.ml" 95 3653 3676
type(
  int -> OASISTypes.build_section -> unit
)
ident(
  def add_build_section "src/oasis/OASISBuildSection.ml" 113 4263 4265 "src/oasis/OASISBuildSection.ml" 124 4621 4650
)
"src/oasis/OASISBuildSection.ml" 95 3653 3677 "src/oasis/OASISBuildSection.ml" 95 3653 3681
type(
  int
)
ident(
  def vrtx "src/oasis/OASISBuildSection.ml" 95 3653 3682 "src/oasis/OASISBuildSection.ml" 109 4208 4233
)
"src/oasis/OASISBuildSection.ml" 95 3653 3682 "src/oasis/OASISBuildSection.ml" 95 3653 3684
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISBuildSection.ml" 96 3687 3691 "src/oasis/OASISBuildSection.ml" 109 4208 4233
)
"src/oasis/OASISBuildSection.ml" 96 3687 3691 "src/oasis/OASISBuildSection.ml" 96 3687 3705
type(
  int -> OASISTypes.tool list -> unit
)
ident(
  int_ref add_build_tool "src/oasis/OASISBuildSection.ml" 82 3253 3259 "src/oasis/OASISBuildSection.ml" 82 3253 3273
)
"src/oasis/OASISBuildSection.ml" 96 3687 3706 "src/oasis/OASISBuildSection.ml" 96 3687 3710
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 95 3653 3677 "src/oasis/OASISBuildSection.ml" 95 3653 3681
)
"src/oasis/OASISBuildSection.ml" 96 3687 3711 "src/oasis/OASISBuildSection.ml" 96 3687 3713
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISBuildSection.ml" 95 3653 3682 "src/oasis/OASISBuildSection.ml" 95 3653 3684
)
"src/oasis/OASISBuildSection.ml" 96 3687 3711 "src/oasis/OASISBuildSection.ml" 96 3687 3728
type(
  OASISTypes.tool list
)
"src/oasis/OASISBuildSection.ml" 96 3687 3691 "src/oasis/OASISBuildSection.ml" 96 3687 3728
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 97 3730 3734 "src/oasis/OASISBuildSection.ml" 97 3730 3743
type(
  (OASISTypes.dependency -> unit) -> OASISTypes.dependency list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISBuildSection.ml" 99 3760 3786 "src/oasis/OASISBuildSection.ml" 99 3760 3788
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISBuildSection.ml" 100 3792 3802 "src/oasis/OASISBuildSection.ml" 103 3932 3965
)
"src/oasis/OASISBuildSection.ml" 99 3760 3770 "src/oasis/OASISBuildSection.ml" 99 3760 3788
type(
  OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 100 3792 3806 "src/oasis/OASISBuildSection.ml" 100 3792 3811
type(
  int
)
ident(
  def dvrtx "src/oasis/OASISBuildSection.ml" 103 3932 3942 "src/oasis/OASISBuildSection.ml" 103 3932 3965
)
"src/oasis/OASISBuildSection.ml" 101 3814 3830 "src/oasis/OASISBuildSection.ml" 101 3814 3847
type(
  vertex G.t -> vertex -> int
)
ident(
  int_ref G.vertex_of_value "src/oasis/OASISGraph.ml" 63 2256 2260 "src/oasis/OASISGraph.ml" 63 2256 2275
)
"src/oasis/OASISBuildSection.ml" 101 3814 3848 "src/oasis/OASISBuildSection.ml" 101 3814 3849
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 101 3814 3851 "src/oasis/OASISBuildSection.ml" 101 3814 3859
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 101 3814 3861 "src/oasis/OASISBuildSection.ml" 101 3814 3863
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISBuildSection.ml" 99 3760 3786 "src/oasis/OASISBuildSection.ml" 99 3760 3788
)
"src/oasis/OASISBuildSection.ml" 101 3814 3850 "src/oasis/OASISBuildSection.ml" 101 3814 3864
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 101 3814 3830 "src/oasis/OASISBuildSection.ml" 101 3814 3864
type(
  int
)
"src/oasis/OASISBuildSection.ml" 102 3865 3882 "src/oasis/OASISBuildSection.ml" 102 3865 3891
type(
  exn
)
"src/oasis/OASISBuildSection.ml" 102 3865 3895 "src/oasis/OASISBuildSection.ml" 102 3865 3912
type(
  vertex G.t -> vertex -> int
)
ident(
  int_ref G.vertex_of_value "src/oasis/OASISGraph.ml" 63 2256 2260 "src/oasis/OASISGraph.ml" 63 2256 2275
)
"src/oasis/OASISBuildSection.ml" 102 3865 3913 "src/oasis/OASISBuildSection.ml" 102 3865 3914
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 102 3865 3916 "src/oasis/OASISBuildSection.ml" 102 3865 3923
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 102 3865 3925 "src/oasis/OASISBuildSection.ml" 102 3865 3927
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISBuildSection.ml" 99 3760 3786 "src/oasis/OASISBuildSection.ml" 99 3760 3788
)
"src/oasis/OASISBuildSection.ml" 102 3865 3915 "src/oasis/OASISBuildSection.ml" 102 3865 3928
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 102 3865 3895 "src/oasis/OASISBuildSection.ml" 102 3865 3928
type(
  int
)
"src/oasis/OASISBuildSection.ml" 101 3814 3826 "src/oasis/OASISBuildSection.ml" 102 3865 3928
type(
  int
)
"src/oasis/OASISBuildSection.ml" 103 3932 3942 "src/oasis/OASISBuildSection.ml" 103 3932 3952
type(
  vertex G.t -> int -> G.SetInt.elt -> unit
)
ident(
  int_ref G.add_edge "src/oasis/OASISGraph.ml" 88 2730 2734 "src/oasis/OASISGraph.ml" 88 2730 2742
)
"src/oasis/OASISBuildSection.ml" 103 3932 3953 "src/oasis/OASISBuildSection.ml" 103 3932 3954
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 103 3932 3955 "src/oasis/OASISBuildSection.ml" 103 3932 3959
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 95 3653 3677 "src/oasis/OASISBuildSection.ml" 95 3653 3681
)
"src/oasis/OASISBuildSection.ml" 103 3932 3960 "src/oasis/OASISBuildSection.ml" 103 3932 3965
type(
  G.SetInt.elt
)
ident(
  int_ref dvrtx "src/oasis/OASISBuildSection.ml" 100 3792 3806 "src/oasis/OASISBuildSection.ml" 100 3792 3811
)
"src/oasis/OASISBuildSection.ml" 103 3932 3942 "src/oasis/OASISBuildSection.ml" 103 3932 3965
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 100 3792 3802 "src/oasis/OASISBuildSection.ml" 103 3932 3965
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 104 3966 3992 "src/oasis/OASISBuildSection.ml" 104 3966 4000
type(
  OASISTypes.findlib_full
)
ident(
  def fndlb_nm "src/oasis/OASISBuildSection.ml" 105 4014 4024 "src/oasis/OASISBuildSection.ml" 108 4173 4206
)
"src/oasis/OASISBuildSection.ml" 104 3966 4002 "src/oasis/OASISBuildSection.ml" 104 3966 4009
type(
  OASISVersion.comparator option
)
ident(
  def ver_opt "src/oasis/OASISBuildSection.ml" 105 4014 4024 "src/oasis/OASISBuildSection.ml" 108 4173 4206
)
"src/oasis/OASISBuildSection.ml" 104 3966 3976 "src/oasis/OASISBuildSection.ml" 104 3966 4010
type(
  OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 105 4014 4028 "src/oasis/OASISBuildSection.ml" 105 4014 4033
type(
  int
)
ident(
  def dvrtx "src/oasis/OASISBuildSection.ml" 106 4082 4092 "src/oasis/OASISBuildSection.ml" 108 4173 4206
)
"src/oasis/OASISBuildSection.ml" 105 4014 4036 "src/oasis/OASISBuildSection.ml" 105 4014 4048
type(
  vertex G.t -> vertex -> int
)
ident(
  int_ref G.add_vertex "src/oasis/OASISGraph.ml" 67 2310 2314 "src/oasis/OASISGraph.ml" 67 2310 2324
)
"src/oasis/OASISBuildSection.ml" 105 4014 4049 "src/oasis/OASISBuildSection.ml" 105 4014 4050
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 105 4014 4052 "src/oasis/OASISBuildSection.ml" 105 4014 4067
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 105 4014 4069 "src/oasis/OASISBuildSection.ml" 105 4014 4077
type(
  OASISTypes.findlib_full
)
ident(
  int_ref fndlb_nm "src/oasis/OASISBuildSection.ml" 104 3966 3992 "src/oasis/OASISBuildSection.ml" 104 3966 4000
)
"src/oasis/OASISBuildSection.ml" 105 4014 4051 "src/oasis/OASISBuildSection.ml" 105 4014 4078
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 105 4014 4036 "src/oasis/OASISBuildSection.ml" 105 4014 4078
type(
  int
)
"src/oasis/OASISBuildSection.ml" 106 4082 4092 "src/oasis/OASISBuildSection.ml" 106 4082 4103
type(
  (int, 'a) Hashtbl.t -> int -> 'a -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/OASISBuildSection.ml" 106 4082 4104 "src/oasis/OASISBuildSection.ml" 106 4082 4115
type(
  (int, 'a) Hashtbl.t
)
ident(
  int_ref ext_of_vrtx "src/oasis/OASISBuildSection.ml" 65 2853 2859 "src/oasis/OASISBuildSection.ml" 65 2853 2870
)
"src/oasis/OASISBuildSection.ml" 106 4082 4116 "src/oasis/OASISBuildSection.ml" 106 4082 4121
type(
  int
)
ident(
  int_ref dvrtx "src/oasis/OASISBuildSection.ml" 105 4014 4028 "src/oasis/OASISBuildSection.ml" 105 4014 4033
)
"src/oasis/OASISBuildSection.ml" 107 4122 4152 "src/oasis/OASISBuildSection.ml" 107 4122 4160
type(
  OASISTypes.findlib_full
)
ident(
  int_ref fndlb_nm "src/oasis/OASISBuildSection.ml" 104 3966 3992 "src/oasis/OASISBuildSection.ml" 104 3966 4000
)
"src/oasis/OASISBuildSection.ml" 107 4122 4162 "src/oasis/OASISBuildSection.ml" 107 4122 4169
type(
  OASISVersion.comparator option
)
ident(
  int_ref ver_opt "src/oasis/OASISBuildSection.ml" 104 3966 4002 "src/oasis/OASISBuildSection.ml" 104 3966 4009
)
"src/oasis/OASISBuildSection.ml" 107 4122 4151 "src/oasis/OASISBuildSection.ml" 107 4122 4170
type(
  OASISTypes.findlib_full * OASISVersion.comparator option
)
"src/oasis/OASISBuildSection.ml" 107 4122 4134 "src/oasis/OASISBuildSection.ml" 107 4122 4171
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 106 4082 4092 "src/oasis/OASISBuildSection.ml" 107 4122 4171
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 108 4173 4183 "src/oasis/OASISBuildSection.ml" 108 4173 4193
type(
  vertex G.t -> int -> G.SetInt.elt -> unit
)
ident(
  int_ref G.add_edge "src/oasis/OASISGraph.ml" 88 2730 2734 "src/oasis/OASISGraph.ml" 88 2730 2742
)
"src/oasis/OASISBuildSection.ml" 108 4173 4194 "src/oasis/OASISBuildSection.ml" 108 4173 4195
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 108 4173 4196 "src/oasis/OASISBuildSection.ml" 108 4173 4200
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 95 3653 3677 "src/oasis/OASISBuildSection.ml" 95 3653 3681
)
"src/oasis/OASISBuildSection.ml" 108 4173 4201 "src/oasis/OASISBuildSection.ml" 108 4173 4206
type(
  G.SetInt.elt
)
ident(
  int_ref dvrtx "src/oasis/OASISBuildSection.ml" 105 4014 4028 "src/oasis/OASISBuildSection.ml" 105 4014 4033
)
"src/oasis/OASISBuildSection.ml" 108 4173 4183 "src/oasis/OASISBuildSection.ml" 108 4173 4206
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 106 4082 4092 "src/oasis/OASISBuildSection.ml" 108 4173 4206
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 105 4014 4024 "src/oasis/OASISBuildSection.ml" 108 4173 4206
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 98 3744 3750 "src/oasis/OASISBuildSection.ml" 108 4173 4207
type(
  OASISTypes.dependency -> unit
)
"src/oasis/OASISBuildSection.ml" 109 4208 4214 "src/oasis/OASISBuildSection.ml" 109 4208 4216
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISBuildSection.ml" 95 3653 3682 "src/oasis/OASISBuildSection.ml" 95 3653 3684
)
"src/oasis/OASISBuildSection.ml" 109 4208 4214 "src/oasis/OASISBuildSection.ml" 109 4208 4233
type(
  OASISTypes.dependency list
)
"src/oasis/OASISBuildSection.ml" 97 3730 3734 "src/oasis/OASISBuildSection.ml" 109 4208 4233
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 96 3687 3691 "src/oasis/OASISBuildSection.ml" 109 4208 4233
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 113 4263 4265 "src/oasis/OASISBuildSection.ml" 113 4263 4274
type(
  (int * OASISTypes.section -> unit) ->
  (int * OASISTypes.section) list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISBuildSection.ml" 114 4275 4285 "src/oasis/OASISBuildSection.ml" 114 4275 4289
type(
  int
)
ident(
  def vrtx "src/oasis/OASISBuildSection.ml" 115 4299 4306 "src/oasis/OASISBuildSection.ml" 121 4571 4604
)
"src/oasis/OASISBuildSection.ml" 114 4275 4291 "src/oasis/OASISBuildSection.ml" 114 4275 4294
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISBuildSection.ml" 115 4299 4306 "src/oasis/OASISBuildSection.ml" 121 4571 4604
)
"src/oasis/OASISBuildSection.ml" 114 4275 4284 "src/oasis/OASISBuildSection.ml" 114 4275 4295
type(
  int * OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 115 4299 4312 "src/oasis/OASISBuildSection.ml" 115 4299 4315
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 114 4275 4291 "src/oasis/OASISBuildSection.ml" 114 4275 4294
)
"src/oasis/OASISBuildSection.ml" 116 4321 4339 "src/oasis/OASISBuildSection.ml" 116 4321 4340
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4342 "src/oasis/OASISBuildSection.ml" 116 4321 4344
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISBuildSection.ml" 117 4396 4405 "src/oasis/OASISBuildSection.ml" 117 4396 4430
)
"src/oasis/OASISBuildSection.ml" 116 4321 4346 "src/oasis/OASISBuildSection.ml" 116 4321 4347
type(
  OASISTypes.library
)
"src/oasis/OASISBuildSection.ml" 116 4321 4330 "src/oasis/OASISBuildSection.ml" 116 4321 4348
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4359 "src/oasis/OASISBuildSection.ml" 116 4321 4360
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4362 "src/oasis/OASISBuildSection.ml" 116 4321 4364
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISBuildSection.ml" 117 4396 4405 "src/oasis/OASISBuildSection.ml" 117 4396 4430
)
"src/oasis/OASISBuildSection.ml" 116 4321 4366 "src/oasis/OASISBuildSection.ml" 116 4321 4367
type(
  OASISTypes.object_
)
"src/oasis/OASISBuildSection.ml" 116 4321 4351 "src/oasis/OASISBuildSection.ml" 116 4321 4368
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4330 "src/oasis/OASISBuildSection.ml" 116 4321 4368
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4383 "src/oasis/OASISBuildSection.ml" 116 4321 4384
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4386 "src/oasis/OASISBuildSection.ml" 116 4321 4388
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISBuildSection.ml" 117 4396 4405 "src/oasis/OASISBuildSection.ml" 117 4396 4430
)
"src/oasis/OASISBuildSection.ml" 116 4321 4390 "src/oasis/OASISBuildSection.ml" 116 4321 4391
type(
  OASISTypes.executable
)
"src/oasis/OASISBuildSection.ml" 116 4321 4371 "src/oasis/OASISBuildSection.ml" 116 4321 4392
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 116 4321 4330 "src/oasis/OASISBuildSection.ml" 116 4321 4392
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 117 4396 4405 "src/oasis/OASISBuildSection.ml" 117 4396 4422
type(
  int -> OASISTypes.build_section -> unit
)
ident(
  int_ref add_build_section "src/oasis/OASISBuildSection.ml" 95 3653 3659 "src/oasis/OASISBuildSection.ml" 95 3653 3676
)
"src/oasis/OASISBuildSection.ml" 117 4396 4423 "src/oasis/OASISBuildSection.ml" 117 4396 4427
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 114 4275 4285 "src/oasis/OASISBuildSection.ml" 114 4275 4289
)
"src/oasis/OASISBuildSection.ml" 117 4396 4428 "src/oasis/OASISBuildSection.ml" 117 4396 4430
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISBuildSection.ml" 116 4321 4342 "src/oasis/OASISBuildSection.ml" 116 4321 4344
)
"src/oasis/OASISBuildSection.ml" 117 4396 4405 "src/oasis/OASISBuildSection.ml" 117 4396 4430
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 118 4431 4446 "src/oasis/OASISBuildSection.ml" 118 4431 4447
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 118 4431 4463 "src/oasis/OASISBuildSection.ml" 118 4431 4474
type(
  OASISTypes.tool list
)
ident(
  def build_tools "src/oasis/OASISBuildSection.ml" 120 4530 4539 "src/oasis/OASISBuildSection.ml" 120 4530 4570
)
"src/oasis/OASISBuildSection.ml" 118 4431 4449 "src/oasis/OASISBuildSection.ml" 118 4431 4475
type(
  OASISTypes.test
)
"src/oasis/OASISBuildSection.ml" 118 4431 4440 "src/oasis/OASISBuildSection.ml" 118 4431 4476
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 119 4477 4491 "src/oasis/OASISBuildSection.ml" 119 4477 4492
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 119 4477 4513 "src/oasis/OASISBuildSection.ml" 119 4477 4524
type(
  OASISTypes.tool list
)
ident(
  def build_tools "src/oasis/OASISBuildSection.ml" 120 4530 4539 "src/oasis/OASISBuildSection.ml" 120 4530 4570
)
"src/oasis/OASISBuildSection.ml" 119 4477 4494 "src/oasis/OASISBuildSection.ml" 119 4477 4525
type(
  OASISTypes.doc
)
"src/oasis/OASISBuildSection.ml" 119 4477 4486 "src/oasis/OASISBuildSection.ml" 119 4477 4526
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 118 4431 4440 "src/oasis/OASISBuildSection.ml" 119 4477 4526
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 120 4530 4539 "src/oasis/OASISBuildSection.ml" 120 4530 4553
type(
  int -> OASISTypes.tool list -> unit
)
ident(
  int_ref add_build_tool "src/oasis/OASISBuildSection.ml" 82 3253 3259 "src/oasis/OASISBuildSection.ml" 82 3253 3273
)
"src/oasis/OASISBuildSection.ml" 120 4530 4554 "src/oasis/OASISBuildSection.ml" 120 4530 4558
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 114 4275 4285 "src/oasis/OASISBuildSection.ml" 114 4275 4289
)
"src/oasis/OASISBuildSection.ml" 120 4530 4559 "src/oasis/OASISBuildSection.ml" 120 4530 4570
type(
  OASISTypes.tool list
)
ident(
  int_ref build_tools "src/oasis/OASISBuildSection.ml" 118 4431 4463 "src/oasis/OASISBuildSection.ml" 118 4431 4474
)
"src/oasis/OASISBuildSection.ml" 120 4530 4539 "src/oasis/OASISBuildSection.ml" 120 4530 4570
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 121 4571 4585 "src/oasis/OASISBuildSection.ml" 121 4571 4586
type(
  OASISTypes.flag
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 121 4571 4580 "src/oasis/OASISBuildSection.ml" 121 4571 4586
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 121 4571 4597 "src/oasis/OASISBuildSection.ml" 121 4571 4598
type(
  OASISTypes.source_repository
)
type(
  OASISTypes.common_section
)
"src/oasis/OASISBuildSection.ml" 121 4571 4589 "src/oasis/OASISBuildSection.ml" 121 4571 4598
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 121 4571 4580 "src/oasis/OASISBuildSection.ml" 121 4571 4598
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 121 4571 4602 "src/oasis/OASISBuildSection.ml" 121 4571 4604
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 115 4299 4306 "src/oasis/OASISBuildSection.ml" 121 4571 4604
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 114 4275 4279 "src/oasis/OASISBuildSection.ml" 121 4571 4605
type(
  int * OASISTypes.section -> unit
)
"src/oasis/OASISBuildSection.ml" 122 4606 4610 "src/oasis/OASISBuildSection.ml" 122 4606 4618
type(
  (int * OASISTypes.section) list
)
ident(
  int_ref sections "src/oasis/OASISBuildSection.ml" 67 2895 2901 "src/oasis/OASISBuildSection.ml" 67 2895 2909
)
"src/oasis/OASISBuildSection.ml" 113 4263 4265 "src/oasis/OASISBuildSection.ml" 122 4606 4618
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 124 4621 4623 "src/oasis/OASISBuildSection.ml" 124 4621 4634
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  int_ref sct_of_vrtx "src/oasis/OASISBuildSection.ml" 64 2788 2794 "src/oasis/OASISBuildSection.ml" 64 2788 2805
)
"src/oasis/OASISBuildSection.ml" 124 4621 4636 "src/oasis/OASISBuildSection.ml" 124 4621 4647
type(
  (int, 'a) Hashtbl.t
)
ident(
  int_ref ext_of_vrtx "src/oasis/OASISBuildSection.ml" 65 2853 2859 "src/oasis/OASISBuildSection.ml" 65 2853 2870
)
"src/oasis/OASISBuildSection.ml" 124 4621 4649 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 63 2723 2729 "src/oasis/OASISBuildSection.ml" 63 2723 2730
)
"src/oasis/OASISBuildSection.ml" 124 4621 4623 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 113 4263 4265 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 95 3653 3655 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 82 3253 3255 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 67 2895 2897 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 65 2853 2855 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 64 2788 2790 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 63 2723 2725 "src/oasis/OASISBuildSection.ml" 124 4621 4650
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 127 4653 4657 "src/oasis/OASISBuildSection.ml" 127 4653 4668
type(
  OASISTypes.package -> OASISTypes.section list
)
ident(
  def build_order "src/oasis/OASISBuildSection.ml" 140 4926 4926 "src/oasis/OASISBuildSection.ml" 0 0 -1
)
"src/oasis/OASISBuildSection.ml" 127 4653 4669 "src/oasis/OASISBuildSection.ml" 127 4653 4672
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISBuildSection.ml" 128 4675 4677 "src/oasis/OASISBuildSection.ml" 137 4893 4923
)
"src/oasis/OASISBuildSection.ml" 128 4675 4681 "src/oasis/OASISBuildSection.ml" 128 4675 4692
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  def sct_of_vrtx "src/oasis/OASISBuildSection.ml" 129 4720 4722 "src/oasis/OASISBuildSection.ml" 137 4893 4923
)
"src/oasis/OASISBuildSection.ml" 128 4675 4694 "src/oasis/OASISBuildSection.ml" 128 4675 4695
type(
  (int,
   _[> `ExternalTool of OASISTypes.name
     | `FindlibPackage of
         OASISTypes.findlib_full * OASISVersion.comparator option ])
  Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 128 4675 4697 "src/oasis/OASISBuildSection.ml" 128 4675 4698
type(
  vertex G.t
)
ident(
  def g "src/oasis/OASISBuildSection.ml" 129 4720 4722 "src/oasis/OASISBuildSection.ml" 137 4893 4923
)
"src/oasis/OASISBuildSection.ml" 128 4675 4681 "src/oasis/OASISBuildSection.ml" 128 4675 4698
type(
  (int, OASISTypes.section) Hashtbl.t *
  (int,
   _[> `ExternalTool of OASISTypes.name
     | `FindlibPackage of
         OASISTypes.findlib_full * OASISVersion.comparator option ]
   as 'a)
  Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 128 4675 4701 "src/oasis/OASISBuildSection.ml" 128 4675 4712
type(
  OASISTypes.package ->
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
ident(
  int_ref build_graph "src/oasis/OASISBuildSection.ml" 62 2701 2705 "src/oasis/OASISBuildSection.ml" 62 2701 2716
)
"src/oasis/OASISBuildSection.ml" 128 4675 4713 "src/oasis/OASISBuildSection.ml" 128 4675 4716
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISBuildSection.ml" 127 4653 4669 "src/oasis/OASISBuildSection.ml" 127 4653 4672
)
"src/oasis/OASISBuildSection.ml" 128 4675 4701 "src/oasis/OASISBuildSection.ml" 128 4675 4716
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 129 4720 4722 "src/oasis/OASISBuildSection.ml" 129 4720 4730
type(
  OASISTypes.section list -> OASISTypes.section list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISBuildSection.ml" 130 4731 4736 "src/oasis/OASISBuildSection.ml" 130 4731 4750
type(
  (OASISTypes.section list -> int -> OASISTypes.section list) ->
  OASISTypes.section list -> int list -> OASISTypes.section list
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISBuildSection.ml" 131 4751 4763 "src/oasis/OASISBuildSection.ml" 131 4751 4766
type(
  OASISTypes.section list
)
ident(
  def acc "src/oasis/OASISBuildSection.ml" 131 4751 4767 "src/oasis/OASISBuildSection.ml" 135 4866 4881
)
"src/oasis/OASISBuildSection.ml" 131 4751 4767 "src/oasis/OASISBuildSection.ml" 131 4751 4771
type(
  int
)
ident(
  def vrtx "src/oasis/OASISBuildSection.ml" 132 4775 4785 "src/oasis/OASISBuildSection.ml" 135 4866 4881
)
"src/oasis/OASISBuildSection.ml" 133 4789 4801 "src/oasis/OASISBuildSection.ml" 133 4789 4813
type(
  (int, OASISTypes.section) Hashtbl.t -> int -> OASISTypes.section
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/OASISBuildSection.ml" 133 4789 4814 "src/oasis/OASISBuildSection.ml" 133 4789 4825
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  int_ref sct_of_vrtx "src/oasis/OASISBuildSection.ml" 128 4675 4681 "src/oasis/OASISBuildSection.ml" 128 4675 4692
)
"src/oasis/OASISBuildSection.ml" 133 4789 4826 "src/oasis/OASISBuildSection.ml" 133 4789 4830
type(
  int
)
ident(
  int_ref vrtx "src/oasis/OASISBuildSection.ml" 131 4751 4767 "src/oasis/OASISBuildSection.ml" 131 4751 4771
)
"src/oasis/OASISBuildSection.ml" 133 4789 4801 "src/oasis/OASISBuildSection.ml" 133 4789 4830
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 133 4789 4834 "src/oasis/OASISBuildSection.ml" 133 4789 4837
type(
  OASISTypes.section list
)
ident(
  int_ref acc "src/oasis/OASISBuildSection.ml" 131 4751 4763 "src/oasis/OASISBuildSection.ml" 131 4751 4766
)
"src/oasis/OASISBuildSection.ml" 133 4789 4801 "src/oasis/OASISBuildSection.ml" 133 4789 4837
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 134 4838 4853 "src/oasis/OASISBuildSection.ml" 134 4838 4862
type(
  exn
)
"src/oasis/OASISBuildSection.ml" 135 4866 4878 "src/oasis/OASISBuildSection.ml" 135 4866 4881
type(
  OASISTypes.section list
)
ident(
  int_ref acc "src/oasis/OASISBuildSection.ml" 131 4751 4763 "src/oasis/OASISBuildSection.ml" 131 4751 4766
)
"src/oasis/OASISBuildSection.ml" 132 4775 4785 "src/oasis/OASISBuildSection.ml" 135 4866 4881
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 131 4751 4758 "src/oasis/OASISBuildSection.ml" 135 4866 4882
type(
  OASISTypes.section list -> int -> OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 136 4883 4890 "src/oasis/OASISBuildSection.ml" 136 4883 4892
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 137 4893 4901 "src/oasis/OASISBuildSection.ml" 137 4893 4919
type(
  vertex G.t -> int list
)
ident(
  int_ref G.topological_sort "src/oasis/OASISGraph.ml" 100 2983 2987 "src/oasis/OASISGraph.ml" 100 2983 3003
)
"src/oasis/OASISBuildSection.ml" 137 4893 4920 "src/oasis/OASISBuildSection.ml" 137 4893 4921
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 128 4675 4697 "src/oasis/OASISBuildSection.ml" 128 4675 4698
)
"src/oasis/OASISBuildSection.ml" 137 4893 4900 "src/oasis/OASISBuildSection.ml" 137 4893 4922
type(
  int list
)
"src/oasis/OASISBuildSection.ml" 130 4731 4735 "src/oasis/OASISBuildSection.ml" 137 4893 4923
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 129 4720 4722 "src/oasis/OASISBuildSection.ml" 137 4893 4923
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 128 4675 4677 "src/oasis/OASISBuildSection.ml" 137 4893 4923
type(
  OASISTypes.section list
)
"src/oasis/OASISBuildSection.ml" 140 4926 4930 "src/oasis/OASISBuildSection.ml" 140 4926 4954
type(
  OASISTypes.package -> OASISTypes.dependency list OASISSection.MapSection.t
)
ident(
  def transitive_build_depends "src/oasis/OASISBuildSection.ml" 205 6750 6762 "src/oasis/OASISBuildSection.ml" 0 0 -1
)
"src/oasis/OASISBuildSection.ml" 140 4926 4955 "src/oasis/OASISBuildSection.ml" 140 4926 4958
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISBuildSection.ml" 141 4961 4963 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 141 4961 4967 "src/oasis/OASISBuildSection.ml" 141 4961 4978
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  def sct_of_vrtx "src/oasis/OASISBuildSection.ml" 143 5017 5019 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 141 4961 4980 "src/oasis/OASISBuildSection.ml" 141 4961 4991
type(
  (int,
   _[> `ExternalTool of OASISTypes.name
     | `FindlibPackage of
         OASISTypes.findlib_full * OASISVersion.comparator option ])
  Hashtbl.t
)
ident(
  def ext_of_vrtx "src/oasis/OASISBuildSection.ml" 143 5017 5019 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 141 4961 4993 "src/oasis/OASISBuildSection.ml" 141 4961 4994
type(
  vertex G.t
)
ident(
  def g "src/oasis/OASISBuildSection.ml" 143 5017 5019 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 141 4961 4967 "src/oasis/OASISBuildSection.ml" 141 4961 4994
type(
  (int, OASISTypes.section) Hashtbl.t *
  (int,
   _[> `ExternalTool of OASISTypes.name
     | `FindlibPackage of
         OASISTypes.findlib_full * OASISVersion.comparator option ]
   as 'a)
  Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 141 4961 4997 "src/oasis/OASISBuildSection.ml" 141 4961 5008
type(
  OASISTypes.package ->
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
ident(
  int_ref build_graph "src/oasis/OASISBuildSection.ml" 62 2701 2705 "src/oasis/OASISBuildSection.ml" 62 2701 2716
)
"src/oasis/OASISBuildSection.ml" 141 4961 5009 "src/oasis/OASISBuildSection.ml" 141 4961 5012
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISBuildSection.ml" 140 4926 4955 "src/oasis/OASISBuildSection.ml" 140 4926 4958
)
"src/oasis/OASISBuildSection.ml" 141 4961 4997 "src/oasis/OASISBuildSection.ml" 141 4961 5012
type(
  (int, OASISTypes.section) Hashtbl.t * (int, 'a) Hashtbl.t * vertex G.t
)
"src/oasis/OASISBuildSection.ml" 143 5017 5023 "src/oasis/OASISBuildSection.ml" 143 5017 5028
type(
  (int, int) Hashtbl.t
)
ident(
  def order "src/oasis/OASISBuildSection.ml" 155 5274 5276 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 145 5077 5085 "src/oasis/OASISBuildSection.ml" 145 5077 5091
type(
  (int, int) Hashtbl.t
)
ident(
  def hshtbl "src/oasis/OASISBuildSection.ml" 146 5115 5119 "src/oasis/OASISBuildSection.ml" 152 5257 5267
)
"src/oasis/OASISBuildSection.ml" 145 5077 5094 "src/oasis/OASISBuildSection.ml" 145 5077 5108
type(
  ?random:bool -> int -> (int, int) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/OASISBuildSection.ml" 145 5077 5109 "src/oasis/OASISBuildSection.ml" 145 5077 5111
type(
  int
)
"src/oasis/OASISBuildSection.ml" 145 5077 5094 "src/oasis/OASISBuildSection.ml" 145 5077 5111
type(
  (int, int) Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 146 5115 5123 "src/oasis/OASISBuildSection.ml" 146 5115 5126
type(
  int ref
)
ident(
  def idx "src/oasis/OASISBuildSection.ml" 147 5138 5142 "src/oasis/OASISBuildSection.ml" 152 5257 5267
)
"src/oasis/OASISBuildSection.ml" 146 5115 5129 "src/oasis/OASISBuildSection.ml" 146 5115 5132
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISBuildSection.ml" 146 5115 5133 "src/oasis/OASISBuildSection.ml" 146 5115 5134
type(
  int
)
"src/oasis/OASISBuildSection.ml" 146 5115 5129 "src/oasis/OASISBuildSection.ml" 146 5115 5134
type(
  int ref
)
"src/oasis/OASISBuildSection.ml" 147 5138 5142 "src/oasis/OASISBuildSection.ml" 147 5138 5151
type(
  (int -> unit) -> int list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISBuildSection.ml" 148 5152 5163 "src/oasis/OASISBuildSection.ml" 148 5152 5166
type(
  int
)
ident(
  def dep "src/oasis/OASISBuildSection.ml" 149 5170 5179 "src/oasis/OASISBuildSection.ml" 150 5208 5225
)
"src/oasis/OASISBuildSection.ml" 149 5170 5179 "src/oasis/OASISBuildSection.ml" 149 5170 5190
type(
  (int, int) Hashtbl.t -> int -> int -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/OASISBuildSection.ml" 149 5170 5191 "src/oasis/OASISBuildSection.ml" 149 5170 5197
type(
  (int, int) Hashtbl.t
)
ident(
  int_ref hshtbl "src/oasis/OASISBuildSection.ml" 145 5077 5085 "src/oasis/OASISBuildSection.ml" 145 5077 5091
)
"src/oasis/OASISBuildSection.ml" 149 5170 5198 "src/oasis/OASISBuildSection.ml" 149 5170 5201
type(
  int
)
ident(
  int_ref dep "src/oasis/OASISBuildSection.ml" 148 5152 5163 "src/oasis/OASISBuildSection.ml" 148 5152 5166
)
"src/oasis/OASISBuildSection.ml" 149 5170 5202 "src/oasis/OASISBuildSection.ml" 149 5170 5203
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISBuildSection.ml" 149 5170 5203 "src/oasis/OASISBuildSection.ml" 149 5170 5206
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISBuildSection.ml" 146 5115 5123 "src/oasis/OASISBuildSection.ml" 146 5115 5126
)
"src/oasis/OASISBuildSection.ml" 149 5170 5202 "src/oasis/OASISBuildSection.ml" 149 5170 5206
type(
  int
)
"src/oasis/OASISBuildSection.ml" 149 5170 5179 "src/oasis/OASISBuildSection.ml" 149 5170 5206
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 150 5208 5217 "src/oasis/OASISBuildSection.ml" 150 5208 5221
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISBuildSection.ml" 150 5208 5222 "src/oasis/OASISBuildSection.ml" 150 5208 5225
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISBuildSection.ml" 146 5115 5123 "src/oasis/OASISBuildSection.ml" 146 5115 5126
)
"src/oasis/OASISBuildSection.ml" 150 5208 5217 "src/oasis/OASISBuildSection.ml" 150 5208 5225
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 149 5170 5179 "src/oasis/OASISBuildSection.ml" 150 5208 5225
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 148 5152 5158 "src/oasis/OASISBuildSection.ml" 150 5208 5226
type(
  int -> unit
)
"src/oasis/OASISBuildSection.ml" 151 5227 5234 "src/oasis/OASISBuildSection.ml" 151 5227 5252
type(
  vertex G.t -> int list
)
ident(
  int_ref G.topological_sort "src/oasis/OASISGraph.ml" 100 2983 2987 "src/oasis/OASISGraph.ml" 100 2983 3003
)
"src/oasis/OASISBuildSection.ml" 151 5227 5253 "src/oasis/OASISBuildSection.ml" 151 5227 5254
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 141 4961 4993 "src/oasis/OASISBuildSection.ml" 141 4961 4994
)
"src/oasis/OASISBuildSection.ml" 151 5227 5233 "src/oasis/OASISBuildSection.ml" 151 5227 5255
type(
  int list
)
"src/oasis/OASISBuildSection.ml" 147 5138 5142 "src/oasis/OASISBuildSection.ml" 151 5227 5255
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 152 5257 5261 "src/oasis/OASISBuildSection.ml" 152 5257 5267
type(
  (int, int) Hashtbl.t
)
ident(
  int_ref hshtbl "src/oasis/OASISBuildSection.ml" 145 5077 5085 "src/oasis/OASISBuildSection.ml" 145 5077 5091
)
"src/oasis/OASISBuildSection.ml" 147 5138 5142 "src/oasis/OASISBuildSection.ml" 152 5257 5267
type(
  (int, int) Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 146 5115 5119 "src/oasis/OASISBuildSection.ml" 152 5257 5267
type(
  (int, int) Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 145 5077 5081 "src/oasis/OASISBuildSection.ml" 152 5257 5267
type(
  (int, int) Hashtbl.t
)
"src/oasis/OASISBuildSection.ml" 155 5274 5280 "src/oasis/OASISBuildSection.ml" 155 5274 5288
type(
  'b list OASISSection.MapSection.t
)
ident(
  def map_deps "src/oasis/OASISBuildSection.ml" 163 5447 5449 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 157 5333 5337 "src/oasis/OASISBuildSection.ml" 157 5333 5351
type(
  ('b list OASISSection.MapSection.t ->
   OASISSection.MapSection.key -> 'b list OASISSection.MapSection.t) ->
  'b list OASISSection.MapSection.t ->
  OASISSection.MapSection.key list -> 'b list OASISSection.MapSection.t
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/oasis/OASISBuildSection.ml" 158 5352 5363 "src/oasis/OASISBuildSection.ml" 158 5352 5365
type(
  'b list OASISSection.MapSection.t
)
ident(
  def mp "src/oasis/OASISBuildSection.ml" 158 5352 5366 "src/oasis/OASISBuildSection.ml" 158 5352 5397
)
"src/oasis/OASISBuildSection.ml" 158 5352 5366 "src/oasis/OASISBuildSection.ml" 158 5352 5369
type(
  OASISSection.MapSection.key
)
ident(
  def sct "src/oasis/OASISBuildSection.ml" 158 5352 5373 "src/oasis/OASISBuildSection.ml" 158 5352 5397
)
"src/oasis/OASISBuildSection.ml" 158 5352 5373 "src/oasis/OASISBuildSection.ml" 158 5352 5387
type(
  OASISSection.MapSection.key ->
  'b list ->
  'b list OASISSection.MapSection.t -> 'b list OASISSection.MapSection.t
)
ident(
  int_ref OASISSection.MapSection.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISBuildSection.ml" 158 5352 5388 "src/oasis/OASISBuildSection.ml" 158 5352 5391
type(
  OASISSection.MapSection.key
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 158 5352 5366 "src/oasis/OASISBuildSection.ml" 158 5352 5369
)
"src/oasis/OASISBuildSection.ml" 158 5352 5392 "src/oasis/OASISBuildSection.ml" 158 5352 5394
type(
  'b list
)
"src/oasis/OASISBuildSection.ml" 158 5352 5395 "src/oasis/OASISBuildSection.ml" 158 5352 5397
type(
  'b list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 158 5352 5363 "src/oasis/OASISBuildSection.ml" 158 5352 5365
)
"src/oasis/OASISBuildSection.ml" 158 5352 5373 "src/oasis/OASISBuildSection.ml" 158 5352 5397
type(
  'b list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 158 5352 5358 "src/oasis/OASISBuildSection.ml" 158 5352 5398
type(
  'b list OASISSection.MapSection.t ->
  OASISSection.MapSection.key -> 'b list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 159 5399 5405 "src/oasis/OASISBuildSection.ml" 159 5399 5421
type(
  'b list OASISSection.MapSection.t
)
ident(
  int_ref OASISSection.MapSection.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISBuildSection.ml" 160 5422 5428 "src/oasis/OASISBuildSection.ml" 160 5422 5431
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISBuildSection.ml" 140 4926 4955 "src/oasis/OASISBuildSection.ml" 140 4926 4958
)
"src/oasis/OASISBuildSection.ml" 160 5422 5428 "src/oasis/OASISBuildSection.ml" 160 5422 5440
type(
  OASISSection.MapSection.key list
)
"src/oasis/OASISBuildSection.ml" 157 5333 5337 "src/oasis/OASISBuildSection.ml" 160 5422 5440
type(
  'b list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 163 5447 5453 "src/oasis/OASISBuildSection.ml" 163 5447 5461
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  def map_deps "src/oasis/OASISBuildSection.ml" 199 6553 6555 "src/oasis/OASISBuildSection.ml" 205 6750 6762
)
"src/oasis/OASISBuildSection.ml" 164 5464 5472 "src/oasis/OASISBuildSection.ml" 164 5464 5479
type(
  OASISSection.MapSection.key ->
  'c ->
  'c list OASISSection.MapSection.t -> 'c list OASISSection.MapSection.t
)
ident(
  def add_dep "src/oasis/OASISBuildSection.ml" 168 5608 5612 "src/oasis/OASISBuildSection.ml" 196 6532 6546
)
"src/oasis/OASISBuildSection.ml" 164 5464 5480 "src/oasis/OASISBuildSection.ml" 164 5464 5483
type(
  OASISSection.MapSection.key
)
ident(
  def sct "src/oasis/OASISBuildSection.ml" 164 5464 5484 "src/oasis/OASISBuildSection.ml" 166 5560 5600
)
"src/oasis/OASISBuildSection.ml" 164 5464 5484 "src/oasis/OASISBuildSection.ml" 164 5464 5487
type(
  'c
)
ident(
  def dep "src/oasis/OASISBuildSection.ml" 164 5464 5488 "src/oasis/OASISBuildSection.ml" 166 5560 5600
)
"src/oasis/OASISBuildSection.ml" 164 5464 5488 "src/oasis/OASISBuildSection.ml" 164 5464 5490
type(
  'c list OASISSection.MapSection.t
)
ident(
  def mp "src/oasis/OASISBuildSection.ml" 165 5493 5499 "src/oasis/OASISBuildSection.ml" 166 5560 5600
)
"src/oasis/OASISBuildSection.ml" 165 5493 5503 "src/oasis/OASISBuildSection.ml" 165 5493 5506
type(
  'c list
)
ident(
  def lst "src/oasis/OASISBuildSection.ml" 166 5560 5566 "src/oasis/OASISBuildSection.ml" 166 5560 5600
)
"src/oasis/OASISBuildSection.ml" 165 5493 5513 "src/oasis/OASISBuildSection.ml" 165 5493 5528
type(
  OASISSection.MapSection.key -> 'c list OASISSection.MapSection.t -> 'c list
)
ident(
  int_ref OASISSection.MapSection.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/oasis/OASISBuildSection.ml" 165 5493 5529 "src/oasis/OASISBuildSection.ml" 165 5493 5532
type(
  OASISSection.MapSection.key
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 164 5464 5480 "src/oasis/OASISBuildSection.ml" 164 5464 5483
)
"src/oasis/OASISBuildSection.ml" 165 5493 5533 "src/oasis/OASISBuildSection.ml" 165 5493 5535
type(
  'c list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 164 5464 5488 "src/oasis/OASISBuildSection.ml" 164 5464 5490
)
"src/oasis/OASISBuildSection.ml" 165 5493 5513 "src/oasis/OASISBuildSection.ml" 165 5493 5535
type(
  'c list
)
"src/oasis/OASISBuildSection.ml" 165 5493 5541 "src/oasis/OASISBuildSection.ml" 165 5493 5550
type(
  exn
)
"src/oasis/OASISBuildSection.ml" 165 5493 5554 "src/oasis/OASISBuildSection.ml" 165 5493 5556
type(
  'c list
)
"src/oasis/OASISBuildSection.ml" 165 5493 5509 "src/oasis/OASISBuildSection.ml" 165 5493 5556
type(
  'c list
)
"src/oasis/OASISBuildSection.ml" 166 5560 5566 "src/oasis/OASISBuildSection.ml" 166 5560 5580
type(
  OASISSection.MapSection.key ->
  'c list ->
  'c list OASISSection.MapSection.t -> 'c list OASISSection.MapSection.t
)
ident(
  int_ref OASISSection.MapSection.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISBuildSection.ml" 166 5560 5581 "src/oasis/OASISBuildSection.ml" 166 5560 5584
type(
  OASISSection.MapSection.key
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 164 5464 5480 "src/oasis/OASISBuildSection.ml" 164 5464 5483
)
"src/oasis/OASISBuildSection.ml" 166 5560 5586 "src/oasis/OASISBuildSection.ml" 166 5560 5589
type(
  'c
)
ident(
  int_ref dep "src/oasis/OASISBuildSection.ml" 164 5464 5484 "src/oasis/OASISBuildSection.ml" 164 5464 5487
)
"src/oasis/OASISBuildSection.ml" 166 5560 5593 "src/oasis/OASISBuildSection.ml" 166 5560 5596
type(
  'c list
)
ident(
  int_ref lst "src/oasis/OASISBuildSection.ml" 165 5493 5503 "src/oasis/OASISBuildSection.ml" 165 5493 5506
)
"src/oasis/OASISBuildSection.ml" 166 5560 5585 "src/oasis/OASISBuildSection.ml" 166 5560 5597
type(
  'c list
)
"src/oasis/OASISBuildSection.ml" 166 5560 5598 "src/oasis/OASISBuildSection.ml" 166 5560 5600
type(
  'c list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 164 5464 5488 "src/oasis/OASISBuildSection.ml" 164 5464 5490
)
"src/oasis/OASISBuildSection.ml" 166 5560 5566 "src/oasis/OASISBuildSection.ml" 166 5560 5600
type(
  'c list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 165 5493 5499 "src/oasis/OASISBuildSection.ml" 166 5560 5600
type(
  'c list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 168 5608 5616 "src/oasis/OASISBuildSection.ml" 168 5608 5618
type(
  vertex G.t
)
ident(
  def g' "src/oasis/OASISBuildSection.ml" 169 5633 5637 "src/oasis/OASISBuildSection.ml" 196 6532 6546
)
"src/oasis/OASISBuildSection.ml" 168 5608 5621 "src/oasis/OASISBuildSection.ml" 168 5608 5627
type(
  vertex G.t -> vertex G.t
)
ident(
  int_ref G.copy "src/oasis/OASISGraph.ml" 49 2005 2009 "src/oasis/OASISGraph.ml" 49 2005 2013
)
"src/oasis/OASISBuildSection.ml" 168 5608 5628 "src/oasis/OASISBuildSection.ml" 168 5608 5629
type(
  vertex G.t
)
ident(
  int_ref g "src/oasis/OASISBuildSection.ml" 141 4961 4993 "src/oasis/OASISBuildSection.ml" 141 4961 4994
)
"src/oasis/OASISBuildSection.ml" 168 5608 5621 "src/oasis/OASISBuildSection.ml" 168 5608 5629
type(
  vertex G.t
)
"src/oasis/OASISBuildSection.ml" 169 5633 5637 "src/oasis/OASISBuildSection.ml" 169 5633 5657
type(
  vertex G.t -> unit
)
ident(
  int_ref G.transitive_closure "src/oasis/OASISGraph.ml" 145 3881 3885 "src/oasis/OASISGraph.ml" 145 3881 3903
)
"src/oasis/OASISBuildSection.ml" 169 5633 5658 "src/oasis/OASISBuildSection.ml" 169 5633 5660
type(
  vertex G.t
)
ident(
  int_ref g' "src/oasis/OASISBuildSection.ml" 168 5608 5616 "src/oasis/OASISBuildSection.ml" 168 5608 5618
)
"src/oasis/OASISBuildSection.ml" 169 5633 5637 "src/oasis/OASISBuildSection.ml" 169 5633 5660
type(
  unit
)
"src/oasis/OASISBuildSection.ml" 170 5662 5666 "src/oasis/OASISBuildSection.ml" 170 5662 5678
type(
  (int ->
   G.SetInt.elt ->
   (int * OASISTypes.dependency) list OASISSection.MapSection.t ->
   (int * OASISTypes.dependency) list OASISSection.MapSection.t) ->
  vertex G.t ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref G.fold_edges "src/oasis/OASISGraph.ml" 135 3682 3686 "src/oasis/OASISGraph.ml" 135 3682 3696
)
"src/oasis/OASISBuildSection.ml" 171 5679 5690 "src/oasis/OASISBuildSection.ml" 171 5679 5695
type(
  int
)
ident(
  def vrtx1 "src/oasis/OASISBuildSection.ml" 171 5679 5696 "src/oasis/OASISBuildSection.ml" 194 6508 6521
)
"src/oasis/OASISBuildSection.ml" 171 5679 5696 "src/oasis/OASISBuildSection.ml" 171 5679 5701
type(
  G.SetInt.elt
)
ident(
  def vrtx2 "src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 194 6508 6521
)
"src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 171 5679 5704
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  def mp "src/oasis/OASISBuildSection.ml" 172 5708 5717 "src/oasis/OASISBuildSection.ml" 194 6508 6521
)
"src/oasis/OASISBuildSection.ml" 172 5708 5720 "src/oasis/OASISBuildSection.ml" 172 5708 5731
type(
  (int, OASISTypes.section) Hashtbl.t -> int -> bool
)
ident(
  int_ref Stdlib.Hashtbl.mem "hashtbl.mli" 105 4864 4864 "hashtbl.mli" 105 4864 4898
)
"src/oasis/OASISBuildSection.ml" 172 5708 5732 "src/oasis/OASISBuildSection.ml" 172 5708 5743
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  int_ref sct_of_vrtx "src/oasis/OASISBuildSection.ml" 141 4961 4967 "src/oasis/OASISBuildSection.ml" 141 4961 4978
)
"src/oasis/OASISBuildSection.ml" 172 5708 5744 "src/oasis/OASISBuildSection.ml" 172 5708 5749
type(
  int
)
ident(
  int_ref vrtx1 "src/oasis/OASISBuildSection.ml" 171 5679 5690 "src/oasis/OASISBuildSection.ml" 171 5679 5695
)
"src/oasis/OASISBuildSection.ml" 172 5708 5720 "src/oasis/OASISBuildSection.ml" 172 5708 5749
type(
  bool
)
"src/oasis/OASISBuildSection.ml" 174 5772 5789 "src/oasis/OASISBuildSection.ml" 174 5772 5792
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISBuildSection.ml" 175 5829 5842 "src/oasis/OASISBuildSection.ml" 191 6459 6478
)
"src/oasis/OASISBuildSection.ml" 174 5772 5795 "src/oasis/OASISBuildSection.ml" 174 5772 5807
type(
  (int, OASISTypes.section) Hashtbl.t -> int -> OASISTypes.section
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/OASISBuildSection.ml" 174 5772 5808 "src/oasis/OASISBuildSection.ml" 174 5772 5819
type(
  (int, OASISTypes.section) Hashtbl.t
)
ident(
  int_ref sct_of_vrtx "src/oasis/OASISBuildSection.ml" 141 4961 4967 "src/oasis/OASISBuildSection.ml" 141 4961 4978
)
"src/oasis/OASISBuildSection.ml" 174 5772 5820 "src/oasis/OASISBuildSection.ml" 174 5772 5825
type(
  int
)
ident(
  int_ref vrtx1 "src/oasis/OASISBuildSection.ml" 171 5679 5690 "src/oasis/OASISBuildSection.ml" 171 5679 5695
)
"src/oasis/OASISBuildSection.ml" 174 5772 5795 "src/oasis/OASISBuildSection.ml" 174 5772 5825
type(
  OASISTypes.section
)
"src/oasis/OASISBuildSection.ml" 175 5829 5846 "src/oasis/OASISBuildSection.ml" 175 5829 5849
type(
  int
)
ident(
  def ord "src/oasis/OASISBuildSection.ml" 176 5880 5893 "src/oasis/OASISBuildSection.ml" 191 6459 6478
)
"src/oasis/OASISBuildSection.ml" 175 5829 5852 "src/oasis/OASISBuildSection.ml" 175 5829 5864
type(
  (G.SetInt.elt, int) Hashtbl.t -> G.SetInt.elt -> int
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/OASISBuildSection.ml" 175 5829 5865 "src/oasis/OASISBuildSection.ml" 175 5829 5870
type(
  (G.SetInt.elt, int) Hashtbl.t
)
ident(
  int_ref order "src/oasis/OASISBuildSection.ml" 143 5017 5023 "src/oasis/OASISBuildSection.ml" 143 5017 5028
)
"src/oasis/OASISBuildSection.ml" 175 5829 5871 "src/oasis/OASISBuildSection.ml" 175 5829 5876
type(
  G.SetInt.elt
)
ident(
  int_ref vrtx2 "src/oasis/OASISBuildSection.ml" 171 5679 5696 "src/oasis/OASISBuildSection.ml" 171 5679 5701
)
"src/oasis/OASISBuildSection.ml" 175 5829 5852 "src/oasis/OASISBuildSection.ml" 175 5829 5876
type(
  int
)
"src/oasis/OASISBuildSection.ml" 176 5880 5899 "src/oasis/OASISBuildSection.ml" 176 5880 5916
type(
  vertex G.t -> G.SetInt.elt -> vertex
)
ident(
  int_ref G.value_of_vertex "src/oasis/OASISGraph.ml" 56 2104 2108 "src/oasis/OASISGraph.ml" 56 2104 2123
)
"src/oasis/OASISBuildSection.ml" 176 5880 5917 "src/oasis/OASISBuildSection.ml" 176 5880 5919
type(
  vertex G.t
)
ident(
  int_ref g' "src/oasis/OASISBuildSection.ml" 168 5608 5616 "src/oasis/OASISBuildSection.ml" 168 5608 5618
)
"src/oasis/OASISBuildSection.ml" 176 5880 5920 "src/oasis/OASISBuildSection.ml" 176 5880 5925
type(
  G.SetInt.elt
)
ident(
  int_ref vrtx2 "src/oasis/OASISBuildSection.ml" 171 5679 5696 "src/oasis/OASISBuildSection.ml" 171 5679 5701
)
"src/oasis/OASISBuildSection.ml" 176 5880 5899 "src/oasis/OASISBuildSection.ml" 176 5880 5925
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 177 5931 5948 "src/oasis/OASISBuildSection.ml" 177 5931 5956
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 177 5931 5958 "src/oasis/OASISBuildSection.ml" 177 5931 5960
type(
  string
)
ident(
  def nm "src/oasis/OASISBuildSection.ml" 178 5964 5981 "src/oasis/OASISBuildSection.ml" 178 5964 6021
)
"src/oasis/OASISBuildSection.ml" 177 5931 5948 "src/oasis/OASISBuildSection.ml" 177 5931 5960
type(
  extended_kind * string
)
type(
  extended_kind * string
)
"src/oasis/OASISBuildSection.ml" 178 5964 5981 "src/oasis/OASISBuildSection.ml" 178 5964 5988
type(
  OASISSection.MapSection.key ->
  int * OASISTypes.dependency ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref add_dep "src/oasis/OASISBuildSection.ml" 164 5464 5472 "src/oasis/OASISBuildSection.ml" 164 5464 5479
)
"src/oasis/OASISBuildSection.ml" 178 5964 5989 "src/oasis/OASISBuildSection.ml" 178 5964 5992
type(
  OASISSection.MapSection.key
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 174 5772 5789 "src/oasis/OASISBuildSection.ml" 174 5772 5792
)
"src/oasis/OASISBuildSection.ml" 178 5964 5994 "src/oasis/OASISBuildSection.ml" 178 5964 5997
type(
  int
)
ident(
  int_ref ord "src/oasis/OASISBuildSection.ml" 175 5829 5846 "src/oasis/OASISBuildSection.ml" 175 5829 5849
)
"src/oasis/OASISBuildSection.ml" 178 5964 6015 "src/oasis/OASISBuildSection.ml" 178 5964 6017
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISBuildSection.ml" 177 5931 5958 "src/oasis/OASISBuildSection.ml" 177 5931 5960
)
"src/oasis/OASISBuildSection.ml" 178 5964 5999 "src/oasis/OASISBuildSection.ml" 178 5964 6017
type(
  OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 178 5964 5993 "src/oasis/OASISBuildSection.ml" 178 5964 6018
type(
  int * OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 178 5964 6019 "src/oasis/OASISBuildSection.ml" 178 5964 6021
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 171 5679 5704
)
"src/oasis/OASISBuildSection.ml" 178 5964 5981 "src/oasis/OASISBuildSection.ml" 178 5964 6021
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 179 6022 6039 "src/oasis/OASISBuildSection.ml" 179 6022 6054
type(
  extended_kind
)
"src/oasis/OASISBuildSection.ml" 179 6022 6056 "src/oasis/OASISBuildSection.ml" 179 6022 6057
type(
  string
)
"src/oasis/OASISBuildSection.ml" 179 6022 6039 "src/oasis/OASISBuildSection.ml" 179 6022 6057
type(
  extended_kind * string
)
type(
  extended_kind * string
)
"src/oasis/OASISBuildSection.ml" 181 6084 6109 "src/oasis/OASISBuildSection.ml" 181 6084 6121
type(
  (G.SetInt.elt, 'a) Hashtbl.t -> G.SetInt.elt -> 'a
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/OASISBuildSection.ml" 181 6084 6122 "src/oasis/OASISBuildSection.ml" 181 6084 6133
type(
  (G.SetInt.elt, 'a) Hashtbl.t
)
ident(
  int_ref ext_of_vrtx "src/oasis/OASISBuildSection.ml" 141 4961 4980 "src/oasis/OASISBuildSection.ml" 141 4961 4991
)
"src/oasis/OASISBuildSection.ml" 181 6084 6134 "src/oasis/OASISBuildSection.ml" 181 6084 6139
type(
  G.SetInt.elt
)
ident(
  int_ref vrtx2 "src/oasis/OASISBuildSection.ml" 171 5679 5696 "src/oasis/OASISBuildSection.ml" 171 5679 5701
)
"src/oasis/OASISBuildSection.ml" 181 6084 6109 "src/oasis/OASISBuildSection.ml" 181 6084 6139
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 182 6145 6185 "src/oasis/OASISBuildSection.ml" 182 6145 6193
type(
  OASISTypes.findlib_full
)
ident(
  def fndlb_nm "src/oasis/OASISBuildSection.ml" 183 6207 6230 "src/oasis/OASISBuildSection.ml" 186 6334 6361
)
"src/oasis/OASISBuildSection.ml" 182 6145 6195 "src/oasis/OASISBuildSection.ml" 182 6145 6202
type(
  OASISVersion.comparator option
)
ident(
  def ver_opt "src/oasis/OASISBuildSection.ml" 183 6207 6230 "src/oasis/OASISBuildSection.ml" 186 6334 6361
)
"src/oasis/OASISBuildSection.ml" 182 6145 6184 "src/oasis/OASISBuildSection.ml" 182 6145 6203
type(
  OASISTypes.findlib_full * OASISVersion.comparator option
)
"src/oasis/OASISBuildSection.ml" 182 6145 6168 "src/oasis/OASISBuildSection.ml" 182 6145 6203
type(
  'a
)
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 183 6207 6230 "src/oasis/OASISBuildSection.ml" 183 6207 6237
type(
  OASISSection.MapSection.key ->
  int * OASISTypes.dependency ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref add_dep "src/oasis/OASISBuildSection.ml" 164 5464 5472 "src/oasis/OASISBuildSection.ml" 164 5464 5479
)
"src/oasis/OASISBuildSection.ml" 184 6238 6263 "src/oasis/OASISBuildSection.ml" 184 6238 6266
type(
  OASISSection.MapSection.key
)
ident(
  int_ref sct "src/oasis/OASISBuildSection.ml" 174 5772 5789 "src/oasis/OASISBuildSection.ml" 174 5772 5792
)
"src/oasis/OASISBuildSection.ml" 185 6267 6293 "src/oasis/OASISBuildSection.ml" 185 6267 6296
type(
  int
)
ident(
  int_ref ord "src/oasis/OASISBuildSection.ml" 175 5829 5846 "src/oasis/OASISBuildSection.ml" 175 5829 5849
)
"src/oasis/OASISBuildSection.ml" 185 6267 6314 "src/oasis/OASISBuildSection.ml" 185 6267 6322
type(
  OASISTypes.findlib_full
)
ident(
  int_ref fndlb_nm "src/oasis/OASISBuildSection.ml" 182 6145 6185 "src/oasis/OASISBuildSection.ml" 182 6145 6193
)
"src/oasis/OASISBuildSection.ml" 185 6267 6324 "src/oasis/OASISBuildSection.ml" 185 6267 6331
type(
  OASISVersion.comparator option
)
ident(
  int_ref ver_opt "src/oasis/OASISBuildSection.ml" 182 6145 6195 "src/oasis/OASISBuildSection.ml" 182 6145 6202
)
"src/oasis/OASISBuildSection.ml" 185 6267 6298 "src/oasis/OASISBuildSection.ml" 185 6267 6332
type(
  OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 185 6267 6292 "src/oasis/OASISBuildSection.ml" 185 6267 6333
type(
  int * OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 186 6334 6359 "src/oasis/OASISBuildSection.ml" 186 6334 6361
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 171 5679 5704
)
"src/oasis/OASISBuildSection.ml" 183 6207 6230 "src/oasis/OASISBuildSection.ml" 186 6334 6361
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 187 6362 6385 "src/oasis/OASISBuildSection.ml" 187 6362 6386
type(
  'a
)
type(
  'a
)
"src/oasis/OASISBuildSection.ml" 188 6390 6413 "src/oasis/OASISBuildSection.ml" 188 6390 6415
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 171 5679 5704
)
"src/oasis/OASISBuildSection.ml" 180 6061 6078 "src/oasis/OASISBuildSection.ml" 189 6416 6436
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 190 6437 6454 "src/oasis/OASISBuildSection.ml" 190 6437 6455
type(
  vertex
)
type(
  vertex
)
"src/oasis/OASISBuildSection.ml" 191 6459 6476 "src/oasis/OASISBuildSection.ml" 191 6459 6478
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 171 5679 5704
)
"src/oasis/OASISBuildSection.ml" 176 5880 5893 "src/oasis/OASISBuildSection.ml" 191 6459 6478
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 175 5829 5842 "src/oasis/OASISBuildSection.ml" 191 6459 6478
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 173 5755 5766 "src/oasis/OASISBuildSection.ml" 192 6479 6493
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 194 6508 6519 "src/oasis/OASISBuildSection.ml" 194 6508 6521
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref mp "src/oasis/OASISBuildSection.ml" 171 5679 5702 "src/oasis/OASISBuildSection.ml" 171 5679 5704
)
"src/oasis/OASISBuildSection.ml" 172 5708 5717 "src/oasis/OASISBuildSection.ml" 194 6508 6521
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 171 5679 5685 "src/oasis/OASISBuildSection.ml" 194 6508 6522
type(
  int ->
  G.SetInt.elt ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 195 6523 6529 "src/oasis/OASISBuildSection.ml" 195 6523 6531
type(
  vertex G.t
)
ident(
  int_ref g' "src/oasis/OASISBuildSection.ml" 168 5608 5616 "src/oasis/OASISBuildSection.ml" 168 5608 5618
)
"src/oasis/OASISBuildSection.ml" 196 6532 6538 "src/oasis/OASISBuildSection.ml" 196 6532 6546
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref map_deps "src/oasis/OASISBuildSection.ml" 155 5274 5280 "src/oasis/OASISBuildSection.ml" 155 5274 5288
)
"src/oasis/OASISBuildSection.ml" 170 5662 5666 "src/oasis/OASISBuildSection.ml" 196 6532 6546
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 169 5633 5637 "src/oasis/OASISBuildSection.ml" 196 6532 6546
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 168 5608 5612 "src/oasis/OASISBuildSection.ml" 196 6532 6546
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 164 5464 5468 "src/oasis/OASISBuildSection.ml" 196 6532 6546
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 199 6553 6555 "src/oasis/OASISBuildSection.ml" 199 6553 6570
type(
  (OASISSection.MapSection.key ->
   (int * OASISTypes.dependency) list -> OASISTypes.dependency list) ->
  (int * OASISTypes.dependency) list OASISSection.MapSection.t ->
  OASISTypes.dependency list OASISSection.MapSection.t
)
ident(
  int_ref OASISSection.MapSection.mapi "map.mli" 330 13338 13342 "map.mli" 330 13338 13385
)
"src/oasis/OASISBuildSection.ml" 200 6571 6580 "src/oasis/OASISBuildSection.ml" 200 6571 6581
type(
  OASISSection.MapSection.key
)
"src/oasis/OASISBuildSection.ml" 200 6571 6582 "src/oasis/OASISBuildSection.ml" 200 6571 6585
type(
  (int * OASISTypes.dependency) list
)
ident(
  def lst "src/oasis/OASISBuildSection.ml" 201 6589 6596 "src/oasis/OASISBuildSection.ml" 204 6691 6748
)
"src/oasis/OASISBuildSection.ml" 201 6589 6596 "src/oasis/OASISBuildSection.ml" 201 6589 6608
type(
  (int * OASISTypes.dependency -> OASISTypes.dependency) ->
  (int * OASISTypes.dependency) list -> OASISTypes.dependency list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISBuildSection.ml" 202 6609 6624 "src/oasis/OASISBuildSection.ml" 202 6609 6625
type(
  int
)
"src/oasis/OASISBuildSection.ml" 202 6609 6627 "src/oasis/OASISBuildSection.ml" 202 6609 6630
type(
  OASISTypes.dependency
)
ident(
  def dep "src/oasis/OASISBuildSection.ml" 202 6609 6635 "src/oasis/OASISBuildSection.ml" 202 6609 6638
)
"src/oasis/OASISBuildSection.ml" 202 6609 6623 "src/oasis/OASISBuildSection.ml" 202 6609 6631
type(
  int * OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 202 6609 6635 "src/oasis/OASISBuildSection.ml" 202 6609 6638
type(
  OASISTypes.dependency
)
ident(
  int_ref dep "src/oasis/OASISBuildSection.ml" 202 6609 6627 "src/oasis/OASISBuildSection.ml" 202 6609 6630
)
"src/oasis/OASISBuildSection.ml" 202 6609 6618 "src/oasis/OASISBuildSection.ml" 202 6609 6639
type(
  int * OASISTypes.dependency -> OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 204 6691 6701 "src/oasis/OASISBuildSection.ml" 204 6691 6710
type(
  (int * OASISTypes.dependency -> int * OASISTypes.dependency -> int) ->
  (int * OASISTypes.dependency) list -> (int * OASISTypes.dependency) list
)
ident(
  int_ref Stdlib.List.sort "list.mli" 444 14676 14676 "list.mli" 444 14676 14726
)
"src/oasis/OASISBuildSection.ml" 204 6691 6717 "src/oasis/OASISBuildSection.ml" 204 6691 6719
type(
  int
)
ident(
  def o1 "src/oasis/OASISBuildSection.ml" 204 6691 6724 "src/oasis/OASISBuildSection.ml" 204 6691 6742
)
"src/oasis/OASISBuildSection.ml" 204 6691 6721 "src/oasis/OASISBuildSection.ml" 204 6691 6722
type(
  OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 204 6691 6716 "src/oasis/OASISBuildSection.ml" 204 6691 6723
type(
  int * OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 204 6691 6725 "src/oasis/OASISBuildSection.ml" 204 6691 6727
type(
  int
)
ident(
  def o2 "src/oasis/OASISBuildSection.ml" 204 6691 6735 "src/oasis/OASISBuildSection.ml" 204 6691 6742
)
"src/oasis/OASISBuildSection.ml" 204 6691 6729 "src/oasis/OASISBuildSection.ml" 204 6691 6730
type(
  OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 204 6691 6724 "src/oasis/OASISBuildSection.ml" 204 6691 6731
type(
  int * OASISTypes.dependency
)
"src/oasis/OASISBuildSection.ml" 204 6691 6735 "src/oasis/OASISBuildSection.ml" 204 6691 6737
type(
  int
)
ident(
  int_ref o2 "src/oasis/OASISBuildSection.ml" 204 6691 6725 "src/oasis/OASISBuildSection.ml" 204 6691 6727
)
"src/oasis/OASISBuildSection.ml" 204 6691 6738 "src/oasis/OASISBuildSection.ml" 204 6691 6739
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISBuildSection.ml" 204 6691 6740 "src/oasis/OASISBuildSection.ml" 204 6691 6742
type(
  int
)
ident(
  int_ref o1 "src/oasis/OASISBuildSection.ml" 204 6691 6717 "src/oasis/OASISBuildSection.ml" 204 6691 6719
)
"src/oasis/OASISBuildSection.ml" 204 6691 6735 "src/oasis/OASISBuildSection.ml" 204 6691 6742
type(
  int
)
"src/oasis/OASISBuildSection.ml" 204 6691 6711 "src/oasis/OASISBuildSection.ml" 204 6691 6743
type(
  int * OASISTypes.dependency -> int * OASISTypes.dependency -> int
)
"src/oasis/OASISBuildSection.ml" 204 6691 6744 "src/oasis/OASISBuildSection.ml" 204 6691 6747
type(
  (int * OASISTypes.dependency) list
)
ident(
  int_ref lst "src/oasis/OASISBuildSection.ml" 200 6571 6582 "src/oasis/OASISBuildSection.ml" 200 6571 6585
)
"src/oasis/OASISBuildSection.ml" 204 6691 6700 "src/oasis/OASISBuildSection.ml" 204 6691 6748
type(
  (int * OASISTypes.dependency) list
)
"src/oasis/OASISBuildSection.ml" 201 6589 6596 "src/oasis/OASISBuildSection.ml" 204 6691 6748
type(
  OASISTypes.dependency list
)
"src/oasis/OASISBuildSection.ml" 200 6571 6575 "src/oasis/OASISBuildSection.ml" 204 6691 6749
type(
  OASISSection.MapSection.key ->
  (int * OASISTypes.dependency) list -> OASISTypes.dependency list
)
"src/oasis/OASISBuildSection.ml" 205 6750 6754 "src/oasis/OASISBuildSection.ml" 205 6750 6762
type(
  (int * OASISTypes.dependency) list OASISSection.MapSection.t
)
ident(
  int_ref map_deps "src/oasis/OASISBuildSection.ml" 163 5447 5453 "src/oasis/OASISBuildSection.ml" 163 5447 5461
)
"src/oasis/OASISBuildSection.ml" 199 6553 6555 "src/oasis/OASISBuildSection.ml" 205 6750 6762
type(
  OASISTypes.dependency list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 163 5447 5449 "src/oasis/OASISBuildSection.ml" 205 6750 6762
type(
  OASISTypes.dependency list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 155 5274 5276 "src/oasis/OASISBuildSection.ml" 205 6750 6762
type(
  OASISTypes.dependency list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 143 5017 5019 "src/oasis/OASISBuildSection.ml" 205 6750 6762
type(
  OASISTypes.dependency list OASISSection.MapSection.t
)
"src/oasis/OASISBuildSection.ml" 141 4961 4963 "src/oasis/OASISBuildSection.ml" 205 6750 6762
type(
  OASISTypes.dependency list OASISSection.MapSection.t
)
