"src/oasis/OASISSection.ml" 27 1721 1725 "src/oasis/OASISSection.ml" 27 1721 1744
type(
  OASISTypes.section ->
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.common_section
)
ident(
  def section_kind_common "src/oasis/OASISSection.ml" 45 2061 2061 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 29 1758 1773 "src/oasis/OASISSection.ml" 29 1758 1775
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 30 1786 1792 "src/oasis/OASISSection.ml" 30 1786 1804
)
"src/oasis/OASISSection.ml" 29 1758 1777 "src/oasis/OASISSection.ml" 29 1758 1778
type(
  OASISTypes.build_section
)
"src/oasis/OASISSection.ml" 29 1758 1780 "src/oasis/OASISSection.ml" 29 1758 1781
type(
  OASISTypes.library
)
"src/oasis/OASISSection.ml" 29 1758 1764 "src/oasis/OASISSection.ml" 29 1758 1782
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 30 1786 1792 "src/oasis/OASISSection.ml" 30 1786 1800
type(
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
  as 'a
)
"src/oasis/OASISSection.ml" 30 1786 1802 "src/oasis/OASISSection.ml" 30 1786 1804
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 29 1758 1773 "src/oasis/OASISSection.ml" 29 1758 1775
)
"src/oasis/OASISSection.ml" 30 1786 1792 "src/oasis/OASISSection.ml" 30 1786 1804
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 31 1805 1819 "src/oasis/OASISSection.ml" 31 1805 1821
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 32 1832 1838 "src/oasis/OASISSection.ml" 32 1832 1849
)
"src/oasis/OASISSection.ml" 31 1805 1823 "src/oasis/OASISSection.ml" 31 1805 1824
type(
  OASISTypes.build_section
)
"src/oasis/OASISSection.ml" 31 1805 1826 "src/oasis/OASISSection.ml" 31 1805 1827
type(
  OASISTypes.object_
)
"src/oasis/OASISSection.ml" 31 1805 1811 "src/oasis/OASISSection.ml" 31 1805 1828
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 32 1832 1838 "src/oasis/OASISSection.ml" 32 1832 1845
type(
  'a
)
"src/oasis/OASISSection.ml" 32 1832 1847 "src/oasis/OASISSection.ml" 32 1832 1849
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 31 1805 1819 "src/oasis/OASISSection.ml" 31 1805 1821
)
"src/oasis/OASISSection.ml" 32 1832 1838 "src/oasis/OASISSection.ml" 32 1832 1849
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 33 1850 1868 "src/oasis/OASISSection.ml" 33 1850 1870
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 34 1881 1887 "src/oasis/OASISSection.ml" 34 1881 1902
)
"src/oasis/OASISSection.ml" 33 1850 1872 "src/oasis/OASISSection.ml" 33 1850 1873
type(
  OASISTypes.build_section
)
"src/oasis/OASISSection.ml" 33 1850 1875 "src/oasis/OASISSection.ml" 33 1850 1876
type(
  OASISTypes.executable
)
"src/oasis/OASISSection.ml" 33 1850 1856 "src/oasis/OASISSection.ml" 33 1850 1877
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 34 1881 1887 "src/oasis/OASISSection.ml" 34 1881 1898
type(
  'a
)
"src/oasis/OASISSection.ml" 34 1881 1900 "src/oasis/OASISSection.ml" 34 1881 1902
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 33 1850 1868 "src/oasis/OASISSection.ml" 33 1850 1870
)
"src/oasis/OASISSection.ml" 34 1881 1887 "src/oasis/OASISSection.ml" 34 1881 1902
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 35 1903 1915 "src/oasis/OASISSection.ml" 35 1903 1917
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 36 1925 1931 "src/oasis/OASISSection.ml" 36 1925 1940
)
"src/oasis/OASISSection.ml" 35 1903 1919 "src/oasis/OASISSection.ml" 35 1903 1920
type(
  OASISTypes.flag
)
"src/oasis/OASISSection.ml" 35 1903 1909 "src/oasis/OASISSection.ml" 35 1903 1921
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 36 1925 1931 "src/oasis/OASISSection.ml" 36 1925 1936
type(
  'a
)
"src/oasis/OASISSection.ml" 36 1925 1938 "src/oasis/OASISSection.ml" 36 1925 1940
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 35 1903 1915 "src/oasis/OASISSection.ml" 35 1903 1917
)
"src/oasis/OASISSection.ml" 36 1925 1931 "src/oasis/OASISSection.ml" 36 1925 1940
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 37 1941 1956 "src/oasis/OASISSection.ml" 37 1941 1958
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 38 1966 1972 "src/oasis/OASISSection.ml" 38 1966 1984
)
"src/oasis/OASISSection.ml" 37 1941 1960 "src/oasis/OASISSection.ml" 37 1941 1961
type(
  OASISTypes.source_repository
)
"src/oasis/OASISSection.ml" 37 1941 1947 "src/oasis/OASISSection.ml" 37 1941 1962
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 38 1966 1972 "src/oasis/OASISSection.ml" 38 1966 1980
type(
  'a
)
"src/oasis/OASISSection.ml" 38 1966 1982 "src/oasis/OASISSection.ml" 38 1966 1984
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 37 1941 1956 "src/oasis/OASISSection.ml" 37 1941 1958
)
"src/oasis/OASISSection.ml" 38 1966 1972 "src/oasis/OASISSection.ml" 38 1966 1984
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 39 1985 1997 "src/oasis/OASISSection.ml" 39 1985 1999
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 40 2007 2013 "src/oasis/OASISSection.ml" 40 2007 2022
)
"src/oasis/OASISSection.ml" 39 1985 2001 "src/oasis/OASISSection.ml" 39 1985 2002
type(
  OASISTypes.test
)
"src/oasis/OASISSection.ml" 39 1985 1991 "src/oasis/OASISSection.ml" 39 1985 2003
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 40 2007 2013 "src/oasis/OASISSection.ml" 40 2007 2018
type(
  'a
)
"src/oasis/OASISSection.ml" 40 2007 2020 "src/oasis/OASISSection.ml" 40 2007 2022
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 39 1985 1997 "src/oasis/OASISSection.ml" 39 1985 1999
)
"src/oasis/OASISSection.ml" 40 2007 2013 "src/oasis/OASISSection.ml" 40 2007 2022
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 41 2023 2034 "src/oasis/OASISSection.ml" 41 2023 2036
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 42 2044 2050 "src/oasis/OASISSection.ml" 42 2044 2058
)
"src/oasis/OASISSection.ml" 41 2023 2038 "src/oasis/OASISSection.ml" 41 2023 2039
type(
  OASISTypes.doc
)
"src/oasis/OASISSection.ml" 41 2023 2029 "src/oasis/OASISSection.ml" 41 2023 2040
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 42 2044 2050 "src/oasis/OASISSection.ml" 42 2044 2054
type(
  'a
)
"src/oasis/OASISSection.ml" 42 2044 2056 "src/oasis/OASISSection.ml" 42 2044 2058
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 41 2023 2034 "src/oasis/OASISSection.ml" 41 2023 2036
)
"src/oasis/OASISSection.ml" 42 2044 2050 "src/oasis/OASISSection.ml" 42 2044 2058
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 28 1747 1749 "src/oasis/OASISSection.ml" 42 2044 2058
type(
  OASISTypes.section -> 'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 45 2061 2065 "src/oasis/OASISSection.ml" 45 2061 2079
type(
  OASISTypes.section -> OASISTypes.common_section
)
ident(
  def section_common "src/oasis/OASISSection.ml" 49 2120 2120 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 45 2061 2080 "src/oasis/OASISSection.ml" 45 2061 2083
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISSection.ml" 46 2086 2088 "src/oasis/OASISSection.ml" 46 2086 2117
)
"src/oasis/OASISSection.ml" 46 2086 2088 "src/oasis/OASISSection.ml" 46 2086 2091
type(
  _[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.common_section -> OASISTypes.common_section
)
ident(
  int_ref Stdlib.snd "stdlib.mli" 817 30448 30448 "stdlib.mli" 817 30448 30488
)
"src/oasis/OASISSection.ml" 46 2086 2093 "src/oasis/OASISSection.ml" 46 2086 2112
type(
  OASISTypes.section ->
  (_[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'a) *
  OASISTypes.common_section
)
ident(
  int_ref section_kind_common "src/oasis/OASISSection.ml" 27 1721 1725 "src/oasis/OASISSection.ml" 27 1721 1744
)
"src/oasis/OASISSection.ml" 46 2086 2113 "src/oasis/OASISSection.ml" 46 2086 2116
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISSection.ml" 45 2061 2080 "src/oasis/OASISSection.ml" 45 2061 2083
)
"src/oasis/OASISSection.ml" 46 2086 2092 "src/oasis/OASISSection.ml" 46 2086 2117
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 46 2086 2088 "src/oasis/OASISSection.ml" 46 2086 2117
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 49 2120 2124 "src/oasis/OASISSection.ml" 49 2120 2142
type(
  OASISTypes.common_section -> OASISTypes.section -> OASISTypes.section
)
ident(
  def section_common_set "src/oasis/OASISSection.ml" 62 2571 2571 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 50 2148 2150 "src/oasis/OASISSection.ml" 57 2485 2532
)
"src/oasis/OASISSection.ml" 51 2159 2174 "src/oasis/OASISSection.ml" 51 2159 2175
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 51 2159 2177 "src/oasis/OASISSection.ml" 51 2159 2179
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISSection.ml" 51 2159 2193 "src/oasis/OASISSection.ml" 51 2159 2214
)
"src/oasis/OASISSection.ml" 51 2159 2181 "src/oasis/OASISSection.ml" 51 2159 2184
type(
  OASISTypes.library
)
ident(
  def lib "src/oasis/OASISSection.ml" 51 2159 2193 "src/oasis/OASISSection.ml" 51 2159 2214
)
"src/oasis/OASISSection.ml" 51 2159 2165 "src/oasis/OASISSection.ml" 51 2159 2185
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 51 2159 2202 "src/oasis/OASISSection.ml" 51 2159 2204
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 51 2159 2206 "src/oasis/OASISSection.ml" 51 2159 2208
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISSection.ml" 51 2159 2177 "src/oasis/OASISSection.ml" 51 2159 2179
)
"src/oasis/OASISSection.ml" 51 2159 2210 "src/oasis/OASISSection.ml" 51 2159 2213
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/oasis/OASISSection.ml" 51 2159 2181 "src/oasis/OASISSection.ml" 51 2159 2184
)
"src/oasis/OASISSection.ml" 51 2159 2193 "src/oasis/OASISSection.ml" 51 2159 2214
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 52 2215 2229 "src/oasis/OASISSection.ml" 52 2215 2230
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 52 2215 2232 "src/oasis/OASISSection.ml" 52 2215 2234
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISSection.ml" 52 2215 2249 "src/oasis/OASISSection.ml" 52 2215 2269
)
"src/oasis/OASISSection.ml" 52 2215 2236 "src/oasis/OASISSection.ml" 52 2215 2239
type(
  OASISTypes.object_
)
ident(
  def obj "src/oasis/OASISSection.ml" 52 2215 2249 "src/oasis/OASISSection.ml" 52 2215 2269
)
"src/oasis/OASISSection.ml" 52 2215 2221 "src/oasis/OASISSection.ml" 52 2215 2240
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 52 2215 2257 "src/oasis/OASISSection.ml" 52 2215 2259
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 52 2215 2261 "src/oasis/OASISSection.ml" 52 2215 2263
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISSection.ml" 52 2215 2232 "src/oasis/OASISSection.ml" 52 2215 2234
)
"src/oasis/OASISSection.ml" 52 2215 2265 "src/oasis/OASISSection.ml" 52 2215 2268
type(
  OASISTypes.object_
)
ident(
  int_ref obj "src/oasis/OASISSection.ml" 52 2215 2236 "src/oasis/OASISSection.ml" 52 2215 2239
)
"src/oasis/OASISSection.ml" 52 2215 2249 "src/oasis/OASISSection.ml" 52 2215 2269
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 53 2270 2288 "src/oasis/OASISSection.ml" 53 2270 2289
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 53 2270 2291 "src/oasis/OASISSection.ml" 53 2270 2293
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISSection.ml" 53 2270 2304 "src/oasis/OASISSection.ml" 53 2270 2329
)
"src/oasis/OASISSection.ml" 53 2270 2295 "src/oasis/OASISSection.ml" 53 2270 2299
type(
  OASISTypes.executable
)
ident(
  def exec "src/oasis/OASISSection.ml" 53 2270 2304 "src/oasis/OASISSection.ml" 53 2270 2329
)
"src/oasis/OASISSection.ml" 53 2270 2276 "src/oasis/OASISSection.ml" 53 2270 2300
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 53 2270 2316 "src/oasis/OASISSection.ml" 53 2270 2318
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 53 2270 2320 "src/oasis/OASISSection.ml" 53 2270 2322
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISSection.ml" 53 2270 2291 "src/oasis/OASISSection.ml" 53 2270 2293
)
"src/oasis/OASISSection.ml" 53 2270 2324 "src/oasis/OASISSection.ml" 53 2270 2328
type(
  OASISTypes.executable
)
ident(
  int_ref exec "src/oasis/OASISSection.ml" 53 2270 2295 "src/oasis/OASISSection.ml" 53 2270 2299
)
"src/oasis/OASISSection.ml" 53 2270 2304 "src/oasis/OASISSection.ml" 53 2270 2329
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 54 2330 2342 "src/oasis/OASISSection.ml" 54 2330 2343
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 54 2330 2345 "src/oasis/OASISSection.ml" 54 2330 2348
type(
  OASISTypes.flag
)
ident(
  def flg "src/oasis/OASISSection.ml" 54 2330 2364 "src/oasis/OASISSection.ml" 54 2330 2378
)
"src/oasis/OASISSection.ml" 54 2330 2336 "src/oasis/OASISSection.ml" 54 2330 2349
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 54 2330 2370 "src/oasis/OASISSection.ml" 54 2330 2372
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 54 2330 2374 "src/oasis/OASISSection.ml" 54 2330 2377
type(
  OASISTypes.flag
)
ident(
  int_ref flg "src/oasis/OASISSection.ml" 54 2330 2345 "src/oasis/OASISSection.ml" 54 2330 2348
)
"src/oasis/OASISSection.ml" 54 2330 2364 "src/oasis/OASISSection.ml" 54 2330 2378
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 55 2379 2394 "src/oasis/OASISSection.ml" 55 2379 2395
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 55 2379 2397 "src/oasis/OASISSection.ml" 55 2379 2405
type(
  OASISTypes.source_repository
)
ident(
  def src_repo "src/oasis/OASISSection.ml" 55 2379 2413 "src/oasis/OASISSection.ml" 55 2379 2435
)
"src/oasis/OASISSection.ml" 55 2379 2385 "src/oasis/OASISSection.ml" 55 2379 2406
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 55 2379 2422 "src/oasis/OASISSection.ml" 55 2379 2424
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 55 2379 2426 "src/oasis/OASISSection.ml" 55 2379 2434
type(
  OASISTypes.source_repository
)
ident(
  int_ref src_repo "src/oasis/OASISSection.ml" 55 2379 2397 "src/oasis/OASISSection.ml" 55 2379 2405
)
"src/oasis/OASISSection.ml" 55 2379 2413 "src/oasis/OASISSection.ml" 55 2379 2435
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 56 2436 2448 "src/oasis/OASISSection.ml" 56 2436 2449
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 56 2436 2451 "src/oasis/OASISSection.ml" 56 2436 2454
type(
  OASISTypes.test
)
ident(
  def tst "src/oasis/OASISSection.ml" 56 2436 2470 "src/oasis/OASISSection.ml" 56 2436 2484
)
"src/oasis/OASISSection.ml" 56 2436 2442 "src/oasis/OASISSection.ml" 56 2436 2455
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 56 2436 2476 "src/oasis/OASISSection.ml" 56 2436 2478
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 56 2436 2480 "src/oasis/OASISSection.ml" 56 2436 2483
type(
  OASISTypes.test
)
ident(
  int_ref tst "src/oasis/OASISSection.ml" 56 2436 2451 "src/oasis/OASISSection.ml" 56 2436 2454
)
"src/oasis/OASISSection.ml" 56 2436 2470 "src/oasis/OASISSection.ml" 56 2436 2484
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 57 2485 2496 "src/oasis/OASISSection.ml" 57 2485 2497
type(
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 57 2485 2499 "src/oasis/OASISSection.ml" 57 2485 2502
type(
  OASISTypes.doc
)
ident(
  def doc "src/oasis/OASISSection.ml" 57 2485 2519 "src/oasis/OASISSection.ml" 57 2485 2532
)
"src/oasis/OASISSection.ml" 57 2485 2491 "src/oasis/OASISSection.ml" 57 2485 2503
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 57 2485 2524 "src/oasis/OASISSection.ml" 57 2485 2526
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 49 2120 2143 "src/oasis/OASISSection.ml" 49 2120 2145
)
"src/oasis/OASISSection.ml" 57 2485 2528 "src/oasis/OASISSection.ml" 57 2485 2531
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/oasis/OASISSection.ml" 57 2485 2499 "src/oasis/OASISSection.ml" 57 2485 2502
)
"src/oasis/OASISSection.ml" 57 2485 2519 "src/oasis/OASISSection.ml" 57 2485 2532
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 50 2148 2150 "src/oasis/OASISSection.ml" 57 2485 2532
type(
  OASISTypes.section -> OASISTypes.section
)
"src/oasis/OASISSection.ml" 62 2571 2575 "src/oasis/OASISSection.ml" 62 2571 2585
type(
  OASISTypes.section ->
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.name
)
ident(
  def section_id "src/oasis/OASISSection.ml" 69 2657 2657 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 62 2571 2586 "src/oasis/OASISSection.ml" 62 2571 2589
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISSection.ml" 63 2592 2594 "src/oasis/OASISSection.ml" 66 2639 2654
)
"src/oasis/OASISSection.ml" 63 2592 2598 "src/oasis/OASISSection.ml" 63 2592 2599
type(
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
)
ident(
  def k "src/oasis/OASISSection.ml" 66 2639 2641 "src/oasis/OASISSection.ml" 66 2639 2654
)
"src/oasis/OASISSection.ml" 63 2592 2601 "src/oasis/OASISSection.ml" 63 2592 2603
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISSection.ml" 66 2639 2641 "src/oasis/OASISSection.ml" 66 2639 2654
)
"src/oasis/OASISSection.ml" 63 2592 2598 "src/oasis/OASISSection.ml" 63 2592 2603
type(
  ([> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'a) *
  OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 64 2606 2610 "src/oasis/OASISSection.ml" 64 2606 2629
type(
  OASISTypes.section -> 'a * OASISTypes.common_section
)
ident(
  int_ref section_kind_common "src/oasis/OASISSection.ml" 27 1721 1725 "src/oasis/OASISSection.ml" 27 1721 1744
)
"src/oasis/OASISSection.ml" 64 2606 2630 "src/oasis/OASISSection.ml" 64 2606 2633
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISSection.ml" 62 2571 2586 "src/oasis/OASISSection.ml" 62 2571 2589
)
"src/oasis/OASISSection.ml" 64 2606 2610 "src/oasis/OASISSection.ml" 64 2606 2633
type(
  'a * OASISTypes.common_section
)
"src/oasis/OASISSection.ml" 66 2639 2641 "src/oasis/OASISSection.ml" 66 2639 2642
type(
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
  as 'b
)
ident(
  int_ref k "src/oasis/OASISSection.ml" 63 2592 2598 "src/oasis/OASISSection.ml" 63 2592 2599
)
"src/oasis/OASISSection.ml" 66 2639 2644 "src/oasis/OASISSection.ml" 66 2639 2646
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISSection.ml" 63 2592 2601 "src/oasis/OASISSection.ml" 63 2592 2603
)
"src/oasis/OASISSection.ml" 66 2639 2644 "src/oasis/OASISSection.ml" 66 2639 2654
type(
  OASISTypes.name
)
"src/oasis/OASISSection.ml" 66 2639 2641 "src/oasis/OASISSection.ml" 66 2639 2654
type(
  'b * OASISTypes.name
)
"src/oasis/OASISSection.ml" 63 2592 2594 "src/oasis/OASISSection.ml" 66 2639 2654
type(
  'b * OASISTypes.name
)
"src/oasis/OASISSection.ml" 69 2657 2661 "src/oasis/OASISSection.ml" 69 2657 2683
type(
  [< `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] ->
  string
)
ident(
  def string_of_section_kind "src/oasis/OASISSection.ml" 80 2915 2915 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 71 2697 2703 "src/oasis/OASISSection.ml" 71 2697 2711
type(
  [< `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
  as 'a
)
"src/oasis/OASISSection.ml" 71 2697 2718 "src/oasis/OASISSection.ml" 71 2697 2727
type(
  string
)
"src/oasis/OASISSection.ml" 72 2728 2734 "src/oasis/OASISSection.ml" 72 2728 2741
type(
  'a
)
"src/oasis/OASISSection.ml" 72 2728 2749 "src/oasis/OASISSection.ml" 72 2728 2757
type(
  string
)
"src/oasis/OASISSection.ml" 73 2758 2764 "src/oasis/OASISSection.ml" 73 2758 2775
type(
  'a
)
"src/oasis/OASISSection.ml" 73 2758 2779 "src/oasis/OASISSection.ml" 73 2758 2791
type(
  string
)
"src/oasis/OASISSection.ml" 74 2792 2798 "src/oasis/OASISSection.ml" 74 2792 2803
type(
  'a
)
"src/oasis/OASISSection.ml" 74 2792 2813 "src/oasis/OASISSection.ml" 74 2792 2819
type(
  string
)
"src/oasis/OASISSection.ml" 75 2820 2826 "src/oasis/OASISSection.ml" 75 2820 2834
type(
  'a
)
"src/oasis/OASISSection.ml" 75 2820 2841 "src/oasis/OASISSection.ml" 75 2820 2857
type(
  string
)
"src/oasis/OASISSection.ml" 76 2858 2864 "src/oasis/OASISSection.ml" 76 2858 2869
type(
  'a
)
"src/oasis/OASISSection.ml" 76 2858 2879 "src/oasis/OASISSection.ml" 76 2858 2885
type(
  string
)
"src/oasis/OASISSection.ml" 77 2886 2892 "src/oasis/OASISSection.ml" 77 2886 2896
type(
  'a
)
"src/oasis/OASISSection.ml" 77 2886 2907 "src/oasis/OASISSection.ml" 77 2886 2912
type(
  string
)
"src/oasis/OASISSection.ml" 70 2686 2688 "src/oasis/OASISSection.ml" 77 2886 2912
type(
  'a -> string
)
"src/oasis/OASISSection.ml" 80 2915 2919 "src/oasis/OASISSection.ml" 80 2915 2936
type(
  OASISTypes.section -> string
)
ident(
  def string_of_section "src/oasis/OASISSection.ml" 85 3013 3013 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 80 2915 2937 "src/oasis/OASISSection.ml" 80 2915 2940
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISSection.ml" 81 2943 2945 "src/oasis/OASISSection.ml" 82 2975 3010
)
"src/oasis/OASISSection.ml" 81 2943 2949 "src/oasis/OASISSection.ml" 81 2943 2950
type(
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
)
ident(
  def k "src/oasis/OASISSection.ml" 82 2975 2977 "src/oasis/OASISSection.ml" 82 2975 3010
)
"src/oasis/OASISSection.ml" 81 2943 2952 "src/oasis/OASISSection.ml" 81 2943 2954
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISSection.ml" 82 2975 2977 "src/oasis/OASISSection.ml" 82 2975 3010
)
"src/oasis/OASISSection.ml" 81 2943 2949 "src/oasis/OASISSection.ml" 81 2943 2954
type(
  ([> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'a) *
  OASISTypes.name
)
"src/oasis/OASISSection.ml" 81 2943 2957 "src/oasis/OASISSection.ml" 81 2943 2967
type(
  OASISTypes.section -> 'a * OASISTypes.name
)
ident(
  int_ref section_id "src/oasis/OASISSection.ml" 62 2571 2575 "src/oasis/OASISSection.ml" 62 2571 2585
)
"src/oasis/OASISSection.ml" 81 2943 2968 "src/oasis/OASISSection.ml" 81 2943 2971
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISSection.ml" 80 2915 2937 "src/oasis/OASISSection.ml" 80 2915 2940
)
"src/oasis/OASISSection.ml" 81 2943 2957 "src/oasis/OASISSection.ml" 81 2943 2971
type(
  'a * OASISTypes.name
)
"src/oasis/OASISSection.ml" 82 2975 2978 "src/oasis/OASISSection.ml" 82 2975 3000
type(
  [ `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] ->
  string
)
ident(
  int_ref string_of_section_kind "src/oasis/OASISSection.ml" 69 2657 2661 "src/oasis/OASISSection.ml" 69 2657 2683
)
"src/oasis/OASISSection.ml" 82 2975 3001 "src/oasis/OASISSection.ml" 82 2975 3002
type(
  [ `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
)
ident(
  int_ref k "src/oasis/OASISSection.ml" 81 2943 2949 "src/oasis/OASISSection.ml" 81 2943 2950
)
"src/oasis/OASISSection.ml" 82 2975 2977 "src/oasis/OASISSection.ml" 82 2975 3003
type(
  string
)
"src/oasis/OASISSection.ml" 82 2975 3003 "src/oasis/OASISSection.ml" 82 2975 3004
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISSection.ml" 82 2975 3004 "src/oasis/OASISSection.ml" 82 2975 3007
type(
  string
)
"src/oasis/OASISSection.ml" 82 2975 3007 "src/oasis/OASISSection.ml" 82 2975 3008
type(
  string -> OASISTypes.name -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISSection.ml" 82 2975 3008 "src/oasis/OASISSection.ml" 82 2975 3010
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISSection.ml" 81 2943 2952 "src/oasis/OASISSection.ml" 81 2943 2954
)
"src/oasis/OASISSection.ml" 82 2975 3004 "src/oasis/OASISSection.ml" 82 2975 3010
type(
  string
)
"src/oasis/OASISSection.ml" 82 2975 2977 "src/oasis/OASISSection.ml" 82 2975 3010
type(
  string
)
"src/oasis/OASISSection.ml" 81 2943 2945 "src/oasis/OASISSection.ml" 82 2975 3010
type(
  string
)
"src/oasis/OASISSection.ml" 85 3013 3017 "src/oasis/OASISSection.ml" 85 3013 3029
type(
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.name -> OASISTypes.section list -> OASISTypes.section
)
ident(
  def section_find "src/oasis/OASISSection.ml" 91 3100 3100 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 85 3013 3030 "src/oasis/OASISSection.ml" 85 3013 3032
type(
  ([> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'a) *
  OASISTypes.name
)
ident(
  def id "src/oasis/OASISSection.ml" 85 3013 3033 "src/oasis/OASISSection.ml" 88 3089 3097
)
"src/oasis/OASISSection.ml" 85 3013 3033 "src/oasis/OASISSection.ml" 85 3013 3037
type(
  OASISTypes.section list
)
ident(
  def scts "src/oasis/OASISSection.ml" 86 3040 3042 "src/oasis/OASISSection.ml" 88 3089 3097
)
"src/oasis/OASISSection.ml" 86 3040 3042 "src/oasis/OASISSection.ml" 86 3040 3051
type(
  (OASISTypes.section -> bool) ->
  OASISTypes.section list -> OASISTypes.section
)
ident(
  int_ref Stdlib.List.find "list.mli" 305 10263 10263 "list.mli" 305 10263 10303
)
"src/oasis/OASISSection.ml" 87 3052 3061 "src/oasis/OASISSection.ml" 87 3052 3064
type(
  OASISTypes.section
)
ident(
  def sct "src/oasis/OASISSection.ml" 87 3052 3068 "src/oasis/OASISSection.ml" 87 3052 3087
)
"src/oasis/OASISSection.ml" 87 3052 3068 "src/oasis/OASISSection.ml" 87 3052 3070
type(
  'a * OASISTypes.name
)
ident(
  int_ref id "src/oasis/OASISSection.ml" 85 3013 3030 "src/oasis/OASISSection.ml" 85 3013 3032
)
"src/oasis/OASISSection.ml" 87 3052 3071 "src/oasis/OASISSection.ml" 87 3052 3072
type(
  'a * OASISTypes.name -> 'a * OASISTypes.name -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISSection.ml" 87 3052 3073 "src/oasis/OASISSection.ml" 87 3052 3083
type(
  OASISTypes.section -> 'a * OASISTypes.name
)
ident(
  int_ref section_id "src/oasis/OASISSection.ml" 62 2571 2575 "src/oasis/OASISSection.ml" 62 2571 2585
)
"src/oasis/OASISSection.ml" 87 3052 3084 "src/oasis/OASISSection.ml" 87 3052 3087
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/oasis/OASISSection.ml" 87 3052 3061 "src/oasis/OASISSection.ml" 87 3052 3064
)
"src/oasis/OASISSection.ml" 87 3052 3073 "src/oasis/OASISSection.ml" 87 3052 3087
type(
  'a * OASISTypes.name
)
"src/oasis/OASISSection.ml" 87 3052 3068 "src/oasis/OASISSection.ml" 87 3052 3087
type(
  bool
)
"src/oasis/OASISSection.ml" 87 3052 3056 "src/oasis/OASISSection.ml" 87 3052 3088
type(
  OASISTypes.section -> bool
)
"src/oasis/OASISSection.ml" 88 3089 3093 "src/oasis/OASISSection.ml" 88 3089 3097
type(
  OASISTypes.section list
)
ident(
  int_ref scts "src/oasis/OASISSection.ml" 85 3013 3033 "src/oasis/OASISSection.ml" 85 3013 3037
)
"src/oasis/OASISSection.ml" 86 3040 3042 "src/oasis/OASISSection.ml" 88 3089 3097
type(
  OASISTypes.section
)
"src/oasis/OASISSection.ml" 91 3100 3107 "src/oasis/OASISSection.ml" 91 3100 3115
ident(
  def CSection "src/oasis/OASISSection.ml" 105 3301 3304 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 95 3145 3151 "src/oasis/OASISSection.ml" 95 3145 3153
type(
  OASISTypes.section ->
  [> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.name
)
ident(
  def id "src/oasis/OASISSection.ml" 97 3168 3170 "src/oasis/OASISSection.ml" 105 3301 3304
)
"src/oasis/OASISSection.ml" 95 3145 3156 "src/oasis/OASISSection.ml" 95 3145 3166
type(
  OASISTypes.section ->
  ([> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'a) *
  OASISTypes.name
)
ident(
  int_ref section_id "src/oasis/OASISSection.ml" 62 2571 2575 "src/oasis/OASISSection.ml" 62 2571 2585
)
"src/oasis/OASISSection.ml" 97 3168 3174 "src/oasis/OASISSection.ml" 97 3168 3181
type(
  OASISTypes.section -> OASISTypes.section -> int
)
ident(
  def compare "src/oasis/OASISSection.ml" 100 3219 3221 "src/oasis/OASISSection.ml" 105 3301 3304
)
"src/oasis/OASISSection.ml" 97 3168 3182 "src/oasis/OASISSection.ml" 97 3168 3184
type(
  OASISTypes.section
)
ident(
  def t1 "src/oasis/OASISSection.ml" 97 3168 3185 "src/oasis/OASISSection.ml" 98 3190 3217
)
"src/oasis/OASISSection.ml" 97 3168 3185 "src/oasis/OASISSection.ml" 97 3168 3187
type(
  OASISTypes.section
)
ident(
  def t2 "src/oasis/OASISSection.ml" 98 3190 3194 "src/oasis/OASISSection.ml" 98 3190 3217
)
"src/oasis/OASISSection.ml" 98 3190 3194 "src/oasis/OASISSection.ml" 98 3190 3201
type(
  (_[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'b) *
  OASISTypes.name -> 'b * OASISTypes.name -> int
)
ident(
  int_ref Stdlib.compare "stdlib.mli" 162 6792 6792 "stdlib.mli" 162 6792 6839
)
"src/oasis/OASISSection.ml" 98 3190 3203 "src/oasis/OASISSection.ml" 98 3190 3205
type(
  OASISTypes.section -> 'b * OASISTypes.name
)
ident(
  int_ref id "src/oasis/OASISSection.ml" 95 3145 3151 "src/oasis/OASISSection.ml" 95 3145 3153
)
"src/oasis/OASISSection.ml" 98 3190 3206 "src/oasis/OASISSection.ml" 98 3190 3208
type(
  OASISTypes.section
)
ident(
  int_ref t1 "src/oasis/OASISSection.ml" 97 3168 3182 "src/oasis/OASISSection.ml" 97 3168 3184
)
"src/oasis/OASISSection.ml" 98 3190 3202 "src/oasis/OASISSection.ml" 98 3190 3209
type(
  'b * OASISTypes.name
)
"src/oasis/OASISSection.ml" 98 3190 3211 "src/oasis/OASISSection.ml" 98 3190 3213
type(
  OASISTypes.section -> 'b * OASISTypes.name
)
ident(
  int_ref id "src/oasis/OASISSection.ml" 95 3145 3151 "src/oasis/OASISSection.ml" 95 3145 3153
)
"src/oasis/OASISSection.ml" 98 3190 3214 "src/oasis/OASISSection.ml" 98 3190 3216
type(
  OASISTypes.section
)
ident(
  int_ref t2 "src/oasis/OASISSection.ml" 97 3168 3185 "src/oasis/OASISSection.ml" 97 3168 3187
)
"src/oasis/OASISSection.ml" 98 3190 3210 "src/oasis/OASISSection.ml" 98 3190 3217
type(
  'b * OASISTypes.name
)
"src/oasis/OASISSection.ml" 98 3190 3194 "src/oasis/OASISSection.ml" 98 3190 3217
type(
  int
)
"src/oasis/OASISSection.ml" 100 3219 3225 "src/oasis/OASISSection.ml" 100 3219 3230
type(
  OASISTypes.section -> OASISTypes.section -> bool
)
ident(
  def equal "src/oasis/OASISSection.ml" 103 3262 3264 "src/oasis/OASISSection.ml" 105 3301 3304
)
"src/oasis/OASISSection.ml" 100 3219 3231 "src/oasis/OASISSection.ml" 100 3219 3233
type(
  OASISTypes.section
)
ident(
  def t1 "src/oasis/OASISSection.ml" 100 3219 3234 "src/oasis/OASISSection.ml" 101 3239 3260
)
"src/oasis/OASISSection.ml" 100 3219 3234 "src/oasis/OASISSection.ml" 100 3219 3236
type(
  OASISTypes.section
)
ident(
  def t2 "src/oasis/OASISSection.ml" 101 3239 3243 "src/oasis/OASISSection.ml" 101 3239 3260
)
"src/oasis/OASISSection.ml" 101 3239 3244 "src/oasis/OASISSection.ml" 101 3239 3246
type(
  OASISTypes.section ->
  _[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.name
)
ident(
  int_ref id "src/oasis/OASISSection.ml" 95 3145 3151 "src/oasis/OASISSection.ml" 95 3145 3153
)
"src/oasis/OASISSection.ml" 101 3239 3247 "src/oasis/OASISSection.ml" 101 3239 3249
type(
  OASISTypes.section
)
ident(
  int_ref t1 "src/oasis/OASISSection.ml" 100 3219 3231 "src/oasis/OASISSection.ml" 100 3219 3233
)
"src/oasis/OASISSection.ml" 101 3239 3243 "src/oasis/OASISSection.ml" 101 3239 3250
type(
  (_[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'c) *
  OASISTypes.name
)
"src/oasis/OASISSection.ml" 101 3239 3251 "src/oasis/OASISSection.ml" 101 3239 3252
type(
  'c * OASISTypes.name -> 'c * OASISTypes.name -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISSection.ml" 101 3239 3254 "src/oasis/OASISSection.ml" 101 3239 3256
type(
  OASISTypes.section -> 'c * OASISTypes.name
)
ident(
  int_ref id "src/oasis/OASISSection.ml" 95 3145 3151 "src/oasis/OASISSection.ml" 95 3145 3153
)
"src/oasis/OASISSection.ml" 101 3239 3257 "src/oasis/OASISSection.ml" 101 3239 3259
type(
  OASISTypes.section
)
ident(
  int_ref t2 "src/oasis/OASISSection.ml" 100 3219 3234 "src/oasis/OASISSection.ml" 100 3219 3236
)
"src/oasis/OASISSection.ml" 101 3239 3253 "src/oasis/OASISSection.ml" 101 3239 3260
type(
  'c * OASISTypes.name
)
"src/oasis/OASISSection.ml" 101 3239 3243 "src/oasis/OASISSection.ml" 101 3239 3260
type(
  bool
)
"src/oasis/OASISSection.ml" 103 3262 3268 "src/oasis/OASISSection.ml" 103 3262 3272
type(
  OASISTypes.section -> int
)
ident(
  def hash "src/oasis/OASISSection.ml" 104 3277 3300 "src/oasis/OASISSection.ml" 105 3301 3304
)
"src/oasis/OASISSection.ml" 103 3262 3273 "src/oasis/OASISSection.ml" 103 3262 3274
type(
  OASISTypes.section
)
ident(
  def t "src/oasis/OASISSection.ml" 104 3277 3281 "src/oasis/OASISSection.ml" 104 3277 3300
)
"src/oasis/OASISSection.ml" 104 3277 3281 "src/oasis/OASISSection.ml" 104 3277 3293
type(
  _[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ] *
  OASISTypes.name -> int
)
ident(
  int_ref Stdlib.Hashtbl.hash "hashtbl.mli" 474 18341 18341 "hashtbl.mli" 474 18341 18361
)
"src/oasis/OASISSection.ml" 104 3277 3295 "src/oasis/OASISSection.ml" 104 3277 3297
type(
  OASISTypes.section ->
  (_[> `Doc | `Executable | `Flag | `Library | `Object | `SrcRepo | `Test ]
   as 'd) *
  OASISTypes.name
)
ident(
  int_ref id "src/oasis/OASISSection.ml" 95 3145 3151 "src/oasis/OASISSection.ml" 95 3145 3153
)
"src/oasis/OASISSection.ml" 104 3277 3298 "src/oasis/OASISSection.ml" 104 3277 3299
type(
  OASISTypes.section
)
ident(
  int_ref t "src/oasis/OASISSection.ml" 103 3262 3273 "src/oasis/OASISSection.ml" 103 3262 3274
)
"src/oasis/OASISSection.ml" 104 3277 3294 "src/oasis/OASISSection.ml" 104 3277 3300
type(
  'd * OASISTypes.name
)
"src/oasis/OASISSection.ml" 104 3277 3281 "src/oasis/OASISSection.ml" 104 3277 3300
type(
  int
)
"src/oasis/OASISSection.ml" 108 3307 3314 "src/oasis/OASISSection.ml" 108 3307 3324
ident(
  def MapSection "src/oasis/OASISSection.ml" 108 3307 3345 "src/oasis/OASISSection.ml" 0 0 -1
)
"src/oasis/OASISSection.ml" 109 3346 3353 "src/oasis/OASISSection.ml" 109 3346 3363
ident(
  def SetSection "src/oasis/OASISSection.ml" 109 3346 3384 "src/oasis/OASISSection.ml" 0 0 -1
)
