"src/oasis/OASISPlugin.ml" 32 1750 1754 "src/oasis/OASISPlugin.ml" 32 1750 1768
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> int
)
ident(
  def plugin_compare "src/oasis/OASISPlugin.ml" 52 2194 2194 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 32 1750 1770 "src/oasis/OASISPlugin.ml" 32 1750 1772
type(
  'a
)
ident(
  def k1 "src/oasis/OASISPlugin.ml" 32 1750 1783 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 32 1750 1774 "src/oasis/OASISPlugin.ml" 32 1750 1776
type(
  string
)
ident(
  def n1 "src/oasis/OASISPlugin.ml" 32 1750 1783 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 32 1750 1778 "src/oasis/OASISPlugin.ml" 32 1750 1781
type(
  OASISVersion.t option
)
ident(
  def vo1 "src/oasis/OASISPlugin.ml" 32 1750 1783 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 32 1750 1769 "src/oasis/OASISPlugin.ml" 32 1750 1782
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 32 1750 1784 "src/oasis/OASISPlugin.ml" 32 1750 1786
type(
  'a
)
ident(
  def k2 "src/oasis/OASISPlugin.ml" 33 1799 1801 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 32 1750 1788 "src/oasis/OASISPlugin.ml" 32 1750 1790
type(
  string
)
ident(
  def n2 "src/oasis/OASISPlugin.ml" 33 1799 1801 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 32 1750 1792 "src/oasis/OASISPlugin.ml" 32 1750 1795
type(
  OASISVersion.t option
)
ident(
  def vo2 "src/oasis/OASISPlugin.ml" 33 1799 1801 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 32 1750 1783 "src/oasis/OASISPlugin.ml" 32 1750 1796
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 33 1799 1807 "src/oasis/OASISPlugin.ml" 33 1799 1814
type(
  'a -> 'a -> int
)
ident(
  int_ref Stdlib.compare "stdlib.mli" 162 6792 6792 "stdlib.mli" 162 6792 6839
)
"src/oasis/OASISPlugin.ml" 33 1799 1815 "src/oasis/OASISPlugin.ml" 33 1799 1817
type(
  'a
)
ident(
  int_ref k1 "src/oasis/OASISPlugin.ml" 32 1750 1770 "src/oasis/OASISPlugin.ml" 32 1750 1772
)
"src/oasis/OASISPlugin.ml" 33 1799 1818 "src/oasis/OASISPlugin.ml" 33 1799 1820
type(
  'a
)
ident(
  int_ref k2 "src/oasis/OASISPlugin.ml" 32 1750 1784 "src/oasis/OASISPlugin.ml" 32 1750 1786
)
"src/oasis/OASISPlugin.ml" 33 1799 1807 "src/oasis/OASISPlugin.ml" 33 1799 1820
type(
  int
)
"src/oasis/OASISPlugin.ml" 34 1826 1832 "src/oasis/OASISPlugin.ml" 34 1826 1833
type(
  int
)
type(
  int
)
"src/oasis/OASISPlugin.ml" 36 1849 1863 "src/oasis/OASISPlugin.ml" 36 1849 1885
type(
  string -> string -> int
)
ident(
  int_ref OASISUtils.compare_csl "src/oasis/OASISUtils.mli" 147 4598 4598 "src/oasis/OASISUtils.mli" 147 4598 4638
)
"src/oasis/OASISPlugin.ml" 36 1849 1886 "src/oasis/OASISPlugin.ml" 36 1849 1888
type(
  string
)
ident(
  int_ref n1 "src/oasis/OASISPlugin.ml" 32 1750 1774 "src/oasis/OASISPlugin.ml" 32 1750 1776
)
"src/oasis/OASISPlugin.ml" 36 1849 1889 "src/oasis/OASISPlugin.ml" 36 1849 1891
type(
  string
)
ident(
  int_ref n2 "src/oasis/OASISPlugin.ml" 32 1750 1788 "src/oasis/OASISPlugin.ml" 32 1750 1790
)
"src/oasis/OASISPlugin.ml" 36 1849 1863 "src/oasis/OASISPlugin.ml" 36 1849 1891
type(
  int
)
"src/oasis/OASISPlugin.ml" 37 1897 1909 "src/oasis/OASISPlugin.ml" 37 1897 1910
type(
  int
)
type(
  int
)
"src/oasis/OASISPlugin.ml" 39 1932 1952 "src/oasis/OASISPlugin.ml" 39 1932 1955
type(
  OASISVersion.t option
)
ident(
  int_ref vo1 "src/oasis/OASISPlugin.ml" 32 1750 1778 "src/oasis/OASISPlugin.ml" 32 1750 1781
)
"src/oasis/OASISPlugin.ml" 39 1932 1957 "src/oasis/OASISPlugin.ml" 39 1932 1960
type(
  OASISVersion.t option
)
ident(
  int_ref vo2 "src/oasis/OASISPlugin.ml" 32 1750 1792 "src/oasis/OASISPlugin.ml" 32 1750 1795
)
"src/oasis/OASISPlugin.ml" 39 1932 1952 "src/oasis/OASISPlugin.ml" 39 1932 1960
type(
  OASISVersion.t option * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 40 1966 1989 "src/oasis/OASISPlugin.ml" 40 1966 1991
type(
  OASISVersion.t
)
ident(
  def v1 "src/oasis/OASISPlugin.ml" 41 2004 2022 "src/oasis/OASISPlugin.ml" 41 2004 2056
)
"src/oasis/OASISPlugin.ml" 40 1966 1984 "src/oasis/OASISPlugin.ml" 40 1966 1991
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 40 1966 1998 "src/oasis/OASISPlugin.ml" 40 1966 2000
type(
  OASISVersion.t
)
ident(
  def v2 "src/oasis/OASISPlugin.ml" 41 2004 2022 "src/oasis/OASISPlugin.ml" 41 2004 2056
)
"src/oasis/OASISPlugin.ml" 40 1966 1993 "src/oasis/OASISPlugin.ml" 40 1966 2000
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 40 1966 1984 "src/oasis/OASISPlugin.ml" 40 1966 2000
type(
  OASISVersion.t option * OASISVersion.t option
)
type(
  OASISVersion.t option * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 41 2004 2022 "src/oasis/OASISPlugin.ml" 41 2004 2050
type(
  OASISVersion.t -> OASISVersion.t -> int
)
ident(
  int_ref OASISVersion.version_compare "src/oasis/OASISVersion.mli" 47 2317 2317 "src/oasis/OASISVersion.mli" 47 2317 2351
)
"src/oasis/OASISPlugin.ml" 41 2004 2051 "src/oasis/OASISPlugin.ml" 41 2004 2053
type(
  OASISVersion.t
)
ident(
  int_ref v1 "src/oasis/OASISPlugin.ml" 40 1966 1989 "src/oasis/OASISPlugin.ml" 40 1966 1991
)
"src/oasis/OASISPlugin.ml" 41 2004 2054 "src/oasis/OASISPlugin.ml" 41 2004 2056
type(
  OASISVersion.t
)
ident(
  int_ref v2 "src/oasis/OASISPlugin.ml" 40 1966 1998 "src/oasis/OASISPlugin.ml" 40 1966 2000
)
"src/oasis/OASISPlugin.ml" 41 2004 2022 "src/oasis/OASISPlugin.ml" 41 2004 2056
type(
  int
)
"src/oasis/OASISPlugin.ml" 42 2057 2075 "src/oasis/OASISPlugin.ml" 42 2057 2079
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 42 2057 2081 "src/oasis/OASISPlugin.ml" 42 2057 2082
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 42 2057 2075 "src/oasis/OASISPlugin.ml" 42 2057 2082
type(
  OASISVersion.t option * OASISVersion.t option
)
type(
  OASISVersion.t option * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 42 2057 2085 "src/oasis/OASISPlugin.ml" 42 2057 2086
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 42 2057 2088 "src/oasis/OASISPlugin.ml" 42 2057 2092
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 42 2057 2085 "src/oasis/OASISPlugin.ml" 42 2057 2092
type(
  OASISVersion.t option * OASISVersion.t option
)
type(
  OASISVersion.t option * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 42 2057 2075 "src/oasis/OASISPlugin.ml" 42 2057 2092
type(
  OASISVersion.t option * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 43 2096 2114 "src/oasis/OASISPlugin.ml" 43 2096 2115
type(
  int
)
"src/oasis/OASISPlugin.ml" 38 1914 1926 "src/oasis/OASISPlugin.ml" 44 2116 2131
type(
  int
)
"src/oasis/OASISPlugin.ml" 45 2132 2144 "src/oasis/OASISPlugin.ml" 45 2132 2145
type(
  int
)
type(
  int
)
ident(
  def n "src/oasis/OASISPlugin.ml" 46 2149 2161 "src/oasis/OASISPlugin.ml" 46 2149 2162
)
"src/oasis/OASISPlugin.ml" 46 2149 2161 "src/oasis/OASISPlugin.ml" 46 2149 2162
type(
  int
)
ident(
  int_ref n "src/oasis/OASISPlugin.ml" 45 2132 2144 "src/oasis/OASISPlugin.ml" 45 2132 2145
)
"src/oasis/OASISPlugin.ml" 35 1837 1843 "src/oasis/OASISPlugin.ml" 47 2163 2172
type(
  int
)
"src/oasis/OASISPlugin.ml" 48 2173 2179 "src/oasis/OASISPlugin.ml" 48 2173 2180
type(
  int
)
type(
  int
)
ident(
  def n "src/oasis/OASISPlugin.ml" 49 2184 2190 "src/oasis/OASISPlugin.ml" 49 2184 2191
)
"src/oasis/OASISPlugin.ml" 49 2184 2190 "src/oasis/OASISPlugin.ml" 49 2184 2191
type(
  int
)
ident(
  int_ref n "src/oasis/OASISPlugin.ml" 48 2173 2179 "src/oasis/OASISPlugin.ml" 48 2173 2180
)
"src/oasis/OASISPlugin.ml" 33 1799 1801 "src/oasis/OASISPlugin.ml" 49 2184 2191
type(
  int
)
"src/oasis/OASISPlugin.ml" 52 2194 2198 "src/oasis/OASISPlugin.ml" 52 2194 2210
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> bool
)
ident(
  def plugin_equal "src/oasis/OASISPlugin.ml" 55 2254 2254 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 52 2194 2211 "src/oasis/OASISPlugin.ml" 52 2194 2215
type(
  'a * string * OASISVersion.t option
)
ident(
  def plg1 "src/oasis/OASISPlugin.ml" 52 2194 2216 "src/oasis/OASISPlugin.ml" 52 2194 2251
)
"src/oasis/OASISPlugin.ml" 52 2194 2216 "src/oasis/OASISPlugin.ml" 52 2194 2220
type(
  'a * string * OASISVersion.t option
)
ident(
  def plg2 "src/oasis/OASISPlugin.ml" 52 2194 2223 "src/oasis/OASISPlugin.ml" 52 2194 2251
)
"src/oasis/OASISPlugin.ml" 52 2194 2223 "src/oasis/OASISPlugin.ml" 52 2194 2237
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> int
)
ident(
  int_ref plugin_compare "src/oasis/OASISPlugin.ml" 32 1750 1754 "src/oasis/OASISPlugin.ml" 32 1750 1768
)
"src/oasis/OASISPlugin.ml" 52 2194 2238 "src/oasis/OASISPlugin.ml" 52 2194 2242
type(
  'a * string * OASISVersion.t option
)
ident(
  int_ref plg1 "src/oasis/OASISPlugin.ml" 52 2194 2211 "src/oasis/OASISPlugin.ml" 52 2194 2215
)
"src/oasis/OASISPlugin.ml" 52 2194 2243 "src/oasis/OASISPlugin.ml" 52 2194 2247
type(
  'a * string * OASISVersion.t option
)
ident(
  int_ref plg2 "src/oasis/OASISPlugin.ml" 52 2194 2216 "src/oasis/OASISPlugin.ml" 52 2194 2220
)
"src/oasis/OASISPlugin.ml" 52 2194 2223 "src/oasis/OASISPlugin.ml" 52 2194 2247
type(
  int
)
"src/oasis/OASISPlugin.ml" 52 2194 2248 "src/oasis/OASISPlugin.ml" 52 2194 2249
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 52 2194 2250 "src/oasis/OASISPlugin.ml" 52 2194 2251
type(
  int
)
"src/oasis/OASISPlugin.ml" 52 2194 2223 "src/oasis/OASISPlugin.ml" 52 2194 2251
type(
  bool
)
"src/oasis/OASISPlugin.ml" 55 2254 2258 "src/oasis/OASISPlugin.ml" 55 2254 2269
type(
  'a * string * 'b -> int
)
ident(
  def plugin_hash "src/oasis/OASISPlugin.ml" 64 2370 2370 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 55 2254 2271 "src/oasis/OASISPlugin.ml" 55 2254 2272
type(
  'a
)
ident(
  def k "src/oasis/OASISPlugin.ml" 56 2282 2284 "src/oasis/OASISPlugin.ml" 56 2282 2337
)
"src/oasis/OASISPlugin.ml" 55 2254 2274 "src/oasis/OASISPlugin.ml" 55 2254 2275
type(
  string
)
ident(
  def n "src/oasis/OASISPlugin.ml" 56 2282 2284 "src/oasis/OASISPlugin.ml" 56 2282 2337
)
"src/oasis/OASISPlugin.ml" 55 2254 2277 "src/oasis/OASISPlugin.ml" 55 2254 2278
type(
  'b
)
"src/oasis/OASISPlugin.ml" 55 2254 2270 "src/oasis/OASISPlugin.ml" 55 2254 2279
type(
  'a * string * 'b
)
"src/oasis/OASISPlugin.ml" 56 2282 2284 "src/oasis/OASISPlugin.ml" 56 2282 2296
type(
  'a * string * '_weak1 option -> int
)
ident(
  int_ref Stdlib.Hashtbl.hash "hashtbl.mli" 474 18341 18341 "hashtbl.mli" 474 18341 18361
)
"src/oasis/OASISPlugin.ml" 56 2282 2298 "src/oasis/OASISPlugin.ml" 56 2282 2299
type(
  'a
)
ident(
  int_ref k "src/oasis/OASISPlugin.ml" 55 2254 2271 "src/oasis/OASISPlugin.ml" 55 2254 2272
)
"src/oasis/OASISPlugin.ml" 56 2282 2301 "src/oasis/OASISPlugin.ml" 56 2282 2328
type(
  string -> string
)
ident(
  int_ref OASISString.lowercase_ascii "src/oasis/OASISString.ml" 144 4212 4216 "src/oasis/OASISString.ml" 144 4212 4231
)
"src/oasis/OASISPlugin.ml" 56 2282 2329 "src/oasis/OASISPlugin.ml" 56 2282 2330
type(
  string
)
ident(
  int_ref n "src/oasis/OASISPlugin.ml" 55 2254 2274 "src/oasis/OASISPlugin.ml" 55 2254 2275
)
"src/oasis/OASISPlugin.ml" 56 2282 2301 "src/oasis/OASISPlugin.ml" 56 2282 2330
type(
  string
)
"src/oasis/OASISPlugin.ml" 56 2282 2332 "src/oasis/OASISPlugin.ml" 56 2282 2336
type(
  '_weak1 option
)
"src/oasis/OASISPlugin.ml" 56 2282 2297 "src/oasis/OASISPlugin.ml" 56 2282 2337
type(
  'a * string * '_weak1 option
)
"src/oasis/OASISPlugin.ml" 56 2282 2284 "src/oasis/OASISPlugin.ml" 56 2282 2337
type(
  int
)
"src/oasis/OASISPlugin.ml" 72 2517 2521 "src/oasis/OASISPlugin.ml" 72 2517 2532
type(
  unit -> 'a list ref
)
ident(
  def data_create "src/oasis/OASISPlugin.ml" 76 2549 2549 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 72 2517 2533 "src/oasis/OASISPlugin.ml" 72 2517 2535
type(
  unit
)
"src/oasis/OASISPlugin.ml" 73 2538 2540 "src/oasis/OASISPlugin.ml" 73 2538 2543
type(
  'a list -> 'a list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISPlugin.ml" 73 2538 2544 "src/oasis/OASISPlugin.ml" 73 2538 2546
type(
  'a list
)
"src/oasis/OASISPlugin.ml" 73 2538 2540 "src/oasis/OASISPlugin.ml" 73 2538 2546
type(
  'a list ref
)
"src/oasis/OASISPlugin.ml" 76 2549 2553 "src/oasis/OASISPlugin.ml" 76 2549 2570
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  ([< OASISTypes.plugin_data_purpose ] as 'a) * string *
  OASISVersion.t option ->
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
ident(
  def data_new_property "src/oasis/OASISPlugin.ml" 118 3233 3233 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 76 2549 2573 "src/oasis/OASISPlugin.ml" 76 2549 2580
type(
  OASISTypes.plugin_data_purpose option
)
type(
  OASISTypes.plugin_data_purpose option
)
ident(
  def purpose "src/oasis/OASISPlugin.ml" 76 2549 2610 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 76 2549 2610 "src/oasis/OASISPlugin.ml" 76 2549 2613
type(
  'a * string * OASISVersion.t option
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 77 2616 2618 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 77 2616 2622 "src/oasis/OASISPlugin.ml" 77 2616 2625
type(
  'a
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 80 2647 2649 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 77 2616 2627 "src/oasis/OASISPlugin.ml" 77 2616 2628
type(
  string
)
"src/oasis/OASISPlugin.ml" 77 2616 2630 "src/oasis/OASISPlugin.ml" 77 2616 2631
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 77 2616 2622 "src/oasis/OASISPlugin.ml" 77 2616 2631
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 78 2634 2638 "src/oasis/OASISPlugin.ml" 78 2634 2641
type(
  'a * string * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 76 2549 2610 "src/oasis/OASISPlugin.ml" 76 2549 2613
)
"src/oasis/OASISPlugin.ml" 80 2647 2653 "src/oasis/OASISPlugin.ml" 80 2647 2656
type(
  OASISTypes.plugin_data_purpose
)
ident(
  def prp "src/oasis/OASISPlugin.ml" 87 2778 2780 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 81 2659 2669 "src/oasis/OASISPlugin.ml" 81 2659 2676
type(
  OASISTypes.plugin_data_purpose option
)
ident(
  int_ref purpose "src/oasis/OASISPlugin.ml" 76 2549 2573 "src/oasis/OASISPlugin.ml" 76 2549 2580
)
"src/oasis/OASISPlugin.ml" 81 2659 2678 "src/oasis/OASISPlugin.ml" 81 2659 2681
type(
  'a
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 77 2616 2622 "src/oasis/OASISPlugin.ml" 77 2616 2625
)
"src/oasis/OASISPlugin.ml" 81 2659 2669 "src/oasis/OASISPlugin.ml" 81 2659 2681
type(
  OASISTypes.plugin_data_purpose option * 'a
)
"src/oasis/OASISPlugin.ml" 82 2687 2700 "src/oasis/OASISPlugin.ml" 82 2687 2701
type(
  OASISTypes.plugin_data_purpose
)
ident(
  def p "src/oasis/OASISPlugin.ml" 83 2708 2716 "src/oasis/OASISPlugin.ml" 83 2708 2717
)
"src/oasis/OASISPlugin.ml" 82 2687 2695 "src/oasis/OASISPlugin.ml" 82 2687 2701
type(
  OASISTypes.plugin_data_purpose option
)
"src/oasis/OASISPlugin.ml" 82 2687 2703 "src/oasis/OASISPlugin.ml" 82 2687 2704
type(
  'a
)
"src/oasis/OASISPlugin.ml" 82 2687 2695 "src/oasis/OASISPlugin.ml" 82 2687 2704
type(
  OASISTypes.plugin_data_purpose option * 'a
)
type(
  OASISTypes.plugin_data_purpose option * 'a
)
"src/oasis/OASISPlugin.ml" 83 2708 2716 "src/oasis/OASISPlugin.ml" 83 2708 2717
type(
  OASISTypes.plugin_data_purpose
)
ident(
  int_ref p "src/oasis/OASISPlugin.ml" 82 2687 2700 "src/oasis/OASISPlugin.ml" 82 2687 2701
)
"src/oasis/OASISPlugin.ml" 84 2718 2726 "src/oasis/OASISPlugin.ml" 84 2718 2727
type(
  OASISTypes.plugin_data_purpose option
)
"src/oasis/OASISPlugin.ml" 84 2718 2729 "src/oasis/OASISPlugin.ml" 84 2718 2732
type(
  'a
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 85 2736 2745 "src/oasis/OASISPlugin.ml" 85 2736 2748
)
"src/oasis/OASISPlugin.ml" 84 2718 2726 "src/oasis/OASISPlugin.ml" 84 2718 2732
type(
  OASISTypes.plugin_data_purpose option * 'a
)
type(
  OASISTypes.plugin_data_purpose option * 'a
)
"src/oasis/OASISPlugin.ml" 85 2736 2745 "src/oasis/OASISPlugin.ml" 85 2736 2748
type(
  OASISTypes.plugin_data_purpose
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 84 2718 2729 "src/oasis/OASISPlugin.ml" 84 2718 2732
)
"src/oasis/OASISPlugin.ml" 81 2659 2663 "src/oasis/OASISPlugin.ml" 85 2736 2772
type(
  OASISTypes.plugin_data_purpose
)
"src/oasis/OASISPlugin.ml" 87 2778 2784 "src/oasis/OASISPlugin.ml" 87 2778 2785
type(
  'b option ref
)
ident(
  def v "src/oasis/OASISPlugin.ml" 90 2806 2808 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 88 2788 2792 "src/oasis/OASISPlugin.ml" 88 2788 2795
type(
  'b option -> 'b option ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISPlugin.ml" 88 2788 2796 "src/oasis/OASISPlugin.ml" 88 2788 2800
type(
  'b option
)
"src/oasis/OASISPlugin.ml" 88 2788 2792 "src/oasis/OASISPlugin.ml" 88 2788 2800
type(
  'b option ref
)
"src/oasis/OASISPlugin.ml" 90 2806 2812 "src/oasis/OASISPlugin.ml" 90 2806 2815
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref -> 'b -> unit
)
ident(
  def set "src/oasis/OASISPlugin.ml" 94 2879 2881 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 90 2806 2816 "src/oasis/OASISPlugin.ml" 90 2806 2817
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref
)
ident(
  def t "src/oasis/OASISPlugin.ml" 90 2806 2818 "src/oasis/OASISPlugin.ml" 91 2822 2872
)
"src/oasis/OASISPlugin.ml" 90 2806 2818 "src/oasis/OASISPlugin.ml" 90 2806 2819
type(
  'b
)
ident(
  def x "src/oasis/OASISPlugin.ml" 91 2822 2826 "src/oasis/OASISPlugin.ml" 91 2822 2872
)
"src/oasis/OASISPlugin.ml" 91 2822 2826 "src/oasis/OASISPlugin.ml" 91 2822 2827
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 90 2806 2816 "src/oasis/OASISPlugin.ml" 90 2806 2817
)
"src/oasis/OASISPlugin.ml" 91 2822 2828 "src/oasis/OASISPlugin.ml" 91 2822 2830
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref ->
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISPlugin.ml" 91 2822 2832 "src/oasis/OASISPlugin.ml" 91 2822 2835
type(
  'a * string * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 76 2549 2610 "src/oasis/OASISPlugin.ml" 76 2549 2613
)
"src/oasis/OASISPlugin.ml" 91 2822 2837 "src/oasis/OASISPlugin.ml" 91 2822 2840
type(
  OASISTypes.plugin_data_purpose
)
ident(
  int_ref prp "src/oasis/OASISPlugin.ml" 80 2647 2653 "src/oasis/OASISPlugin.ml" 80 2647 2656
)
"src/oasis/OASISPlugin.ml" 91 2822 2847 "src/oasis/OASISPlugin.ml" 91 2822 2849
type(
  unit
)
"src/oasis/OASISPlugin.ml" 91 2822 2853 "src/oasis/OASISPlugin.ml" 91 2822 2854
type(
  'b option ref
)
ident(
  int_ref v "src/oasis/OASISPlugin.ml" 87 2778 2784 "src/oasis/OASISPlugin.ml" 87 2778 2785
)
"src/oasis/OASISPlugin.ml" 91 2822 2855 "src/oasis/OASISPlugin.ml" 91 2822 2857
type(
  'b option ref -> 'b option -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISPlugin.ml" 91 2822 2863 "src/oasis/OASISPlugin.ml" 91 2822 2864
type(
  'b
)
ident(
  int_ref x "src/oasis/OASISPlugin.ml" 90 2806 2818 "src/oasis/OASISPlugin.ml" 90 2806 2819
)
"src/oasis/OASISPlugin.ml" 91 2822 2858 "src/oasis/OASISPlugin.ml" 91 2822 2864
type(
  'b option
)
"src/oasis/OASISPlugin.ml" 91 2822 2853 "src/oasis/OASISPlugin.ml" 91 2822 2864
type(
  unit
)
"src/oasis/OASISPlugin.ml" 91 2822 2842 "src/oasis/OASISPlugin.ml" 91 2822 2865
type(
  unit -> unit
)
"src/oasis/OASISPlugin.ml" 91 2822 2831 "src/oasis/OASISPlugin.ml" 91 2822 2866
type(
  ('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
  (unit -> unit)
)
"src/oasis/OASISPlugin.ml" 91 2822 2870 "src/oasis/OASISPlugin.ml" 91 2822 2871
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref ->
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISPlugin.ml" 91 2822 2871 "src/oasis/OASISPlugin.ml" 91 2822 2872
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 90 2806 2816 "src/oasis/OASISPlugin.ml" 90 2806 2817
)
"src/oasis/OASISPlugin.ml" 91 2822 2870 "src/oasis/OASISPlugin.ml" 91 2822 2872
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list
)
"src/oasis/OASISPlugin.ml" 91 2822 2831 "src/oasis/OASISPlugin.ml" 91 2822 2872
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list
)
"src/oasis/OASISPlugin.ml" 91 2822 2826 "src/oasis/OASISPlugin.ml" 91 2822 2872
type(
  unit
)
"src/oasis/OASISPlugin.ml" 94 2879 2885 "src/oasis/OASISPlugin.ml" 94 2879 2888
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list ref -> 'b
)
ident(
  def get "src/oasis/OASISPlugin.ml" 112 3199 3201 "src/oasis/OASISPlugin.ml" 112 3199 3211
)
"src/oasis/OASISPlugin.ml" 94 2879 2889 "src/oasis/OASISPlugin.ml" 94 2879 2890
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list ref
)
ident(
  def t "src/oasis/OASISPlugin.ml" 95 2893 2897 "src/oasis/OASISPlugin.ml" 110 3174 3193
)
"src/oasis/OASISPlugin.ml" 96 2901 2911 "src/oasis/OASISPlugin.ml" 96 2901 2912
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 96 2901 2914 "src/oasis/OASISPlugin.ml" 96 2901 2915
type(
  OASISTypes.plugin_data_purpose
)
"src/oasis/OASISPlugin.ml" 96 2901 2917 "src/oasis/OASISPlugin.ml" 96 2901 2918
type(
  unit -> 'd
)
ident(
  def f "src/oasis/OASISPlugin.ml" 102 3045 3051 "src/oasis/OASISPlugin.ml" 107 3127 3150
)
"src/oasis/OASISPlugin.ml" 96 2901 2911 "src/oasis/OASISPlugin.ml" 96 2901 2918
type(
  ('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
  (unit -> 'd)
)
"src/oasis/OASISPlugin.ml" 97 2921 2929 "src/oasis/OASISPlugin.ml" 97 2921 2938
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd) -> bool) ->
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list ->
  ('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
  (unit -> 'd)
)
ident(
  int_ref Stdlib.List.find "list.mli" 305 10263 10263 "list.mli" 305 10263 10303
)
"src/oasis/OASISPlugin.ml" 98 2939 2955 "src/oasis/OASISPlugin.ml" 98 2939 2959
type(
  'a * string * OASISVersion.t option
)
ident(
  def plg' "src/oasis/OASISPlugin.ml" 99 2973 2986 "src/oasis/OASISPlugin.ml" 99 2973 3021
)
"src/oasis/OASISPlugin.ml" 98 2939 2961 "src/oasis/OASISPlugin.ml" 98 2939 2965
type(
  OASISTypes.plugin_data_purpose
)
ident(
  def prp' "src/oasis/OASISPlugin.ml" 99 2973 2986 "src/oasis/OASISPlugin.ml" 99 2973 3021
)
"src/oasis/OASISPlugin.ml" 98 2939 2967 "src/oasis/OASISPlugin.ml" 98 2939 2968
type(
  unit -> 'd
)
"src/oasis/OASISPlugin.ml" 98 2939 2954 "src/oasis/OASISPlugin.ml" 98 2939 2969
type(
  ('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
  (unit -> 'd)
)
"src/oasis/OASISPlugin.ml" 99 2973 2986 "src/oasis/OASISPlugin.ml" 99 2973 2989
type(
  OASISTypes.plugin_data_purpose
)
ident(
  int_ref prp "src/oasis/OASISPlugin.ml" 80 2647 2653 "src/oasis/OASISPlugin.ml" 80 2647 2656
)
"src/oasis/OASISPlugin.ml" 99 2973 2990 "src/oasis/OASISPlugin.ml" 99 2973 2991
type(
  OASISTypes.plugin_data_purpose -> OASISTypes.plugin_data_purpose -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 99 2973 2992 "src/oasis/OASISPlugin.ml" 99 2973 2996
type(
  OASISTypes.plugin_data_purpose
)
ident(
  int_ref prp' "src/oasis/OASISPlugin.ml" 98 2939 2961 "src/oasis/OASISPlugin.ml" 98 2939 2965
)
"src/oasis/OASISPlugin.ml" 99 2973 2986 "src/oasis/OASISPlugin.ml" 99 2973 2996
type(
  bool
)
"src/oasis/OASISPlugin.ml" 99 2973 2997 "src/oasis/OASISPlugin.ml" 99 2973 2999
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISPlugin.ml" 99 2973 3000 "src/oasis/OASISPlugin.ml" 99 2973 3012
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> bool
)
ident(
  int_ref plugin_equal "src/oasis/OASISPlugin.ml" 52 2194 2198 "src/oasis/OASISPlugin.ml" 52 2194 2210
)
"src/oasis/OASISPlugin.ml" 99 2973 3013 "src/oasis/OASISPlugin.ml" 99 2973 3016
type(
  'a * string * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 76 2549 2610 "src/oasis/OASISPlugin.ml" 76 2549 2613
)
"src/oasis/OASISPlugin.ml" 99 2973 3017 "src/oasis/OASISPlugin.ml" 99 2973 3021
type(
  'a * string * OASISVersion.t option
)
ident(
  int_ref plg' "src/oasis/OASISPlugin.ml" 98 2939 2955 "src/oasis/OASISPlugin.ml" 98 2939 2959
)
"src/oasis/OASISPlugin.ml" 99 2973 3000 "src/oasis/OASISPlugin.ml" 99 2973 3021
type(
  bool
)
"src/oasis/OASISPlugin.ml" 99 2973 2986 "src/oasis/OASISPlugin.ml" 99 2973 3021
type(
  bool
)
"src/oasis/OASISPlugin.ml" 98 2939 2949 "src/oasis/OASISPlugin.ml" 99 2973 3022
type(
  ('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
  (unit -> 'd) -> bool
)
"src/oasis/OASISPlugin.ml" 100 3023 3033 "src/oasis/OASISPlugin.ml" 100 3023 3034
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list ref ->
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISPlugin.ml" 100 3023 3034 "src/oasis/OASISPlugin.ml" 100 3023 3035
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list ref
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 94 2879 2889 "src/oasis/OASISPlugin.ml" 94 2879 2890
)
"src/oasis/OASISPlugin.ml" 100 3023 3033 "src/oasis/OASISPlugin.ml" 100 3023 3035
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'd))
  list
)
"src/oasis/OASISPlugin.ml" 97 2921 2929 "src/oasis/OASISPlugin.ml" 100 3023 3035
type(
  ('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
  (unit -> 'd)
)
"src/oasis/OASISPlugin.ml" 102 3045 3051 "src/oasis/OASISPlugin.ml" 102 3045 3052
type(
  unit -> 'd
)
ident(
  int_ref f "src/oasis/OASISPlugin.ml" 96 2901 2917 "src/oasis/OASISPlugin.ml" 96 2901 2918
)
"src/oasis/OASISPlugin.ml" 102 3045 3053 "src/oasis/OASISPlugin.ml" 102 3045 3055
type(
  unit
)
"src/oasis/OASISPlugin.ml" 102 3045 3051 "src/oasis/OASISPlugin.ml" 102 3045 3055
type(
  'd
)
"src/oasis/OASISPlugin.ml" 103 3057 3069 "src/oasis/OASISPlugin.ml" 103 3057 3070
type(
  'b option ref -> 'b option
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISPlugin.ml" 103 3057 3070 "src/oasis/OASISPlugin.ml" 103 3057 3071
type(
  'b option ref
)
ident(
  int_ref v "src/oasis/OASISPlugin.ml" 87 2778 2784 "src/oasis/OASISPlugin.ml" 87 2778 2785
)
"src/oasis/OASISPlugin.ml" 103 3057 3069 "src/oasis/OASISPlugin.ml" 103 3057 3071
type(
  'b option
)
"src/oasis/OASISPlugin.ml" 104 3077 3092 "src/oasis/OASISPlugin.ml" 104 3077 3093
type(
  'b
)
ident(
  def x "src/oasis/OASISPlugin.ml" 105 3097 3107 "src/oasis/OASISPlugin.ml" 105 3097 3108
)
"src/oasis/OASISPlugin.ml" 104 3077 3087 "src/oasis/OASISPlugin.ml" 104 3077 3093
type(
  'b option
)
type(
  'b option
)
"src/oasis/OASISPlugin.ml" 105 3097 3107 "src/oasis/OASISPlugin.ml" 105 3097 3108
type(
  'b
)
ident(
  int_ref x "src/oasis/OASISPlugin.ml" 104 3077 3092 "src/oasis/OASISPlugin.ml" 104 3077 3093
)
"src/oasis/OASISPlugin.ml" 106 3109 3119 "src/oasis/OASISPlugin.ml" 106 3109 3123
type(
  'b option
)
type(
  'b option
)
"src/oasis/OASISPlugin.ml" 107 3127 3137 "src/oasis/OASISPlugin.ml" 107 3127 3142
type(
  exn -> 'b
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISPlugin.ml" 107 3127 3143 "src/oasis/OASISPlugin.ml" 107 3127 3150
type(
  exn
)
"src/oasis/OASISPlugin.ml" 107 3127 3137 "src/oasis/OASISPlugin.ml" 107 3127 3150
type(
  'b
)
"src/oasis/OASISPlugin.ml" 103 3057 3063 "src/oasis/OASISPlugin.ml" 107 3127 3150
type(
  'b
)
"src/oasis/OASISPlugin.ml" 102 3045 3051 "src/oasis/OASISPlugin.ml" 107 3127 3150
type(
  'b
)
"src/oasis/OASISPlugin.ml" 96 2901 2907 "src/oasis/OASISPlugin.ml" 107 3127 3150
type(
  'b
)
"src/oasis/OASISPlugin.ml" 109 3152 3161 "src/oasis/OASISPlugin.ml" 109 3152 3170
type(
  exn
)
"src/oasis/OASISPlugin.ml" 110 3174 3180 "src/oasis/OASISPlugin.ml" 110 3174 3185
type(
  exn -> 'b
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISPlugin.ml" 110 3174 3186 "src/oasis/OASISPlugin.ml" 110 3174 3193
type(
  exn
)
"src/oasis/OASISPlugin.ml" 110 3174 3180 "src/oasis/OASISPlugin.ml" 110 3174 3193
type(
  'b
)
"src/oasis/OASISPlugin.ml" 95 2893 2897 "src/oasis/OASISPlugin.ml" 110 3174 3193
type(
  'b
)
"src/oasis/OASISPlugin.ml" 112 3199 3202 "src/oasis/OASISPlugin.ml" 112 3199 3205
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> unit))
  list ref -> 'b -> unit
)
ident(
  int_ref set "src/oasis/OASISPlugin.ml" 90 2806 2812 "src/oasis/OASISPlugin.ml" 90 2806 2815
)
"src/oasis/OASISPlugin.ml" 112 3199 3207 "src/oasis/OASISPlugin.ml" 112 3199 3210
type(
  (('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
   (unit -> 'c))
  list ref -> 'b
)
ident(
  int_ref get "src/oasis/OASISPlugin.ml" 94 2879 2885 "src/oasis/OASISPlugin.ml" 94 2879 2888
)
"src/oasis/OASISPlugin.ml" 112 3199 3201 "src/oasis/OASISPlugin.ml" 112 3199 3211
type(
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
"src/oasis/OASISPlugin.ml" 94 2879 2881 "src/oasis/OASISPlugin.ml" 112 3199 3211
type(
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
"src/oasis/OASISPlugin.ml" 90 2806 2808 "src/oasis/OASISPlugin.ml" 112 3199 3211
type(
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
"src/oasis/OASISPlugin.ml" 87 2778 2780 "src/oasis/OASISPlugin.ml" 112 3199 3211
type(
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
"src/oasis/OASISPlugin.ml" 80 2647 2649 "src/oasis/OASISPlugin.ml" 112 3199 3211
type(
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
"src/oasis/OASISPlugin.ml" 77 2616 2618 "src/oasis/OASISPlugin.ml" 112 3199 3211
type(
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> unit))
   list ref -> 'b -> unit) *
  ((('a * string * OASISVersion.t option) * OASISTypes.plugin_data_purpose *
    (unit -> 'c))
   list ref -> 'b)
)
"src/oasis/OASISPlugin.ml" 167 4258 4265 "src/oasis/OASISPlugin.ml" 167 4258 4274
ident(
  def MapPlugin "src/oasis/OASISPlugin.ml" 172 4366 4372 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 171 4333 4341 "src/oasis/OASISPlugin.ml" 171 4333 4348
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> int
)
ident(
  def compare "src/oasis/OASISPlugin.ml" 171 4333 4365 "src/oasis/OASISPlugin.ml" 172 4366 4371
)
"src/oasis/OASISPlugin.ml" 171 4333 4351 "src/oasis/OASISPlugin.ml" 171 4333 4365
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> int
)
ident(
  int_ref plugin_compare "src/oasis/OASISPlugin.ml" 32 1750 1754 "src/oasis/OASISPlugin.ml" 32 1750 1768
)
"src/oasis/OASISPlugin.ml" 175 4375 4382 "src/oasis/OASISPlugin.ml" 175 4375 4391
ident(
  def SetPlugin "src/oasis/OASISPlugin.ml" 180 4483 4489 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 179 4450 4458 "src/oasis/OASISPlugin.ml" 179 4450 4465
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> int
)
ident(
  def compare "src/oasis/OASISPlugin.ml" 179 4450 4482 "src/oasis/OASISPlugin.ml" 180 4483 4488
)
"src/oasis/OASISPlugin.ml" 179 4450 4468 "src/oasis/OASISPlugin.ml" 179 4450 4482
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> int
)
ident(
  int_ref plugin_compare "src/oasis/OASISPlugin.ml" 32 1750 1754 "src/oasis/OASISPlugin.ml" 32 1750 1768
)
"src/oasis/OASISPlugin.ml" 183 4492 4496 "src/oasis/OASISPlugin.ml" 183 4492 4510
type(
  OASISTypes.plugin_kind * string * 'a -> SetPlugin.t -> bool
)
ident(
  def mem_no_version "src/oasis/OASISPlugin.ml" 192 4715 4715 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 183 4492 4512 "src/oasis/OASISPlugin.ml" 183 4492 4515
type(
  OASISTypes.plugin_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 183 4492 4524 "src/oasis/OASISPlugin.ml" 190 4696 4713
)
"src/oasis/OASISPlugin.ml" 183 4492 4517 "src/oasis/OASISPlugin.ml" 183 4492 4519
type(
  string
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 183 4492 4524 "src/oasis/OASISPlugin.ml" 190 4696 4713
)
"src/oasis/OASISPlugin.ml" 183 4492 4521 "src/oasis/OASISPlugin.ml" 183 4492 4522
type(
  'a
)
"src/oasis/OASISPlugin.ml" 183 4492 4511 "src/oasis/OASISPlugin.ml" 183 4492 4523
type(
  OASISTypes.plugin_kind * string * 'a
)
"src/oasis/OASISPlugin.ml" 183 4492 4524 "src/oasis/OASISPlugin.ml" 183 4492 4531
type(
  SetPlugin.t
)
ident(
  def plugins "src/oasis/OASISPlugin.ml" 184 4534 4536 "src/oasis/OASISPlugin.ml" 190 4696 4713
)
"src/oasis/OASISPlugin.ml" 184 4534 4536 "src/oasis/OASISPlugin.ml" 184 4534 4550
type(
  (SetPlugin.elt -> bool -> bool) -> SetPlugin.t -> bool -> bool
)
ident(
  int_ref SetPlugin.fold "set.mli" 141 5301 5305 "set.mli" 141 5301 5349
)
"src/oasis/OASISPlugin.ml" 185 4551 4561 "src/oasis/OASISPlugin.ml" 185 4551 4565
type(
  OASISTypes.plugin_kind
)
ident(
  def knd' "src/oasis/OASISPlugin.ml" 185 4551 4575 "src/oasis/OASISPlugin.ml" 189 4680 4694
)
"src/oasis/OASISPlugin.ml" 185 4551 4567 "src/oasis/OASISPlugin.ml" 185 4551 4570
type(
  OASISTypes.name
)
ident(
  def nm' "src/oasis/OASISPlugin.ml" 185 4551 4575 "src/oasis/OASISPlugin.ml" 189 4680 4694
)
"src/oasis/OASISPlugin.ml" 185 4551 4572 "src/oasis/OASISPlugin.ml" 185 4551 4573
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 185 4551 4560 "src/oasis/OASISPlugin.ml" 185 4551 4574
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 185 4551 4575 "src/oasis/OASISPlugin.ml" 185 4551 4580
type(
  bool
)
ident(
  def found "src/oasis/OASISPlugin.ml" 186 4584 4591 "src/oasis/OASISPlugin.ml" 189 4680 4694
)
"src/oasis/OASISPlugin.ml" 186 4584 4594 "src/oasis/OASISPlugin.ml" 186 4584 4597
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISPlugin.ml" 186 4584 4598 "src/oasis/OASISPlugin.ml" 186 4584 4603
type(
  bool
)
ident(
  int_ref found "src/oasis/OASISPlugin.ml" 185 4551 4575 "src/oasis/OASISPlugin.ml" 185 4551 4580
)
"src/oasis/OASISPlugin.ml" 186 4584 4594 "src/oasis/OASISPlugin.ml" 186 4584 4603
type(
  bool
)
"src/oasis/OASISPlugin.ml" 187 4609 4618 "src/oasis/OASISPlugin.ml" 187 4609 4621
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 183 4492 4512 "src/oasis/OASISPlugin.ml" 183 4492 4515
)
"src/oasis/OASISPlugin.ml" 187 4609 4622 "src/oasis/OASISPlugin.ml" 187 4609 4623
type(
  OASISTypes.plugin_kind -> OASISTypes.plugin_kind -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 187 4609 4624 "src/oasis/OASISPlugin.ml" 187 4609 4628
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd' "src/oasis/OASISPlugin.ml" 185 4551 4561 "src/oasis/OASISPlugin.ml" 185 4551 4565
)
"src/oasis/OASISPlugin.ml" 187 4609 4618 "src/oasis/OASISPlugin.ml" 187 4609 4628
type(
  bool
)
"src/oasis/OASISPlugin.ml" 187 4609 4629 "src/oasis/OASISPlugin.ml" 187 4609 4631
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISPlugin.ml" 187 4609 4633 "src/oasis/OASISPlugin.ml" 187 4609 4655
type(
  string -> OASISTypes.name -> int
)
ident(
  int_ref OASISUtils.compare_csl "src/oasis/OASISUtils.mli" 147 4598 4598 "src/oasis/OASISUtils.mli" 147 4598 4638
)
"src/oasis/OASISPlugin.ml" 187 4609 4656 "src/oasis/OASISPlugin.ml" 187 4609 4658
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 183 4492 4517 "src/oasis/OASISPlugin.ml" 183 4492 4519
)
"src/oasis/OASISPlugin.ml" 187 4609 4659 "src/oasis/OASISPlugin.ml" 187 4609 4662
type(
  OASISTypes.name
)
ident(
  int_ref nm' "src/oasis/OASISPlugin.ml" 185 4551 4567 "src/oasis/OASISPlugin.ml" 185 4551 4570
)
"src/oasis/OASISPlugin.ml" 187 4609 4633 "src/oasis/OASISPlugin.ml" 187 4609 4662
type(
  int
)
"src/oasis/OASISPlugin.ml" 187 4609 4663 "src/oasis/OASISPlugin.ml" 187 4609 4664
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 187 4609 4665 "src/oasis/OASISPlugin.ml" 187 4609 4666
type(
  int
)
"src/oasis/OASISPlugin.ml" 187 4609 4632 "src/oasis/OASISPlugin.ml" 187 4609 4667
type(
  bool
)
"src/oasis/OASISPlugin.ml" 187 4609 4618 "src/oasis/OASISPlugin.ml" 187 4609 4667
type(
  bool
)
"src/oasis/OASISPlugin.ml" 189 4680 4689 "src/oasis/OASISPlugin.ml" 189 4680 4694
type(
  bool
)
ident(
  int_ref found "src/oasis/OASISPlugin.ml" 185 4551 4575 "src/oasis/OASISPlugin.ml" 185 4551 4580
)
"src/oasis/OASISPlugin.ml" 186 4584 4591 "src/oasis/OASISPlugin.ml" 189 4680 4694
type(
  bool
)
"src/oasis/OASISPlugin.ml" 185 4551 4555 "src/oasis/OASISPlugin.ml" 189 4680 4695
type(
  SetPlugin.elt -> bool -> bool
)
"src/oasis/OASISPlugin.ml" 190 4696 4700 "src/oasis/OASISPlugin.ml" 190 4696 4707
type(
  SetPlugin.t
)
ident(
  int_ref plugins "src/oasis/OASISPlugin.ml" 183 4492 4524 "src/oasis/OASISPlugin.ml" 183 4492 4531
)
"src/oasis/OASISPlugin.ml" 190 4696 4708 "src/oasis/OASISPlugin.ml" 190 4696 4713
type(
  bool
)
"src/oasis/OASISPlugin.ml" 184 4534 4536 "src/oasis/OASISPlugin.ml" 190 4696 4713
type(
  bool
)
"src/oasis/OASISPlugin.ml" 192 4715 4722 "src/oasis/OASISPlugin.ml" 192 4715 4732
ident(
  def HashPlugin "src/oasis/OASISPlugin.ml" 198 4857 4865 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 196 4796 4806 "src/oasis/OASISPlugin.ml" 196 4796 4811
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> bool
)
ident(
  def equal "src/oasis/OASISPlugin.ml" 197 4827 4833 "src/oasis/OASISPlugin.ml" 198 4857 4864
)
"src/oasis/OASISPlugin.ml" 196 4796 4814 "src/oasis/OASISPlugin.ml" 196 4796 4826
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> bool
)
ident(
  int_ref plugin_equal "src/oasis/OASISPlugin.ml" 52 2194 2198 "src/oasis/OASISPlugin.ml" 52 2194 2210
)
"src/oasis/OASISPlugin.ml" 197 4827 4837 "src/oasis/OASISPlugin.ml" 197 4827 4841
type(
  'b * string * 'c -> int
)
ident(
  def hash "src/oasis/OASISPlugin.ml" 197 4827 4856 "src/oasis/OASISPlugin.ml" 198 4857 4864
)
"src/oasis/OASISPlugin.ml" 197 4827 4845 "src/oasis/OASISPlugin.ml" 197 4827 4856
type(
  'b * string * 'c -> int
)
ident(
  int_ref plugin_hash "src/oasis/OASISPlugin.ml" 55 2254 2258 "src/oasis/OASISPlugin.ml" 55 2254 2269
)
"src/oasis/OASISPlugin.ml" 201 4868 4875 "src/oasis/OASISPlugin.ml" 201 4868 4888
ident(
  def HashPluginAll "src/oasis/OASISPlugin.ml" 207 5007 5015 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 205 4947 4957 "src/oasis/OASISPlugin.ml" 205 4947 4962
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> bool
)
ident(
  def equal "src/oasis/OASISPlugin.ml" 206 4978 4984 "src/oasis/OASISPlugin.ml" 207 5007 5014
)
"src/oasis/OASISPlugin.ml" 205 4947 4965 "src/oasis/OASISPlugin.ml" 205 4947 4977
type(
  'a * string * OASISVersion.t option ->
  'a * string * OASISVersion.t option -> bool
)
ident(
  int_ref plugin_equal "src/oasis/OASISPlugin.ml" 52 2194 2198 "src/oasis/OASISPlugin.ml" 52 2194 2210
)
"src/oasis/OASISPlugin.ml" 206 4978 4988 "src/oasis/OASISPlugin.ml" 206 4978 4992
type(
  'b * string * 'c -> int
)
ident(
  def hash "src/oasis/OASISPlugin.ml" 206 4978 5006 "src/oasis/OASISPlugin.ml" 207 5007 5014
)
"src/oasis/OASISPlugin.ml" 206 4978 4995 "src/oasis/OASISPlugin.ml" 206 4978 5006
type(
  'b * string * 'c -> int
)
ident(
  int_ref plugin_hash "src/oasis/OASISPlugin.ml" 55 2254 2258 "src/oasis/OASISPlugin.ml" 55 2254 2269
)
"src/oasis/OASISPlugin.ml" 211 5063 5067 "src/oasis/OASISPlugin.ml" 211 5063 5077
type(
  'a HashPlugin.t ->
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option -> 'a
)
ident(
  def find_fuzzy "src/oasis/OASISPlugin.ml" 218 5200 5200 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 211 5063 5078 "src/oasis/OASISPlugin.ml" 211 5063 5081
type(
  'a HashPlugin.t
)
ident(
  def tbl "src/oasis/OASISPlugin.ml" 211 5063 5082 "src/oasis/OASISPlugin.ml" 215 5158 5197
)
"src/oasis/OASISPlugin.ml" 211 5063 5084 "src/oasis/OASISPlugin.ml" 211 5063 5087
type(
  OASISTypes.plugin_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 212 5105 5107 "src/oasis/OASISPlugin.ml" 215 5158 5197
)
"src/oasis/OASISPlugin.ml" 211 5063 5089 "src/oasis/OASISPlugin.ml" 211 5063 5091
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 212 5105 5107 "src/oasis/OASISPlugin.ml" 215 5158 5197
)
"src/oasis/OASISPlugin.ml" 211 5063 5093 "src/oasis/OASISPlugin.ml" 211 5063 5094
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 211 5063 5083 "src/oasis/OASISPlugin.ml" 211 5063 5095
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 211 5063 5082 "src/oasis/OASISPlugin.ml" 211 5063 5102
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  def id "src/oasis/OASISPlugin.ml" 212 5105 5107 "src/oasis/OASISPlugin.ml" 215 5158 5197
)
"src/oasis/OASISPlugin.ml" 213 5111 5115 "src/oasis/OASISPlugin.ml" 213 5111 5130
type(
  'a HashPlugin.t -> HashPlugin.key -> 'a
)
ident(
  int_ref HashPlugin.find "hashtbl.mli" 343 13964 13968 "hashtbl.mli" 343 13964 13996
)
"src/oasis/OASISPlugin.ml" 213 5111 5131 "src/oasis/OASISPlugin.ml" 213 5111 5134
type(
  'a HashPlugin.t
)
ident(
  int_ref tbl "src/oasis/OASISPlugin.ml" 211 5063 5078 "src/oasis/OASISPlugin.ml" 211 5063 5081
)
"src/oasis/OASISPlugin.ml" 213 5111 5135 "src/oasis/OASISPlugin.ml" 213 5111 5137
type(
  HashPlugin.key
)
ident(
  int_ref id "src/oasis/OASISPlugin.ml" 211 5063 5082 "src/oasis/OASISPlugin.ml" 211 5063 5102
)
"src/oasis/OASISPlugin.ml" 213 5111 5115 "src/oasis/OASISPlugin.ml" 213 5111 5137
type(
  'a
)
"src/oasis/OASISPlugin.ml" 214 5138 5145 "src/oasis/OASISPlugin.ml" 214 5138 5154
type(
  exn
)
"src/oasis/OASISPlugin.ml" 215 5158 5162 "src/oasis/OASISPlugin.ml" 215 5158 5177
type(
  'a HashPlugin.t -> HashPlugin.key -> 'a
)
ident(
  int_ref HashPlugin.find "hashtbl.mli" 343 13964 13968 "hashtbl.mli" 343 13964 13996
)
"src/oasis/OASISPlugin.ml" 215 5158 5178 "src/oasis/OASISPlugin.ml" 215 5158 5181
type(
  'a HashPlugin.t
)
ident(
  int_ref tbl "src/oasis/OASISPlugin.ml" 211 5063 5078 "src/oasis/OASISPlugin.ml" 211 5063 5081
)
"src/oasis/OASISPlugin.ml" 215 5158 5183 "src/oasis/OASISPlugin.ml" 215 5158 5186
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 211 5063 5084 "src/oasis/OASISPlugin.ml" 211 5063 5087
)
"src/oasis/OASISPlugin.ml" 215 5158 5188 "src/oasis/OASISPlugin.ml" 215 5158 5190
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 211 5063 5089 "src/oasis/OASISPlugin.ml" 211 5063 5091
)
"src/oasis/OASISPlugin.ml" 215 5158 5192 "src/oasis/OASISPlugin.ml" 215 5158 5196
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 215 5158 5182 "src/oasis/OASISPlugin.ml" 215 5158 5197
type(
  HashPlugin.key
)
"src/oasis/OASISPlugin.ml" 215 5158 5162 "src/oasis/OASISPlugin.ml" 215 5158 5197
type(
  'a
)
"src/oasis/OASISPlugin.ml" 212 5105 5107 "src/oasis/OASISPlugin.ml" 215 5158 5197
type(
  'a
)
"src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
type(
  'a * string * OASISVersion.t option -> string
)
ident(
  def string_of_plugin "src/oasis/OASISPlugin.ml" 229 5385 5385 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 218 5200 5222 "src/oasis/OASISPlugin.ml" 218 5200 5223
type(
  'a
)
"src/oasis/OASISPlugin.ml" 218 5200 5225 "src/oasis/OASISPlugin.ml" 218 5200 5227
type(
  string
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 219 5235 5237 "src/oasis/OASISPlugin.ml" 226 5374 5382
)
"src/oasis/OASISPlugin.ml" 218 5200 5229 "src/oasis/OASISPlugin.ml" 218 5200 5231
type(
  OASISVersion.t option
)
ident(
  def vo "src/oasis/OASISPlugin.ml" 219 5235 5237 "src/oasis/OASISPlugin.ml" 226 5374 5382
)
"src/oasis/OASISPlugin.ml" 218 5200 5221 "src/oasis/OASISPlugin.ml" 218 5200 5232
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 219 5235 5243 "src/oasis/OASISPlugin.ml" 219 5235 5245
type(
  OASISVersion.t option
)
ident(
  int_ref vo "src/oasis/OASISPlugin.ml" 218 5200 5229 "src/oasis/OASISPlugin.ml" 218 5200 5231
)
"src/oasis/OASISPlugin.ml" 220 5251 5262 "src/oasis/OASISPlugin.ml" 220 5251 5263
type(
  OASISVersion.t
)
ident(
  def v "src/oasis/OASISPlugin.ml" 221 5267 5273 "src/oasis/OASISPlugin.ml" 224 5317 5359
)
"src/oasis/OASISPlugin.ml" 220 5251 5257 "src/oasis/OASISPlugin.ml" 220 5251 5263
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 221 5267 5273 "src/oasis/OASISPlugin.ml" 221 5267 5287
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISPlugin.ml" 222 5288 5296 "src/oasis/OASISPlugin.ml" 222 5288 5305
type(
  (string -> string -> string, unit, string) format
)
"src/oasis/OASISPlugin.ml" 223 5306 5314 "src/oasis/OASISPlugin.ml" 223 5306 5316
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 218 5200 5225 "src/oasis/OASISPlugin.ml" 218 5200 5227
)
"src/oasis/OASISPlugin.ml" 224 5317 5326 "src/oasis/OASISPlugin.ml" 224 5317 5356
type(
  OASISVersion.t -> string
)
ident(
  int_ref OASISVersion.string_of_version "src/oasis/OASISVersion.mli" 57 2463 2463 "src/oasis/OASISVersion.mli" 57 2463 2497
)
"src/oasis/OASISPlugin.ml" 224 5317 5357 "src/oasis/OASISPlugin.ml" 224 5317 5358
type(
  OASISVersion.t
)
ident(
  int_ref v "src/oasis/OASISPlugin.ml" 220 5251 5262 "src/oasis/OASISPlugin.ml" 220 5251 5263
)
"src/oasis/OASISPlugin.ml" 224 5317 5325 "src/oasis/OASISPlugin.ml" 224 5317 5359
type(
  string
)
"src/oasis/OASISPlugin.ml" 221 5267 5273 "src/oasis/OASISPlugin.ml" 224 5317 5359
type(
  string
)
"src/oasis/OASISPlugin.ml" 225 5360 5366 "src/oasis/OASISPlugin.ml" 225 5360 5370
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 226 5374 5380 "src/oasis/OASISPlugin.ml" 226 5374 5382
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 218 5200 5225 "src/oasis/OASISPlugin.ml" 218 5200 5227
)
"src/oasis/OASISPlugin.ml" 219 5235 5237 "src/oasis/OASISPlugin.ml" 226 5374 5382
type(
  string
)
"src/oasis/OASISPlugin.ml" 229 5385 5389 "src/oasis/OASISPlugin.ml" 229 5385 5405
type(
  'a -> string -> 'a * string * OASISVersion.t option
)
ident(
  def plugin_of_string "src/oasis/OASISPlugin.ml" 237 5595 5595 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 229 5385 5406 "src/oasis/OASISPlugin.ml" 229 5385 5409
type(
  'a
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 229 5385 5410 "src/oasis/OASISPlugin.ml" 234 5572 5592
)
"src/oasis/OASISPlugin.ml" 229 5385 5410 "src/oasis/OASISPlugin.ml" 229 5385 5413
type(
  string
)
ident(
  def str "src/oasis/OASISPlugin.ml" 230 5416 5418 "src/oasis/OASISPlugin.ml" 234 5572 5592
)
"src/oasis/OASISPlugin.ml" 230 5416 5424 "src/oasis/OASISPlugin.ml" 230 5416 5462
type(
  string -> string * string option
)
ident(
  int_ref OASISString.split_optional_parentheses "src/oasis/OASISString.ml" 299 7749 7753 "src/oasis/OASISString.ml" 299 7749 7779
)
"src/oasis/OASISPlugin.ml" 230 5416 5463 "src/oasis/OASISPlugin.ml" 230 5416 5466
type(
  string
)
ident(
  int_ref str "src/oasis/OASISPlugin.ml" 229 5385 5410 "src/oasis/OASISPlugin.ml" 229 5385 5413
)
"src/oasis/OASISPlugin.ml" 230 5416 5424 "src/oasis/OASISPlugin.ml" 230 5416 5466
type(
  string * string option
)
"src/oasis/OASISPlugin.ml" 231 5472 5478 "src/oasis/OASISPlugin.ml" 231 5472 5481
type(
  string
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 232 5495 5501 "src/oasis/OASISPlugin.ml" 232 5495 5552
)
"src/oasis/OASISPlugin.ml" 231 5472 5488 "src/oasis/OASISPlugin.ml" 231 5472 5491
type(
  string
)
ident(
  def ver "src/oasis/OASISPlugin.ml" 232 5495 5501 "src/oasis/OASISPlugin.ml" 232 5495 5552
)
"src/oasis/OASISPlugin.ml" 231 5472 5483 "src/oasis/OASISPlugin.ml" 231 5472 5491
type(
  string option
)
"src/oasis/OASISPlugin.ml" 231 5472 5478 "src/oasis/OASISPlugin.ml" 231 5472 5491
type(
  string * string option
)
type(
  string * string option
)
"src/oasis/OASISPlugin.ml" 232 5495 5501 "src/oasis/OASISPlugin.ml" 232 5495 5504
type(
  'a
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 229 5385 5406 "src/oasis/OASISPlugin.ml" 229 5385 5409
)
"src/oasis/OASISPlugin.ml" 232 5495 5506 "src/oasis/OASISPlugin.ml" 232 5495 5509
type(
  string
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 231 5472 5478 "src/oasis/OASISPlugin.ml" 231 5472 5481
)
"src/oasis/OASISPlugin.ml" 232 5495 5517 "src/oasis/OASISPlugin.ml" 232 5495 5547
type(
  string -> OASISVersion.t
)
ident(
  int_ref OASISVersion.version_of_string "src/oasis/OASISVersion.mli" 52 2390 2390 "src/oasis/OASISVersion.mli" 52 2390 2424
)
"src/oasis/OASISPlugin.ml" 232 5495 5548 "src/oasis/OASISPlugin.ml" 232 5495 5551
type(
  string
)
ident(
  int_ref ver "src/oasis/OASISPlugin.ml" 231 5472 5488 "src/oasis/OASISPlugin.ml" 231 5472 5491
)
"src/oasis/OASISPlugin.ml" 232 5495 5516 "src/oasis/OASISPlugin.ml" 232 5495 5552
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 232 5495 5511 "src/oasis/OASISPlugin.ml" 232 5495 5552
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 232 5495 5501 "src/oasis/OASISPlugin.ml" 232 5495 5552
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 233 5553 5559 "src/oasis/OASISPlugin.ml" 233 5553 5562
type(
  string
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 234 5572 5578 "src/oasis/OASISPlugin.ml" 234 5572 5592
)
"src/oasis/OASISPlugin.ml" 233 5553 5564 "src/oasis/OASISPlugin.ml" 233 5553 5568
type(
  string option
)
"src/oasis/OASISPlugin.ml" 233 5553 5559 "src/oasis/OASISPlugin.ml" 233 5553 5568
type(
  string * string option
)
type(
  string * string option
)
"src/oasis/OASISPlugin.ml" 234 5572 5578 "src/oasis/OASISPlugin.ml" 234 5572 5581
type(
  'a
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 229 5385 5406 "src/oasis/OASISPlugin.ml" 229 5385 5409
)
"src/oasis/OASISPlugin.ml" 234 5572 5583 "src/oasis/OASISPlugin.ml" 234 5572 5586
type(
  string
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 233 5553 5559 "src/oasis/OASISPlugin.ml" 233 5553 5562
)
"src/oasis/OASISPlugin.ml" 234 5572 5588 "src/oasis/OASISPlugin.ml" 234 5572 5592
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 234 5572 5578 "src/oasis/OASISPlugin.ml" 234 5572 5592
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 230 5416 5418 "src/oasis/OASISPlugin.ml" 234 5572 5592
type(
  'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 237 5595 5599 "src/oasis/OASISPlugin.ml" 237 5595 5616
type(
  'a -> string -> ('a * string * OASISVersion.t option) list
)
ident(
  def plugins_of_string "src/oasis/OASISPlugin.ml" 246 5733 5733 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 237 5595 5617 "src/oasis/OASISPlugin.ml" 237 5595 5620
type(
  'a
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 237 5595 5621 "src/oasis/OASISPlugin.ml" 240 5665 5698
)
"src/oasis/OASISPlugin.ml" 237 5595 5621 "src/oasis/OASISPlugin.ml" 237 5595 5624
type(
  string
)
ident(
  def str "src/oasis/OASISPlugin.ml" 238 5627 5629 "src/oasis/OASISPlugin.ml" 240 5665 5698
)
"src/oasis/OASISPlugin.ml" 238 5627 5629 "src/oasis/OASISPlugin.ml" 238 5627 5637
type(
  (string -> 'a * string * OASISVersion.t option) ->
  string list -> ('a * string * OASISVersion.t option) list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISPlugin.ml" 239 5638 5643 "src/oasis/OASISPlugin.ml" 239 5638 5659
type(
  'a -> string -> 'a * string * OASISVersion.t option
)
ident(
  int_ref plugin_of_string "src/oasis/OASISPlugin.ml" 229 5385 5389 "src/oasis/OASISPlugin.ml" 229 5385 5405
)
"src/oasis/OASISPlugin.ml" 239 5638 5660 "src/oasis/OASISPlugin.ml" 239 5638 5663
type(
  'a
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 237 5595 5617 "src/oasis/OASISPlugin.ml" 237 5595 5620
)
"src/oasis/OASISPlugin.ml" 239 5638 5642 "src/oasis/OASISPlugin.ml" 239 5638 5664
type(
  string -> 'a * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 240 5665 5670 "src/oasis/OASISPlugin.ml" 240 5665 5693
type(
  string -> string list
)
ident(
  int_ref OASISString.split_comma "src/oasis/OASISString.ml" 285 7432 7436 "src/oasis/OASISString.ml" 285 7432 7447
)
"src/oasis/OASISPlugin.ml" 240 5665 5694 "src/oasis/OASISPlugin.ml" 240 5665 5697
type(
  string
)
ident(
  int_ref str "src/oasis/OASISPlugin.ml" 237 5595 5621 "src/oasis/OASISPlugin.ml" 237 5595 5624
)
"src/oasis/OASISPlugin.ml" 240 5665 5669 "src/oasis/OASISPlugin.ml" 240 5665 5698
type(
  string list
)
"src/oasis/OASISPlugin.ml" 238 5627 5629 "src/oasis/OASISPlugin.ml" 240 5665 5698
type(
  ('a * string * OASISVersion.t option) list
)
"src/oasis/OASISPlugin.ml" 253 5815 5819 "src/oasis/OASISPlugin.ml" 253 5815 5827
type(
  help HashPluginAll.t
)
ident(
  def help_all "src/oasis/OASISPlugin.ml" 257 5857 5857 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 254 5830 5832 "src/oasis/OASISPlugin.ml" 254 5830 5852
type(
  int -> help HashPluginAll.t
)
ident(
  int_ref HashPluginAll.create "hashtbl.mli" 336 13750 13754 "hashtbl.mli" 336 13750 13778
)
"src/oasis/OASISPlugin.ml" 254 5830 5853 "src/oasis/OASISPlugin.ml" 254 5830 5854
type(
  int
)
"src/oasis/OASISPlugin.ml" 254 5830 5832 "src/oasis/OASISPlugin.ml" 254 5830 5854
type(
  help HashPluginAll.t
)
"src/oasis/OASISPlugin.ml" 257 5857 5861 "src/oasis/OASISPlugin.ml" 257 5857 5873
type(
  string list -> help
)
ident(
  def help_default "src/oasis/OASISPlugin.ml" 264 5942 5942 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 257 5857 5874 "src/oasis/OASISPlugin.ml" 257 5857 5877
type(
  string list
)
ident(
  def lst "src/oasis/OASISPlugin.ml" 258 5880 5882 "src/oasis/OASISPlugin.ml" 261 5936 5939
)
"src/oasis/OASISPlugin.ml" 259 5884 5906 "src/oasis/OASISPlugin.ml" 259 5884 5909
type(
  string list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 257 5857 5874 "src/oasis/OASISPlugin.ml" 257 5857 5877
)
"src/oasis/OASISPlugin.ml" 260 5911 5933 "src/oasis/OASISPlugin.ml" 260 5911 5934
type(
  int
)
"src/oasis/OASISPlugin.ml" 258 5880 5882 "src/oasis/OASISPlugin.ml" 261 5936 5939
type(
  help
)
"src/oasis/OASISPlugin.ml" 264 5942 5946 "src/oasis/OASISPlugin.ml" 264 5942 5959
type(
  'a * OASISTypes.name * OASISVersion.t option -> help -> unit
)
ident(
  def register_help "src/oasis/OASISPlugin.ml" 268 6032 6032 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 264 5942 5961 "src/oasis/OASISPlugin.ml" 264 5942 5962
type(
  'a
)
"src/oasis/OASISPlugin.ml" 264 5942 5964 "src/oasis/OASISPlugin.ml" 264 5942 5966
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 264 5942 5972 "src/oasis/OASISPlugin.ml" 265 5978 6029
)
"src/oasis/OASISPlugin.ml" 264 5942 5968 "src/oasis/OASISPlugin.ml" 264 5942 5970
type(
  OASISVersion.t option
)
ident(
  def vo "src/oasis/OASISPlugin.ml" 264 5942 5972 "src/oasis/OASISPlugin.ml" 265 5978 6029
)
"src/oasis/OASISPlugin.ml" 264 5942 5960 "src/oasis/OASISPlugin.ml" 264 5942 5971
type(
  'a * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 264 5942 5972 "src/oasis/OASISPlugin.ml" 264 5942 5975
type(
  help
)
ident(
  def hlp "src/oasis/OASISPlugin.ml" 265 5978 5980 "src/oasis/OASISPlugin.ml" 265 5978 6029
)
"src/oasis/OASISPlugin.ml" 265 5978 5980 "src/oasis/OASISPlugin.ml" 265 5978 6001
type(
  help HashPluginAll.t -> HashPluginAll.key -> help -> unit
)
ident(
  int_ref HashPluginAll.replace "hashtbl.mli" 348 14109 14113 "hashtbl.mli" 348 14109 14152
)
"src/oasis/OASISPlugin.ml" 265 5978 6002 "src/oasis/OASISPlugin.ml" 265 5978 6010
type(
  help HashPluginAll.t
)
ident(
  int_ref help_all "src/oasis/OASISPlugin.ml" 253 5815 5819 "src/oasis/OASISPlugin.ml" 253 5815 5827
)
"src/oasis/OASISPlugin.ml" 265 5978 6012 "src/oasis/OASISPlugin.ml" 265 5978 6016
type(
  [ `All ]
)
"src/oasis/OASISPlugin.ml" 265 5978 6018 "src/oasis/OASISPlugin.ml" 265 5978 6020
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 264 5942 5964 "src/oasis/OASISPlugin.ml" 264 5942 5966
)
"src/oasis/OASISPlugin.ml" 265 5978 6022 "src/oasis/OASISPlugin.ml" 265 5978 6024
type(
  OASISVersion.t option
)
ident(
  int_ref vo "src/oasis/OASISPlugin.ml" 264 5942 5968 "src/oasis/OASISPlugin.ml" 264 5942 5970
)
"src/oasis/OASISPlugin.ml" 265 5978 6011 "src/oasis/OASISPlugin.ml" 265 5978 6025
type(
  HashPluginAll.key
)
"src/oasis/OASISPlugin.ml" 265 5978 6026 "src/oasis/OASISPlugin.ml" 265 5978 6029
type(
  help
)
ident(
  int_ref hlp "src/oasis/OASISPlugin.ml" 264 5942 5972 "src/oasis/OASISPlugin.ml" 264 5942 5975
)
"src/oasis/OASISPlugin.ml" 265 5978 5980 "src/oasis/OASISPlugin.ml" 265 5978 6029
type(
  unit
)
"src/oasis/OASISPlugin.ml" 268 6032 6036 "src/oasis/OASISPlugin.ml" 268 6032 6040
type(
  HashPluginAll.key -> help
)
ident(
  def help "src/oasis/OASISPlugin.ml" 271 6081 6081 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 268 6032 6041 "src/oasis/OASISPlugin.ml" 268 6032 6044
type(
  HashPluginAll.key
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 268 6032 6047 "src/oasis/OASISPlugin.ml" 268 6032 6078
)
"src/oasis/OASISPlugin.ml" 268 6032 6047 "src/oasis/OASISPlugin.ml" 268 6032 6065
type(
  help HashPluginAll.t -> HashPluginAll.key -> help
)
ident(
  int_ref HashPluginAll.find "hashtbl.mli" 343 13964 13968 "hashtbl.mli" 343 13964 13996
)
"src/oasis/OASISPlugin.ml" 268 6032 6066 "src/oasis/OASISPlugin.ml" 268 6032 6074
type(
  help HashPluginAll.t
)
ident(
  int_ref help_all "src/oasis/OASISPlugin.ml" 253 5815 5819 "src/oasis/OASISPlugin.ml" 253 5815 5827
)
"src/oasis/OASISPlugin.ml" 268 6032 6075 "src/oasis/OASISPlugin.ml" 268 6032 6078
type(
  HashPluginAll.key
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 268 6032 6041 "src/oasis/OASISPlugin.ml" 268 6032 6044
)
"src/oasis/OASISPlugin.ml" 268 6032 6047 "src/oasis/OASISPlugin.ml" 268 6032 6078
type(
  help
)
"src/oasis/OASISPlugin.ml" 271 6081 6085 "src/oasis/OASISPlugin.ml" 271 6081 6096
type(
  OASISVersion.t HashPlugin.t
)
ident(
  def version_all "src/oasis/OASISPlugin.ml" 274 6121 6121 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 271 6081 6099 "src/oasis/OASISPlugin.ml" 271 6081 6116
type(
  int -> OASISVersion.t HashPlugin.t
)
ident(
  int_ref HashPlugin.create "hashtbl.mli" 336 13750 13754 "hashtbl.mli" 336 13750 13778
)
"src/oasis/OASISPlugin.ml" 271 6081 6117 "src/oasis/OASISPlugin.ml" 271 6081 6118
type(
  int
)
"src/oasis/OASISPlugin.ml" 271 6081 6099 "src/oasis/OASISPlugin.ml" 271 6081 6118
type(
  OASISVersion.t HashPlugin.t
)
"src/oasis/OASISPlugin.ml" 274 6121 6125 "src/oasis/OASISPlugin.ml" 274 6121 6128
type(
  OASISVersion.t HashPlugin.t
)
ident(
  def all "src/oasis/OASISPlugin.ml" 277 6145 6145 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 274 6121 6131 "src/oasis/OASISPlugin.ml" 274 6121 6142
type(
  OASISVersion.t HashPlugin.t
)
ident(
  int_ref version_all "src/oasis/OASISPlugin.ml" 271 6081 6085 "src/oasis/OASISPlugin.ml" 271 6081 6096
)
"src/oasis/OASISPlugin.ml" 277 6145 6149 "src/oasis/OASISPlugin.ml" 277 6145 6160
type(
  unit -> HashPlugin.key list
)
ident(
  def all_plugins "src/oasis/OASISPlugin.ml" 280 6218 6218 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 277 6145 6161 "src/oasis/OASISPlugin.ml" 277 6145 6163
type(
  unit
)
"src/oasis/OASISPlugin.ml" 278 6166 6168 "src/oasis/OASISPlugin.ml" 278 6166 6183
type(
  (HashPlugin.key ->
   OASISVersion.t -> HashPlugin.key list -> HashPlugin.key list) ->
  OASISVersion.t HashPlugin.t -> HashPlugin.key list -> HashPlugin.key list
)
ident(
  int_ref HashPlugin.fold "hashtbl.mli" 355 14339 14343 "hashtbl.mli" 355 14339 14397
)
"src/oasis/OASISPlugin.ml" 278 6166 6189 "src/oasis/OASISPlugin.ml" 278 6166 6190
type(
  HashPlugin.key
)
ident(
  def k "src/oasis/OASISPlugin.ml" 278 6166 6191 "src/oasis/OASISPlugin.ml" 278 6166 6208
)
"src/oasis/OASISPlugin.ml" 278 6166 6191 "src/oasis/OASISPlugin.ml" 278 6166 6192
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 278 6166 6193 "src/oasis/OASISPlugin.ml" 278 6166 6196
type(
  HashPlugin.key list
)
ident(
  def acc "src/oasis/OASISPlugin.ml" 278 6166 6200 "src/oasis/OASISPlugin.ml" 278 6166 6208
)
"src/oasis/OASISPlugin.ml" 278 6166 6200 "src/oasis/OASISPlugin.ml" 278 6166 6201
type(
  HashPlugin.key
)
ident(
  int_ref k "src/oasis/OASISPlugin.ml" 278 6166 6189 "src/oasis/OASISPlugin.ml" 278 6166 6190
)
"src/oasis/OASISPlugin.ml" 278 6166 6205 "src/oasis/OASISPlugin.ml" 278 6166 6208
type(
  HashPlugin.key list
)
ident(
  int_ref acc "src/oasis/OASISPlugin.ml" 278 6166 6193 "src/oasis/OASISPlugin.ml" 278 6166 6196
)
"src/oasis/OASISPlugin.ml" 278 6166 6200 "src/oasis/OASISPlugin.ml" 278 6166 6208
type(
  HashPlugin.key list
)
"src/oasis/OASISPlugin.ml" 278 6166 6184 "src/oasis/OASISPlugin.ml" 278 6166 6209
type(
  HashPlugin.key ->
  OASISVersion.t -> HashPlugin.key list -> HashPlugin.key list
)
"src/oasis/OASISPlugin.ml" 278 6166 6210 "src/oasis/OASISPlugin.ml" 278 6166 6213
type(
  OASISVersion.t HashPlugin.t
)
ident(
  int_ref all "src/oasis/OASISPlugin.ml" 274 6121 6125 "src/oasis/OASISPlugin.ml" 274 6121 6128
)
"src/oasis/OASISPlugin.ml" 278 6166 6214 "src/oasis/OASISPlugin.ml" 278 6166 6216
type(
  HashPlugin.key list
)
"src/oasis/OASISPlugin.ml" 278 6166 6168 "src/oasis/OASISPlugin.ml" 278 6166 6216
type(
  HashPlugin.key list
)
"src/oasis/OASISPlugin.ml" 280 6218 6222 "src/oasis/OASISPlugin.ml" 280 6218 6224
type(
  OASISTypes.plugin_kind -> OASISTypes.name list
)
ident(
  def ls "src/oasis/OASISPlugin.ml" 290 6394 6394 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 280 6218 6225 "src/oasis/OASISPlugin.ml" 280 6218 6228
type(
  OASISTypes.plugin_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 281 6231 6233 "src/oasis/OASISPlugin.ml" 288 6386 6392
)
"src/oasis/OASISPlugin.ml" 281 6231 6233 "src/oasis/OASISPlugin.ml" 281 6231 6248
type(
  (HashPlugin.key ->
   OASISVersion.t -> OASISTypes.name list -> OASISTypes.name list) ->
  OASISVersion.t HashPlugin.t -> OASISTypes.name list -> OASISTypes.name list
)
ident(
  int_ref HashPlugin.fold "hashtbl.mli" 355 14339 14343 "hashtbl.mli" 355 14339 14397
)
"src/oasis/OASISPlugin.ml" 282 6249 6260 "src/oasis/OASISPlugin.ml" 282 6249 6264
type(
  OASISTypes.plugin_kind
)
ident(
  def knd' "src/oasis/OASISPlugin.ml" 282 6249 6279 "src/oasis/OASISPlugin.ml" 286 6364 6376
)
"src/oasis/OASISPlugin.ml" 282 6249 6266 "src/oasis/OASISPlugin.ml" 282 6249 6267
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 282 6249 6269 "src/oasis/OASISPlugin.ml" 282 6249 6270
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 282 6249 6259 "src/oasis/OASISPlugin.ml" 282 6249 6271
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 282 6249 6258 "src/oasis/OASISPlugin.ml" 282 6249 6278
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  def id "src/oasis/OASISPlugin.ml" 282 6249 6279 "src/oasis/OASISPlugin.ml" 286 6364 6376
)
"src/oasis/OASISPlugin.ml" 282 6249 6279 "src/oasis/OASISPlugin.ml" 282 6249 6280
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 282 6249 6281 "src/oasis/OASISPlugin.ml" 282 6249 6284
type(
  OASISTypes.name list
)
ident(
  def lst "src/oasis/OASISPlugin.ml" 283 6288 6295 "src/oasis/OASISPlugin.ml" 286 6364 6376
)
"src/oasis/OASISPlugin.ml" 283 6288 6298 "src/oasis/OASISPlugin.ml" 283 6288 6301
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 280 6218 6225 "src/oasis/OASISPlugin.ml" 280 6218 6228
)
"src/oasis/OASISPlugin.ml" 283 6288 6302 "src/oasis/OASISPlugin.ml" 283 6288 6303
type(
  OASISTypes.plugin_kind -> OASISTypes.plugin_kind -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 283 6288 6304 "src/oasis/OASISPlugin.ml" 283 6288 6308
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd' "src/oasis/OASISPlugin.ml" 282 6249 6260 "src/oasis/OASISPlugin.ml" 282 6249 6264
)
"src/oasis/OASISPlugin.ml" 283 6288 6298 "src/oasis/OASISPlugin.ml" 283 6288 6308
type(
  bool
)
"src/oasis/OASISPlugin.ml" 284 6314 6324 "src/oasis/OASISPlugin.ml" 284 6314 6340
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option ->
  OASISTypes.name
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 284 6314 6341 "src/oasis/OASISPlugin.ml" 284 6314 6343
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref id "src/oasis/OASISPlugin.ml" 282 6249 6258 "src/oasis/OASISPlugin.ml" 282 6249 6278
)
"src/oasis/OASISPlugin.ml" 284 6314 6323 "src/oasis/OASISPlugin.ml" 284 6314 6344
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 284 6314 6348 "src/oasis/OASISPlugin.ml" 284 6314 6351
type(
  OASISTypes.name list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 282 6249 6281 "src/oasis/OASISPlugin.ml" 282 6249 6284
)
"src/oasis/OASISPlugin.ml" 284 6314 6323 "src/oasis/OASISPlugin.ml" 284 6314 6351
type(
  OASISTypes.name list
)
"src/oasis/OASISPlugin.ml" 286 6364 6373 "src/oasis/OASISPlugin.ml" 286 6364 6376
type(
  OASISTypes.name list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 282 6249 6281 "src/oasis/OASISPlugin.ml" 282 6249 6284
)
"src/oasis/OASISPlugin.ml" 283 6288 6295 "src/oasis/OASISPlugin.ml" 286 6364 6376
type(
  OASISTypes.name list
)
"src/oasis/OASISPlugin.ml" 282 6249 6253 "src/oasis/OASISPlugin.ml" 286 6364 6377
type(
  HashPlugin.key ->
  OASISVersion.t -> OASISTypes.name list -> OASISTypes.name list
)
"src/oasis/OASISPlugin.ml" 287 6378 6382 "src/oasis/OASISPlugin.ml" 287 6378 6385
type(
  OASISVersion.t HashPlugin.t
)
ident(
  int_ref all "src/oasis/OASISPlugin.ml" 274 6121 6125 "src/oasis/OASISPlugin.ml" 274 6121 6128
)
"src/oasis/OASISPlugin.ml" 288 6386 6390 "src/oasis/OASISPlugin.ml" 288 6386 6392
type(
  OASISTypes.name list
)
"src/oasis/OASISPlugin.ml" 281 6231 6233 "src/oasis/OASISPlugin.ml" 288 6386 6392
type(
  OASISTypes.name list
)
"src/oasis/OASISPlugin.ml" 290 6394 6398 "src/oasis/OASISPlugin.ml" 290 6394 6412
type(
  ctxt:OASISContext.t ->
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option -> unit
)
ident(
  def load_if_absent "src/oasis/OASISPlugin.ml" 310 6974 6974 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 290 6394 6414 "src/oasis/OASISPlugin.ml" 290 6394 6418
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISPlugin.ml" 290 6394 6419 "src/oasis/OASISPlugin.ml" 303 6933 6938
)
"src/oasis/OASISPlugin.ml" 290 6394 6421 "src/oasis/OASISPlugin.ml" 290 6394 6422
type(
  OASISTypes.plugin_kind
)
"src/oasis/OASISPlugin.ml" 290 6394 6424 "src/oasis/OASISPlugin.ml" 290 6394 6426
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 291 6441 6443 "src/oasis/OASISPlugin.ml" 303 6933 6938
)
"src/oasis/OASISPlugin.ml" 290 6394 6428 "src/oasis/OASISPlugin.ml" 290 6394 6429
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 290 6394 6420 "src/oasis/OASISPlugin.ml" 290 6394 6430
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 290 6394 6419 "src/oasis/OASISPlugin.ml" 290 6394 6438
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 291 6441 6443 "src/oasis/OASISPlugin.ml" 303 6933 6938
)
"src/oasis/OASISPlugin.ml" 291 6441 6446 "src/oasis/OASISPlugin.ml" 291 6441 6449
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISPlugin.ml" 291 6441 6451 "src/oasis/OASISPlugin.ml" 291 6441 6465
type(
  OASISVersion.t HashPlugin.t -> HashPlugin.key -> bool
)
ident(
  int_ref HashPlugin.mem "hashtbl.mli" 349 14153 14157 "hashtbl.mli" 349 14153 14186
)
"src/oasis/OASISPlugin.ml" 291 6441 6466 "src/oasis/OASISPlugin.ml" 291 6441 6469
type(
  OASISVersion.t HashPlugin.t
)
ident(
  int_ref all "src/oasis/OASISPlugin.ml" 274 6121 6125 "src/oasis/OASISPlugin.ml" 274 6121 6128
)
"src/oasis/OASISPlugin.ml" 291 6441 6470 "src/oasis/OASISPlugin.ml" 291 6441 6473
type(
  HashPlugin.key
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 290 6394 6419 "src/oasis/OASISPlugin.ml" 290 6394 6438
)
"src/oasis/OASISPlugin.ml" 291 6441 6450 "src/oasis/OASISPlugin.ml" 291 6441 6474
type(
  bool
)
"src/oasis/OASISPlugin.ml" 291 6441 6446 "src/oasis/OASISPlugin.ml" 291 6441 6474
type(
  bool
)
"src/oasis/OASISPlugin.ml" 292 6486 6494 "src/oasis/OASISPlugin.ml" 292 6486 6501
type(
  OASISTypes.name
)
ident(
  def plg_str "src/oasis/OASISPlugin.ml" 293 6528 6532 "src/oasis/OASISPlugin.ml" 302 6872 6932
)
"src/oasis/OASISPlugin.ml" 292 6486 6504 "src/oasis/OASISPlugin.ml" 292 6486 6520
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option ->
  OASISTypes.name
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 292 6486 6521 "src/oasis/OASISPlugin.ml" 292 6486 6524
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 290 6394 6419 "src/oasis/OASISPlugin.ml" 290 6394 6438
)
"src/oasis/OASISPlugin.ml" 292 6486 6504 "src/oasis/OASISPlugin.ml" 292 6486 6524
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 293 6528 6532 "src/oasis/OASISPlugin.ml" 293 6528 6549
type(
  ctxt:OASISContext.t ->
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISMessage.info "src/oasis/OASISMessage.mli" 49 2287 2287 "src/oasis/OASISMessage.mli" 49 2287 2358
)
"src/oasis/OASISPlugin.ml" 293 6528 6551 "src/oasis/OASISPlugin.ml" 293 6528 6555
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 290 6394 6414 "src/oasis/OASISPlugin.ml" 290 6394 6418
)
"src/oasis/OASISPlugin.ml" 293 6528 6556 "src/oasis/OASISPlugin.ml" 293 6528 6580
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 293 6528 6581 "src/oasis/OASISPlugin.ml" 293 6528 6588
type(
  OASISTypes.name
)
ident(
  int_ref plg_str "src/oasis/OASISPlugin.ml" 292 6486 6494 "src/oasis/OASISPlugin.ml" 292 6486 6501
)
"src/oasis/OASISPlugin.ml" 293 6528 6532 "src/oasis/OASISPlugin.ml" 293 6528 6588
type(
  unit
)
"src/oasis/OASISPlugin.ml" 294 6590 6597 "src/oasis/OASISPlugin.ml" 294 6590 6601
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 290 6394 6414 "src/oasis/OASISPlugin.ml" 290 6394 6418
)
"src/oasis/OASISPlugin.ml" 294 6590 6597 "src/oasis/OASISPlugin.ml" 294 6590 6632
type(
  OASISTypes.name -> bool
)
"src/oasis/OASISPlugin.ml" 294 6590 6633 "src/oasis/OASISPlugin.ml" 294 6590 6635
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 290 6394 6424 "src/oasis/OASISPlugin.ml" 290 6394 6426
)
"src/oasis/OASISPlugin.ml" 294 6590 6597 "src/oasis/OASISPlugin.ml" 294 6590 6635
type(
  bool
)
"src/oasis/OASISPlugin.ml" 295 6641 6650 "src/oasis/OASISPlugin.ml" 295 6641 6653
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISPlugin.ml" 295 6641 6655 "src/oasis/OASISPlugin.ml" 295 6641 6669
type(
  OASISVersion.t HashPlugin.t -> HashPlugin.key -> bool
)
ident(
  int_ref HashPlugin.mem "hashtbl.mli" 349 14153 14157 "hashtbl.mli" 349 14153 14186
)
"src/oasis/OASISPlugin.ml" 295 6641 6670 "src/oasis/OASISPlugin.ml" 295 6641 6673
type(
  OASISVersion.t HashPlugin.t
)
ident(
  int_ref all "src/oasis/OASISPlugin.ml" 274 6121 6125 "src/oasis/OASISPlugin.ml" 274 6121 6128
)
"src/oasis/OASISPlugin.ml" 295 6641 6674 "src/oasis/OASISPlugin.ml" 295 6641 6677
type(
  HashPlugin.key
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 290 6394 6419 "src/oasis/OASISPlugin.ml" 290 6394 6438
)
"src/oasis/OASISPlugin.ml" 295 6641 6654 "src/oasis/OASISPlugin.ml" 295 6641 6678
type(
  bool
)
"src/oasis/OASISPlugin.ml" 295 6641 6650 "src/oasis/OASISPlugin.ml" 295 6641 6678
type(
  bool
)
"src/oasis/OASISPlugin.ml" 296 6684 6692 "src/oasis/OASISPlugin.ml" 296 6684 6701
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISPlugin.ml" 297 6702 6713 "src/oasis/OASISPlugin.ml" 297 6702 6715
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 297 6702 6716 "src/oasis/OASISPlugin.ml" 297 6702 6772
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 297 6702 6712 "src/oasis/OASISPlugin.ml" 297 6702 6773
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 298 6774 6784 "src/oasis/OASISPlugin.ml" 298 6774 6791
type(
  OASISTypes.name
)
ident(
  int_ref plg_str "src/oasis/OASISPlugin.ml" 292 6486 6494 "src/oasis/OASISPlugin.ml" 292 6486 6501
)
"src/oasis/OASISPlugin.ml" 296 6684 6692 "src/oasis/OASISPlugin.ml" 298 6774 6791
type(
  unit
)
"src/oasis/OASISPlugin.ml" 300 6803 6811 "src/oasis/OASISPlugin.ml" 300 6803 6828
type(
  ctxt:OASISContext.t ->
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISMessage.info "src/oasis/OASISMessage.mli" 49 2287 2287 "src/oasis/OASISMessage.mli" 49 2287 2358
)
"src/oasis/OASISPlugin.ml" 300 6803 6830 "src/oasis/OASISPlugin.ml" 300 6803 6834
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 290 6394 6414 "src/oasis/OASISPlugin.ml" 290 6394 6418
)
"src/oasis/OASISPlugin.ml" 300 6803 6835 "src/oasis/OASISPlugin.ml" 300 6803 6854
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 300 6803 6855 "src/oasis/OASISPlugin.ml" 300 6803 6862
type(
  OASISTypes.name
)
ident(
  int_ref plg_str "src/oasis/OASISPlugin.ml" 292 6486 6494 "src/oasis/OASISPlugin.ml" 292 6486 6501
)
"src/oasis/OASISPlugin.ml" 300 6803 6811 "src/oasis/OASISPlugin.ml" 300 6803 6862
type(
  unit
)
"src/oasis/OASISPlugin.ml" 295 6641 6647 "src/oasis/OASISPlugin.ml" 300 6803 6862
type(
  unit
)
"src/oasis/OASISPlugin.ml" 302 6872 6878 "src/oasis/OASISPlugin.ml" 302 6872 6895
type(
  ctxt:OASISContext.t ->
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISMessage.info "src/oasis/OASISMessage.mli" 49 2287 2287 "src/oasis/OASISMessage.mli" 49 2287 2358
)
"src/oasis/OASISPlugin.ml" 302 6872 6897 "src/oasis/OASISPlugin.ml" 302 6872 6901
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 290 6394 6414 "src/oasis/OASISPlugin.ml" 290 6394 6418
)
"src/oasis/OASISPlugin.ml" 302 6872 6902 "src/oasis/OASISPlugin.ml" 302 6872 6924
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 302 6872 6925 "src/oasis/OASISPlugin.ml" 302 6872 6932
type(
  OASISTypes.name
)
ident(
  int_ref plg_str "src/oasis/OASISPlugin.ml" 292 6486 6494 "src/oasis/OASISPlugin.ml" 292 6486 6501
)
"src/oasis/OASISPlugin.ml" 302 6872 6878 "src/oasis/OASISPlugin.ml" 302 6872 6932
type(
  unit
)
"src/oasis/OASISPlugin.ml" 294 6590 6594 "src/oasis/OASISPlugin.ml" 302 6872 6932
type(
  unit
)
"src/oasis/OASISPlugin.ml" 293 6528 6532 "src/oasis/OASISPlugin.ml" 302 6872 6932
type(
  unit
)
"src/oasis/OASISPlugin.ml" 291 6441 6480 "src/oasis/OASISPlugin.ml" 303 6933 6938
type(
  unit
)
"src/oasis/OASISPlugin.ml" 291 6441 6443 "src/oasis/OASISPlugin.ml" 303 6933 6938
type(
  unit
)
"src/oasis/OASISPlugin.ml" 310 6974 6978 "src/oasis/OASISPlugin.ml" 310 6974 6993
type(
  (OASISTypes.package -> OASISTypes.package) HashPlugin.t
)
ident(
  def qstrt_cmplt_all "src/oasis/OASISPlugin.ml" 314 7020 7020 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 311 6996 6998 "src/oasis/OASISPlugin.ml" 311 6996 7015
type(
  int -> (OASISTypes.package -> OASISTypes.package) HashPlugin.t
)
ident(
  int_ref HashPlugin.create "hashtbl.mli" 336 13750 13754 "hashtbl.mli" 336 13750 13778
)
"src/oasis/OASISPlugin.ml" 311 6996 7016 "src/oasis/OASISPlugin.ml" 311 6996 7017
type(
  int
)
"src/oasis/OASISPlugin.ml" 311 6996 6998 "src/oasis/OASISPlugin.ml" 311 6996 7017
type(
  (OASISTypes.package -> OASISTypes.package) HashPlugin.t
)
"src/oasis/OASISPlugin.ml" 314 7020 7024 "src/oasis/OASISPlugin.ml" 314 7020 7054
type(
  HashPlugin.key -> (OASISTypes.package -> OASISTypes.package) -> unit
)
ident(
  def register_quickstart_completion "src/oasis/OASISPlugin.ml" 318 7100 7100 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 314 7020 7055 "src/oasis/OASISPlugin.ml" 314 7020 7056
type(
  HashPlugin.key
)
ident(
  def t "src/oasis/OASISPlugin.ml" 314 7020 7057 "src/oasis/OASISPlugin.ml" 315 7061 7097
)
"src/oasis/OASISPlugin.ml" 314 7020 7057 "src/oasis/OASISPlugin.ml" 314 7020 7058
type(
  OASISTypes.package -> OASISTypes.package
)
ident(
  def f "src/oasis/OASISPlugin.ml" 315 7061 7063 "src/oasis/OASISPlugin.ml" 315 7061 7097
)
"src/oasis/OASISPlugin.ml" 315 7061 7063 "src/oasis/OASISPlugin.ml" 315 7061 7077
type(
  (OASISTypes.package -> OASISTypes.package) HashPlugin.t ->
  HashPlugin.key -> (OASISTypes.package -> OASISTypes.package) -> unit
)
ident(
  int_ref HashPlugin.add "hashtbl.mli" 341 13887 13891 "hashtbl.mli" 341 13887 13926
)
"src/oasis/OASISPlugin.ml" 315 7061 7078 "src/oasis/OASISPlugin.ml" 315 7061 7093
type(
  (OASISTypes.package -> OASISTypes.package) HashPlugin.t
)
ident(
  int_ref qstrt_cmplt_all "src/oasis/OASISPlugin.ml" 310 6974 6978 "src/oasis/OASISPlugin.ml" 310 6974 6993
)
"src/oasis/OASISPlugin.ml" 315 7061 7094 "src/oasis/OASISPlugin.ml" 315 7061 7095
type(
  HashPlugin.key
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 314 7020 7055 "src/oasis/OASISPlugin.ml" 314 7020 7056
)
"src/oasis/OASISPlugin.ml" 315 7061 7096 "src/oasis/OASISPlugin.ml" 315 7061 7097
type(
  OASISTypes.package -> OASISTypes.package
)
ident(
  int_ref f "src/oasis/OASISPlugin.ml" 314 7020 7057 "src/oasis/OASISPlugin.ml" 314 7020 7058
)
"src/oasis/OASISPlugin.ml" 315 7061 7063 "src/oasis/OASISPlugin.ml" 315 7061 7097
type(
  unit
)
"src/oasis/OASISPlugin.ml" 318 7100 7104 "src/oasis/OASISPlugin.ml" 318 7100 7125
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option ->
  OASISTypes.package -> OASISTypes.package
)
ident(
  def quickstart_completion "src/oasis/OASISPlugin.ml" 330 7239 7239 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 318 7100 7126 "src/oasis/OASISPlugin.ml" 318 7100 7129
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 319 7132 7134 "src/oasis/OASISPlugin.ml" 322 7193 7213
)
"src/oasis/OASISPlugin.ml" 320 7138 7142 "src/oasis/OASISPlugin.ml" 320 7138 7152
type(
  (OASISTypes.package -> OASISTypes.package) HashPlugin.t ->
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option ->
  OASISTypes.package -> OASISTypes.package
)
ident(
  int_ref find_fuzzy "src/oasis/OASISPlugin.ml" 211 5063 5067 "src/oasis/OASISPlugin.ml" 211 5063 5077
)
"src/oasis/OASISPlugin.ml" 320 7138 7153 "src/oasis/OASISPlugin.ml" 320 7138 7168
type(
  (OASISTypes.package -> OASISTypes.package) HashPlugin.t
)
ident(
  int_ref qstrt_cmplt_all "src/oasis/OASISPlugin.ml" 310 6974 6978 "src/oasis/OASISPlugin.ml" 310 6974 6993
)
"src/oasis/OASISPlugin.ml" 320 7138 7169 "src/oasis/OASISPlugin.ml" 320 7138 7172
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 318 7100 7126 "src/oasis/OASISPlugin.ml" 318 7100 7129
)
"src/oasis/OASISPlugin.ml" 320 7138 7142 "src/oasis/OASISPlugin.ml" 320 7138 7172
type(
  OASISTypes.package -> OASISTypes.package
)
"src/oasis/OASISPlugin.ml" 321 7173 7180 "src/oasis/OASISPlugin.ml" 321 7173 7189
type(
  exn
)
"src/oasis/OASISPlugin.ml" 322 7193 7202 "src/oasis/OASISPlugin.ml" 322 7193 7205
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISPlugin.ml" 322 7193 7209 "src/oasis/OASISPlugin.ml" 322 7193 7212
)
"src/oasis/OASISPlugin.ml" 322 7193 7209 "src/oasis/OASISPlugin.ml" 322 7193 7212
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISPlugin.ml" 322 7193 7202 "src/oasis/OASISPlugin.ml" 322 7193 7205
)
"src/oasis/OASISPlugin.ml" 322 7193 7197 "src/oasis/OASISPlugin.ml" 322 7193 7213
type(
  OASISTypes.package -> OASISTypes.package
)
"src/oasis/OASISPlugin.ml" 319 7132 7134 "src/oasis/OASISPlugin.ml" 322 7193 7213
type(
  OASISTypes.package -> OASISTypes.package
)
"src/oasis/OASISPlugin.ml" 330 7239 7243 "src/oasis/OASISPlugin.ml" 330 7239 7250
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t
)
ident(
  def gen_all "src/oasis/OASISPlugin.ml" 333 7275 7275 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 330 7239 7253 "src/oasis/OASISPlugin.ml" 330 7239 7270
type(
  int -> (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t
)
ident(
  int_ref HashPlugin.create "hashtbl.mli" 336 13750 13754 "hashtbl.mli" 336 13750 13778
)
"src/oasis/OASISPlugin.ml" 330 7239 7271 "src/oasis/OASISPlugin.ml" 330 7239 7272
type(
  int
)
"src/oasis/OASISPlugin.ml" 330 7239 7253 "src/oasis/OASISPlugin.ml" 330 7239 7272
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t
)
"src/oasis/OASISPlugin.ml" 333 7275 7279 "src/oasis/OASISPlugin.ml" 333 7275 7305
type(
  HashPlugin.key ->
  (OASISTypes.plugin_data ref -> 'a -> unit) * 'b ->
  (PropList.Data.t -> 'a) -> unit
)
ident(
  def register_generator_package "src/oasis/OASISPlugin.ml" 338 7411 7411 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 333 7275 7306 "src/oasis/OASISPlugin.ml" 333 7275 7307
type(
  HashPlugin.key
)
ident(
  def t "src/oasis/OASISPlugin.ml" 333 7275 7308 "src/oasis/OASISPlugin.ml" 335 7361 7408
)
"src/oasis/OASISPlugin.ml" 333 7275 7309 "src/oasis/OASISPlugin.ml" 333 7275 7317
type(
  OASISTypes.plugin_data ref -> 'a -> unit
)
ident(
  def prop_set "src/oasis/OASISPlugin.ml" 333 7275 7322 "src/oasis/OASISPlugin.ml" 335 7361 7408
)
"src/oasis/OASISPlugin.ml" 333 7275 7319 "src/oasis/OASISPlugin.ml" 333 7275 7320
type(
  'b
)
"src/oasis/OASISPlugin.ml" 333 7275 7308 "src/oasis/OASISPlugin.ml" 333 7275 7321
type(
  (OASISTypes.plugin_data ref -> 'a -> unit) * 'b
)
"src/oasis/OASISPlugin.ml" 333 7275 7322 "src/oasis/OASISPlugin.ml" 333 7275 7331
type(
  PropList.Data.t -> 'a
)
ident(
  def generator "src/oasis/OASISPlugin.ml" 334 7334 7336 "src/oasis/OASISPlugin.ml" 335 7361 7408
)
"src/oasis/OASISPlugin.ml" 334 7334 7336 "src/oasis/OASISPlugin.ml" 334 7334 7350
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t ->
  HashPlugin.key ->
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) -> unit
)
ident(
  int_ref HashPlugin.add "hashtbl.mli" 341 13887 13891 "hashtbl.mli" 341 13887 13926
)
"src/oasis/OASISPlugin.ml" 334 7334 7351 "src/oasis/OASISPlugin.ml" 334 7334 7358
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t
)
ident(
  int_ref gen_all "src/oasis/OASISPlugin.ml" 330 7239 7243 "src/oasis/OASISPlugin.ml" 330 7239 7250
)
"src/oasis/OASISPlugin.ml" 334 7334 7359 "src/oasis/OASISPlugin.ml" 334 7334 7360
type(
  HashPlugin.key
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 333 7275 7306 "src/oasis/OASISPlugin.ml" 333 7275 7307
)
"src/oasis/OASISPlugin.ml" 335 7361 7370 "src/oasis/OASISPlugin.ml" 335 7361 7371
type(
  OASISTypes.plugin_data ref
)
ident(
  def t "src/oasis/OASISPlugin.ml" 335 7361 7372 "src/oasis/OASISPlugin.ml" 335 7361 7407
)
"src/oasis/OASISPlugin.ml" 335 7361 7372 "src/oasis/OASISPlugin.ml" 335 7361 7376
type(
  PropList.Data.t
)
ident(
  def data "src/oasis/OASISPlugin.ml" 335 7361 7380 "src/oasis/OASISPlugin.ml" 335 7361 7407
)
"src/oasis/OASISPlugin.ml" 335 7361 7380 "src/oasis/OASISPlugin.ml" 335 7361 7388
type(
  OASISTypes.plugin_data ref -> 'a -> unit
)
ident(
  int_ref prop_set "src/oasis/OASISPlugin.ml" 333 7275 7309 "src/oasis/OASISPlugin.ml" 333 7275 7317
)
"src/oasis/OASISPlugin.ml" 335 7361 7389 "src/oasis/OASISPlugin.ml" 335 7361 7390
type(
  OASISTypes.plugin_data ref
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 335 7361 7370 "src/oasis/OASISPlugin.ml" 335 7361 7371
)
"src/oasis/OASISPlugin.ml" 335 7361 7392 "src/oasis/OASISPlugin.ml" 335 7361 7401
type(
  PropList.Data.t -> 'a
)
ident(
  int_ref generator "src/oasis/OASISPlugin.ml" 333 7275 7322 "src/oasis/OASISPlugin.ml" 333 7275 7331
)
"src/oasis/OASISPlugin.ml" 335 7361 7402 "src/oasis/OASISPlugin.ml" 335 7361 7406
type(
  PropList.Data.t
)
ident(
  int_ref data "src/oasis/OASISPlugin.ml" 335 7361 7372 "src/oasis/OASISPlugin.ml" 335 7361 7376
)
"src/oasis/OASISPlugin.ml" 335 7361 7391 "src/oasis/OASISPlugin.ml" 335 7361 7407
type(
  'a
)
"src/oasis/OASISPlugin.ml" 335 7361 7380 "src/oasis/OASISPlugin.ml" 335 7361 7407
type(
  unit
)
"src/oasis/OASISPlugin.ml" 335 7361 7365 "src/oasis/OASISPlugin.ml" 335 7361 7408
type(
  OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
"src/oasis/OASISPlugin.ml" 334 7334 7336 "src/oasis/OASISPlugin.ml" 335 7361 7408
type(
  unit
)
"src/oasis/OASISPlugin.ml" 338 7411 7415 "src/oasis/OASISPlugin.ml" 338 7411 7432
type(
  HashPlugin.key -> OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
ident(
  def generator_package "src/oasis/OASISPlugin.ml" 351 7625 7625 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 338 7411 7433 "src/oasis/OASISPlugin.ml" 338 7411 7436
type(
  HashPlugin.key
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 338 7411 7437 "src/oasis/OASISPlugin.ml" 348 7616 7622
)
"src/oasis/OASISPlugin.ml" 338 7411 7437 "src/oasis/OASISPlugin.ml" 338 7411 7449
type(
  OASISTypes.plugin_data ref
)
ident(
  def rplugin_data "src/oasis/OASISPlugin.ml" 338 7411 7450 "src/oasis/OASISPlugin.ml" 348 7616 7622
)
"src/oasis/OASISPlugin.ml" 338 7411 7450 "src/oasis/OASISPlugin.ml" 338 7411 7454
type(
  PropList.Data.t
)
ident(
  def data "src/oasis/OASISPlugin.ml" 339 7457 7459 "src/oasis/OASISPlugin.ml" 348 7616 7622
)
"src/oasis/OASISPlugin.ml" 340 7463 7471 "src/oasis/OASISPlugin.ml" 340 7463 7474
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) list
)
ident(
  def lst "src/oasis/OASISPlugin.ml" 343 7522 7526 "src/oasis/OASISPlugin.ml" 346 7586 7595
)
"src/oasis/OASISPlugin.ml" 341 7477 7483 "src/oasis/OASISPlugin.ml" 341 7477 7502
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t ->
  HashPlugin.key ->
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) list
)
ident(
  int_ref HashPlugin.find_all "hashtbl.mli" 347 14067 14071 "hashtbl.mli" 347 14067 14108
)
"src/oasis/OASISPlugin.ml" 341 7477 7503 "src/oasis/OASISPlugin.ml" 341 7477 7510
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) HashPlugin.t
)
ident(
  int_ref gen_all "src/oasis/OASISPlugin.ml" 330 7239 7243 "src/oasis/OASISPlugin.ml" 330 7239 7250
)
"src/oasis/OASISPlugin.ml" 341 7477 7511 "src/oasis/OASISPlugin.ml" 341 7477 7514
type(
  HashPlugin.key
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 338 7411 7433 "src/oasis/OASISPlugin.ml" 338 7411 7436
)
"src/oasis/OASISPlugin.ml" 341 7477 7483 "src/oasis/OASISPlugin.ml" 341 7477 7514
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) list
)
"src/oasis/OASISPlugin.ml" 343 7522 7526 "src/oasis/OASISPlugin.ml" 343 7522 7535
type(
  ((OASISTypes.plugin_data ref -> PropList.Data.t -> unit) -> unit) ->
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISPlugin.ml" 344 7536 7547 "src/oasis/OASISPlugin.ml" 344 7536 7550
type(
  OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
ident(
  def gen "src/oasis/OASISPlugin.ml" 345 7554 7563 "src/oasis/OASISPlugin.ml" 345 7554 7584
)
"src/oasis/OASISPlugin.ml" 345 7554 7563 "src/oasis/OASISPlugin.ml" 345 7554 7566
type(
  OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
ident(
  int_ref gen "src/oasis/OASISPlugin.ml" 344 7536 7547 "src/oasis/OASISPlugin.ml" 344 7536 7550
)
"src/oasis/OASISPlugin.ml" 345 7554 7567 "src/oasis/OASISPlugin.ml" 345 7554 7579
type(
  OASISTypes.plugin_data ref
)
ident(
  int_ref rplugin_data "src/oasis/OASISPlugin.ml" 338 7411 7437 "src/oasis/OASISPlugin.ml" 338 7411 7449
)
"src/oasis/OASISPlugin.ml" 345 7554 7580 "src/oasis/OASISPlugin.ml" 345 7554 7584
type(
  PropList.Data.t
)
ident(
  int_ref data "src/oasis/OASISPlugin.ml" 338 7411 7450 "src/oasis/OASISPlugin.ml" 338 7411 7454
)
"src/oasis/OASISPlugin.ml" 345 7554 7563 "src/oasis/OASISPlugin.ml" 345 7554 7584
type(
  unit
)
"src/oasis/OASISPlugin.ml" 344 7536 7542 "src/oasis/OASISPlugin.ml" 345 7554 7585
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) -> unit
)
"src/oasis/OASISPlugin.ml" 346 7586 7592 "src/oasis/OASISPlugin.ml" 346 7586 7595
type(
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 340 7463 7471 "src/oasis/OASISPlugin.ml" 340 7463 7474
)
"src/oasis/OASISPlugin.ml" 343 7522 7526 "src/oasis/OASISPlugin.ml" 346 7586 7595
type(
  unit
)
"src/oasis/OASISPlugin.ml" 340 7463 7467 "src/oasis/OASISPlugin.ml" 346 7586 7595
type(
  unit
)
"src/oasis/OASISPlugin.ml" 347 7596 7603 "src/oasis/OASISPlugin.ml" 347 7596 7612
type(
  exn
)
"src/oasis/OASISPlugin.ml" 348 7616 7620 "src/oasis/OASISPlugin.ml" 348 7616 7622
type(
  unit
)
"src/oasis/OASISPlugin.ml" 339 7457 7459 "src/oasis/OASISPlugin.ml" 348 7616 7622
type(
  unit
)
"src/oasis/OASISPlugin.ml" 351 7625 7629 "src/oasis/OASISPlugin.ml" 351 7625 7640
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t
)
ident(
  def gen_section "src/oasis/OASISPlugin.ml" 355 7667 7667 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 352 7643 7645 "src/oasis/OASISPlugin.ml" 352 7643 7662
type(
  int ->
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t
)
ident(
  int_ref HashPlugin.create "hashtbl.mli" 336 13750 13754 "hashtbl.mli" 336 13750 13778
)
"src/oasis/OASISPlugin.ml" 352 7643 7663 "src/oasis/OASISPlugin.ml" 352 7643 7664
type(
  int
)
"src/oasis/OASISPlugin.ml" 352 7643 7645 "src/oasis/OASISPlugin.ml" 352 7643 7664
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t
)
"src/oasis/OASISPlugin.ml" 355 7667 7671 "src/oasis/OASISPlugin.ml" 355 7667 7697
type(
  OASISTypes.section_kind ->
  HashPlugin.key ->
  (OASISTypes.plugin_data ref -> 'a -> unit) * 'b ->
  (PropList.Data.t -> 'a) -> unit
)
ident(
  def register_generator_section "src/oasis/OASISPlugin.ml" 360 7818 7818 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 355 7667 7698 "src/oasis/OASISPlugin.ml" 355 7667 7701
type(
  OASISTypes.section_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 355 7667 7702 "src/oasis/OASISPlugin.ml" 357 7761 7815
)
"src/oasis/OASISPlugin.ml" 355 7667 7702 "src/oasis/OASISPlugin.ml" 355 7667 7703
type(
  HashPlugin.key
)
ident(
  def t "src/oasis/OASISPlugin.ml" 355 7667 7704 "src/oasis/OASISPlugin.ml" 357 7761 7815
)
"src/oasis/OASISPlugin.ml" 355 7667 7705 "src/oasis/OASISPlugin.ml" 355 7667 7713
type(
  OASISTypes.plugin_data ref -> 'a -> unit
)
ident(
  def prop_set "src/oasis/OASISPlugin.ml" 355 7667 7718 "src/oasis/OASISPlugin.ml" 357 7761 7815
)
"src/oasis/OASISPlugin.ml" 355 7667 7715 "src/oasis/OASISPlugin.ml" 355 7667 7716
type(
  'b
)
"src/oasis/OASISPlugin.ml" 355 7667 7704 "src/oasis/OASISPlugin.ml" 355 7667 7717
type(
  (OASISTypes.plugin_data ref -> 'a -> unit) * 'b
)
"src/oasis/OASISPlugin.ml" 355 7667 7718 "src/oasis/OASISPlugin.ml" 355 7667 7727
type(
  PropList.Data.t -> 'a
)
ident(
  def generator "src/oasis/OASISPlugin.ml" 356 7730 7732 "src/oasis/OASISPlugin.ml" 357 7761 7815
)
"src/oasis/OASISPlugin.ml" 356 7730 7732 "src/oasis/OASISPlugin.ml" 356 7730 7746
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t ->
  HashPlugin.key ->
  OASISTypes.section_kind *
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) -> unit
)
ident(
  int_ref HashPlugin.add "hashtbl.mli" 341 13887 13891 "hashtbl.mli" 341 13887 13926
)
"src/oasis/OASISPlugin.ml" 356 7730 7747 "src/oasis/OASISPlugin.ml" 356 7730 7758
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t
)
ident(
  int_ref gen_section "src/oasis/OASISPlugin.ml" 351 7625 7629 "src/oasis/OASISPlugin.ml" 351 7625 7640
)
"src/oasis/OASISPlugin.ml" 356 7730 7759 "src/oasis/OASISPlugin.ml" 356 7730 7760
type(
  HashPlugin.key
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 355 7667 7702 "src/oasis/OASISPlugin.ml" 355 7667 7703
)
"src/oasis/OASISPlugin.ml" 357 7761 7766 "src/oasis/OASISPlugin.ml" 357 7761 7769
type(
  OASISTypes.section_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 355 7667 7698 "src/oasis/OASISPlugin.ml" 355 7667 7701
)
"src/oasis/OASISPlugin.ml" 357 7761 7776 "src/oasis/OASISPlugin.ml" 357 7761 7777
type(
  OASISTypes.plugin_data ref
)
ident(
  def t "src/oasis/OASISPlugin.ml" 357 7761 7778 "src/oasis/OASISPlugin.ml" 357 7761 7813
)
"src/oasis/OASISPlugin.ml" 357 7761 7778 "src/oasis/OASISPlugin.ml" 357 7761 7782
type(
  PropList.Data.t
)
ident(
  def data "src/oasis/OASISPlugin.ml" 357 7761 7786 "src/oasis/OASISPlugin.ml" 357 7761 7813
)
"src/oasis/OASISPlugin.ml" 357 7761 7786 "src/oasis/OASISPlugin.ml" 357 7761 7794
type(
  OASISTypes.plugin_data ref -> 'a -> unit
)
ident(
  int_ref prop_set "src/oasis/OASISPlugin.ml" 355 7667 7705 "src/oasis/OASISPlugin.ml" 355 7667 7713
)
"src/oasis/OASISPlugin.ml" 357 7761 7795 "src/oasis/OASISPlugin.ml" 357 7761 7796
type(
  OASISTypes.plugin_data ref
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 357 7761 7776 "src/oasis/OASISPlugin.ml" 357 7761 7777
)
"src/oasis/OASISPlugin.ml" 357 7761 7798 "src/oasis/OASISPlugin.ml" 357 7761 7807
type(
  PropList.Data.t -> 'a
)
ident(
  int_ref generator "src/oasis/OASISPlugin.ml" 355 7667 7718 "src/oasis/OASISPlugin.ml" 355 7667 7727
)
"src/oasis/OASISPlugin.ml" 357 7761 7808 "src/oasis/OASISPlugin.ml" 357 7761 7812
type(
  PropList.Data.t
)
ident(
  int_ref data "src/oasis/OASISPlugin.ml" 357 7761 7778 "src/oasis/OASISPlugin.ml" 357 7761 7782
)
"src/oasis/OASISPlugin.ml" 357 7761 7797 "src/oasis/OASISPlugin.ml" 357 7761 7813
type(
  'a
)
"src/oasis/OASISPlugin.ml" 357 7761 7786 "src/oasis/OASISPlugin.ml" 357 7761 7813
type(
  unit
)
"src/oasis/OASISPlugin.ml" 357 7761 7771 "src/oasis/OASISPlugin.ml" 357 7761 7814
type(
  OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
"src/oasis/OASISPlugin.ml" 357 7761 7765 "src/oasis/OASISPlugin.ml" 357 7761 7815
type(
  OASISTypes.section_kind *
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit)
)
"src/oasis/OASISPlugin.ml" 356 7730 7732 "src/oasis/OASISPlugin.ml" 357 7761 7815
type(
  unit
)
"src/oasis/OASISPlugin.ml" 360 7818 7822 "src/oasis/OASISPlugin.ml" 360 7818 7839
type(
  OASISTypes.section_kind ->
  HashPlugin.key -> OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
ident(
  def generator_section "src/oasis/OASISPlugin.ml" 375 8079 8079 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 360 7818 7840 "src/oasis/OASISPlugin.ml" 360 7818 7843
type(
  OASISTypes.section_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 360 7818 7844 "src/oasis/OASISPlugin.ml" 371 8069 8075
)
"src/oasis/OASISPlugin.ml" 360 7818 7844 "src/oasis/OASISPlugin.ml" 360 7818 7847
type(
  HashPlugin.key
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 360 7818 7848 "src/oasis/OASISPlugin.ml" 371 8069 8075
)
"src/oasis/OASISPlugin.ml" 360 7818 7848 "src/oasis/OASISPlugin.ml" 360 7818 7860
type(
  OASISTypes.plugin_data ref
)
ident(
  def rplugin_data "src/oasis/OASISPlugin.ml" 360 7818 7861 "src/oasis/OASISPlugin.ml" 371 8069 8075
)
"src/oasis/OASISPlugin.ml" 360 7818 7861 "src/oasis/OASISPlugin.ml" 360 7818 7865
type(
  PropList.Data.t
)
ident(
  def data "src/oasis/OASISPlugin.ml" 361 7868 7870 "src/oasis/OASISPlugin.ml" 371 8069 8075
)
"src/oasis/OASISPlugin.ml" 362 7874 7882 "src/oasis/OASISPlugin.ml" 362 7874 7885
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  list
)
ident(
  def lst "src/oasis/OASISPlugin.ml" 365 7937 7941 "src/oasis/OASISPlugin.ml" 369 8039 8048
)
"src/oasis/OASISPlugin.ml" 363 7888 7894 "src/oasis/OASISPlugin.ml" 363 7888 7913
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t ->
  HashPlugin.key ->
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  list
)
ident(
  int_ref HashPlugin.find_all "hashtbl.mli" 347 14067 14071 "hashtbl.mli" 347 14067 14108
)
"src/oasis/OASISPlugin.ml" 363 7888 7914 "src/oasis/OASISPlugin.ml" 363 7888 7925
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  HashPlugin.t
)
ident(
  int_ref gen_section "src/oasis/OASISPlugin.ml" 351 7625 7629 "src/oasis/OASISPlugin.ml" 351 7625 7640
)
"src/oasis/OASISPlugin.ml" 363 7888 7926 "src/oasis/OASISPlugin.ml" 363 7888 7929
type(
  HashPlugin.key
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 360 7818 7844 "src/oasis/OASISPlugin.ml" 360 7818 7847
)
"src/oasis/OASISPlugin.ml" 363 7888 7894 "src/oasis/OASISPlugin.ml" 363 7888 7929
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  list
)
"src/oasis/OASISPlugin.ml" 365 7937 7941 "src/oasis/OASISPlugin.ml" 365 7937 7950
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) -> unit) ->
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/OASISPlugin.ml" 366 7951 7963 "src/oasis/OASISPlugin.ml" 366 7951 7967
type(
  OASISTypes.section_kind
)
ident(
  def knd' "src/oasis/OASISPlugin.ml" 367 7977 7986 "src/oasis/OASISPlugin.ml" 368 8005 8037
)
"src/oasis/OASISPlugin.ml" 366 7951 7969 "src/oasis/OASISPlugin.ml" 366 7951 7972
type(
  OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
ident(
  def gen "src/oasis/OASISPlugin.ml" 367 7977 7986 "src/oasis/OASISPlugin.ml" 368 8005 8037
)
"src/oasis/OASISPlugin.ml" 366 7951 7962 "src/oasis/OASISPlugin.ml" 366 7951 7973
type(
  OASISTypes.section_kind *
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit)
)
"src/oasis/OASISPlugin.ml" 367 7977 7989 "src/oasis/OASISPlugin.ml" 367 7977 7992
type(
  OASISTypes.section_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 360 7818 7840 "src/oasis/OASISPlugin.ml" 360 7818 7843
)
"src/oasis/OASISPlugin.ml" 367 7977 7993 "src/oasis/OASISPlugin.ml" 367 7977 7994
type(
  OASISTypes.section_kind -> OASISTypes.section_kind -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 367 7977 7995 "src/oasis/OASISPlugin.ml" 367 7977 7999
type(
  OASISTypes.section_kind
)
ident(
  int_ref knd' "src/oasis/OASISPlugin.ml" 366 7951 7963 "src/oasis/OASISPlugin.ml" 366 7951 7967
)
"src/oasis/OASISPlugin.ml" 367 7977 7989 "src/oasis/OASISPlugin.ml" 367 7977 7999
type(
  bool
)
"src/oasis/OASISPlugin.ml" 368 8005 8016 "src/oasis/OASISPlugin.ml" 368 8005 8019
type(
  OASISTypes.plugin_data ref -> PropList.Data.t -> unit
)
ident(
  int_ref gen "src/oasis/OASISPlugin.ml" 366 7951 7969 "src/oasis/OASISPlugin.ml" 366 7951 7972
)
"src/oasis/OASISPlugin.ml" 368 8005 8020 "src/oasis/OASISPlugin.ml" 368 8005 8032
type(
  OASISTypes.plugin_data ref
)
ident(
  int_ref rplugin_data "src/oasis/OASISPlugin.ml" 360 7818 7848 "src/oasis/OASISPlugin.ml" 360 7818 7860
)
"src/oasis/OASISPlugin.ml" 368 8005 8033 "src/oasis/OASISPlugin.ml" 368 8005 8037
type(
  PropList.Data.t
)
ident(
  int_ref data "src/oasis/OASISPlugin.ml" 360 7818 7861 "src/oasis/OASISPlugin.ml" 360 7818 7865
)
"src/oasis/OASISPlugin.ml" 368 8005 8016 "src/oasis/OASISPlugin.ml" 368 8005 8037
type(
  unit
)
"src/oasis/OASISPlugin.ml" 367 7977 7986 "src/oasis/OASISPlugin.ml" 368 8005 8037
type(
  unit
)
"src/oasis/OASISPlugin.ml" 366 7951 7957 "src/oasis/OASISPlugin.ml" 368 8005 8038
type(
  OASISTypes.section_kind *
  (OASISTypes.plugin_data ref -> PropList.Data.t -> unit) -> unit
)
"src/oasis/OASISPlugin.ml" 369 8039 8045 "src/oasis/OASISPlugin.ml" 369 8039 8048
type(
  (OASISTypes.section_kind *
   (OASISTypes.plugin_data ref -> PropList.Data.t -> unit))
  list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 362 7874 7882 "src/oasis/OASISPlugin.ml" 362 7874 7885
)
"src/oasis/OASISPlugin.ml" 365 7937 7941 "src/oasis/OASISPlugin.ml" 369 8039 8048
type(
  unit
)
"src/oasis/OASISPlugin.ml" 362 7874 7878 "src/oasis/OASISPlugin.ml" 369 8039 8048
type(
  unit
)
"src/oasis/OASISPlugin.ml" 370 8049 8056 "src/oasis/OASISPlugin.ml" 370 8049 8065
type(
  exn
)
"src/oasis/OASISPlugin.ml" 371 8069 8073 "src/oasis/OASISPlugin.ml" 371 8069 8075
type(
  unit
)
"src/oasis/OASISPlugin.ml" 361 7868 7870 "src/oasis/OASISPlugin.ml" 371 8069 8075
type(
  unit
)
"src/oasis/OASISPlugin.ml" 375 8079 8083 "src/oasis/OASISPlugin.ml" 375 8079 8092
type(
  'a -> 'a
)
ident(
  def to_plugin "src/oasis/OASISPlugin.ml" 379 8103 8103 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 375 8079 8093 "src/oasis/OASISPlugin.ml" 375 8079 8094
type(
  'a
)
ident(
  def t "src/oasis/OASISPlugin.ml" 376 8097 8099 "src/oasis/OASISPlugin.ml" 376 8097 8100
)
"src/oasis/OASISPlugin.ml" 376 8097 8099 "src/oasis/OASISPlugin.ml" 376 8097 8100
type(
  'a
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 375 8079 8093 "src/oasis/OASISPlugin.ml" 375 8079 8094
)
"src/oasis/OASISPlugin.ml" 407 8638 8645 "src/oasis/OASISPlugin.ml" 407 8638 8649
ident(
  def Make "src/oasis/OASISPlugin.ml" 546 12515 12518 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 423 8964 8973 "src/oasis/OASISPlugin.ml" 423 8964 8989
ident(
  def HashPluginGlobal "src/oasis/OASISPlugin.ml" 423 8964 9002 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 425 9004 9010 "src/oasis/OASISPlugin.ml" 425 9004 9016
type(
  ([< OASISTypes.plugin_kind ] as 'a) * OASISTypes.name *
  OASISVersion.t option ->
  ('a * OASISTypes.name * OASISVersion.t option) *
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  def create "src/oasis/OASISPlugin.ml" 439 9364 9366 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 425 9004 9017 "src/oasis/OASISPlugin.ml" 425 9004 9020
type(
  'a * OASISTypes.name * OASISVersion.t option
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 426 9023 9027 "src/oasis/OASISPlugin.ml" 437 9343 9362
)
"src/oasis/OASISPlugin.ml" 426 9023 9031 "src/oasis/OASISPlugin.ml" 426 9023 9034
type(
  OASISVersion.t
)
ident(
  def ver "src/oasis/OASISPlugin.ml" 434 9229 9233 "src/oasis/OASISPlugin.ml" 437 9343 9362
)
"src/oasis/OASISPlugin.ml" 427 9037 9049 "src/oasis/OASISPlugin.ml" 427 9037 9052
type(
  'a * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 425 9004 9017 "src/oasis/OASISPlugin.ml" 425 9004 9020
)
"src/oasis/OASISPlugin.ml" 428 9058 9068 "src/oasis/OASISPlugin.ml" 428 9058 9069
type(
  'a
)
"src/oasis/OASISPlugin.ml" 428 9058 9071 "src/oasis/OASISPlugin.ml" 428 9058 9072
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 428 9058 9079 "src/oasis/OASISPlugin.ml" 428 9058 9080
type(
  OASISVersion.t
)
ident(
  def v "src/oasis/OASISPlugin.ml" 428 9058 9084 "src/oasis/OASISPlugin.ml" 428 9058 9085
)
"src/oasis/OASISPlugin.ml" 428 9058 9074 "src/oasis/OASISPlugin.ml" 428 9058 9080
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 428 9058 9068 "src/oasis/OASISPlugin.ml" 428 9058 9080
type(
  'a * OASISTypes.name * OASISVersion.t option
)
type(
  'a * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 428 9058 9084 "src/oasis/OASISPlugin.ml" 428 9058 9085
type(
  OASISVersion.t
)
ident(
  int_ref v "src/oasis/OASISPlugin.ml" 428 9058 9079 "src/oasis/OASISPlugin.ml" 428 9058 9080
)
"src/oasis/OASISPlugin.ml" 429 9086 9096 "src/oasis/OASISPlugin.ml" 429 9086 9097
type(
  'a
)
"src/oasis/OASISPlugin.ml" 429 9086 9099 "src/oasis/OASISPlugin.ml" 429 9086 9100
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 429 9086 9102 "src/oasis/OASISPlugin.ml" 429 9086 9106
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 429 9086 9096 "src/oasis/OASISPlugin.ml" 429 9086 9106
type(
  'a * OASISTypes.name * OASISVersion.t option
)
type(
  'a * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 430 9110 9120 "src/oasis/OASISPlugin.ml" 430 9110 9129
type(
  (OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t) format4 ->
  OASISTypes.name -> OASISVersion.t
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISPlugin.ml" 431 9130 9143 "src/oasis/OASISPlugin.ml" 431 9130 9145
type(
  (OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t) format4 ->
  (OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 431 9130 9146 "src/oasis/OASISPlugin.ml" 431 9130 9185
type(
  (OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t) format4
)
"src/oasis/OASISPlugin.ml" 431 9130 9142 "src/oasis/OASISPlugin.ml" 431 9130 9186
type(
  (OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t) format4
)
"src/oasis/OASISPlugin.ml" 432 9187 9200 "src/oasis/OASISPlugin.ml" 432 9187 9216
type(
  'a * OASISTypes.name * OASISVersion.t option -> OASISTypes.name
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 432 9187 9217 "src/oasis/OASISPlugin.ml" 432 9187 9220
type(
  'a * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 425 9004 9017 "src/oasis/OASISPlugin.ml" 425 9004 9020
)
"src/oasis/OASISPlugin.ml" 432 9187 9199 "src/oasis/OASISPlugin.ml" 432 9187 9221
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 430 9110 9120 "src/oasis/OASISPlugin.ml" 432 9187 9221
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 427 9037 9043 "src/oasis/OASISPlugin.ml" 432 9187 9221
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 434 9229 9237 "src/oasis/OASISPlugin.ml" 434 9229 9243
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  def all_id "src/oasis/OASISPlugin.ml" 435 9275 9279 "src/oasis/OASISPlugin.ml" 437 9343 9362
)
"src/oasis/OASISPlugin.ml" 434 9229 9268 "src/oasis/OASISPlugin.ml" 434 9229 9271
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 425 9004 9017 "src/oasis/OASISPlugin.ml" 425 9004 9020
)
"src/oasis/OASISPlugin.ml" 435 9275 9283 "src/oasis/OASISPlugin.ml" 435 9275 9290
type(
  'a * OASISTypes.name * OASISVersion.t option
)
ident(
  def self_id "src/oasis/OASISPlugin.ml" 436 9300 9304 "src/oasis/OASISPlugin.ml" 437 9343 9362
)
"src/oasis/OASISPlugin.ml" 435 9275 9293 "src/oasis/OASISPlugin.ml" 435 9275 9296
type(
  'a * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 425 9004 9017 "src/oasis/OASISPlugin.ml" 425 9004 9020
)
"src/oasis/OASISPlugin.ml" 436 9300 9304 "src/oasis/OASISPlugin.ml" 436 9300 9318
type(
  OASISVersion.t HashPlugin.t -> HashPlugin.key -> OASISVersion.t -> unit
)
ident(
  int_ref HashPlugin.add "hashtbl.mli" 341 13887 13891 "hashtbl.mli" 341 13887 13926
)
"src/oasis/OASISPlugin.ml" 436 9300 9319 "src/oasis/OASISPlugin.ml" 436 9300 9330
type(
  OASISVersion.t HashPlugin.t
)
ident(
  int_ref version_all "src/oasis/OASISPlugin.ml" 271 6081 6085 "src/oasis/OASISPlugin.ml" 271 6081 6096
)
"src/oasis/OASISPlugin.ml" 436 9300 9331 "src/oasis/OASISPlugin.ml" 436 9300 9337
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref all_id "src/oasis/OASISPlugin.ml" 434 9229 9237 "src/oasis/OASISPlugin.ml" 434 9229 9243
)
"src/oasis/OASISPlugin.ml" 436 9300 9338 "src/oasis/OASISPlugin.ml" 436 9300 9341
type(
  OASISVersion.t
)
ident(
  int_ref ver "src/oasis/OASISPlugin.ml" 426 9023 9031 "src/oasis/OASISPlugin.ml" 426 9023 9034
)
"src/oasis/OASISPlugin.ml" 436 9300 9304 "src/oasis/OASISPlugin.ml" 436 9300 9341
type(
  unit
)
"src/oasis/OASISPlugin.ml" 437 9343 9347 "src/oasis/OASISPlugin.ml" 437 9343 9354
type(
  'a * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref self_id "src/oasis/OASISPlugin.ml" 435 9275 9283 "src/oasis/OASISPlugin.ml" 435 9275 9290
)
"src/oasis/OASISPlugin.ml" 437 9343 9356 "src/oasis/OASISPlugin.ml" 437 9343 9362
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref all_id "src/oasis/OASISPlugin.ml" 434 9229 9237 "src/oasis/OASISPlugin.ml" 434 9229 9243
)
"src/oasis/OASISPlugin.ml" 437 9343 9347 "src/oasis/OASISPlugin.ml" 437 9343 9362
type(
  ('a * OASISTypes.name * OASISVersion.t option) *
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISPlugin.ml" 436 9300 9304 "src/oasis/OASISPlugin.ml" 437 9343 9362
type(
  ('a * OASISTypes.name * OASISVersion.t option) *
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISPlugin.ml" 435 9275 9279 "src/oasis/OASISPlugin.ml" 437 9343 9362
type(
  ('a * OASISTypes.name * OASISVersion.t option) *
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISPlugin.ml" 434 9229 9233 "src/oasis/OASISPlugin.ml" 437 9343 9362
type(
  ('a * OASISTypes.name * OASISVersion.t option) *
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISPlugin.ml" 426 9023 9027 "src/oasis/OASISPlugin.ml" 437 9343 9362
type(
  ('a * OASISTypes.name * OASISVersion.t option) *
  OASISTypes.plugin_kind OASISTypes.plugin
)
"src/oasis/OASISPlugin.ml" 439 9364 9373 "src/oasis/OASISPlugin.ml" 439 9364 9383
ident(
  def HashPlugin "src/oasis/OASISPlugin.ml" 445 9511 9521 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 443 9446 9458 "src/oasis/OASISPlugin.ml" 443 9446 9463
type(
  'b * string * OASISVersion.t option ->
  'b * string * OASISVersion.t option -> bool
)
ident(
  def equal "src/oasis/OASISPlugin.ml" 444 9479 9487 "src/oasis/OASISPlugin.ml" 445 9511 9520
)
"src/oasis/OASISPlugin.ml" 443 9446 9466 "src/oasis/OASISPlugin.ml" 443 9446 9478
type(
  'b * string * OASISVersion.t option ->
  'b * string * OASISVersion.t option -> bool
)
ident(
  int_ref plugin_equal "src/oasis/OASISPlugin.ml" 52 2194 2198 "src/oasis/OASISPlugin.ml" 52 2194 2210
)
"src/oasis/OASISPlugin.ml" 444 9479 9491 "src/oasis/OASISPlugin.ml" 444 9479 9495
type(
  'c * string * 'd -> int
)
ident(
  def hash "src/oasis/OASISPlugin.ml" 444 9479 9510 "src/oasis/OASISPlugin.ml" 445 9511 9520
)
"src/oasis/OASISPlugin.ml" 444 9479 9499 "src/oasis/OASISPlugin.ml" 444 9479 9510
type(
  'c * string * 'd -> int
)
ident(
  int_ref plugin_hash "src/oasis/OASISPlugin.ml" 55 2254 2258 "src/oasis/OASISPlugin.ml" 55 2254 2269
)
"src/oasis/OASISPlugin.ml" 451 9663 9669 "src/oasis/OASISPlugin.ml" 451 9663 9680
type(
  'e HashPlugin.t -> kind * OASISTypes.name * OASISVersion.t option -> 'e
)
ident(
  def find_fuzzy' "src/oasis/OASISPlugin.ml" 461 9831 9833 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 451 9663 9681 "src/oasis/OASISPlugin.ml" 451 9663 9684
type(
  'e HashPlugin.t
)
ident(
  def tbl "src/oasis/OASISPlugin.ml" 451 9663 9685 "src/oasis/OASISPlugin.ml" 455 9767 9808
)
"src/oasis/OASISPlugin.ml" 451 9663 9687 "src/oasis/OASISPlugin.ml" 451 9663 9690
type(
  kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 452 9708 9712 "src/oasis/OASISPlugin.ml" 455 9767 9808
)
"src/oasis/OASISPlugin.ml" 451 9663 9692 "src/oasis/OASISPlugin.ml" 451 9663 9694
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 452 9708 9712 "src/oasis/OASISPlugin.ml" 455 9767 9808
)
"src/oasis/OASISPlugin.ml" 451 9663 9696 "src/oasis/OASISPlugin.ml" 451 9663 9697
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 451 9663 9686 "src/oasis/OASISPlugin.ml" 451 9663 9698
type(
  kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 451 9663 9685 "src/oasis/OASISPlugin.ml" 451 9663 9705
type(
  kind * OASISTypes.name * OASISVersion.t option
)
ident(
  def id "src/oasis/OASISPlugin.ml" 452 9708 9712 "src/oasis/OASISPlugin.ml" 455 9767 9808
)
"src/oasis/OASISPlugin.ml" 453 9716 9722 "src/oasis/OASISPlugin.ml" 453 9716 9737
type(
  'e HashPlugin.t -> HashPlugin.key -> 'e
)
ident(
  int_ref HashPlugin.find "hashtbl.mli" 343 13964 13968 "hashtbl.mli" 343 13964 13996
)
"src/oasis/OASISPlugin.ml" 453 9716 9738 "src/oasis/OASISPlugin.ml" 453 9716 9741
type(
  'e HashPlugin.t
)
ident(
  int_ref tbl "src/oasis/OASISPlugin.ml" 451 9663 9681 "src/oasis/OASISPlugin.ml" 451 9663 9684
)
"src/oasis/OASISPlugin.ml" 453 9716 9742 "src/oasis/OASISPlugin.ml" 453 9716 9744
type(
  HashPlugin.key
)
ident(
  int_ref id "src/oasis/OASISPlugin.ml" 451 9663 9685 "src/oasis/OASISPlugin.ml" 451 9663 9705
)
"src/oasis/OASISPlugin.ml" 453 9716 9722 "src/oasis/OASISPlugin.ml" 453 9716 9744
type(
  'e
)
"src/oasis/OASISPlugin.ml" 454 9745 9754 "src/oasis/OASISPlugin.ml" 454 9745 9763
type(
  exn
)
"src/oasis/OASISPlugin.ml" 455 9767 9773 "src/oasis/OASISPlugin.ml" 455 9767 9788
type(
  'e HashPlugin.t -> HashPlugin.key -> 'e
)
ident(
  int_ref HashPlugin.find "hashtbl.mli" 343 13964 13968 "hashtbl.mli" 343 13964 13996
)
"src/oasis/OASISPlugin.ml" 455 9767 9789 "src/oasis/OASISPlugin.ml" 455 9767 9792
type(
  'e HashPlugin.t
)
ident(
  int_ref tbl "src/oasis/OASISPlugin.ml" 451 9663 9681 "src/oasis/OASISPlugin.ml" 451 9663 9684
)
"src/oasis/OASISPlugin.ml" 455 9767 9794 "src/oasis/OASISPlugin.ml" 455 9767 9797
type(
  kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 451 9663 9687 "src/oasis/OASISPlugin.ml" 451 9663 9690
)
"src/oasis/OASISPlugin.ml" 455 9767 9799 "src/oasis/OASISPlugin.ml" 455 9767 9801
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 451 9663 9692 "src/oasis/OASISPlugin.ml" 451 9663 9694
)
"src/oasis/OASISPlugin.ml" 455 9767 9803 "src/oasis/OASISPlugin.ml" 455 9767 9807
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 455 9767 9793 "src/oasis/OASISPlugin.ml" 455 9767 9808
type(
  HashPlugin.key
)
"src/oasis/OASISPlugin.ml" 455 9767 9773 "src/oasis/OASISPlugin.ml" 455 9767 9808
type(
  'e
)
"src/oasis/OASISPlugin.ml" 452 9708 9712 "src/oasis/OASISPlugin.ml" 455 9767 9808
type(
  'e
)
"src/oasis/OASISPlugin.ml" 461 9831 9837 "src/oasis/OASISPlugin.ml" 461 9831 9844
type(
  act HashPlugin.t
)
ident(
  def act_all "src/oasis/OASISPlugin.ml" 464 9872 9874 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 462 9847 9851 "src/oasis/OASISPlugin.ml" 462 9847 9868
type(
  int -> act HashPlugin.t
)
ident(
  int_ref HashPlugin.create "hashtbl.mli" 336 13750 13754 "hashtbl.mli" 336 13750 13778
)
"src/oasis/OASISPlugin.ml" 462 9847 9869 "src/oasis/OASISPlugin.ml" 462 9847 9870
type(
  int
)
"src/oasis/OASISPlugin.ml" 462 9847 9851 "src/oasis/OASISPlugin.ml" 462 9847 9870
type(
  act HashPlugin.t
)
"src/oasis/OASISPlugin.ml" 464 9872 9878 "src/oasis/OASISPlugin.ml" 464 9872 9890
type(
  HashPlugin.key -> act -> unit
)
ident(
  def register_act "src/oasis/OASISPlugin.ml" 467 9929 9931 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 464 9872 9891 "src/oasis/OASISPlugin.ml" 464 9872 9892
type(
  HashPlugin.key
)
ident(
  def t "src/oasis/OASISPlugin.ml" 464 9872 9893 "src/oasis/OASISPlugin.ml" 465 9897 9927
)
"src/oasis/OASISPlugin.ml" 464 9872 9893 "src/oasis/OASISPlugin.ml" 464 9872 9894
type(
  act
)
ident(
  def e "src/oasis/OASISPlugin.ml" 465 9897 9901 "src/oasis/OASISPlugin.ml" 465 9897 9927
)
"src/oasis/OASISPlugin.ml" 465 9897 9901 "src/oasis/OASISPlugin.ml" 465 9897 9915
type(
  act HashPlugin.t -> HashPlugin.key -> act -> unit
)
ident(
  int_ref HashPlugin.add "hashtbl.mli" 341 13887 13891 "hashtbl.mli" 341 13887 13926
)
"src/oasis/OASISPlugin.ml" 465 9897 9916 "src/oasis/OASISPlugin.ml" 465 9897 9923
type(
  act HashPlugin.t
)
ident(
  int_ref act_all "src/oasis/OASISPlugin.ml" 461 9831 9837 "src/oasis/OASISPlugin.ml" 461 9831 9844
)
"src/oasis/OASISPlugin.ml" 465 9897 9924 "src/oasis/OASISPlugin.ml" 465 9897 9925
type(
  HashPlugin.key
)
ident(
  int_ref t "src/oasis/OASISPlugin.ml" 464 9872 9891 "src/oasis/OASISPlugin.ml" 464 9872 9892
)
"src/oasis/OASISPlugin.ml" 465 9897 9926 "src/oasis/OASISPlugin.ml" 465 9897 9927
type(
  act
)
ident(
  int_ref e "src/oasis/OASISPlugin.ml" 464 9872 9893 "src/oasis/OASISPlugin.ml" 464 9872 9894
)
"src/oasis/OASISPlugin.ml" 465 9897 9901 "src/oasis/OASISPlugin.ml" 465 9897 9927
type(
  unit
)
"src/oasis/OASISPlugin.ml" 467 9929 9935 "src/oasis/OASISPlugin.ml" 467 9929 9938
type(
  kind * OASISTypes.name * OASISVersion.t option -> act
)
ident(
  def act "src/oasis/OASISPlugin.ml" 476 10129 10131 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 467 9929 9939 "src/oasis/OASISPlugin.ml" 467 9929 9942
type(
  kind * OASISTypes.name * OASISVersion.t option
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 468 9945 9949 "src/oasis/OASISPlugin.ml" 473 10076 10106
)
"src/oasis/OASISPlugin.ml" 469 9953 9959 "src/oasis/OASISPlugin.ml" 469 9953 9970
type(
  act HashPlugin.t -> kind * OASISTypes.name * OASISVersion.t option -> act
)
ident(
  int_ref find_fuzzy' "src/oasis/OASISPlugin.ml" 451 9663 9669 "src/oasis/OASISPlugin.ml" 451 9663 9680
)
"src/oasis/OASISPlugin.ml" 469 9953 9971 "src/oasis/OASISPlugin.ml" 469 9953 9978
type(
  act HashPlugin.t
)
ident(
  int_ref act_all "src/oasis/OASISPlugin.ml" 461 9831 9837 "src/oasis/OASISPlugin.ml" 461 9831 9844
)
"src/oasis/OASISPlugin.ml" 469 9953 9979 "src/oasis/OASISPlugin.ml" 469 9953 9982
type(
  kind * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 467 9929 9939 "src/oasis/OASISPlugin.ml" 467 9929 9942
)
"src/oasis/OASISPlugin.ml" 469 9953 9959 "src/oasis/OASISPlugin.ml" 469 9953 9982
type(
  act
)
"src/oasis/OASISPlugin.ml" 470 9983 9992 "src/oasis/OASISPlugin.ml" 470 9983 10001
type(
  exn
)
"src/oasis/OASISPlugin.ml" 471 10005 10011 "src/oasis/OASISPlugin.ml" 471 10005 10020
type(
  (OASISTypes.name -> act, unit, string, act) format4 ->
  OASISTypes.name -> act
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISPlugin.ml" 472 10021 10030 "src/oasis/OASISPlugin.ml" 472 10021 10032
type(
  (OASISTypes.name -> act, unit, string, act) format4 ->
  (OASISTypes.name -> act, unit, string, act) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 472 10021 10033 "src/oasis/OASISPlugin.ml" 472 10021 10074
type(
  (OASISTypes.name -> act, unit, string, act) format4
)
"src/oasis/OASISPlugin.ml" 472 10021 10029 "src/oasis/OASISPlugin.ml" 472 10021 10075
type(
  (OASISTypes.name -> act, unit, string, act) format4
)
"src/oasis/OASISPlugin.ml" 473 10076 10085 "src/oasis/OASISPlugin.ml" 473 10076 10101
type(
  kind * OASISTypes.name * OASISVersion.t option -> OASISTypes.name
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 473 10076 10102 "src/oasis/OASISPlugin.ml" 473 10076 10105
type(
  kind * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 467 9929 9939 "src/oasis/OASISPlugin.ml" 467 9929 9942
)
"src/oasis/OASISPlugin.ml" 473 10076 10084 "src/oasis/OASISPlugin.ml" 473 10076 10106
type(
  OASISTypes.name
)
"src/oasis/OASISPlugin.ml" 471 10005 10011 "src/oasis/OASISPlugin.ml" 473 10076 10106
type(
  act
)
"src/oasis/OASISPlugin.ml" 468 9945 9949 "src/oasis/OASISPlugin.ml" 473 10076 10106
type(
  act
)
"src/oasis/OASISPlugin.ml" 476 10129 10135 "src/oasis/OASISPlugin.ml" 476 10129 10140
type(
  (F.kind * string * OASISVersion.t option) OASISValues.t
)
ident(
  def value "src/oasis/OASISPlugin.ml" 533 12200 12202 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 477 10143 10151 "src/oasis/OASISPlugin.ml" 477 10143 10163
type(
  OASISTypes.plugin_kind
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 481 10210 10214 "src/oasis/OASISPlugin.ml" 531 12193 12198
)
"src/oasis/OASISPlugin.ml" 478 10181 10187 "src/oasis/OASISPlugin.ml" 478 10181 10201
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref F.kind_default "src/oasis/OASISPlugin.ml" 402 8565 8567 "src/oasis/OASISPlugin.ml" 402 8565 8589
)
"src/oasis/OASISPlugin.ml" 481 10210 10218 "src/oasis/OASISPlugin.ml" 481 10210 10235
type(
  [< `Build | `Configure | `Doc | `Extra | `Install | `Test ] ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  def not_found_of_kind "src/oasis/OASISPlugin.ml" 491 10690 10694 "src/oasis/OASISPlugin.ml" 531 12193 12198
)
"src/oasis/OASISPlugin.ml" 483 10253 10263 "src/oasis/OASISPlugin.ml" 483 10253 10273
type(
  [< `Build | `Configure | `Doc | `Extra | `Install | `Test ] as 'i
)
"src/oasis/OASISPlugin.ml" 483 10253 10277 "src/oasis/OASISPlugin.ml" 483 10253 10279
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4 ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 483 10253 10280 "src/oasis/OASISPlugin.ml" 483 10253 10327
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 483 10253 10277 "src/oasis/OASISPlugin.ml" 483 10253 10327
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 484 10328 10338 "src/oasis/OASISPlugin.ml" 484 10328 10344
type(
  'i
)
"src/oasis/OASISPlugin.ml" 484 10328 10352 "src/oasis/OASISPlugin.ml" 484 10328 10354
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4 ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 484 10328 10355 "src/oasis/OASISPlugin.ml" 484 10328 10398
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 484 10328 10352 "src/oasis/OASISPlugin.ml" 484 10328 10398
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 485 10399 10409 "src/oasis/OASISPlugin.ml" 485 10399 10413
type(
  'i
)
"src/oasis/OASISPlugin.ml" 485 10399 10423 "src/oasis/OASISPlugin.ml" 485 10399 10425
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4 ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 485 10399 10426 "src/oasis/OASISPlugin.ml" 485 10399 10467
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 485 10399 10423 "src/oasis/OASISPlugin.ml" 485 10399 10467
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 486 10468 10478 "src/oasis/OASISPlugin.ml" 486 10468 10483
type(
  'i
)
"src/oasis/OASISPlugin.ml" 486 10468 10492 "src/oasis/OASISPlugin.ml" 486 10468 10494
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4 ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 486 10468 10495 "src/oasis/OASISPlugin.ml" 486 10468 10537
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 486 10468 10492 "src/oasis/OASISPlugin.ml" 486 10468 10537
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 487 10538 10548 "src/oasis/OASISPlugin.ml" 487 10538 10556
type(
  'i
)
"src/oasis/OASISPlugin.ml" 487 10538 10562 "src/oasis/OASISPlugin.ml" 487 10538 10564
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4 ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 487 10538 10565 "src/oasis/OASISPlugin.ml" 487 10538 10610
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 487 10538 10562 "src/oasis/OASISPlugin.ml" 487 10538 10610
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 488 10611 10621 "src/oasis/OASISPlugin.ml" 488 10611 10627
type(
  'i
)
"src/oasis/OASISPlugin.ml" 488 10611 10635 "src/oasis/OASISPlugin.ml" 488 10611 10637
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4 ->
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 488 10611 10638 "src/oasis/OASISPlugin.ml" 488 10611 10681
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 488 10611 10635 "src/oasis/OASISPlugin.ml" 488 10611 10681
type(
  (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 482 10238 10244 "src/oasis/OASISPlugin.ml" 488 10611 10681
type(
  'i -> (string -> string -> 'f, 'g, 'h, 'f) format4
)
"src/oasis/OASISPlugin.ml" 491 10690 10698 "src/oasis/OASISPlugin.ml" 491 10690 10703
type(
  ctxt:OASISContext.t -> string -> F.kind * string * OASISVersion.t option
)
ident(
  def parse "src/oasis/OASISPlugin.ml" 527 12056 12060 "src/oasis/OASISPlugin.ml" 531 12193 12198
)
"src/oasis/OASISPlugin.ml" 491 10690 10705 "src/oasis/OASISPlugin.ml" 491 10690 10709
type(
  OASISContext.t
)
ident(
  def ctxt "src/oasis/OASISPlugin.ml" 491 10690 10710 "src/oasis/OASISPlugin.ml" 525 12013 12048
)
"src/oasis/OASISPlugin.ml" 491 10690 10710 "src/oasis/OASISPlugin.ml" 491 10690 10711
type(
  string
)
ident(
  def s "src/oasis/OASISPlugin.ml" 492 10714 10720 "src/oasis/OASISPlugin.ml" 525 12013 12048
)
"src/oasis/OASISPlugin.ml" 492 10714 10725 "src/oasis/OASISPlugin.ml" 492 10714 10728
type(
  OASISTypes.plugin_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 493 10787 10793 "src/oasis/OASISPlugin.ml" 525 12013 12048
)
"src/oasis/OASISPlugin.ml" 492 10714 10730 "src/oasis/OASISPlugin.ml" 492 10714 10732
type(
  string
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 493 10787 10793 "src/oasis/OASISPlugin.ml" 525 12013 12048
)
"src/oasis/OASISPlugin.ml" 492 10714 10734 "src/oasis/OASISPlugin.ml" 492 10714 10741
type(
  OASISVersion.t option
)
ident(
  def ver_opt "src/oasis/OASISPlugin.ml" 493 10787 10793 "src/oasis/OASISPlugin.ml" 525 12013 12048
)
"src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10742
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10749
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
ident(
  def plg "src/oasis/OASISPlugin.ml" 493 10787 10793 "src/oasis/OASISPlugin.ml" 525 12013 12048
)
"src/oasis/OASISPlugin.ml" 492 10714 10752 "src/oasis/OASISPlugin.ml" 492 10714 10768
type(
  OASISTypes.plugin_kind ->
  string -> OASISTypes.plugin_kind * string * OASISVersion.t option
)
ident(
  int_ref plugin_of_string "src/oasis/OASISPlugin.ml" 229 5385 5389 "src/oasis/OASISPlugin.ml" 229 5385 5405
)
"src/oasis/OASISPlugin.ml" 492 10714 10769 "src/oasis/OASISPlugin.ml" 492 10714 10781
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref kind_default "src/oasis/OASISPlugin.ml" 477 10143 10151 "src/oasis/OASISPlugin.ml" 477 10143 10163
)
"src/oasis/OASISPlugin.ml" 492 10714 10782 "src/oasis/OASISPlugin.ml" 492 10714 10783
type(
  string
)
ident(
  int_ref s "src/oasis/OASISPlugin.ml" 491 10690 10710 "src/oasis/OASISPlugin.ml" 491 10690 10711
)
"src/oasis/OASISPlugin.ml" 492 10714 10752 "src/oasis/OASISPlugin.ml" 492 10714 10783
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 493 10787 10796 "src/oasis/OASISPlugin.ml" 493 10787 10799
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISPlugin.ml" 493 10787 10800 "src/oasis/OASISPlugin.ml" 493 10787 10804
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 491 10690 10705 "src/oasis/OASISPlugin.ml" 491 10690 10709
)
"src/oasis/OASISPlugin.ml" 493 10787 10800 "src/oasis/OASISPlugin.ml" 493 10787 10832
type(
  bool
)
"src/oasis/OASISPlugin.ml" 493 10787 10796 "src/oasis/OASISPlugin.ml" 493 10787 10832
type(
  bool
)
"src/oasis/OASISPlugin.ml" 494 10844 10852 "src/oasis/OASISPlugin.ml" 494 10844 10866
type(
  ctxt:OASISContext.t ->
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option -> unit
)
ident(
  int_ref load_if_absent "src/oasis/OASISPlugin.ml" 290 6394 6398 "src/oasis/OASISPlugin.ml" 290 6394 6412
)
"src/oasis/OASISPlugin.ml" 494 10844 10868 "src/oasis/OASISPlugin.ml" 494 10844 10872
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 491 10690 10705 "src/oasis/OASISPlugin.ml" 491 10690 10709
)
"src/oasis/OASISPlugin.ml" 494 10844 10873 "src/oasis/OASISPlugin.ml" 494 10844 10876
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10749
)
"src/oasis/OASISPlugin.ml" 494 10844 10852 "src/oasis/OASISPlugin.ml" 494 10844 10876
type(
  unit
)
"src/oasis/OASISPlugin.ml" 496 10890 10904 "src/oasis/OASISPlugin.ml" 496 10890 10911
type(
  OASISVersion.t
)
ident(
  def ver_plg "src/oasis/OASISPlugin.ml" 505 11205 11215 "src/oasis/OASISPlugin.ml" 520 11847 11904
)
"src/oasis/OASISPlugin.ml" 498 10930 10944 "src/oasis/OASISPlugin.ml" 498 10930 10954
type(
  OASISVersion.t HashPlugin/2.t ->
  OASISTypes.plugin_kind OASISTypes.plugin -> OASISVersion.t
)
ident(
  int_ref find_fuzzy "src/oasis/OASISPlugin.ml" 211 5063 5067 "src/oasis/OASISPlugin.ml" 211 5063 5077
)
"src/oasis/OASISPlugin.ml" 498 10930 10955 "src/oasis/OASISPlugin.ml" 498 10930 10966
type(
  OASISVersion.t HashPlugin/2.t
)
ident(
  int_ref version_all "src/oasis/OASISPlugin.ml" 271 6081 6085 "src/oasis/OASISPlugin.ml" 271 6081 6096
)
"src/oasis/OASISPlugin.ml" 498 10930 10968 "src/oasis/OASISPlugin.ml" 498 10930 10971
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10749
)
"src/oasis/OASISPlugin.ml" 498 10930 10944 "src/oasis/OASISPlugin.ml" 498 10930 10994
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 499 10995 11012 "src/oasis/OASISPlugin.ml" 499 10995 11021
type(
  exn
)
"src/oasis/OASISPlugin.ml" 500 11025 11039 "src/oasis/OASISPlugin.ml" 500 11025 11048
type(
  (string -> string -> OASISVersion.t, unit, string, OASISVersion.t) format4 ->
  string -> string -> OASISVersion.t
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISPlugin.ml" 501 11049 11066 "src/oasis/OASISPlugin.ml" 501 11049 11083
type(
  OASISTypes.plugin_kind ->
  (string -> string -> OASISVersion.t, unit, string, OASISVersion.t) format4
)
ident(
  int_ref not_found_of_kind "src/oasis/OASISPlugin.ml" 481 10210 10218 "src/oasis/OASISPlugin.ml" 481 10210 10235
)
"src/oasis/OASISPlugin.ml" 501 11049 11084 "src/oasis/OASISPlugin.ml" 501 11049 11096
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref kind_default "src/oasis/OASISPlugin.ml" 477 10143 10151 "src/oasis/OASISPlugin.ml" 477 10143 10163
)
"src/oasis/OASISPlugin.ml" 501 11049 11065 "src/oasis/OASISPlugin.ml" 501 11049 11097
type(
  (string -> string -> OASISVersion.t, unit, string, OASISVersion.t) format4
)
"src/oasis/OASISPlugin.ml" 502 11098 11115 "src/oasis/OASISPlugin.ml" 502 11098 11131
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option -> string
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 502 11098 11132 "src/oasis/OASISPlugin.ml" 502 11098 11135
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10749
)
"src/oasis/OASISPlugin.ml" 502 11098 11114 "src/oasis/OASISPlugin.ml" 502 11098 11136
type(
  string
)
"src/oasis/OASISPlugin.ml" 503 11137 11154 "src/oasis/OASISPlugin.ml" 503 11137 11167
type(
  string -> OASISTypes.name list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISPlugin.ml" 503 11137 11168 "src/oasis/OASISPlugin.ml" 503 11137 11172
type(
  string
)
"src/oasis/OASISPlugin.ml" 503 11137 11174 "src/oasis/OASISPlugin.ml" 503 11137 11176
type(
  OASISTypes.plugin_kind -> OASISTypes.name list
)
ident(
  int_ref ls "src/oasis/OASISPlugin.ml" 280 6218 6222 "src/oasis/OASISPlugin.ml" 280 6218 6224
)
"src/oasis/OASISPlugin.ml" 503 11137 11177 "src/oasis/OASISPlugin.ml" 503 11137 11189
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref kind_default "src/oasis/OASISPlugin.ml" 477 10143 10151 "src/oasis/OASISPlugin.ml" 477 10143 10163
)
"src/oasis/OASISPlugin.ml" 503 11137 11173 "src/oasis/OASISPlugin.ml" 503 11137 11190
type(
  OASISTypes.name list
)
"src/oasis/OASISPlugin.ml" 503 11137 11153 "src/oasis/OASISPlugin.ml" 503 11137 11191
type(
  string
)
"src/oasis/OASISPlugin.ml" 500 11025 11039 "src/oasis/OASISPlugin.ml" 503 11137 11191
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 497 10914 10926 "src/oasis/OASISPlugin.ml" 503 11137 11191
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 505 11205 11221 "src/oasis/OASISPlugin.ml" 505 11205 11228
type(
  OASISVersion.t option
)
ident(
  int_ref ver_opt "src/oasis/OASISPlugin.ml" 492 10714 10734 "src/oasis/OASISPlugin.ml" 492 10714 10741
)
"src/oasis/OASISPlugin.ml" 506 11234 11251 "src/oasis/OASISPlugin.ml" 506 11234 11254
type(
  OASISVersion.t
)
ident(
  def ver "src/oasis/OASISPlugin.ml" 507 11258 11270 "src/oasis/OASISPlugin.ml" 513 11599 11655
)
"src/oasis/OASISPlugin.ml" 506 11234 11246 "src/oasis/OASISPlugin.ml" 506 11234 11254
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 507 11258 11273 "src/oasis/OASISPlugin.ml" 507 11258 11301
type(
  OASISVersion.t -> OASISVersion.t -> int
)
ident(
  int_ref OASISVersion.version_compare "src/oasis/OASISVersion.mli" 47 2317 2317 "src/oasis/OASISVersion.mli" 47 2317 2351
)
"src/oasis/OASISPlugin.ml" 507 11258 11302 "src/oasis/OASISPlugin.ml" 507 11258 11305
type(
  OASISVersion.t
)
ident(
  int_ref ver "src/oasis/OASISPlugin.ml" 506 11234 11251 "src/oasis/OASISPlugin.ml" 506 11234 11254
)
"src/oasis/OASISPlugin.ml" 507 11258 11306 "src/oasis/OASISPlugin.ml" 507 11258 11313
type(
  OASISVersion.t
)
ident(
  int_ref ver_plg "src/oasis/OASISPlugin.ml" 496 10890 10904 "src/oasis/OASISPlugin.ml" 496 10890 10911
)
"src/oasis/OASISPlugin.ml" 507 11258 11273 "src/oasis/OASISPlugin.ml" 507 11258 11313
type(
  int
)
"src/oasis/OASISPlugin.ml" 507 11258 11314 "src/oasis/OASISPlugin.ml" 507 11258 11316
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISPlugin.ml" 507 11258 11317 "src/oasis/OASISPlugin.ml" 507 11258 11318
type(
  int
)
"src/oasis/OASISPlugin.ml" 507 11258 11273 "src/oasis/OASISPlugin.ml" 507 11258 11318
type(
  bool
)
"src/oasis/OASISPlugin.ml" 508 11324 11338 "src/oasis/OASISPlugin.ml" 508 11324 11355
type(
  ctxt:OASISContext.t ->
  (string -> string -> unit, unit, string, unit) format4 ->
  string -> string -> unit
)
ident(
  int_ref OASISMessage.info "src/oasis/OASISMessage.mli" 49 2287 2287 "src/oasis/OASISMessage.mli" 49 2287 2358
)
"src/oasis/OASISPlugin.ml" 508 11324 11357 "src/oasis/OASISPlugin.ml" 508 11324 11361
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 491 10690 10705 "src/oasis/OASISPlugin.ml" 491 10690 10709
)
"src/oasis/OASISPlugin.ml" 509 11362 11379 "src/oasis/OASISPlugin.ml" 509 11362 11381
type(
  (string -> string -> unit, unit, string, unit) format4 ->
  (string -> string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 509 11362 11382 "src/oasis/OASISPlugin.ml" 511 11499 11558
type(
  (string -> string -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 509 11362 11378 "src/oasis/OASISPlugin.ml" 511 11499 11559
type(
  (string -> string -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 512 11560 11577 "src/oasis/OASISPlugin.ml" 512 11560 11593
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option -> string
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 512 11560 11594 "src/oasis/OASISPlugin.ml" 512 11560 11597
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10749
)
"src/oasis/OASISPlugin.ml" 512 11560 11576 "src/oasis/OASISPlugin.ml" 512 11560 11598
type(
  string
)
"src/oasis/OASISPlugin.ml" 513 11599 11616 "src/oasis/OASISPlugin.ml" 513 11599 11646
type(
  OASISVersion.t -> string
)
ident(
  int_ref OASISVersion.string_of_version "src/oasis/OASISVersion.mli" 57 2463 2463 "src/oasis/OASISVersion.mli" 57 2463 2497
)
"src/oasis/OASISPlugin.ml" 513 11599 11647 "src/oasis/OASISPlugin.ml" 513 11599 11654
type(
  OASISVersion.t
)
ident(
  int_ref ver_plg "src/oasis/OASISPlugin.ml" 496 10890 10904 "src/oasis/OASISPlugin.ml" 496 10890 10911
)
"src/oasis/OASISPlugin.ml" 513 11599 11615 "src/oasis/OASISPlugin.ml" 513 11599 11655
type(
  string
)
"src/oasis/OASISPlugin.ml" 508 11324 11338 "src/oasis/OASISPlugin.ml" 513 11599 11655
type(
  unit
)
"src/oasis/OASISPlugin.ml" 507 11258 11270 "src/oasis/OASISPlugin.ml" 513 11599 11655
type(
  unit
)
"src/oasis/OASISPlugin.ml" 515 11657 11669 "src/oasis/OASISPlugin.ml" 515 11657 11673
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 516 11677 11689 "src/oasis/OASISPlugin.ml" 516 11677 11709
type(
  ctxt:OASISContext.t ->
  (string -> string -> unit, unit, string, unit) format4 ->
  string -> string -> unit
)
ident(
  int_ref OASISMessage.warning "src/oasis/OASISMessage.mli" 54 2393 2393 "src/oasis/OASISMessage.mli" 54 2393 2467
)
"src/oasis/OASISPlugin.ml" 516 11677 11711 "src/oasis/OASISPlugin.ml" 516 11677 11715
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 491 10690 10705 "src/oasis/OASISPlugin.ml" 491 10690 10709
)
"src/oasis/OASISPlugin.ml" 517 11716 11731 "src/oasis/OASISPlugin.ml" 517 11716 11733
type(
  (string -> string -> unit, unit, string, unit) format4 ->
  (string -> string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISPlugin.ml" 517 11716 11734 "src/oasis/OASISPlugin.ml" 518 11779 11828
type(
  (string -> string -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 517 11716 11730 "src/oasis/OASISPlugin.ml" 518 11779 11829
type(
  (string -> string -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 519 11830 11844 "src/oasis/OASISPlugin.ml" 519 11830 11846
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 492 10714 10730 "src/oasis/OASISPlugin.ml" 492 10714 10732
)
"src/oasis/OASISPlugin.ml" 520 11847 11862 "src/oasis/OASISPlugin.ml" 520 11847 11878
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option -> string
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 520 11847 11881 "src/oasis/OASISPlugin.ml" 520 11847 11884
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 492 10714 10725 "src/oasis/OASISPlugin.ml" 492 10714 10728
)
"src/oasis/OASISPlugin.ml" 520 11847 11886 "src/oasis/OASISPlugin.ml" 520 11847 11888
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 492 10714 10730 "src/oasis/OASISPlugin.ml" 492 10714 10732
)
"src/oasis/OASISPlugin.ml" 520 11847 11895 "src/oasis/OASISPlugin.ml" 520 11847 11902
type(
  OASISVersion.t
)
ident(
  int_ref ver_plg "src/oasis/OASISPlugin.ml" 496 10890 10904 "src/oasis/OASISPlugin.ml" 496 10890 10911
)
"src/oasis/OASISPlugin.ml" 520 11847 11890 "src/oasis/OASISPlugin.ml" 520 11847 11902
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 520 11847 11880 "src/oasis/OASISPlugin.ml" 520 11847 11903
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 520 11847 11861 "src/oasis/OASISPlugin.ml" 520 11847 11904
type(
  string
)
"src/oasis/OASISPlugin.ml" 516 11677 11689 "src/oasis/OASISPlugin.ml" 520 11847 11904
type(
  unit
)
"src/oasis/OASISPlugin.ml" 505 11205 11215 "src/oasis/OASISPlugin.ml" 520 11847 11904
type(
  unit
)
"src/oasis/OASISPlugin.ml" 496 10890 10900 "src/oasis/OASISPlugin.ml" 520 11847 11904
type(
  unit
)
"src/oasis/OASISPlugin.ml" 522 11906 11919 "src/oasis/OASISPlugin.ml" 522 11906 11928
type(
  exn
)
"src/oasis/OASISPlugin.ml" 523 11932 11942 "src/oasis/OASISPlugin.ml" 523 11932 11951
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISPlugin.ml" 523 11932 11952 "src/oasis/OASISPlugin.ml" 523 11932 11978
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 523 11932 11980 "src/oasis/OASISPlugin.ml" 523 11932 11996
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option -> string
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 523 11932 11997 "src/oasis/OASISPlugin.ml" 523 11932 12000
type(
  OASISTypes.plugin_kind * string * OASISVersion.t option
)
ident(
  int_ref plg "src/oasis/OASISPlugin.ml" 492 10714 10724 "src/oasis/OASISPlugin.ml" 492 10714 10749
)
"src/oasis/OASISPlugin.ml" 523 11932 11979 "src/oasis/OASISPlugin.ml" 523 11932 12001
type(
  string
)
"src/oasis/OASISPlugin.ml" 523 11932 11942 "src/oasis/OASISPlugin.ml" 523 11932 12001
type(
  unit
)
"src/oasis/OASISPlugin.ml" 495 10878 10886 "src/oasis/OASISPlugin.ml" 523 11932 12001
type(
  unit
)
"src/oasis/OASISPlugin.ml" 493 10787 10838 "src/oasis/OASISPlugin.ml" 524 12002 12011
type(
  unit
)
"src/oasis/OASISPlugin.ml" 493 10787 10793 "src/oasis/OASISPlugin.ml" 524 12002 12011
type(
  unit
)
"src/oasis/OASISPlugin.ml" 525 12013 12020 "src/oasis/OASISPlugin.ml" 525 12013 12034
type(
  F.kind
)
ident(
  int_ref F.kind_default "src/oasis/OASISPlugin.ml" 402 8565 8567 "src/oasis/OASISPlugin.ml" 402 8565 8589
)
"src/oasis/OASISPlugin.ml" 525 12013 12036 "src/oasis/OASISPlugin.ml" 525 12013 12038
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 492 10714 10730 "src/oasis/OASISPlugin.ml" 492 10714 10732
)
"src/oasis/OASISPlugin.ml" 525 12013 12040 "src/oasis/OASISPlugin.ml" 525 12013 12047
type(
  OASISVersion.t option
)
ident(
  int_ref ver_opt "src/oasis/OASISPlugin.ml" 492 10714 10734 "src/oasis/OASISPlugin.ml" 492 10714 10741
)
"src/oasis/OASISPlugin.ml" 525 12013 12019 "src/oasis/OASISPlugin.ml" 525 12013 12048
type(
  F.kind * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 493 10787 10793 "src/oasis/OASISPlugin.ml" 525 12013 12048
type(
  F.kind * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 492 10714 10720 "src/oasis/OASISPlugin.ml" 525 12013 12048
type(
  F.kind * string * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 528 12062 12089 "src/oasis/OASISPlugin.ml" 528 12062 12094
type(
  ctxt:OASISContext.t -> string -> F.kind * string * OASISVersion.t option
)
ident(
  int_ref parse "src/oasis/OASISPlugin.ml" 491 10690 10698 "src/oasis/OASISPlugin.ml" 491 10690 10703
)
"src/oasis/OASISPlugin.ml" 529 12096 12123 "src/oasis/OASISPlugin.ml" 529 12096 12146
type(
  F.kind * string * OASISVersion.t option ->
  F.kind * string * OASISVersion.t option ->
  F.kind * string * OASISVersion.t option
)
ident(
  int_ref OASISValues.update_fail "src/oasis/OASISValues.mli" 62 2409 2409 "src/oasis/OASISValues.mli" 62 2409 2440
)
"src/oasis/OASISPlugin.ml" 530 12148 12175 "src/oasis/OASISPlugin.ml" 530 12148 12191
type(
  F.kind * string * OASISVersion.t option -> string
)
ident(
  int_ref string_of_plugin "src/oasis/OASISPlugin.ml" 218 5200 5204 "src/oasis/OASISPlugin.ml" 218 5200 5220
)
"src/oasis/OASISPlugin.ml" 527 12056 12060 "src/oasis/OASISPlugin.ml" 531 12193 12198
type(
  (F.kind * string * OASISVersion.t option) OASISValues.t
)
"src/oasis/OASISPlugin.ml" 491 10690 10694 "src/oasis/OASISPlugin.ml" 531 12193 12198
type(
  (F.kind * string * OASISVersion.t option) OASISValues.t
)
"src/oasis/OASISPlugin.ml" 481 10210 10214 "src/oasis/OASISPlugin.ml" 531 12193 12198
type(
  (F.kind * string * OASISVersion.t option) OASISValues.t
)
"src/oasis/OASISPlugin.ml" 477 10143 10147 "src/oasis/OASISPlugin.ml" 531 12193 12198
type(
  (F.kind * string * OASISVersion.t option) OASISValues.t
)
"src/oasis/OASISPlugin.ml" 533 12200 12206 "src/oasis/OASISPlugin.ml" 533 12200 12225
type(
  unit ->
  (F.kind * OASISTypes.name * OASISVersion.t option)
  OASISTypes.quickstart_question
)
ident(
  def quickstart_question "src/oasis/OASISPlugin.ml" 545 12502 12514 "src/oasis/OASISPlugin.ml" 546 12515 12518
)
"src/oasis/OASISPlugin.ml" 533 12200 12226 "src/oasis/OASISPlugin.ml" 533 12200 12228
type(
  unit
)
"src/oasis/OASISPlugin.ml" 534 12231 12239 "src/oasis/OASISPlugin.ml" 534 12231 12242
type(
  OASISTypes.plugin_kind
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 537 12288 12292 "src/oasis/OASISPlugin.ml" 545 12502 12514
)
"src/oasis/OASISPlugin.ml" 535 12260 12266 "src/oasis/OASISPlugin.ml" 535 12260 12280
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref F.kind_default "src/oasis/OASISPlugin.ml" 402 8565 8567 "src/oasis/OASISPlugin.ml" 402 8565 8589
)
"src/oasis/OASISPlugin.ml" 538 12309 12316 "src/oasis/OASISPlugin.ml" 538 12309 12337
type(
  (HashPluginGlobal.key ->
   OASISVersion.t ->
   (F.kind * OASISTypes.name * OASISVersion.t option) list ->
   (F.kind * OASISTypes.name * OASISVersion.t option) list) ->
  OASISVersion.t HashPluginGlobal.t ->
  (F.kind * OASISTypes.name * OASISVersion.t option) list ->
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
ident(
  int_ref HashPluginGlobal.fold "hashtbl.mli" 355 14339 14343 "hashtbl.mli" 355 14339 14397
)
"src/oasis/OASISPlugin.ml" 539 12338 12353 "src/oasis/OASISPlugin.ml" 539 12338 12357
type(
  OASISTypes.plugin_kind
)
ident(
  def knd' "src/oasis/OASISPlugin.ml" 539 12338 12367 "src/oasis/OASISPlugin.ml" 543 12470 12487
)
"src/oasis/OASISPlugin.ml" 539 12338 12359 "src/oasis/OASISPlugin.ml" 539 12338 12361
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 539 12338 12367 "src/oasis/OASISPlugin.ml" 543 12470 12487
)
"src/oasis/OASISPlugin.ml" 539 12338 12363 "src/oasis/OASISPlugin.ml" 539 12338 12365
type(
  OASISVersion.t option
)
ident(
  def vo "src/oasis/OASISPlugin.ml" 539 12338 12367 "src/oasis/OASISPlugin.ml" 543 12470 12487
)
"src/oasis/OASISPlugin.ml" 539 12338 12352 "src/oasis/OASISPlugin.ml" 539 12338 12366
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 539 12338 12367 "src/oasis/OASISPlugin.ml" 539 12338 12368
type(
  OASISVersion.t
)
"src/oasis/OASISPlugin.ml" 539 12338 12369 "src/oasis/OASISPlugin.ml" 539 12338 12372
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
ident(
  def lst "src/oasis/OASISPlugin.ml" 540 12376 12388 "src/oasis/OASISPlugin.ml" 543 12470 12487
)
"src/oasis/OASISPlugin.ml" 540 12376 12391 "src/oasis/OASISPlugin.ml" 540 12376 12395
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd' "src/oasis/OASISPlugin.ml" 539 12338 12353 "src/oasis/OASISPlugin.ml" 539 12338 12357
)
"src/oasis/OASISPlugin.ml" 540 12376 12396 "src/oasis/OASISPlugin.ml" 540 12376 12397
type(
  OASISTypes.plugin_kind -> OASISTypes.plugin_kind -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 540 12376 12398 "src/oasis/OASISPlugin.ml" 540 12376 12401
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 534 12231 12239 "src/oasis/OASISPlugin.ml" 534 12231 12242
)
"src/oasis/OASISPlugin.ml" 540 12376 12391 "src/oasis/OASISPlugin.ml" 540 12376 12401
type(
  bool
)
"src/oasis/OASISPlugin.ml" 541 12407 12422 "src/oasis/OASISPlugin.ml" 541 12407 12436
type(
  F.kind
)
ident(
  int_ref F.kind_default "src/oasis/OASISPlugin.ml" 402 8565 8567 "src/oasis/OASISPlugin.ml" 402 8565 8589
)
"src/oasis/OASISPlugin.ml" 541 12407 12438 "src/oasis/OASISPlugin.ml" 541 12407 12440
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 539 12338 12359 "src/oasis/OASISPlugin.ml" 539 12338 12361
)
"src/oasis/OASISPlugin.ml" 541 12407 12442 "src/oasis/OASISPlugin.ml" 541 12407 12444
type(
  OASISVersion.t option
)
ident(
  int_ref vo "src/oasis/OASISPlugin.ml" 539 12338 12363 "src/oasis/OASISPlugin.ml" 539 12338 12365
)
"src/oasis/OASISPlugin.ml" 541 12407 12421 "src/oasis/OASISPlugin.ml" 541 12407 12445
type(
  F.kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 541 12407 12449 "src/oasis/OASISPlugin.ml" 541 12407 12452
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 539 12338 12369 "src/oasis/OASISPlugin.ml" 539 12338 12372
)
"src/oasis/OASISPlugin.ml" 541 12407 12421 "src/oasis/OASISPlugin.ml" 541 12407 12452
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
"src/oasis/OASISPlugin.ml" 543 12470 12484 "src/oasis/OASISPlugin.ml" 543 12470 12487
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
ident(
  int_ref lst "src/oasis/OASISPlugin.ml" 539 12338 12369 "src/oasis/OASISPlugin.ml" 539 12338 12372
)
"src/oasis/OASISPlugin.ml" 540 12376 12388 "src/oasis/OASISPlugin.ml" 543 12470 12487
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
"src/oasis/OASISPlugin.ml" 539 12338 12347 "src/oasis/OASISPlugin.ml" 543 12470 12488
type(
  HashPluginGlobal.key ->
  OASISVersion.t ->
  (F.kind * OASISTypes.name * OASISVersion.t option) list ->
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
"src/oasis/OASISPlugin.ml" 544 12489 12498 "src/oasis/OASISPlugin.ml" 544 12489 12501
type(
  OASISVersion.t HashPluginGlobal.t
)
ident(
  int_ref all "src/oasis/OASISPlugin.ml" 274 6121 6125 "src/oasis/OASISPlugin.ml" 274 6121 6128
)
"src/oasis/OASISPlugin.ml" 545 12502 12511 "src/oasis/OASISPlugin.ml" 545 12502 12513
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
"src/oasis/OASISPlugin.ml" 538 12309 12315 "src/oasis/OASISPlugin.ml" 545 12502 12514
type(
  (F.kind * OASISTypes.name * OASISVersion.t option) list
)
"src/oasis/OASISPlugin.ml" 537 12288 12292 "src/oasis/OASISPlugin.ml" 545 12502 12514
type(
  (F.kind * OASISTypes.name * OASISVersion.t option)
  OASISTypes.quickstart_question
)
"src/oasis/OASISPlugin.ml" 534 12231 12235 "src/oasis/OASISPlugin.ml" 545 12502 12514
type(
  (F.kind * OASISTypes.name * OASISVersion.t option)
  OASISTypes.quickstart_question
)
"src/oasis/OASISPlugin.ml" 551 12546 12553 "src/oasis/OASISPlugin.ml" 551 12546 12562
ident(
  def Configure "src/oasis/OASISPlugin.ml" 559 12768 12776 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 557 12671 12681 "src/oasis/OASISPlugin.ml" 557 12671 12693
type(
  [> `Configure ]
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 558 12707 12713 "src/oasis/OASISPlugin.ml" 559 12768 12775
)
"src/oasis/OASISPlugin.ml" 557 12671 12696 "src/oasis/OASISPlugin.ml" 557 12671 12706
type(
  [> `Configure ] as 'a
)
"src/oasis/OASISPlugin.ml" 558 12707 12717 "src/oasis/OASISPlugin.ml" 558 12707 12731
type(
  [< `Configure ] -> [> `Configure ]
)
ident(
  def to_plugin_kind "src/oasis/OASISPlugin.ml" 558 12707 12767 "src/oasis/OASISPlugin.ml" 559 12768 12775
)
"src/oasis/OASISPlugin.ml" 558 12707 12743 "src/oasis/OASISPlugin.ml" 558 12707 12753
type(
  [< `Configure ] as 'b
)
"src/oasis/OASISPlugin.ml" 558 12707 12757 "src/oasis/OASISPlugin.ml" 558 12707 12767
type(
  [> `Configure ] as 'c
)
"src/oasis/OASISPlugin.ml" 558 12707 12734 "src/oasis/OASISPlugin.ml" 558 12707 12767
type(
  'b -> 'c
)
"src/oasis/OASISPlugin.ml" 564 12800 12807 "src/oasis/OASISPlugin.ml" 564 12800 12812
ident(
  def Build "src/oasis/OASISPlugin.ml" 572 13002 13010 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 570 12917 12927 "src/oasis/OASISPlugin.ml" 570 12917 12939
type(
  [> `Build ]
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 571 12949 12955 "src/oasis/OASISPlugin.ml" 572 13002 13009
)
"src/oasis/OASISPlugin.ml" 570 12917 12942 "src/oasis/OASISPlugin.ml" 570 12917 12948
type(
  [> `Build ] as 'a
)
"src/oasis/OASISPlugin.ml" 571 12949 12959 "src/oasis/OASISPlugin.ml" 571 12949 12973
type(
  [< `Build ] -> [> `Build ]
)
ident(
  def to_plugin_kind "src/oasis/OASISPlugin.ml" 571 12949 13001 "src/oasis/OASISPlugin.ml" 572 13002 13009
)
"src/oasis/OASISPlugin.ml" 571 12949 12985 "src/oasis/OASISPlugin.ml" 571 12949 12991
type(
  [< `Build ] as 'b
)
"src/oasis/OASISPlugin.ml" 571 12949 12995 "src/oasis/OASISPlugin.ml" 571 12949 13001
type(
  [> `Build ] as 'c
)
"src/oasis/OASISPlugin.ml" 571 12949 12976 "src/oasis/OASISPlugin.ml" 571 12949 13001
type(
  'b -> 'c
)
"src/oasis/OASISPlugin.ml" 577 13037 13044 "src/oasis/OASISPlugin.ml" 577 13037 13047
ident(
  def Doc "src/oasis/OASISPlugin.ml" 585 13254 13262 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 583 13175 13185 "src/oasis/OASISPlugin.ml" 583 13175 13197
type(
  [> `Doc ]
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 584 13205 13211 "src/oasis/OASISPlugin.ml" 585 13254 13261
)
"src/oasis/OASISPlugin.ml" 583 13175 13200 "src/oasis/OASISPlugin.ml" 583 13175 13204
type(
  [> `Doc ] as 'a
)
"src/oasis/OASISPlugin.ml" 584 13205 13215 "src/oasis/OASISPlugin.ml" 584 13205 13229
type(
  [< `Doc ] -> [> `Doc ]
)
ident(
  def to_plugin_kind "src/oasis/OASISPlugin.ml" 584 13205 13253 "src/oasis/OASISPlugin.ml" 585 13254 13261
)
"src/oasis/OASISPlugin.ml" 584 13205 13241 "src/oasis/OASISPlugin.ml" 584 13205 13245
type(
  [< `Doc ] as 'b
)
"src/oasis/OASISPlugin.ml" 584 13205 13249 "src/oasis/OASISPlugin.ml" 584 13205 13253
type(
  [> `Doc ] as 'c
)
"src/oasis/OASISPlugin.ml" 584 13205 13232 "src/oasis/OASISPlugin.ml" 584 13205 13253
type(
  'b -> 'c
)
"src/oasis/OASISPlugin.ml" 590 13285 13292 "src/oasis/OASISPlugin.ml" 590 13285 13296
ident(
  def Test "src/oasis/OASISPlugin.ml" 598 13510 13518 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 596 13428 13438 "src/oasis/OASISPlugin.ml" 596 13428 13450
type(
  [> `Test ]
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 597 13459 13465 "src/oasis/OASISPlugin.ml" 598 13510 13517
)
"src/oasis/OASISPlugin.ml" 596 13428 13453 "src/oasis/OASISPlugin.ml" 596 13428 13458
type(
  [> `Test ] as 'a
)
"src/oasis/OASISPlugin.ml" 597 13459 13469 "src/oasis/OASISPlugin.ml" 597 13459 13483
type(
  [< `Test ] -> [> `Test ]
)
ident(
  def to_plugin_kind "src/oasis/OASISPlugin.ml" 597 13459 13509 "src/oasis/OASISPlugin.ml" 598 13510 13517
)
"src/oasis/OASISPlugin.ml" 597 13459 13495 "src/oasis/OASISPlugin.ml" 597 13459 13500
type(
  [< `Test ] as 'b
)
"src/oasis/OASISPlugin.ml" 597 13459 13504 "src/oasis/OASISPlugin.ml" 597 13459 13509
type(
  [> `Test ] as 'c
)
"src/oasis/OASISPlugin.ml" 597 13459 13486 "src/oasis/OASISPlugin.ml" 597 13459 13509
type(
  'b -> 'c
)
"src/oasis/OASISPlugin.ml" 603 13554 13561 "src/oasis/OASISPlugin.ml" 603 13554 13568
ident(
  def Install "src/oasis/OASISPlugin.ml" 611 13780 13788 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 609 13689 13699 "src/oasis/OASISPlugin.ml" 609 13689 13711
type(
  [> `Install ]
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 610 13723 13729 "src/oasis/OASISPlugin.ml" 611 13780 13787
)
"src/oasis/OASISPlugin.ml" 609 13689 13714 "src/oasis/OASISPlugin.ml" 609 13689 13722
type(
  [> `Install ] as 'a
)
"src/oasis/OASISPlugin.ml" 610 13723 13733 "src/oasis/OASISPlugin.ml" 610 13723 13747
type(
  [< `Install ] -> [> `Install ]
)
ident(
  def to_plugin_kind "src/oasis/OASISPlugin.ml" 610 13723 13779 "src/oasis/OASISPlugin.ml" 611 13780 13787
)
"src/oasis/OASISPlugin.ml" 610 13723 13759 "src/oasis/OASISPlugin.ml" 610 13723 13767
type(
  [< `Install ] as 'b
)
"src/oasis/OASISPlugin.ml" 610 13723 13771 "src/oasis/OASISPlugin.ml" 610 13723 13779
type(
  [> `Install ] as 'c
)
"src/oasis/OASISPlugin.ml" 610 13723 13750 "src/oasis/OASISPlugin.ml" 610 13723 13779
type(
  'b -> 'c
)
"src/oasis/OASISPlugin.ml" 616 13812 13819 "src/oasis/OASISPlugin.ml" 616 13812 13824
ident(
  def Extra "src/oasis/OASISPlugin.ml" 624 14040 14048 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 622 13955 13965 "src/oasis/OASISPlugin.ml" 622 13955 13977
type(
  [> `Extra ]
)
ident(
  def kind_default "src/oasis/OASISPlugin.ml" 623 13987 13993 "src/oasis/OASISPlugin.ml" 624 14040 14047
)
"src/oasis/OASISPlugin.ml" 622 13955 13980 "src/oasis/OASISPlugin.ml" 622 13955 13986
type(
  [> `Extra ] as 'a
)
"src/oasis/OASISPlugin.ml" 623 13987 13997 "src/oasis/OASISPlugin.ml" 623 13987 14011
type(
  [< `Extra ] -> [> `Extra ]
)
ident(
  def to_plugin_kind "src/oasis/OASISPlugin.ml" 623 13987 14039 "src/oasis/OASISPlugin.ml" 624 14040 14047
)
"src/oasis/OASISPlugin.ml" 623 13987 14023 "src/oasis/OASISPlugin.ml" 623 13987 14029
type(
  [< `Extra ] as 'b
)
"src/oasis/OASISPlugin.ml" 623 13987 14033 "src/oasis/OASISPlugin.ml" 623 13987 14039
type(
  [> `Extra ] as 'c
)
"src/oasis/OASISPlugin.ml" 623 13987 14014 "src/oasis/OASISPlugin.ml" 623 13987 14039
type(
  'b -> 'c
)
"src/oasis/OASISPlugin.ml" 633 14144 14148 "src/oasis/OASISPlugin.ml" 633 14144 14163
type(
  string -> bool
)
ident(
  def test_field_name "src/oasis/OASISPlugin.ml" 639 14269 14269 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 633 14144 14164 "src/oasis/OASISPlugin.ml" 633 14144 14166
type(
  string
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 634 14169 14171 "src/oasis/OASISPlugin.ml" 634 14169 14225
)
"src/oasis/OASISPlugin.ml" 634 14169 14171 "src/oasis/OASISPlugin.ml" 634 14169 14184
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISPlugin.ml" 634 14169 14185 "src/oasis/OASISPlugin.ml" 634 14169 14187
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 633 14144 14164 "src/oasis/OASISPlugin.ml" 633 14144 14166
)
"src/oasis/OASISPlugin.ml" 634 14169 14171 "src/oasis/OASISPlugin.ml" 634 14169 14187
type(
  int
)
"src/oasis/OASISPlugin.ml" 634 14169 14188 "src/oasis/OASISPlugin.ml" 634 14169 14189
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISPlugin.ml" 634 14169 14190 "src/oasis/OASISPlugin.ml" 634 14169 14191
type(
  int
)
"src/oasis/OASISPlugin.ml" 634 14169 14171 "src/oasis/OASISPlugin.ml" 634 14169 14191
type(
  bool
)
"src/oasis/OASISPlugin.ml" 634 14169 14192 "src/oasis/OASISPlugin.ml" 634 14169 14194
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISPlugin.ml" 634 14169 14196 "src/oasis/OASISPlugin.ml" 634 14169 14198
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 633 14144 14164 "src/oasis/OASISPlugin.ml" 633 14144 14166
)
"src/oasis/OASISPlugin.ml" 634 14169 14200 "src/oasis/OASISPlugin.ml" 634 14169 14201
type(
  int
)
"src/oasis/OASISPlugin.ml" 634 14169 14196 "src/oasis/OASISPlugin.ml" 634 14169 14202
type(
  char
)
"src/oasis/OASISPlugin.ml" 634 14169 14203 "src/oasis/OASISPlugin.ml" 634 14169 14204
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 634 14169 14205 "src/oasis/OASISPlugin.ml" 634 14169 14208
type(
  char
)
"src/oasis/OASISPlugin.ml" 634 14169 14196 "src/oasis/OASISPlugin.ml" 634 14169 14208
type(
  bool
)
"src/oasis/OASISPlugin.ml" 634 14169 14209 "src/oasis/OASISPlugin.ml" 634 14169 14211
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISPlugin.ml" 634 14169 14212 "src/oasis/OASISPlugin.ml" 634 14169 14214
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 633 14144 14164 "src/oasis/OASISPlugin.ml" 633 14144 14166
)
"src/oasis/OASISPlugin.ml" 634 14169 14216 "src/oasis/OASISPlugin.ml" 634 14169 14217
type(
  int
)
"src/oasis/OASISPlugin.ml" 634 14169 14212 "src/oasis/OASISPlugin.ml" 634 14169 14218
type(
  char
)
"src/oasis/OASISPlugin.ml" 634 14169 14219 "src/oasis/OASISPlugin.ml" 634 14169 14220
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISPlugin.ml" 634 14169 14221 "src/oasis/OASISPlugin.ml" 634 14169 14224
type(
  char
)
"src/oasis/OASISPlugin.ml" 634 14169 14212 "src/oasis/OASISPlugin.ml" 634 14169 14224
type(
  bool
)
"src/oasis/OASISPlugin.ml" 634 14169 14195 "src/oasis/OASISPlugin.ml" 634 14169 14225
type(
  bool
)
"src/oasis/OASISPlugin.ml" 634 14169 14171 "src/oasis/OASISPlugin.ml" 634 14169 14225
type(
  bool
)
"src/oasis/OASISPlugin.ml" 639 14269 14273 "src/oasis/OASISPlugin.ml" 639 14269 14280
type(
  'a -> 'b -> 'a * 'b * OASISVersion.t option
)
ident(
  def builtin "src/oasis/OASISPlugin.ml" 648 14418 14418 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 639 14269 14281 "src/oasis/OASISPlugin.ml" 639 14269 14284
type(
  'a
)
ident(
  def knd "src/oasis/OASISPlugin.ml" 639 14269 14285 "src/oasis/OASISPlugin.ml" 643 14352 14378
)
"src/oasis/OASISPlugin.ml" 639 14269 14285 "src/oasis/OASISPlugin.ml" 639 14269 14287
type(
  'b
)
ident(
  def nm "src/oasis/OASISPlugin.ml" 640 14290 14292 "src/oasis/OASISPlugin.ml" 643 14352 14378
)
"src/oasis/OASISPlugin.ml" 640 14290 14296 "src/oasis/OASISPlugin.ml" 640 14290 14311
type(
  OASISVersion.t option
)
ident(
  def builtin_version "src/oasis/OASISPlugin.ml" 643 14352 14354 "src/oasis/OASISPlugin.ml" 643 14352 14378
)
"src/oasis/OASISPlugin.ml" 641 14314 14323 "src/oasis/OASISPlugin.ml" 641 14314 14346
type(
  OASISVersion.t
)
ident(
  int_ref OASISConf.version_short "src/oasis/OASISConf.ml" 25 1762 1766 "src/oasis/OASISConf.ml" 25 1762 1779
)
"src/oasis/OASISPlugin.ml" 641 14314 14318 "src/oasis/OASISPlugin.ml" 641 14314 14346
type(
  OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 643 14352 14354 "src/oasis/OASISPlugin.ml" 643 14352 14357
type(
  'a
)
ident(
  int_ref knd "src/oasis/OASISPlugin.ml" 639 14269 14281 "src/oasis/OASISPlugin.ml" 639 14269 14284
)
"src/oasis/OASISPlugin.ml" 643 14352 14359 "src/oasis/OASISPlugin.ml" 643 14352 14361
type(
  'b
)
ident(
  int_ref nm "src/oasis/OASISPlugin.ml" 639 14269 14285 "src/oasis/OASISPlugin.ml" 639 14269 14287
)
"src/oasis/OASISPlugin.ml" 643 14352 14363 "src/oasis/OASISPlugin.ml" 643 14352 14378
type(
  OASISVersion.t option
)
ident(
  int_ref builtin_version "src/oasis/OASISPlugin.ml" 640 14290 14296 "src/oasis/OASISPlugin.ml" 640 14290 14311
)
"src/oasis/OASISPlugin.ml" 643 14352 14354 "src/oasis/OASISPlugin.ml" 643 14352 14378
type(
  'a * 'b * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 640 14290 14292 "src/oasis/OASISPlugin.ml" 643 14352 14378
type(
  'a * 'b * OASISVersion.t option
)
"src/oasis/OASISPlugin.ml" 648 14418 14422 "src/oasis/OASISPlugin.ml" 648 14418 14430
type(
  OASISFileTemplate.template -> context_act -> context_act
)
ident(
  def add_file "src/oasis/OASISPlugin.ml" 655 14554 14554 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 648 14418 14431 "src/oasis/OASISPlugin.ml" 648 14418 14435
type(
  OASISFileTemplate.template
)
ident(
  def tmpl "src/oasis/OASISPlugin.ml" 648 14418 14436 "src/oasis/OASISPlugin.ml" 650 14456 14507
)
"src/oasis/OASISPlugin.ml" 648 14418 14436 "src/oasis/OASISPlugin.ml" 648 14418 14440
type(
  context_act
)
ident(
  def ctxt "src/oasis/OASISPlugin.ml" 649 14443 14445 "src/oasis/OASISPlugin.ml" 650 14456 14507
)
"src/oasis/OASISPlugin.ml" 649 14443 14446 "src/oasis/OASISPlugin.ml" 649 14443 14450
type(
  context_act
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 648 14418 14436 "src/oasis/OASISPlugin.ml" 648 14418 14440
)
"src/oasis/OASISPlugin.ml" 650 14456 14469 "src/oasis/OASISPlugin.ml" 650 14456 14490
type(
  OASISFileTemplate.template ->
  OASISFileTemplate.templates -> OASISFileTemplate.templates
)
ident(
  int_ref OASISFileTemplate.add "src/oasis/OASISFileTemplate.mli" 191 6009 6009 "src/oasis/OASISFileTemplate.mli" 191 6009 6052
)
"src/oasis/OASISPlugin.ml" 650 14456 14491 "src/oasis/OASISPlugin.ml" 650 14456 14495
type(
  OASISFileTemplate.template
)
ident(
  int_ref tmpl "src/oasis/OASISPlugin.ml" 648 14418 14431 "src/oasis/OASISPlugin.ml" 648 14418 14435
)
"src/oasis/OASISPlugin.ml" 650 14456 14496 "src/oasis/OASISPlugin.ml" 650 14456 14500
type(
  context_act
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 648 14418 14436 "src/oasis/OASISPlugin.ml" 648 14418 14440
)
"src/oasis/OASISPlugin.ml" 650 14456 14496 "src/oasis/OASISPlugin.ml" 650 14456 14506
type(
  OASISFileTemplate.templates
)
"src/oasis/OASISPlugin.ml" 650 14456 14469 "src/oasis/OASISPlugin.ml" 650 14456 14506
type(
  OASISFileTemplate.templates
)
"src/oasis/OASISPlugin.ml" 649 14443 14445 "src/oasis/OASISPlugin.ml" 650 14456 14507
type(
  context_act
)
"src/oasis/OASISPlugin.ml" 655 14554 14558 "src/oasis/OASISPlugin.ml" 655 14554 14567
type(
  bool -> string -> context_act -> context_act
)
ident(
  def set_error "src/oasis/OASISPlugin.ml" 661 14703 14708 "src/oasis/OASISPlugin.ml" 0 0 -1
)
"src/oasis/OASISPlugin.ml" 655 14554 14568 "src/oasis/OASISPlugin.ml" 655 14554 14571
type(
  bool
)
ident(
  def tst "src/oasis/OASISPlugin.ml" 655 14554 14572 "src/oasis/OASISPlugin.ml" 661 14703 14708
)
"src/oasis/OASISPlugin.ml" 655 14554 14572 "src/oasis/OASISPlugin.ml" 655 14554 14573
type(
  string
)
ident(
  def s "src/oasis/OASISPlugin.ml" 655 14554 14574 "src/oasis/OASISPlugin.ml" 661 14703 14708
)
"src/oasis/OASISPlugin.ml" 655 14554 14574 "src/oasis/OASISPlugin.ml" 655 14554 14578
type(
  context_act
)
ident(
  def ctxt "src/oasis/OASISPlugin.ml" 656 14581 14583 "src/oasis/OASISPlugin.ml" 661 14703 14708
)
"src/oasis/OASISPlugin.ml" 656 14581 14586 "src/oasis/OASISPlugin.ml" 656 14581 14589
type(
  bool
)
ident(
  int_ref tst "src/oasis/OASISPlugin.ml" 655 14554 14568 "src/oasis/OASISPlugin.ml" 655 14554 14571
)
"src/oasis/OASISPlugin.ml" 657 14601 14605 "src/oasis/OASISPlugin.ml" 657 14601 14623
type(
  ctxt:OASISContext.t ->
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISMessage.error "src/oasis/OASISMessage.mli" 59 2501 2501 "src/oasis/OASISMessage.mli" 59 2501 2573
)
"src/oasis/OASISPlugin.ml" 657 14601 14630 "src/oasis/OASISPlugin.ml" 657 14601 14634
type(
  context_act
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 655 14554 14574 "src/oasis/OASISPlugin.ml" 655 14554 14578
)
"src/oasis/OASISPlugin.ml" 657 14601 14630 "src/oasis/OASISPlugin.ml" 657 14601 14639
type(
  OASISContext.t
)
"src/oasis/OASISPlugin.ml" 657 14601 14640 "src/oasis/OASISPlugin.ml" 657 14601 14644
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISPlugin.ml" 657 14601 14645 "src/oasis/OASISPlugin.ml" 657 14601 14646
type(
  string
)
ident(
  int_ref s "src/oasis/OASISPlugin.ml" 655 14554 14572 "src/oasis/OASISPlugin.ml" 655 14554 14573
)
"src/oasis/OASISPlugin.ml" 657 14601 14605 "src/oasis/OASISPlugin.ml" 657 14601 14646
type(
  unit
)
"src/oasis/OASISPlugin.ml" 658 14648 14653 "src/oasis/OASISPlugin.ml" 658 14648 14657
type(
  context_act
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 655 14554 14574 "src/oasis/OASISPlugin.ml" 655 14554 14578
)
"src/oasis/OASISPlugin.ml" 658 14648 14671 "src/oasis/OASISPlugin.ml" 658 14648 14675
type(
  bool
)
"src/oasis/OASISPlugin.ml" 658 14648 14652 "src/oasis/OASISPlugin.ml" 658 14648 14676
type(
  context_act
)
"src/oasis/OASISPlugin.ml" 656 14581 14595 "src/oasis/OASISPlugin.ml" 659 14677 14682
type(
  context_act
)
"src/oasis/OASISPlugin.ml" 659 14677 14688 "src/oasis/OASISPlugin.ml" 661 14703 14708
type(
  context_act
)
ident(
  int_ref ctxt "src/oasis/OASISPlugin.ml" 655 14554 14574 "src/oasis/OASISPlugin.ml" 655 14554 14578
)
"src/oasis/OASISPlugin.ml" 656 14581 14583 "src/oasis/OASISPlugin.ml" 661 14703 14708
type(
  context_act
)
