"src/oasis/OASISFeatures.ml" 28 1771 1778 "src/oasis/OASISFeatures.ml" 28 1771 1787
ident(
  def MapPlugin "src/oasis/OASISFeatures.ml" 33 1886 1894 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 32 1847 1857 "src/oasis/OASISFeatures.ml" 32 1847 1864
type(
  'a -> 'a -> int
)
ident(
  def compare "src/oasis/OASISFeatures.ml" 32 1847 1885 "src/oasis/OASISFeatures.ml" 33 1886 1893
)
"src/oasis/OASISFeatures.ml" 32 1847 1867 "src/oasis/OASISFeatures.ml" 32 1847 1885
type(
  'a -> 'a -> int
)
ident(
  int_ref Stdlib.Pervasives.compare "pervasives.ml" 28 1493 1493 "pervasives.ml" 28 1493 1540
)
"src/oasis/OASISFeatures.ml" 35 1896 1903 "src/oasis/OASISFeatures.ml" 35 1896 1907
ident(
  def Data "src/oasis/OASISFeatures.ml" 86 3411 3414 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 45 2105 2111 "src/oasis/OASISFeatures.ml" 45 2105 2117
type(
  OASISVersion.t -> string list -> string list -> t
)
ident(
  def create "src/oasis/OASISFeatures.ml" 53 2329 2331 "src/oasis/OASISFeatures.ml" 86 3411 3414
)
"src/oasis/OASISFeatures.ml" 45 2105 2118 "src/oasis/OASISFeatures.ml" 45 2105 2131
type(
  OASISVersion.t
)
ident(
  def oasis_version "src/oasis/OASISFeatures.ml" 45 2105 2132 "src/oasis/OASISFeatures.ml" 51 2322 2327
)
"src/oasis/OASISFeatures.ml" 45 2105 2132 "src/oasis/OASISFeatures.ml" 45 2105 2146
type(
  string list
)
ident(
  def alpha_features "src/oasis/OASISFeatures.ml" 45 2105 2147 "src/oasis/OASISFeatures.ml" 51 2322 2327
)
"src/oasis/OASISFeatures.ml" 45 2105 2147 "src/oasis/OASISFeatures.ml" 45 2105 2160
type(
  string list
)
ident(
  def beta_features "src/oasis/OASISFeatures.ml" 46 2163 2167 "src/oasis/OASISFeatures.ml" 51 2322 2327
)
"src/oasis/OASISFeatures.ml" 47 2169 2191 "src/oasis/OASISFeatures.ml" 47 2169 2204
type(
  OASISVersion.t
)
ident(
  int_ref oasis_version "src/oasis/OASISFeatures.ml" 45 2105 2118 "src/oasis/OASISFeatures.ml" 45 2105 2131
)
"src/oasis/OASISFeatures.ml" 48 2206 2230 "src/oasis/OASISFeatures.ml" 48 2206 2245
type(
  OASISVersion.t option MapPlugin.t
)
ident(
  int_ref MapPlugin.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISFeatures.ml" 49 2247 2270 "src/oasis/OASISFeatures.ml" 49 2247 2284
type(
  string list
)
ident(
  int_ref alpha_features "src/oasis/OASISFeatures.ml" 45 2105 2132 "src/oasis/OASISFeatures.ml" 45 2105 2146
)
"src/oasis/OASISFeatures.ml" 50 2286 2308 "src/oasis/OASISFeatures.ml" 50 2286 2321
type(
  string list
)
ident(
  int_ref beta_features "src/oasis/OASISFeatures.ml" 45 2105 2147 "src/oasis/OASISFeatures.ml" 45 2105 2160
)
"src/oasis/OASISFeatures.ml" 46 2163 2167 "src/oasis/OASISFeatures.ml" 51 2322 2327
type(
  t
)
"src/oasis/OASISFeatures.ml" 53 2329 2335 "src/oasis/OASISFeatures.ml" 53 2329 2345
type(
  OASISTypes.package -> t
)
ident(
  def of_package "src/oasis/OASISFeatures.ml" 59 2470 2472 "src/oasis/OASISFeatures.ml" 86 3411 3414
)
"src/oasis/OASISFeatures.ml" 53 2329 2346 "src/oasis/OASISFeatures.ml" 53 2329 2349
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISFeatures.ml" 54 2352 2356 "src/oasis/OASISFeatures.ml" 57 2434 2468
)
"src/oasis/OASISFeatures.ml" 54 2352 2356 "src/oasis/OASISFeatures.ml" 54 2352 2362
type(
  OASISVersion.t -> string list -> string list -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 45 2105 2111 "src/oasis/OASISFeatures.ml" 45 2105 2117
)
"src/oasis/OASISFeatures.ml" 55 2363 2369 "src/oasis/OASISFeatures.ml" 55 2363 2372
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISFeatures.ml" 53 2329 2346 "src/oasis/OASISFeatures.ml" 53 2329 2349
)
"src/oasis/OASISFeatures.ml" 55 2363 2369 "src/oasis/OASISFeatures.ml" 55 2363 2397
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 56 2398 2404 "src/oasis/OASISFeatures.ml" 56 2398 2407
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISFeatures.ml" 53 2329 2346 "src/oasis/OASISFeatures.ml" 53 2329 2349
)
"src/oasis/OASISFeatures.ml" 56 2398 2404 "src/oasis/OASISFeatures.ml" 56 2398 2433
type(
  string list
)
"src/oasis/OASISFeatures.ml" 57 2434 2440 "src/oasis/OASISFeatures.ml" 57 2434 2443
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISFeatures.ml" 53 2329 2346 "src/oasis/OASISFeatures.ml" 53 2329 2349
)
"src/oasis/OASISFeatures.ml" 57 2434 2440 "src/oasis/OASISFeatures.ml" 57 2434 2468
type(
  string list
)
"src/oasis/OASISFeatures.ml" 54 2352 2356 "src/oasis/OASISFeatures.ml" 57 2434 2468
type(
  t
)
"src/oasis/OASISFeatures.ml" 59 2470 2476 "src/oasis/OASISFeatures.ml" 59 2470 2486
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option -> t -> t
)
ident(
  def add_plugin "src/oasis/OASISFeatures.ml" 66 2680 2682 "src/oasis/OASISFeatures.ml" 86 3411 3414
)
"src/oasis/OASISFeatures.ml" 59 2470 2488 "src/oasis/OASISFeatures.ml" 59 2470 2499
type(
  OASISTypes.plugin_kind
)
ident(
  def plugin_kind "src/oasis/OASISFeatures.ml" 59 2470 2530 "src/oasis/OASISFeatures.ml" 64 2649 2678
)
"src/oasis/OASISFeatures.ml" 59 2470 2501 "src/oasis/OASISFeatures.ml" 59 2470 2512
type(
  OASISTypes.name
)
ident(
  def plugin_name "src/oasis/OASISFeatures.ml" 59 2470 2530 "src/oasis/OASISFeatures.ml" 64 2649 2678
)
"src/oasis/OASISFeatures.ml" 59 2470 2514 "src/oasis/OASISFeatures.ml" 59 2470 2528
type(
  OASISVersion.t option
)
ident(
  def plugin_version "src/oasis/OASISFeatures.ml" 59 2470 2530 "src/oasis/OASISFeatures.ml" 64 2649 2678
)
"src/oasis/OASISFeatures.ml" 59 2470 2487 "src/oasis/OASISFeatures.ml" 59 2470 2529
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 59 2470 2530 "src/oasis/OASISFeatures.ml" 59 2470 2531
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 60 2534 2538 "src/oasis/OASISFeatures.ml" 64 2649 2678
)
"src/oasis/OASISFeatures.ml" 60 2534 2539 "src/oasis/OASISFeatures.ml" 60 2534 2540
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 59 2470 2530 "src/oasis/OASISFeatures.ml" 59 2470 2531
)
"src/oasis/OASISFeatures.ml" 61 2546 2571 "src/oasis/OASISFeatures.ml" 61 2546 2584
type(
  MapPlugin.key ->
  OASISVersion.t option ->
  OASISVersion.t option MapPlugin.t -> OASISVersion.t option MapPlugin.t
)
ident(
  int_ref MapPlugin.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISFeatures.ml" 62 2585 2597 "src/oasis/OASISFeatures.ml" 62 2585 2608
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref plugin_kind "src/oasis/OASISFeatures.ml" 59 2470 2488 "src/oasis/OASISFeatures.ml" 59 2470 2499
)
"src/oasis/OASISFeatures.ml" 62 2585 2610 "src/oasis/OASISFeatures.ml" 62 2585 2621
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 59 2470 2501 "src/oasis/OASISFeatures.ml" 59 2470 2512
)
"src/oasis/OASISFeatures.ml" 62 2585 2596 "src/oasis/OASISFeatures.ml" 62 2585 2622
type(
  MapPlugin.key
)
"src/oasis/OASISFeatures.ml" 63 2623 2634 "src/oasis/OASISFeatures.ml" 63 2623 2648
type(
  OASISVersion.t option
)
ident(
  int_ref plugin_version "src/oasis/OASISFeatures.ml" 59 2470 2514 "src/oasis/OASISFeatures.ml" 59 2470 2528
)
"src/oasis/OASISFeatures.ml" 64 2649 2660 "src/oasis/OASISFeatures.ml" 64 2649 2661
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 59 2470 2530 "src/oasis/OASISFeatures.ml" 59 2470 2531
)
"src/oasis/OASISFeatures.ml" 64 2649 2660 "src/oasis/OASISFeatures.ml" 64 2649 2677
type(
  OASISVersion.t option MapPlugin.t
)
"src/oasis/OASISFeatures.ml" 61 2546 2571 "src/oasis/OASISFeatures.ml" 64 2649 2677
type(
  OASISVersion.t option MapPlugin.t
)
"src/oasis/OASISFeatures.ml" 60 2534 2538 "src/oasis/OASISFeatures.ml" 64 2649 2678
type(
  t
)
"src/oasis/OASISFeatures.ml" 66 2680 2686 "src/oasis/OASISFeatures.ml" 66 2680 2700
type(
  OASISTypes.plugin_kind -> OASISTypes.name -> t -> OASISVersion.t option
)
ident(
  def plugin_version "src/oasis/OASISFeatures.ml" 69 2794 2796 "src/oasis/OASISFeatures.ml" 86 3411 3414
)
"src/oasis/OASISFeatures.ml" 66 2680 2701 "src/oasis/OASISFeatures.ml" 66 2680 2712
type(
  OASISTypes.plugin_kind
)
ident(
  def plugin_kind "src/oasis/OASISFeatures.ml" 66 2680 2713 "src/oasis/OASISFeatures.ml" 67 2729 2792
)
"src/oasis/OASISFeatures.ml" 66 2680 2713 "src/oasis/OASISFeatures.ml" 66 2680 2724
type(
  OASISTypes.name
)
ident(
  def plugin_name "src/oasis/OASISFeatures.ml" 66 2680 2725 "src/oasis/OASISFeatures.ml" 67 2729 2792
)
"src/oasis/OASISFeatures.ml" 66 2680 2725 "src/oasis/OASISFeatures.ml" 66 2680 2726
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 67 2729 2733 "src/oasis/OASISFeatures.ml" 67 2729 2792
)
"src/oasis/OASISFeatures.ml" 67 2729 2733 "src/oasis/OASISFeatures.ml" 67 2729 2747
type(
  MapPlugin.key -> OASISVersion.t option MapPlugin.t -> OASISVersion.t option
)
ident(
  int_ref MapPlugin.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/oasis/OASISFeatures.ml" 67 2729 2749 "src/oasis/OASISFeatures.ml" 67 2729 2760
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref plugin_kind "src/oasis/OASISFeatures.ml" 66 2680 2701 "src/oasis/OASISFeatures.ml" 66 2680 2712
)
"src/oasis/OASISFeatures.ml" 67 2729 2762 "src/oasis/OASISFeatures.ml" 67 2729 2773
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 66 2680 2713 "src/oasis/OASISFeatures.ml" 66 2680 2724
)
"src/oasis/OASISFeatures.ml" 67 2729 2748 "src/oasis/OASISFeatures.ml" 67 2729 2774
type(
  MapPlugin.key
)
"src/oasis/OASISFeatures.ml" 67 2729 2775 "src/oasis/OASISFeatures.ml" 67 2729 2776
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 66 2680 2725 "src/oasis/OASISFeatures.ml" 66 2680 2726
)
"src/oasis/OASISFeatures.ml" 67 2729 2775 "src/oasis/OASISFeatures.ml" 67 2729 2792
type(
  OASISVersion.t option MapPlugin.t
)
"src/oasis/OASISFeatures.ml" 67 2729 2733 "src/oasis/OASISFeatures.ml" 67 2729 2792
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 69 2794 2800 "src/oasis/OASISFeatures.ml" 69 2794 2809
type(
  t -> string
)
ident(
  def to_string "src/oasis/OASISFeatures.ml" 85 3376 3410 "src/oasis/OASISFeatures.ml" 86 3411 3414
)
"src/oasis/OASISFeatures.ml" 69 2794 2810 "src/oasis/OASISFeatures.ml" 69 2794 2811
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 70 2814 2818 "src/oasis/OASISFeatures.ml" 85 3376 3410
)
"src/oasis/OASISFeatures.ml" 70 2814 2818 "src/oasis/OASISFeatures.ml" 70 2814 2832
type(
  (string -> string -> string -> string -> string, unit, string) format ->
  string -> string -> string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISFeatures.ml" 71 2833 2839 "src/oasis/OASISFeatures.ml" 72 2900 2927
type(
  (string -> string -> string -> string -> string, unit, string) format
)
"src/oasis/OASISFeatures.ml" 73 2928 2935 "src/oasis/OASISFeatures.ml" 73 2928 2965
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/OASISFeatures.ml" 73 2928 2967 "src/oasis/OASISFeatures.ml" 73 2928 2968
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 69 2794 2810 "src/oasis/OASISFeatures.ml" 69 2794 2811
)
"src/oasis/OASISFeatures.ml" 73 2928 2966 "src/oasis/OASISFeatures.ml" 73 2928 2985
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 73 2928 2934 "src/oasis/OASISFeatures.ml" 73 2928 2986
type(
  string
)
"src/oasis/OASISFeatures.ml" 74 2987 2994 "src/oasis/OASISFeatures.ml" 74 2987 3007
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISFeatures.ml" 74 2987 3008 "src/oasis/OASISFeatures.ml" 74 2987 3012
type(
  string
)
"src/oasis/OASISFeatures.ml" 74 2987 3013 "src/oasis/OASISFeatures.ml" 74 2987 3014
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 69 2794 2810 "src/oasis/OASISFeatures.ml" 69 2794 2811
)
"src/oasis/OASISFeatures.ml" 74 2987 3013 "src/oasis/OASISFeatures.ml" 74 2987 3029
type(
  string list
)
"src/oasis/OASISFeatures.ml" 74 2987 2993 "src/oasis/OASISFeatures.ml" 74 2987 3030
type(
  string
)
"src/oasis/OASISFeatures.ml" 75 3031 3038 "src/oasis/OASISFeatures.ml" 75 3031 3051
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISFeatures.ml" 75 3031 3052 "src/oasis/OASISFeatures.ml" 75 3031 3056
type(
  string
)
"src/oasis/OASISFeatures.ml" 75 3031 3057 "src/oasis/OASISFeatures.ml" 75 3031 3058
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 69 2794 2810 "src/oasis/OASISFeatures.ml" 69 2794 2811
)
"src/oasis/OASISFeatures.ml" 75 3031 3057 "src/oasis/OASISFeatures.ml" 75 3031 3072
type(
  string list
)
"src/oasis/OASISFeatures.ml" 75 3031 3037 "src/oasis/OASISFeatures.ml" 75 3031 3073
type(
  string
)
"src/oasis/OASISFeatures.ml" 76 3074 3081 "src/oasis/OASISFeatures.ml" 76 3074 3094
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISFeatures.ml" 76 3074 3095 "src/oasis/OASISFeatures.ml" 76 3074 3099
type(
  string
)
"src/oasis/OASISFeatures.ml" 77 3100 3110 "src/oasis/OASISFeatures.ml" 77 3100 3124
type(
  (MapPlugin.key -> OASISVersion.t option -> string list -> string list) ->
  OASISVersion.t option MapPlugin.t -> string list -> string list
)
ident(
  int_ref MapPlugin.fold "map.mli" 160 6864 6868 "map.mli" 160 6864 6921
)
"src/oasis/OASISFeatures.ml" 78 3125 3143 "src/oasis/OASISFeatures.ml" 78 3125 3144
type(
  OASISTypes.plugin_kind
)
"src/oasis/OASISFeatures.ml" 78 3125 3146 "src/oasis/OASISFeatures.ml" 78 3125 3149
type(
  OASISTypes.name
)
ident(
  def plg "src/oasis/OASISFeatures.ml" 78 3125 3151 "src/oasis/OASISFeatures.ml" 84 3353 3374
)
"src/oasis/OASISFeatures.ml" 78 3125 3142 "src/oasis/OASISFeatures.ml" 78 3125 3150
type(
  OASISTypes.plugin_kind * OASISTypes.name
)
"src/oasis/OASISFeatures.ml" 78 3125 3151 "src/oasis/OASISFeatures.ml" 78 3125 3158
type(
  OASISVersion.t option
)
ident(
  def ver_opt "src/oasis/OASISFeatures.ml" 78 3125 3159 "src/oasis/OASISFeatures.ml" 84 3353 3374
)
"src/oasis/OASISFeatures.ml" 78 3125 3159 "src/oasis/OASISFeatures.ml" 78 3125 3162
type(
  string list
)
ident(
  def acc "src/oasis/OASISFeatures.ml" 79 3166 3181 "src/oasis/OASISFeatures.ml" 84 3353 3374
)
"src/oasis/OASISFeatures.ml" 79 3166 3182 "src/oasis/OASISFeatures.ml" 79 3166 3185
type(
  OASISTypes.name
)
ident(
  int_ref plg "src/oasis/OASISFeatures.ml" 78 3125 3146 "src/oasis/OASISFeatures.ml" 78 3125 3149
)
"src/oasis/OASISFeatures.ml" 79 3166 3185 "src/oasis/OASISFeatures.ml" 79 3166 3186
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFeatures.ml" 80 3187 3212 "src/oasis/OASISFeatures.ml" 80 3187 3219
type(
  OASISVersion.t option
)
ident(
  int_ref ver_opt "src/oasis/OASISFeatures.ml" 78 3125 3151 "src/oasis/OASISFeatures.ml" 78 3125 3158
)
"src/oasis/OASISFeatures.ml" 81 3225 3252 "src/oasis/OASISFeatures.ml" 81 3225 3253
type(
  OASISVersion.t
)
ident(
  def v "src/oasis/OASISFeatures.ml" 82 3257 3279 "src/oasis/OASISFeatures.ml" 82 3257 3317
)
"src/oasis/OASISFeatures.ml" 81 3225 3247 "src/oasis/OASISFeatures.ml" 81 3225 3253
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 82 3257 3279 "src/oasis/OASISFeatures.ml" 82 3257 3282
type(
  string
)
"src/oasis/OASISFeatures.ml" 82 3257 3282 "src/oasis/OASISFeatures.ml" 82 3257 3283
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFeatures.ml" 82 3257 3284 "src/oasis/OASISFeatures.ml" 82 3257 3314
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/OASISFeatures.ml" 82 3257 3315 "src/oasis/OASISFeatures.ml" 82 3257 3316
type(
  OASISVersion.t
)
ident(
  int_ref v "src/oasis/OASISFeatures.ml" 81 3225 3252 "src/oasis/OASISFeatures.ml" 81 3225 3253
)
"src/oasis/OASISFeatures.ml" 82 3257 3283 "src/oasis/OASISFeatures.ml" 82 3257 3317
type(
  string
)
"src/oasis/OASISFeatures.ml" 82 3257 3279 "src/oasis/OASISFeatures.ml" 82 3257 3317
type(
  string
)
"src/oasis/OASISFeatures.ml" 83 3318 3340 "src/oasis/OASISFeatures.ml" 83 3318 3344
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 83 3318 3348 "src/oasis/OASISFeatures.ml" 83 3318 3350
type(
  string
)
"src/oasis/OASISFeatures.ml" 80 3187 3205 "src/oasis/OASISFeatures.ml" 83 3318 3351
type(
  string
)
"src/oasis/OASISFeatures.ml" 79 3166 3181 "src/oasis/OASISFeatures.ml" 83 3318 3352
type(
  string
)
"src/oasis/OASISFeatures.ml" 84 3353 3371 "src/oasis/OASISFeatures.ml" 84 3353 3374
type(
  string list
)
ident(
  int_ref acc "src/oasis/OASISFeatures.ml" 78 3125 3159 "src/oasis/OASISFeatures.ml" 78 3125 3162
)
"src/oasis/OASISFeatures.ml" 79 3166 3181 "src/oasis/OASISFeatures.ml" 84 3353 3374
type(
  string list
)
"src/oasis/OASISFeatures.ml" 78 3125 3137 "src/oasis/OASISFeatures.ml" 84 3353 3375
type(
  MapPlugin.key -> OASISVersion.t option -> string list -> string list
)
"src/oasis/OASISFeatures.ml" 85 3376 3388 "src/oasis/OASISFeatures.ml" 85 3376 3389
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 69 2794 2810 "src/oasis/OASISFeatures.ml" 69 2794 2811
)
"src/oasis/OASISFeatures.ml" 85 3376 3388 "src/oasis/OASISFeatures.ml" 85 3376 3405
type(
  OASISVersion.t option MapPlugin.t
)
"src/oasis/OASISFeatures.ml" 85 3376 3406 "src/oasis/OASISFeatures.ml" 85 3376 3408
type(
  string list
)
"src/oasis/OASISFeatures.ml" 77 3100 3109 "src/oasis/OASISFeatures.ml" 85 3376 3409
type(
  string list
)
"src/oasis/OASISFeatures.ml" 76 3074 3080 "src/oasis/OASISFeatures.ml" 85 3376 3410
type(
  string
)
"src/oasis/OASISFeatures.ml" 70 2814 2818 "src/oasis/OASISFeatures.ml" 85 3376 3410
type(
  string
)
"src/oasis/OASISFeatures.ml" 96 3523 3527 "src/oasis/OASISFeatures.ml" 96 3523 3542
type(
  stage -> string
)
ident(
  def string_of_stage "src/oasis/OASISFeatures.ml" 102 3598 3598 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 98 3556 3560 "src/oasis/OASISFeatures.ml" 98 3556 3565
type(
  stage
)
"src/oasis/OASISFeatures.ml" 98 3556 3569 "src/oasis/OASISFeatures.ml" 98 3556 3576
type(
  string
)
"src/oasis/OASISFeatures.ml" 99 3577 3581 "src/oasis/OASISFeatures.ml" 99 3577 3585
type(
  stage
)
"src/oasis/OASISFeatures.ml" 99 3577 3589 "src/oasis/OASISFeatures.ml" 99 3577 3595
type(
  string
)
"src/oasis/OASISFeatures.ml" 97 3545 3547 "src/oasis/OASISFeatures.ml" 99 3577 3595
type(
  stage -> string
)
"src/oasis/OASISFeatures.ml" 102 3598 3602 "src/oasis/OASISFeatures.ml" 102 3598 3616
type(
  stage -> string
)
ident(
  def field_of_stage "src/oasis/OASISFeatures.ml" 107 3687 3687 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 104 3630 3634 "src/oasis/OASISFeatures.ml" 104 3630 3639
type(
  stage
)
"src/oasis/OASISFeatures.ml" 104 3630 3643 "src/oasis/OASISFeatures.ml" 104 3630 3658
type(
  string
)
"src/oasis/OASISFeatures.ml" 105 3659 3663 "src/oasis/OASISFeatures.ml" 105 3659 3667
type(
  stage
)
"src/oasis/OASISFeatures.ml" 105 3659 3671 "src/oasis/OASISFeatures.ml" 105 3659 3685
type(
  string
)
"src/oasis/OASISFeatures.ml" 103 3619 3621 "src/oasis/OASISFeatures.ml" 105 3659 3685
type(
  stage -> string
)
"src/oasis/OASISFeatures.ml" 118 3917 3921 "src/oasis/OASISFeatures.ml" 118 3917 3933
type(
  (string, t) Hashtbl.t
)
ident(
  def all_features "src/oasis/OASISFeatures.ml" 121 3956 3956 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 118 3917 3936 "src/oasis/OASISFeatures.ml" 118 3917 3950
type(
  ?random:bool -> int -> (string, t) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/OASISFeatures.ml" 118 3917 3951 "src/oasis/OASISFeatures.ml" 118 3917 3953
type(
  int
)
"src/oasis/OASISFeatures.ml" 118 3917 3936 "src/oasis/OASISFeatures.ml" 118 3917 3953
type(
  (string, t) Hashtbl.t
)
"src/oasis/OASISFeatures.ml" 121 3956 3960 "src/oasis/OASISFeatures.ml" 121 3956 3973
type(
  string -> publication
)
ident(
  def since_version "src/oasis/OASISFeatures.ml" 122 4025 4025 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 121 3956 3974 "src/oasis/OASISFeatures.ml" 121 3956 3981
type(
  string
)
ident(
  def ver_str "src/oasis/OASISFeatures.ml" 121 3956 3984 "src/oasis/OASISFeatures.ml" 121 3956 4024
)
"src/oasis/OASISFeatures.ml" 121 3956 3998 "src/oasis/OASISFeatures.ml" 121 3956 4015
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/OASISFeatures.ml" 121 3956 4016 "src/oasis/OASISFeatures.ml" 121 3956 4023
type(
  string
)
ident(
  int_ref ver_str "src/oasis/OASISFeatures.ml" 121 3956 3974 "src/oasis/OASISFeatures.ml" 121 3956 3981
)
"src/oasis/OASISFeatures.ml" 121 3956 3997 "src/oasis/OASISFeatures.ml" 121 3956 4024
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 121 3956 3984 "src/oasis/OASISFeatures.ml" 121 3956 4024
type(
  publication
)
"src/oasis/OASISFeatures.ml" 122 4025 4029 "src/oasis/OASISFeatures.ml" 122 4025 4034
type(
  publication
)
ident(
  def alpha "src/oasis/OASISFeatures.ml" 123 4049 4049 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 122 4025 4043 "src/oasis/OASISFeatures.ml" 122 4025 4048
type(
  stage
)
"src/oasis/OASISFeatures.ml" 122 4025 4037 "src/oasis/OASISFeatures.ml" 122 4025 4048
type(
  publication
)
"src/oasis/OASISFeatures.ml" 123 4049 4053 "src/oasis/OASISFeatures.ml" 123 4049 4057
type(
  publication
)
ident(
  def beta "src/oasis/OASISFeatures.ml" 126 4073 4073 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 123 4049 4066 "src/oasis/OASISFeatures.ml" 123 4049 4070
type(
  stage
)
"src/oasis/OASISFeatures.ml" 123 4049 4060 "src/oasis/OASISFeatures.ml" 123 4049 4070
type(
  publication
)
"src/oasis/OASISFeatures.ml" 126 4073 4077 "src/oasis/OASISFeatures.ml" 126 4073 4086
type(
  t -> string
)
ident(
  def to_string "src/oasis/OASISFeatures.ml" 137 4395 4395 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 126 4073 4087 "src/oasis/OASISFeatures.ml" 126 4073 4088
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 127 4091 4093 "src/oasis/OASISFeatures.ml" 135 4323 4393
)
"src/oasis/OASISFeatures.ml" 127 4091 4093 "src/oasis/OASISFeatures.ml" 127 4091 4107
type(
  (string -> OASISTypes.name -> string -> string, unit, string) format ->
  string -> OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISFeatures.ml" 128 4108 4112 "src/oasis/OASISFeatures.ml" 128 4108 4154
type(
  (string -> OASISTypes.name -> string -> string, unit, string) format
)
"src/oasis/OASISFeatures.ml" 129 4155 4160 "src/oasis/OASISFeatures.ml" 129 4155 4161
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 126 4073 4087 "src/oasis/OASISFeatures.ml" 126 4073 4088
)
"src/oasis/OASISFeatures.ml" 129 4155 4159 "src/oasis/OASISFeatures.ml" 129 4155 4169
type(
  string
)
"src/oasis/OASISFeatures.ml" 130 4170 4181 "src/oasis/OASISFeatures.ml" 130 4170 4182
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 126 4073 4087 "src/oasis/OASISFeatures.ml" 126 4073 4088
)
"src/oasis/OASISFeatures.ml" 130 4170 4181 "src/oasis/OASISFeatures.ml" 130 4170 4189
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 131 4195 4202 "src/oasis/OASISFeatures.ml" 131 4195 4206
type(
  OASISTypes.all_plugin option
)
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 131 4195 4210 "src/oasis/OASISFeatures.ml" 131 4195 4218
type(
  OASISTypes.name
)
"src/oasis/OASISFeatures.ml" 132 4219 4232 "src/oasis/OASISFeatures.ml" 132 4219 4233
type(
  OASISTypes.plugin_kind
)
"src/oasis/OASISFeatures.ml" 132 4219 4235 "src/oasis/OASISFeatures.ml" 132 4219 4237
type(
  OASISTypes.name
)
ident(
  def nm "src/oasis/OASISFeatures.ml" 132 4219 4245 "src/oasis/OASISFeatures.ml" 132 4219 4247
)
"src/oasis/OASISFeatures.ml" 132 4219 4239 "src/oasis/OASISFeatures.ml" 132 4219 4240
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 132 4219 4231 "src/oasis/OASISFeatures.ml" 132 4219 4241
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 132 4219 4226 "src/oasis/OASISFeatures.ml" 132 4219 4241
type(
  OASISTypes.all_plugin option
)
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 132 4219 4245 "src/oasis/OASISFeatures.ml" 132 4219 4247
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/oasis/OASISFeatures.ml" 132 4219 4235 "src/oasis/OASISFeatures.ml" 132 4219 4237
)
"src/oasis/OASISFeatures.ml" 130 4170 4174 "src/oasis/OASISFeatures.ml" 132 4219 4248
type(
  OASISTypes.name
)
"src/oasis/OASISFeatures.ml" 133 4249 4260 "src/oasis/OASISFeatures.ml" 133 4249 4261
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 126 4073 4087 "src/oasis/OASISFeatures.ml" 126 4073 4088
)
"src/oasis/OASISFeatures.ml" 133 4249 4260 "src/oasis/OASISFeatures.ml" 133 4249 4273
type(
  publication
)
"src/oasis/OASISFeatures.ml" 134 4279 4292 "src/oasis/OASISFeatures.ml" 134 4279 4297
type(
  stage
)
ident(
  def stage "src/oasis/OASISFeatures.ml" 134 4279 4301 "src/oasis/OASISFeatures.ml" 134 4279 4322
)
"src/oasis/OASISFeatures.ml" 134 4279 4286 "src/oasis/OASISFeatures.ml" 134 4279 4297
type(
  publication
)
type(
  publication
)
"src/oasis/OASISFeatures.ml" 134 4279 4301 "src/oasis/OASISFeatures.ml" 134 4279 4316
type(
  stage -> string
)
ident(
  int_ref string_of_stage "src/oasis/OASISFeatures.ml" 96 3523 3527 "src/oasis/OASISFeatures.ml" 96 3523 3542
)
"src/oasis/OASISFeatures.ml" 134 4279 4317 "src/oasis/OASISFeatures.ml" 134 4279 4322
type(
  stage
)
ident(
  int_ref stage "src/oasis/OASISFeatures.ml" 134 4279 4292 "src/oasis/OASISFeatures.ml" 134 4279 4297
)
"src/oasis/OASISFeatures.ml" 134 4279 4301 "src/oasis/OASISFeatures.ml" 134 4279 4322
type(
  string
)
"src/oasis/OASISFeatures.ml" 135 4323 4343 "src/oasis/OASISFeatures.ml" 135 4323 4346
type(
  OASISVersion.t
)
ident(
  def ver "src/oasis/OASISFeatures.ml" 135 4323 4350 "src/oasis/OASISFeatures.ml" 135 4323 4392
)
"src/oasis/OASISFeatures.ml" 135 4323 4330 "src/oasis/OASISFeatures.ml" 135 4323 4346
type(
  publication
)
type(
  publication
)
"src/oasis/OASISFeatures.ml" 135 4323 4350 "src/oasis/OASISFeatures.ml" 135 4323 4355
type(
  string
)
"src/oasis/OASISFeatures.ml" 135 4323 4355 "src/oasis/OASISFeatures.ml" 135 4323 4356
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISFeatures.ml" 135 4323 4357 "src/oasis/OASISFeatures.ml" 135 4323 4387
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/OASISFeatures.ml" 135 4323 4388 "src/oasis/OASISFeatures.ml" 135 4323 4391
type(
  OASISVersion.t
)
ident(
  int_ref ver "src/oasis/OASISFeatures.ml" 135 4323 4343 "src/oasis/OASISFeatures.ml" 135 4323 4346
)
"src/oasis/OASISFeatures.ml" 135 4323 4356 "src/oasis/OASISFeatures.ml" 135 4323 4392
type(
  string
)
"src/oasis/OASISFeatures.ml" 135 4323 4350 "src/oasis/OASISFeatures.ml" 135 4323 4392
type(
  string
)
"src/oasis/OASISFeatures.ml" 133 4249 4253 "src/oasis/OASISFeatures.ml" 135 4323 4393
type(
  string
)
"src/oasis/OASISFeatures.ml" 127 4091 4093 "src/oasis/OASISFeatures.ml" 135 4323 4393
type(
  string
)
"src/oasis/OASISFeatures.ml" 137 4395 4399 "src/oasis/OASISFeatures.ml" 137 4395 4409
type(
  t -> Data.t -> origin -> string option
)
ident(
  def data_check "src/oasis/OASISFeatures.ml" 279 9738 9738 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 137 4395 4410 "src/oasis/OASISFeatures.ml" 137 4395 4411
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
type(
  Data.t
)
ident(
  def data "src/oasis/OASISFeatures.ml" 137 4395 4417 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 137 4395 4417 "src/oasis/OASISFeatures.ml" 137 4395 4423
type(
  origin
)
ident(
  def origin "src/oasis/OASISFeatures.ml" 138 4426 4428 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 138 4426 4432 "src/oasis/OASISFeatures.ml" 138 4426 4442
type(
  string
)
ident(
  def no_message "src/oasis/OASISFeatures.ml" 140 4462 4464 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 138 4426 4445 "src/oasis/OASISFeatures.ml" 138 4426 4457
type(
  string
)
"src/oasis/OASISFeatures.ml" 140 4462 4468 "src/oasis/OASISFeatures.ml" 140 4462 4481
type(
  string list -> stage -> string option
)
ident(
  def check_feature "src/oasis/OASISFeatures.ml" 162 5124 5126 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 140 4462 4482 "src/oasis/OASISFeatures.ml" 140 4462 4490
type(
  string list
)
ident(
  def features "src/oasis/OASISFeatures.ml" 140 4462 4491 "src/oasis/OASISFeatures.ml" 159 5107 5117
)
"src/oasis/OASISFeatures.ml" 140 4462 4491 "src/oasis/OASISFeatures.ml" 140 4462 4496
type(
  stage
)
ident(
  def stage "src/oasis/OASISFeatures.ml" 141 4499 4503 "src/oasis/OASISFeatures.ml" 159 5107 5117
)
"src/oasis/OASISFeatures.ml" 141 4499 4507 "src/oasis/OASISFeatures.ml" 141 4499 4518
type(
  bool
)
ident(
  def has_feature "src/oasis/OASISFeatures.ml" 142 4553 4557 "src/oasis/OASISFeatures.ml" 159 5107 5117
)
"src/oasis/OASISFeatures.ml" 141 4499 4521 "src/oasis/OASISFeatures.ml" 141 4499 4529
type(
  string -> string list -> bool
)
ident(
  int_ref Stdlib.List.mem "list.mli" 291 9973 9973 "list.mli" 291 9973 10004
)
"src/oasis/OASISFeatures.ml" 141 4499 4531 "src/oasis/OASISFeatures.ml" 141 4499 4532
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 137 4395 4410 "src/oasis/OASISFeatures.ml" 137 4395 4411
)
"src/oasis/OASISFeatures.ml" 141 4499 4530 "src/oasis/OASISFeatures.ml" 141 4499 4540
type(
  string
)
"src/oasis/OASISFeatures.ml" 141 4499 4541 "src/oasis/OASISFeatures.ml" 141 4499 4549
type(
  string list
)
ident(
  int_ref features "src/oasis/OASISFeatures.ml" 140 4462 4482 "src/oasis/OASISFeatures.ml" 140 4462 4490
)
"src/oasis/OASISFeatures.ml" 141 4499 4521 "src/oasis/OASISFeatures.ml" 141 4499 4549
type(
  bool
)
"src/oasis/OASISFeatures.ml" 142 4553 4560 "src/oasis/OASISFeatures.ml" 142 4553 4563
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISFeatures.ml" 142 4553 4564 "src/oasis/OASISFeatures.ml" 142 4553 4575
type(
  bool
)
ident(
  int_ref has_feature "src/oasis/OASISFeatures.ml" 141 4499 4507 "src/oasis/OASISFeatures.ml" 141 4499 4518
)
"src/oasis/OASISFeatures.ml" 142 4553 4560 "src/oasis/OASISFeatures.ml" 142 4553 4575
type(
  bool
)
"src/oasis/OASISFeatures.ml" 143 4581 4594 "src/oasis/OASISFeatures.ml" 143 4581 4600
type(
  origin
)
ident(
  int_ref origin "src/oasis/OASISFeatures.ml" 137 4395 4417 "src/oasis/OASISFeatures.ml" 137 4395 4423
)
"src/oasis/OASISFeatures.ml" 144 4614 4629 "src/oasis/OASISFeatures.ml" 144 4614 4632
type(
  string
)
ident(
  def fld "src/oasis/OASISFeatures.ml" 145 4644 4652 "src/oasis/OASISFeatures.ml" 149 4788 4841
)
"src/oasis/OASISFeatures.ml" 144 4614 4634 "src/oasis/OASISFeatures.ml" 144 4614 4639
type(
  string
)
ident(
  def where "src/oasis/OASISFeatures.ml" 145 4644 4652 "src/oasis/OASISFeatures.ml" 149 4788 4841
)
"src/oasis/OASISFeatures.ml" 144 4614 4622 "src/oasis/OASISFeatures.ml" 144 4614 4640
type(
  origin
)
type(
  origin
)
"src/oasis/OASISFeatures.ml" 146 4657 4668 "src/oasis/OASISFeatures.ml" 146 4657 4682
type(
  (string -> string -> string -> string -> string, unit, string) format ->
  string -> string -> string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISFeatures.ml" 147 4683 4697 "src/oasis/OASISFeatures.ml" 147 4683 4699
type(
  (string -> string -> string -> string -> string, unit, string, string)
  format4 ->
  (string -> string -> string -> string -> string, unit, string, string)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 147 4683 4700 "src/oasis/OASISFeatures.ml" 148 4752 4786
type(
  (string -> string -> string -> string -> string, unit, string, string)
  format4
)
"src/oasis/OASISFeatures.ml" 147 4683 4696 "src/oasis/OASISFeatures.ml" 148 4752 4787
type(
  (string -> string -> string -> string -> string, unit, string, string)
  format4
)
"src/oasis/OASISFeatures.ml" 149 4788 4801 "src/oasis/OASISFeatures.ml" 149 4788 4804
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISFeatures.ml" 144 4614 4629 "src/oasis/OASISFeatures.ml" 144 4614 4632
)
"src/oasis/OASISFeatures.ml" 149 4788 4805 "src/oasis/OASISFeatures.ml" 149 4788 4810
type(
  string
)
ident(
  int_ref where "src/oasis/OASISFeatures.ml" 144 4614 4634 "src/oasis/OASISFeatures.ml" 144 4614 4639
)
"src/oasis/OASISFeatures.ml" 149 4788 4811 "src/oasis/OASISFeatures.ml" 149 4788 4812
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 137 4395 4410 "src/oasis/OASISFeatures.ml" 137 4395 4411
)
"src/oasis/OASISFeatures.ml" 149 4788 4811 "src/oasis/OASISFeatures.ml" 149 4788 4817
type(
  string
)
"src/oasis/OASISFeatures.ml" 149 4788 4819 "src/oasis/OASISFeatures.ml" 149 4788 4833
type(
  stage -> string
)
ident(
  int_ref field_of_stage "src/oasis/OASISFeatures.ml" 102 3598 3602 "src/oasis/OASISFeatures.ml" 102 3598 3616
)
"src/oasis/OASISFeatures.ml" 149 4788 4834 "src/oasis/OASISFeatures.ml" 149 4788 4839
type(
  stage
)
ident(
  int_ref stage "src/oasis/OASISFeatures.ml" 140 4462 4491 "src/oasis/OASISFeatures.ml" 140 4462 4496
)
"src/oasis/OASISFeatures.ml" 149 4788 4818 "src/oasis/OASISFeatures.ml" 149 4788 4840
type(
  string
)
"src/oasis/OASISFeatures.ml" 146 4657 4667 "src/oasis/OASISFeatures.ml" 149 4788 4841
type(
  string
)
"src/oasis/OASISFeatures.ml" 145 4644 4652 "src/oasis/OASISFeatures.ml" 149 4788 4841
type(
  string option
)
"src/oasis/OASISFeatures.ml" 150 4842 4858 "src/oasis/OASISFeatures.ml" 150 4842 4861
type(
  string
)
ident(
  def sct "src/oasis/OASISFeatures.ml" 151 4865 4873 "src/oasis/OASISFeatures.ml" 155 5006 5053
)
"src/oasis/OASISFeatures.ml" 150 4842 4850 "src/oasis/OASISFeatures.ml" 150 4842 4861
type(
  origin
)
type(
  origin
)
"src/oasis/OASISFeatures.ml" 152 4878 4889 "src/oasis/OASISFeatures.ml" 152 4878 4903
type(
  (string -> string -> string -> string, unit, string) format ->
  string -> string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISFeatures.ml" 153 4904 4918 "src/oasis/OASISFeatures.ml" 153 4904 4920
type(
  (string -> string -> string -> string, unit, string, string) format4 ->
  (string -> string -> string -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 153 4904 4921 "src/oasis/OASISFeatures.ml" 154 4970 5004
type(
  (string -> string -> string -> string, unit, string, string) format4
)
"src/oasis/OASISFeatures.ml" 153 4904 4917 "src/oasis/OASISFeatures.ml" 154 4970 5005
type(
  (string -> string -> string -> string, unit, string, string) format4
)
"src/oasis/OASISFeatures.ml" 155 5006 5019 "src/oasis/OASISFeatures.ml" 155 5006 5022
type(
  string
)
ident(
  int_ref sct "src/oasis/OASISFeatures.ml" 150 4842 4858 "src/oasis/OASISFeatures.ml" 150 4842 4861
)
"src/oasis/OASISFeatures.ml" 155 5006 5023 "src/oasis/OASISFeatures.ml" 155 5006 5024
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 137 4395 4410 "src/oasis/OASISFeatures.ml" 137 4395 4411
)
"src/oasis/OASISFeatures.ml" 155 5006 5023 "src/oasis/OASISFeatures.ml" 155 5006 5029
type(
  string
)
"src/oasis/OASISFeatures.ml" 155 5006 5031 "src/oasis/OASISFeatures.ml" 155 5006 5045
type(
  stage -> string
)
ident(
  int_ref field_of_stage "src/oasis/OASISFeatures.ml" 102 3598 3602 "src/oasis/OASISFeatures.ml" 102 3598 3616
)
"src/oasis/OASISFeatures.ml" 155 5006 5046 "src/oasis/OASISFeatures.ml" 155 5006 5051
type(
  stage
)
ident(
  int_ref stage "src/oasis/OASISFeatures.ml" 140 4462 4491 "src/oasis/OASISFeatures.ml" 140 4462 4496
)
"src/oasis/OASISFeatures.ml" 155 5006 5030 "src/oasis/OASISFeatures.ml" 155 5006 5052
type(
  string
)
"src/oasis/OASISFeatures.ml" 152 4878 4888 "src/oasis/OASISFeatures.ml" 155 5006 5053
type(
  string
)
"src/oasis/OASISFeatures.ml" 151 4865 4873 "src/oasis/OASISFeatures.ml" 155 5006 5053
type(
  string option
)
"src/oasis/OASISFeatures.ml" 156 5054 5062 "src/oasis/OASISFeatures.ml" 156 5054 5070
type(
  origin
)
type(
  origin
)
"src/oasis/OASISFeatures.ml" 157 5074 5087 "src/oasis/OASISFeatures.ml" 157 5074 5097
type(
  string
)
ident(
  int_ref no_message "src/oasis/OASISFeatures.ml" 138 4426 4432 "src/oasis/OASISFeatures.ml" 138 4426 4442
)
"src/oasis/OASISFeatures.ml" 157 5074 5082 "src/oasis/OASISFeatures.ml" 157 5074 5097
type(
  string option
)
"src/oasis/OASISFeatures.ml" 143 4581 4587 "src/oasis/OASISFeatures.ml" 157 5074 5097
type(
  string option
)
"src/oasis/OASISFeatures.ml" 159 5107 5113 "src/oasis/OASISFeatures.ml" 159 5107 5117
type(
  string option
)
"src/oasis/OASISFeatures.ml" 142 4553 4557 "src/oasis/OASISFeatures.ml" 159 5107 5117
type(
  string option
)
"src/oasis/OASISFeatures.ml" 141 4499 4503 "src/oasis/OASISFeatures.ml" 159 5107 5117
type(
  string option
)
"src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
type(
  min_version:OASISVersion.t ->
  OASISVersion.t -> ('a, unit, string, string option) format4 -> 'a
)
ident(
  def version_is_good "src/oasis/OASISFeatures.ml" 172 5397 5399 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 162 5124 5147 "src/oasis/OASISFeatures.ml" 162 5124 5158
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 162 5124 5159 "src/oasis/OASISFeatures.ml" 169 5381 5390
)
"src/oasis/OASISFeatures.ml" 162 5124 5159 "src/oasis/OASISFeatures.ml" 162 5124 5166
type(
  OASISVersion.t
)
ident(
  def version "src/oasis/OASISFeatures.ml" 162 5124 5167 "src/oasis/OASISFeatures.ml" 169 5381 5390
)
"src/oasis/OASISFeatures.ml" 162 5124 5167 "src/oasis/OASISFeatures.ml" 162 5124 5170
type(
  ('a, unit, string, string option) format4
)
ident(
  def fmt "src/oasis/OASISFeatures.ml" 163 5173 5177 "src/oasis/OASISFeatures.ml" 169 5381 5390
)
"src/oasis/OASISFeatures.ml" 163 5173 5181 "src/oasis/OASISFeatures.ml" 163 5173 5196
type(
  bool
)
ident(
  def version_is_good "src/oasis/OASISFeatures.ml" 167 5299 5303 "src/oasis/OASISFeatures.ml" 169 5381 5390
)
"src/oasis/OASISFeatures.ml" 164 5199 5205 "src/oasis/OASISFeatures.ml" 164 5199 5234
type(
  OASISVersion.t -> OASISVersion.comparator -> bool
)
ident(
  int_ref OASISVersion.comparator_apply "src/oasis/OASISVersion.mli" 91 3045 3045 "src/oasis/OASISVersion.mli" 91 3045 3090
)
"src/oasis/OASISFeatures.ml" 165 5235 5243 "src/oasis/OASISFeatures.ml" 165 5235 5250
type(
  OASISVersion.t
)
ident(
  int_ref version "src/oasis/OASISFeatures.ml" 162 5124 5159 "src/oasis/OASISFeatures.ml" 162 5124 5166
)
"src/oasis/OASISFeatures.ml" 165 5235 5279 "src/oasis/OASISFeatures.ml" 165 5235 5290
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 162 5124 5147 "src/oasis/OASISFeatures.ml" 162 5124 5158
)
"src/oasis/OASISFeatures.ml" 165 5235 5251 "src/oasis/OASISFeatures.ml" 165 5235 5291
type(
  OASISVersion.comparator
)
"src/oasis/OASISFeatures.ml" 164 5199 5205 "src/oasis/OASISFeatures.ml" 165 5235 5291
type(
  bool
)
"src/oasis/OASISFeatures.ml" 167 5299 5303 "src/oasis/OASISFeatures.ml" 167 5299 5318
type(
  (string -> string option) ->
  ('a, unit, string, string option) format4 -> 'a
)
ident(
  int_ref Stdlib.Printf.ksprintf "printf.mli" 171 8473 8473 "printf.mli" 171 8473 8542
)
"src/oasis/OASISFeatures.ml" 168 5319 5330 "src/oasis/OASISFeatures.ml" 168 5319 5333
type(
  string
)
ident(
  def str "src/oasis/OASISFeatures.ml" 168 5319 5337 "src/oasis/OASISFeatures.ml" 168 5319 5379
)
"src/oasis/OASISFeatures.ml" 168 5319 5340 "src/oasis/OASISFeatures.ml" 168 5319 5355
type(
  bool
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 163 5173 5181 "src/oasis/OASISFeatures.ml" 163 5173 5196
)
"src/oasis/OASISFeatures.ml" 168 5319 5361 "src/oasis/OASISFeatures.ml" 168 5319 5365
type(
  string option
)
"src/oasis/OASISFeatures.ml" 168 5319 5376 "src/oasis/OASISFeatures.ml" 168 5319 5379
type(
  string
)
ident(
  int_ref str "src/oasis/OASISFeatures.ml" 168 5319 5330 "src/oasis/OASISFeatures.ml" 168 5319 5333
)
"src/oasis/OASISFeatures.ml" 168 5319 5371 "src/oasis/OASISFeatures.ml" 168 5319 5379
type(
  string option
)
"src/oasis/OASISFeatures.ml" 168 5319 5337 "src/oasis/OASISFeatures.ml" 168 5319 5379
type(
  string option
)
"src/oasis/OASISFeatures.ml" 168 5319 5325 "src/oasis/OASISFeatures.ml" 168 5319 5380
type(
  string -> string option
)
"src/oasis/OASISFeatures.ml" 169 5381 5387 "src/oasis/OASISFeatures.ml" 169 5381 5390
type(
  ('a, unit, string, string option) format4
)
ident(
  int_ref fmt "src/oasis/OASISFeatures.ml" 162 5124 5167 "src/oasis/OASISFeatures.ml" 162 5124 5170
)
"src/oasis/OASISFeatures.ml" 167 5299 5303 "src/oasis/OASISFeatures.ml" 169 5381 5390
type(
  'a
)
"src/oasis/OASISFeatures.ml" 163 5173 5177 "src/oasis/OASISFeatures.ml" 169 5381 5390
type(
  'a
)
"src/oasis/OASISFeatures.ml" 172 5397 5405 "src/oasis/OASISFeatures.ml" 172 5397 5411
type(
  origin
)
ident(
  int_ref origin "src/oasis/OASISFeatures.ml" 137 4395 4417 "src/oasis/OASISFeatures.ml" 137 4395 4423
)
"src/oasis/OASISFeatures.ml" 172 5397 5413 "src/oasis/OASISFeatures.ml" 172 5397 5414
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 137 4395 4410 "src/oasis/OASISFeatures.ml" 137 4395 4411
)
"src/oasis/OASISFeatures.ml" 172 5397 5413 "src/oasis/OASISFeatures.ml" 172 5397 5421
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 172 5397 5423 "src/oasis/OASISFeatures.ml" 172 5397 5424
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 137 4395 4410 "src/oasis/OASISFeatures.ml" 137 4395 4411
)
"src/oasis/OASISFeatures.ml" 172 5397 5423 "src/oasis/OASISFeatures.ml" 172 5397 5436
type(
  publication
)
"src/oasis/OASISFeatures.ml" 172 5397 5405 "src/oasis/OASISFeatures.ml" 172 5397 5436
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 173 5442 5446 "src/oasis/OASISFeatures.ml" 173 5442 5447
type(
  origin
)
"src/oasis/OASISFeatures.ml" 173 5442 5449 "src/oasis/OASISFeatures.ml" 173 5442 5450
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 173 5442 5458 "src/oasis/OASISFeatures.ml" 173 5442 5463
type(
  stage
)
"src/oasis/OASISFeatures.ml" 173 5442 5452 "src/oasis/OASISFeatures.ml" 173 5442 5463
type(
  publication
)
"src/oasis/OASISFeatures.ml" 173 5442 5446 "src/oasis/OASISFeatures.ml" 173 5442 5463
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 173 5442 5467 "src/oasis/OASISFeatures.ml" 173 5442 5480
type(
  string list -> stage -> string option
)
ident(
  int_ref check_feature "src/oasis/OASISFeatures.ml" 140 4462 4468 "src/oasis/OASISFeatures.ml" 140 4462 4481
)
"src/oasis/OASISFeatures.ml" 173 5442 5481 "src/oasis/OASISFeatures.ml" 173 5442 5485
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 173 5442 5481 "src/oasis/OASISFeatures.ml" 173 5442 5505
type(
  string list
)
"src/oasis/OASISFeatures.ml" 173 5442 5506 "src/oasis/OASISFeatures.ml" 173 5442 5511
type(
  stage
)
"src/oasis/OASISFeatures.ml" 173 5442 5467 "src/oasis/OASISFeatures.ml" 173 5442 5511
type(
  string option
)
"src/oasis/OASISFeatures.ml" 174 5512 5516 "src/oasis/OASISFeatures.ml" 174 5512 5517
type(
  origin
)
"src/oasis/OASISFeatures.ml" 174 5512 5519 "src/oasis/OASISFeatures.ml" 174 5512 5520
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 174 5512 5528 "src/oasis/OASISFeatures.ml" 174 5512 5532
type(
  stage
)
"src/oasis/OASISFeatures.ml" 174 5512 5522 "src/oasis/OASISFeatures.ml" 174 5512 5532
type(
  publication
)
"src/oasis/OASISFeatures.ml" 174 5512 5516 "src/oasis/OASISFeatures.ml" 174 5512 5532
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 174 5512 5536 "src/oasis/OASISFeatures.ml" 174 5512 5549
type(
  string list -> stage -> string option
)
ident(
  int_ref check_feature "src/oasis/OASISFeatures.ml" 140 4462 4468 "src/oasis/OASISFeatures.ml" 140 4462 4481
)
"src/oasis/OASISFeatures.ml" 174 5512 5550 "src/oasis/OASISFeatures.ml" 174 5512 5554
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 174 5512 5550 "src/oasis/OASISFeatures.ml" 174 5512 5573
type(
  string list
)
"src/oasis/OASISFeatures.ml" 174 5512 5574 "src/oasis/OASISFeatures.ml" 174 5512 5578
type(
  stage
)
"src/oasis/OASISFeatures.ml" 174 5512 5536 "src/oasis/OASISFeatures.ml" 174 5512 5578
type(
  string option
)
"src/oasis/OASISFeatures.ml" 175 5579 5589 "src/oasis/OASISFeatures.ml" 175 5579 5592
type(
  string
)
ident(
  def fld "src/oasis/OASISFeatures.ml" 176 5636 5640 "src/oasis/OASISFeatures.ml" 182 5951 5988
)
"src/oasis/OASISFeatures.ml" 175 5579 5594 "src/oasis/OASISFeatures.ml" 175 5579 5599
type(
  string
)
ident(
  def where "src/oasis/OASISFeatures.ml" 176 5636 5640 "src/oasis/OASISFeatures.ml" 182 5951 5988
)
"src/oasis/OASISFeatures.ml" 175 5579 5583 "src/oasis/OASISFeatures.ml" 175 5579 5600
type(
  origin
)
"src/oasis/OASISFeatures.ml" 175 5579 5602 "src/oasis/OASISFeatures.ml" 175 5579 5606
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 175 5579 5621 "src/oasis/OASISFeatures.ml" 175 5579 5632
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 176 5636 5640 "src/oasis/OASISFeatures.ml" 182 5951 5988
)
"src/oasis/OASISFeatures.ml" 175 5579 5608 "src/oasis/OASISFeatures.ml" 175 5579 5632
type(
  publication
)
"src/oasis/OASISFeatures.ml" 175 5579 5583 "src/oasis/OASISFeatures.ml" 175 5579 5632
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 176 5636 5640 "src/oasis/OASISFeatures.ml" 176 5636 5655
type(
  min_version:OASISVersion.t ->
  OASISVersion.t ->
  (string -> string -> string -> string -> string -> string option, unit,
   string, string option)
  format4 -> string -> string -> string -> string -> string -> string option
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
)
"src/oasis/OASISFeatures.ml" 176 5636 5657 "src/oasis/OASISFeatures.ml" 176 5636 5668
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 175 5579 5621 "src/oasis/OASISFeatures.ml" 175 5579 5632
)
"src/oasis/OASISFeatures.ml" 176 5636 5669 "src/oasis/OASISFeatures.ml" 176 5636 5673
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 176 5636 5669 "src/oasis/OASISFeatures.ml" 176 5636 5692
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 177 5693 5700 "src/oasis/OASISFeatures.ml" 177 5693 5702
type(
  (string -> string -> string -> string -> string -> string option, unit,
   string, string option)
  format4 ->
  (string -> string -> string -> string -> string -> string option, unit,
   string, string option)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 177 5693 5703 "src/oasis/OASISFeatures.ml" 179 5823 5851
type(
  (string -> string -> string -> string -> string -> string option, unit,
   string, string option)
  format4
)
"src/oasis/OASISFeatures.ml" 177 5693 5699 "src/oasis/OASISFeatures.ml" 179 5823 5852
type(
  (string -> string -> string -> string -> string -> string option, unit,
   string, string option)
  format4
)
"src/oasis/OASISFeatures.ml" 180 5853 5859 "src/oasis/OASISFeatures.ml" 180 5853 5862
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISFeatures.ml" 175 5579 5589 "src/oasis/OASISFeatures.ml" 175 5579 5592
)
"src/oasis/OASISFeatures.ml" 180 5853 5863 "src/oasis/OASISFeatures.ml" 180 5853 5868
type(
  string
)
ident(
  int_ref where "src/oasis/OASISFeatures.ml" 175 5579 5594 "src/oasis/OASISFeatures.ml" 175 5579 5599
)
"src/oasis/OASISFeatures.ml" 180 5853 5870 "src/oasis/OASISFeatures.ml" 180 5853 5887
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/OASISFeatures.ml" 180 5853 5888 "src/oasis/OASISFeatures.ml" 180 5853 5899
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 175 5579 5621 "src/oasis/OASISFeatures.ml" 175 5579 5632
)
"src/oasis/OASISFeatures.ml" 180 5853 5869 "src/oasis/OASISFeatures.ml" 180 5853 5900
type(
  string
)
"src/oasis/OASISFeatures.ml" 181 5901 5908 "src/oasis/OASISFeatures.ml" 181 5901 5925
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/OASISFeatures.ml" 181 5901 5926 "src/oasis/OASISFeatures.ml" 181 5901 5930
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 181 5901 5926 "src/oasis/OASISFeatures.ml" 181 5901 5949
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 181 5901 5907 "src/oasis/OASISFeatures.ml" 181 5901 5950
type(
  string
)
"src/oasis/OASISFeatures.ml" 182 5951 5958 "src/oasis/OASISFeatures.ml" 182 5951 5975
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/OASISFeatures.ml" 182 5951 5976 "src/oasis/OASISFeatures.ml" 182 5951 5987
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 175 5579 5621 "src/oasis/OASISFeatures.ml" 175 5579 5632
)
"src/oasis/OASISFeatures.ml" 182 5951 5957 "src/oasis/OASISFeatures.ml" 182 5951 5988
type(
  string
)
"src/oasis/OASISFeatures.ml" 176 5636 5640 "src/oasis/OASISFeatures.ml" 182 5951 5988
type(
  string option
)
"src/oasis/OASISFeatures.ml" 184 5990 6000 "src/oasis/OASISFeatures.ml" 184 5990 6003
type(
  string
)
ident(
  def fld "src/oasis/OASISFeatures.ml" 186 6079 6083 "src/oasis/OASISFeatures.ml" 216 7402 7409
)
"src/oasis/OASISFeatures.ml" 184 5990 6005 "src/oasis/OASISFeatures.ml" 184 5990 6010
type(
  string
)
ident(
  def where "src/oasis/OASISFeatures.ml" 186 6079 6083 "src/oasis/OASISFeatures.ml" 216 7402 7409
)
"src/oasis/OASISFeatures.ml" 184 5990 5994 "src/oasis/OASISFeatures.ml" 184 5990 6011
type(
  origin
)
"src/oasis/OASISFeatures.ml" 184 5990 6018 "src/oasis/OASISFeatures.ml" 184 5990 6028
type(
  OASISTypes.plugin_kind
)
ident(
  def plugin_knd "src/oasis/OASISFeatures.ml" 186 6079 6083 "src/oasis/OASISFeatures.ml" 216 7402 7409
)
"src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
type(
  OASISTypes.name
)
ident(
  def plugin_name "src/oasis/OASISFeatures.ml" 186 6079 6083 "src/oasis/OASISFeatures.ml" 216 7402 7409
)
"src/oasis/OASISFeatures.ml" 184 5990 6043 "src/oasis/OASISFeatures.ml" 184 5990 6044
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 184 5990 6017 "src/oasis/OASISFeatures.ml" 184 5990 6045
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 184 5990 6013 "src/oasis/OASISFeatures.ml" 184 5990 6045
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 185 6047 6064 "src/oasis/OASISFeatures.ml" 185 6047 6075
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 186 6079 6083 "src/oasis/OASISFeatures.ml" 216 7402 7409
)
"src/oasis/OASISFeatures.ml" 185 6047 6051 "src/oasis/OASISFeatures.ml" 185 6047 6075
type(
  publication
)
"src/oasis/OASISFeatures.ml" 184 5990 5994 "src/oasis/OASISFeatures.ml" 185 6047 6075
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 188 6099 6111 "src/oasis/OASISFeatures.ml" 188 6099 6133
type(
  OASISVersion.t
)
ident(
  def plugin_version_current "src/oasis/OASISFeatures.ml" 207 6915 6923 "src/oasis/OASISFeatures.ml" 213 7305 7358
)
"src/oasis/OASISFeatures.ml" 190 6150 6168 "src/oasis/OASISFeatures.ml" 190 6150 6187
type(
  OASISTypes.plugin_kind ->
  OASISTypes.name -> Data.t -> OASISVersion.t option
)
ident(
  int_ref Data.plugin_version "src/oasis/OASISFeatures.ml" 66 2680 2686 "src/oasis/OASISFeatures.ml" 66 2680 2700
)
"src/oasis/OASISFeatures.ml" 190 6150 6188 "src/oasis/OASISFeatures.ml" 190 6150 6198
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref plugin_knd "src/oasis/OASISFeatures.ml" 184 5990 6018 "src/oasis/OASISFeatures.ml" 184 5990 6028
)
"src/oasis/OASISFeatures.ml" 190 6150 6199 "src/oasis/OASISFeatures.ml" 190 6150 6210
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 190 6150 6211 "src/oasis/OASISFeatures.ml" 190 6150 6215
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 190 6150 6168 "src/oasis/OASISFeatures.ml" 190 6150 6215
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 191 6221 6240 "src/oasis/OASISFeatures.ml" 191 6221 6243
type(
  OASISVersion.t
)
ident(
  def ver "src/oasis/OASISFeatures.ml" 191 6221 6247 "src/oasis/OASISFeatures.ml" 191 6221 6250
)
"src/oasis/OASISFeatures.ml" 191 6221 6235 "src/oasis/OASISFeatures.ml" 191 6221 6243
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 191 6221 6247 "src/oasis/OASISFeatures.ml" 191 6221 6250
type(
  OASISVersion.t
)
ident(
  int_ref ver "src/oasis/OASISFeatures.ml" 191 6221 6240 "src/oasis/OASISFeatures.ml" 191 6221 6243
)
"src/oasis/OASISFeatures.ml" 192 6251 6265 "src/oasis/OASISFeatures.ml" 192 6251 6269
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 193 6273 6287 "src/oasis/OASISFeatures.ml" 193 6273 6296
type(
  (string ->
   string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4 ->
  string ->
  string ->
  OASISTypes.name ->
  string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFeatures.ml" 194 6297 6314 "src/oasis/OASISFeatures.ml" 194 6297 6316
type(
  (string ->
   string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4 ->
  (string ->
   string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> 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/OASISFeatures.ml" 194 6297 6317 "src/oasis/OASISFeatures.ml" 197 6498 6550
type(
  (string ->
   string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 194 6297 6313 "src/oasis/OASISFeatures.ml" 197 6498 6551
type(
  (string ->
   string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 198 6552 6568 "src/oasis/OASISFeatures.ml" 198 6552 6571
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISFeatures.ml" 184 5990 6000 "src/oasis/OASISFeatures.ml" 184 5990 6003
)
"src/oasis/OASISFeatures.ml" 198 6552 6572 "src/oasis/OASISFeatures.ml" 198 6552 6577
type(
  string
)
ident(
  int_ref where "src/oasis/OASISFeatures.ml" 184 5990 6005 "src/oasis/OASISFeatures.ml" 184 5990 6010
)
"src/oasis/OASISFeatures.ml" 198 6552 6578 "src/oasis/OASISFeatures.ml" 198 6552 6589
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 198 6552 6591 "src/oasis/OASISFeatures.ml" 198 6552 6608
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/OASISFeatures.ml" 198 6552 6609 "src/oasis/OASISFeatures.ml" 198 6552 6620
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 185 6047 6064 "src/oasis/OASISFeatures.ml" 185 6047 6075
)
"src/oasis/OASISFeatures.ml" 198 6552 6590 "src/oasis/OASISFeatures.ml" 198 6552 6621
type(
  string
)
"src/oasis/OASISFeatures.ml" 199 6622 6638 "src/oasis/OASISFeatures.ml" 199 6622 6649
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 200 6650 6666 "src/oasis/OASISFeatures.ml" 200 6650 6677
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 200 6650 6679 "src/oasis/OASISFeatures.ml" 200 6650 6696
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/OASISFeatures.ml" 200 6650 6697 "src/oasis/OASISFeatures.ml" 200 6650 6708
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 185 6047 6064 "src/oasis/OASISFeatures.ml" 185 6047 6075
)
"src/oasis/OASISFeatures.ml" 200 6650 6678 "src/oasis/OASISFeatures.ml" 200 6650 6709
type(
  string
)
"src/oasis/OASISFeatures.ml" 193 6273 6287 "src/oasis/OASISFeatures.ml" 200 6650 6709
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 190 6150 6162 "src/oasis/OASISFeatures.ml" 200 6650 6709
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 201 6710 6725 "src/oasis/OASISFeatures.ml" 201 6710 6734
type(
  exn
)
"src/oasis/OASISFeatures.ml" 202 6738 6750 "src/oasis/OASISFeatures.ml" 202 6738 6759
type(
  (string -> string -> OASISTypes.name -> OASISVersion.t, unit, string,
   OASISVersion.t)
  format4 -> string -> string -> 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/OASISFeatures.ml" 203 6760 6775 "src/oasis/OASISFeatures.ml" 203 6760 6777
type(
  (string -> string -> OASISTypes.name -> OASISVersion.t, unit, string,
   OASISVersion.t)
  format4 ->
  (string -> string -> 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/OASISFeatures.ml" 203 6760 6778 "src/oasis/OASISFeatures.ml" 204 6835 6866
type(
  (string -> string -> OASISTypes.name -> OASISVersion.t, unit, string,
   OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 203 6760 6774 "src/oasis/OASISFeatures.ml" 204 6835 6867
type(
  (string -> string -> OASISTypes.name -> OASISVersion.t, unit, string,
   OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 205 6868 6882 "src/oasis/OASISFeatures.ml" 205 6868 6885
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISFeatures.ml" 184 5990 6000 "src/oasis/OASISFeatures.ml" 184 5990 6003
)
"src/oasis/OASISFeatures.ml" 205 6868 6886 "src/oasis/OASISFeatures.ml" 205 6868 6891
type(
  string
)
ident(
  int_ref where "src/oasis/OASISFeatures.ml" 184 5990 6005 "src/oasis/OASISFeatures.ml" 184 5990 6010
)
"src/oasis/OASISFeatures.ml" 205 6868 6892 "src/oasis/OASISFeatures.ml" 205 6868 6903
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 202 6738 6750 "src/oasis/OASISFeatures.ml" 205 6868 6903
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 189 6136 6146 "src/oasis/OASISFeatures.ml" 205 6868 6903
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 207 6915 6923 "src/oasis/OASISFeatures.ml" 207 6915 6938
type(
  min_version:OASISVersion.t ->
  OASISVersion.t ->
  (string ->
   string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4 ->
  string ->
  string ->
  OASISTypes.name ->
  string ->
  OASISTypes.name -> string -> OASISTypes.name -> string -> string option
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
)
"src/oasis/OASISFeatures.ml" 207 6915 6940 "src/oasis/OASISFeatures.ml" 207 6915 6951
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 185 6047 6064 "src/oasis/OASISFeatures.ml" 185 6047 6075
)
"src/oasis/OASISFeatures.ml" 207 6915 6952 "src/oasis/OASISFeatures.ml" 207 6915 6974
type(
  OASISVersion.t
)
ident(
  int_ref plugin_version_current "src/oasis/OASISFeatures.ml" 188 6099 6111 "src/oasis/OASISFeatures.ml" 188 6099 6133
)
"src/oasis/OASISFeatures.ml" 208 6975 6986 "src/oasis/OASISFeatures.ml" 208 6975 6988
type(
  (string ->
   string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4 ->
  (string ->
   string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 208 6975 6989 "src/oasis/OASISFeatures.ml" 210 7110 7174
type(
  (string ->
   string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4
)
"src/oasis/OASISFeatures.ml" 208 6975 6985 "src/oasis/OASISFeatures.ml" 210 7110 7175
type(
  (string ->
   string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4
)
"src/oasis/OASISFeatures.ml" 211 7176 7186 "src/oasis/OASISFeatures.ml" 211 7176 7189
type(
  string
)
ident(
  int_ref fld "src/oasis/OASISFeatures.ml" 184 5990 6000 "src/oasis/OASISFeatures.ml" 184 5990 6003
)
"src/oasis/OASISFeatures.ml" 211 7176 7190 "src/oasis/OASISFeatures.ml" 211 7176 7195
type(
  string
)
ident(
  int_ref where "src/oasis/OASISFeatures.ml" 184 5990 6005 "src/oasis/OASISFeatures.ml" 184 5990 6010
)
"src/oasis/OASISFeatures.ml" 211 7176 7196 "src/oasis/OASISFeatures.ml" 211 7176 7207
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 211 7176 7209 "src/oasis/OASISFeatures.ml" 211 7176 7226
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/OASISFeatures.ml" 211 7176 7227 "src/oasis/OASISFeatures.ml" 211 7176 7238
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 185 6047 6064 "src/oasis/OASISFeatures.ml" 185 6047 6075
)
"src/oasis/OASISFeatures.ml" 211 7176 7208 "src/oasis/OASISFeatures.ml" 211 7176 7239
type(
  string
)
"src/oasis/OASISFeatures.ml" 212 7240 7250 "src/oasis/OASISFeatures.ml" 212 7240 7261
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 212 7240 7263 "src/oasis/OASISFeatures.ml" 212 7240 7280
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/OASISFeatures.ml" 212 7240 7281 "src/oasis/OASISFeatures.ml" 212 7240 7303
type(
  OASISVersion.t
)
ident(
  int_ref plugin_version_current "src/oasis/OASISFeatures.ml" 188 6099 6111 "src/oasis/OASISFeatures.ml" 188 6099 6133
)
"src/oasis/OASISFeatures.ml" 212 7240 7262 "src/oasis/OASISFeatures.ml" 212 7240 7304
type(
  string
)
"src/oasis/OASISFeatures.ml" 213 7305 7315 "src/oasis/OASISFeatures.ml" 213 7305 7326
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 184 5990 6030 "src/oasis/OASISFeatures.ml" 184 5990 6041
)
"src/oasis/OASISFeatures.ml" 213 7305 7328 "src/oasis/OASISFeatures.ml" 213 7305 7345
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/OASISFeatures.ml" 213 7305 7346 "src/oasis/OASISFeatures.ml" 213 7305 7357
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 185 6047 6064 "src/oasis/OASISFeatures.ml" 185 6047 6075
)
"src/oasis/OASISFeatures.ml" 213 7305 7327 "src/oasis/OASISFeatures.ml" 213 7305 7358
type(
  string
)
"src/oasis/OASISFeatures.ml" 207 6915 6923 "src/oasis/OASISFeatures.ml" 213 7305 7358
type(
  string option
)
"src/oasis/OASISFeatures.ml" 188 6099 6107 "src/oasis/OASISFeatures.ml" 213 7305 7358
type(
  string option
)
"src/oasis/OASISFeatures.ml" 214 7359 7378 "src/oasis/OASISFeatures.ml" 214 7359 7381
type(
  string
)
ident(
  def msg "src/oasis/OASISFeatures.ml" 215 7385 7393 "src/oasis/OASISFeatures.ml" 215 7385 7401
)
"src/oasis/OASISFeatures.ml" 214 7359 7370 "src/oasis/OASISFeatures.ml" 214 7359 7381
type(
  exn
)
"src/oasis/OASISFeatures.ml" 215 7385 7398 "src/oasis/OASISFeatures.ml" 215 7385 7401
type(
  string
)
ident(
  int_ref msg "src/oasis/OASISFeatures.ml" 214 7359 7378 "src/oasis/OASISFeatures.ml" 214 7359 7381
)
"src/oasis/OASISFeatures.ml" 215 7385 7393 "src/oasis/OASISFeatures.ml" 215 7385 7401
type(
  string option
)
"src/oasis/OASISFeatures.ml" 186 6079 6083 "src/oasis/OASISFeatures.ml" 216 7402 7409
type(
  string option
)
"src/oasis/OASISFeatures.ml" 218 7411 7423 "src/oasis/OASISFeatures.ml" 218 7411 7426
type(
  string
)
ident(
  def sct "src/oasis/OASISFeatures.ml" 219 7462 7466 "src/oasis/OASISFeatures.ml" 225 7771 7808
)
"src/oasis/OASISFeatures.ml" 218 7411 7415 "src/oasis/OASISFeatures.ml" 218 7411 7426
type(
  origin
)
"src/oasis/OASISFeatures.ml" 218 7411 7428 "src/oasis/OASISFeatures.ml" 218 7411 7432
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 218 7411 7447 "src/oasis/OASISFeatures.ml" 218 7411 7458
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 219 7462 7466 "src/oasis/OASISFeatures.ml" 225 7771 7808
)
"src/oasis/OASISFeatures.ml" 218 7411 7434 "src/oasis/OASISFeatures.ml" 218 7411 7458
type(
  publication
)
"src/oasis/OASISFeatures.ml" 218 7411 7415 "src/oasis/OASISFeatures.ml" 218 7411 7458
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 219 7462 7466 "src/oasis/OASISFeatures.ml" 219 7462 7481
type(
  min_version:OASISVersion.t ->
  OASISVersion.t ->
  (string -> string -> string -> string -> string option, unit, string,
   string option)
  format4 -> string -> string -> string -> string -> string option
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
)
"src/oasis/OASISFeatures.ml" 219 7462 7483 "src/oasis/OASISFeatures.ml" 219 7462 7494
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 218 7411 7447 "src/oasis/OASISFeatures.ml" 218 7411 7458
)
"src/oasis/OASISFeatures.ml" 219 7462 7495 "src/oasis/OASISFeatures.ml" 219 7462 7499
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 219 7462 7495 "src/oasis/OASISFeatures.ml" 219 7462 7518
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 220 7519 7526 "src/oasis/OASISFeatures.ml" 220 7519 7528
type(
  (string -> string -> string -> string -> string option, unit, string,
   string option)
  format4 ->
  (string -> string -> string -> string -> string option, unit, string,
   string option)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 220 7519 7529 "src/oasis/OASISFeatures.ml" 222 7655 7677
type(
  (string -> string -> string -> string -> string option, unit, string,
   string option)
  format4
)
"src/oasis/OASISFeatures.ml" 220 7519 7525 "src/oasis/OASISFeatures.ml" 222 7655 7678
type(
  (string -> string -> string -> string -> string option, unit, string,
   string option)
  format4
)
"src/oasis/OASISFeatures.ml" 223 7679 7685 "src/oasis/OASISFeatures.ml" 223 7679 7688
type(
  string
)
ident(
  int_ref sct "src/oasis/OASISFeatures.ml" 218 7411 7423 "src/oasis/OASISFeatures.ml" 218 7411 7426
)
"src/oasis/OASISFeatures.ml" 223 7679 7690 "src/oasis/OASISFeatures.ml" 223 7679 7707
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/OASISFeatures.ml" 223 7679 7708 "src/oasis/OASISFeatures.ml" 223 7679 7719
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 218 7411 7447 "src/oasis/OASISFeatures.ml" 218 7411 7458
)
"src/oasis/OASISFeatures.ml" 223 7679 7689 "src/oasis/OASISFeatures.ml" 223 7679 7720
type(
  string
)
"src/oasis/OASISFeatures.ml" 224 7721 7728 "src/oasis/OASISFeatures.ml" 224 7721 7745
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/OASISFeatures.ml" 224 7721 7746 "src/oasis/OASISFeatures.ml" 224 7721 7750
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 224 7721 7746 "src/oasis/OASISFeatures.ml" 224 7721 7769
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 224 7721 7727 "src/oasis/OASISFeatures.ml" 224 7721 7770
type(
  string
)
"src/oasis/OASISFeatures.ml" 225 7771 7778 "src/oasis/OASISFeatures.ml" 225 7771 7795
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/OASISFeatures.ml" 225 7771 7796 "src/oasis/OASISFeatures.ml" 225 7771 7807
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 218 7411 7447 "src/oasis/OASISFeatures.ml" 218 7411 7458
)
"src/oasis/OASISFeatures.ml" 225 7771 7777 "src/oasis/OASISFeatures.ml" 225 7771 7808
type(
  string
)
"src/oasis/OASISFeatures.ml" 219 7462 7466 "src/oasis/OASISFeatures.ml" 225 7771 7808
type(
  string option
)
"src/oasis/OASISFeatures.ml" 227 7810 7822 "src/oasis/OASISFeatures.ml" 227 7810 7825
type(
  string
)
ident(
  def sct "src/oasis/OASISFeatures.ml" 229 7893 7897 "src/oasis/OASISFeatures.ml" 259 9186 9193
)
"src/oasis/OASISFeatures.ml" 227 7810 7814 "src/oasis/OASISFeatures.ml" 227 7810 7825
type(
  origin
)
"src/oasis/OASISFeatures.ml" 227 7810 7832 "src/oasis/OASISFeatures.ml" 227 7810 7842
type(
  OASISTypes.plugin_kind
)
ident(
  def plugin_knd "src/oasis/OASISFeatures.ml" 229 7893 7897 "src/oasis/OASISFeatures.ml" 259 9186 9193
)
"src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
type(
  OASISTypes.name
)
ident(
  def plugin_name "src/oasis/OASISFeatures.ml" 229 7893 7897 "src/oasis/OASISFeatures.ml" 259 9186 9193
)
"src/oasis/OASISFeatures.ml" 227 7810 7857 "src/oasis/OASISFeatures.ml" 227 7810 7858
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 227 7810 7831 "src/oasis/OASISFeatures.ml" 227 7810 7859
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 227 7810 7827 "src/oasis/OASISFeatures.ml" 227 7810 7859
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 228 7861 7878 "src/oasis/OASISFeatures.ml" 228 7861 7889
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 229 7893 7897 "src/oasis/OASISFeatures.ml" 259 9186 9193
)
"src/oasis/OASISFeatures.ml" 228 7861 7865 "src/oasis/OASISFeatures.ml" 228 7861 7889
type(
  publication
)
"src/oasis/OASISFeatures.ml" 227 7810 7814 "src/oasis/OASISFeatures.ml" 228 7861 7889
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 231 7913 7925 "src/oasis/OASISFeatures.ml" 231 7913 7947
type(
  OASISVersion.t
)
ident(
  def plugin_version_current "src/oasis/OASISFeatures.ml" 250 8709 8717 "src/oasis/OASISFeatures.ml" 256 9089 9142
)
"src/oasis/OASISFeatures.ml" 233 7964 7982 "src/oasis/OASISFeatures.ml" 233 7964 8001
type(
  OASISTypes.plugin_kind ->
  OASISTypes.name -> Data.t -> OASISVersion.t option
)
ident(
  int_ref Data.plugin_version "src/oasis/OASISFeatures.ml" 66 2680 2686 "src/oasis/OASISFeatures.ml" 66 2680 2700
)
"src/oasis/OASISFeatures.ml" 233 7964 8002 "src/oasis/OASISFeatures.ml" 233 7964 8012
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref plugin_knd "src/oasis/OASISFeatures.ml" 227 7810 7832 "src/oasis/OASISFeatures.ml" 227 7810 7842
)
"src/oasis/OASISFeatures.ml" 233 7964 8013 "src/oasis/OASISFeatures.ml" 233 7964 8024
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 233 7964 8025 "src/oasis/OASISFeatures.ml" 233 7964 8029
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 233 7964 7982 "src/oasis/OASISFeatures.ml" 233 7964 8029
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 234 8035 8054 "src/oasis/OASISFeatures.ml" 234 8035 8057
type(
  OASISVersion.t
)
ident(
  def ver "src/oasis/OASISFeatures.ml" 234 8035 8061 "src/oasis/OASISFeatures.ml" 234 8035 8064
)
"src/oasis/OASISFeatures.ml" 234 8035 8049 "src/oasis/OASISFeatures.ml" 234 8035 8057
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 234 8035 8061 "src/oasis/OASISFeatures.ml" 234 8035 8064
type(
  OASISVersion.t
)
ident(
  int_ref ver "src/oasis/OASISFeatures.ml" 234 8035 8054 "src/oasis/OASISFeatures.ml" 234 8035 8057
)
"src/oasis/OASISFeatures.ml" 235 8065 8079 "src/oasis/OASISFeatures.ml" 235 8065 8083
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 236 8087 8101 "src/oasis/OASISFeatures.ml" 236 8087 8110
type(
  (string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4 ->
  string ->
  OASISTypes.name ->
  string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFeatures.ml" 237 8111 8128 "src/oasis/OASISFeatures.ml" 237 8111 8130
type(
  (string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4 ->
  (string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> 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/OASISFeatures.ml" 237 8111 8131 "src/oasis/OASISFeatures.ml" 240 8308 8360
type(
  (string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 237 8111 8127 "src/oasis/OASISFeatures.ml" 240 8308 8361
type(
  (string ->
   OASISTypes.name ->
   string -> OASISTypes.name -> OASISTypes.name -> string -> OASISVersion.t,
   unit, string, OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 241 8362 8378 "src/oasis/OASISFeatures.ml" 241 8362 8381
type(
  string
)
ident(
  int_ref sct "src/oasis/OASISFeatures.ml" 227 7810 7822 "src/oasis/OASISFeatures.ml" 227 7810 7825
)
"src/oasis/OASISFeatures.ml" 241 8362 8382 "src/oasis/OASISFeatures.ml" 241 8362 8393
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 241 8362 8395 "src/oasis/OASISFeatures.ml" 241 8362 8412
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/OASISFeatures.ml" 241 8362 8413 "src/oasis/OASISFeatures.ml" 241 8362 8424
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 228 7861 7878 "src/oasis/OASISFeatures.ml" 228 7861 7889
)
"src/oasis/OASISFeatures.ml" 241 8362 8394 "src/oasis/OASISFeatures.ml" 241 8362 8425
type(
  string
)
"src/oasis/OASISFeatures.ml" 242 8426 8442 "src/oasis/OASISFeatures.ml" 242 8426 8453
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 243 8454 8470 "src/oasis/OASISFeatures.ml" 243 8454 8481
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 243 8454 8483 "src/oasis/OASISFeatures.ml" 243 8454 8500
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/OASISFeatures.ml" 243 8454 8501 "src/oasis/OASISFeatures.ml" 243 8454 8512
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 228 7861 7878 "src/oasis/OASISFeatures.ml" 228 7861 7889
)
"src/oasis/OASISFeatures.ml" 243 8454 8482 "src/oasis/OASISFeatures.ml" 243 8454 8513
type(
  string
)
"src/oasis/OASISFeatures.ml" 236 8087 8101 "src/oasis/OASISFeatures.ml" 243 8454 8513
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 233 7964 7976 "src/oasis/OASISFeatures.ml" 243 8454 8513
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 244 8514 8529 "src/oasis/OASISFeatures.ml" 244 8514 8538
type(
  exn
)
"src/oasis/OASISFeatures.ml" 245 8542 8554 "src/oasis/OASISFeatures.ml" 245 8542 8563
type(
  (string -> OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t)
  format4 -> string -> 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/OASISFeatures.ml" 246 8564 8579 "src/oasis/OASISFeatures.ml" 246 8564 8581
type(
  (string -> OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t)
  format4 ->
  (string -> 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/OASISFeatures.ml" 246 8564 8582 "src/oasis/OASISFeatures.ml" 247 8635 8666
type(
  (string -> OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 246 8564 8578 "src/oasis/OASISFeatures.ml" 247 8635 8667
type(
  (string -> OASISTypes.name -> OASISVersion.t, unit, string, OASISVersion.t)
  format4
)
"src/oasis/OASISFeatures.ml" 248 8668 8682 "src/oasis/OASISFeatures.ml" 248 8668 8685
type(
  string
)
ident(
  int_ref sct "src/oasis/OASISFeatures.ml" 227 7810 7822 "src/oasis/OASISFeatures.ml" 227 7810 7825
)
"src/oasis/OASISFeatures.ml" 248 8668 8686 "src/oasis/OASISFeatures.ml" 248 8668 8697
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 245 8542 8554 "src/oasis/OASISFeatures.ml" 248 8668 8697
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 232 7950 7960 "src/oasis/OASISFeatures.ml" 248 8668 8697
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 250 8709 8717 "src/oasis/OASISFeatures.ml" 250 8709 8732
type(
  min_version:OASISVersion.t ->
  OASISVersion.t ->
  (string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4 ->
  string ->
  OASISTypes.name ->
  string ->
  OASISTypes.name -> string -> OASISTypes.name -> string -> string option
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
)
"src/oasis/OASISFeatures.ml" 250 8709 8734 "src/oasis/OASISFeatures.ml" 250 8709 8745
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 228 7861 7878 "src/oasis/OASISFeatures.ml" 228 7861 7889
)
"src/oasis/OASISFeatures.ml" 250 8709 8746 "src/oasis/OASISFeatures.ml" 250 8709 8768
type(
  OASISVersion.t
)
ident(
  int_ref plugin_version_current "src/oasis/OASISFeatures.ml" 231 7913 7925 "src/oasis/OASISFeatures.ml" 231 7913 7947
)
"src/oasis/OASISFeatures.ml" 251 8769 8780 "src/oasis/OASISFeatures.ml" 251 8769 8782
type(
  (string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4 ->
  (string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 251 8769 8783 "src/oasis/OASISFeatures.ml" 253 8900 8964
type(
  (string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4
)
"src/oasis/OASISFeatures.ml" 251 8769 8779 "src/oasis/OASISFeatures.ml" 253 8900 8965
type(
  (string ->
   OASISTypes.name ->
   string ->
   OASISTypes.name -> string -> OASISTypes.name -> string -> string option,
   unit, string, string option)
  format4
)
"src/oasis/OASISFeatures.ml" 254 8966 8976 "src/oasis/OASISFeatures.ml" 254 8966 8979
type(
  string
)
ident(
  int_ref sct "src/oasis/OASISFeatures.ml" 227 7810 7822 "src/oasis/OASISFeatures.ml" 227 7810 7825
)
"src/oasis/OASISFeatures.ml" 254 8966 8980 "src/oasis/OASISFeatures.ml" 254 8966 8991
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 254 8966 8993 "src/oasis/OASISFeatures.ml" 254 8966 9010
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/OASISFeatures.ml" 254 8966 9011 "src/oasis/OASISFeatures.ml" 254 8966 9022
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 228 7861 7878 "src/oasis/OASISFeatures.ml" 228 7861 7889
)
"src/oasis/OASISFeatures.ml" 254 8966 8992 "src/oasis/OASISFeatures.ml" 254 8966 9023
type(
  string
)
"src/oasis/OASISFeatures.ml" 255 9024 9034 "src/oasis/OASISFeatures.ml" 255 9024 9045
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 255 9024 9047 "src/oasis/OASISFeatures.ml" 255 9024 9064
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/OASISFeatures.ml" 255 9024 9065 "src/oasis/OASISFeatures.ml" 255 9024 9087
type(
  OASISVersion.t
)
ident(
  int_ref plugin_version_current "src/oasis/OASISFeatures.ml" 231 7913 7925 "src/oasis/OASISFeatures.ml" 231 7913 7947
)
"src/oasis/OASISFeatures.ml" 255 9024 9046 "src/oasis/OASISFeatures.ml" 255 9024 9088
type(
  string
)
"src/oasis/OASISFeatures.ml" 256 9089 9099 "src/oasis/OASISFeatures.ml" 256 9089 9110
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 227 7810 7844 "src/oasis/OASISFeatures.ml" 227 7810 7855
)
"src/oasis/OASISFeatures.ml" 256 9089 9112 "src/oasis/OASISFeatures.ml" 256 9089 9129
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/OASISFeatures.ml" 256 9089 9130 "src/oasis/OASISFeatures.ml" 256 9089 9141
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 228 7861 7878 "src/oasis/OASISFeatures.ml" 228 7861 7889
)
"src/oasis/OASISFeatures.ml" 256 9089 9111 "src/oasis/OASISFeatures.ml" 256 9089 9142
type(
  string
)
"src/oasis/OASISFeatures.ml" 250 8709 8717 "src/oasis/OASISFeatures.ml" 256 9089 9142
type(
  string option
)
"src/oasis/OASISFeatures.ml" 231 7913 7921 "src/oasis/OASISFeatures.ml" 256 9089 9142
type(
  string option
)
"src/oasis/OASISFeatures.ml" 257 9143 9162 "src/oasis/OASISFeatures.ml" 257 9143 9165
type(
  string
)
ident(
  def msg "src/oasis/OASISFeatures.ml" 258 9169 9177 "src/oasis/OASISFeatures.ml" 258 9169 9185
)
"src/oasis/OASISFeatures.ml" 257 9143 9154 "src/oasis/OASISFeatures.ml" 257 9143 9165
type(
  exn
)
"src/oasis/OASISFeatures.ml" 258 9169 9182 "src/oasis/OASISFeatures.ml" 258 9169 9185
type(
  string
)
ident(
  int_ref msg "src/oasis/OASISFeatures.ml" 257 9143 9162 "src/oasis/OASISFeatures.ml" 257 9143 9165
)
"src/oasis/OASISFeatures.ml" 258 9169 9177 "src/oasis/OASISFeatures.ml" 258 9169 9185
type(
  string option
)
"src/oasis/OASISFeatures.ml" 229 7893 7897 "src/oasis/OASISFeatures.ml" 259 9186 9193
type(
  string option
)
"src/oasis/OASISFeatures.ml" 261 9195 9199 "src/oasis/OASISFeatures.ml" 261 9195 9207
type(
  origin
)
"src/oasis/OASISFeatures.ml" 261 9195 9209 "src/oasis/OASISFeatures.ml" 261 9195 9213
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 261 9195 9228 "src/oasis/OASISFeatures.ml" 261 9195 9239
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 262 9243 9247 "src/oasis/OASISFeatures.ml" 262 9243 9315
)
"src/oasis/OASISFeatures.ml" 261 9195 9215 "src/oasis/OASISFeatures.ml" 261 9195 9239
type(
  publication
)
"src/oasis/OASISFeatures.ml" 261 9195 9199 "src/oasis/OASISFeatures.ml" 261 9195 9239
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 262 9243 9247 "src/oasis/OASISFeatures.ml" 262 9243 9262
type(
  min_version:OASISVersion.t ->
  OASISVersion.t ->
  (string -> string option, unit, string, string option) format4 ->
  string -> string option
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
)
"src/oasis/OASISFeatures.ml" 262 9243 9264 "src/oasis/OASISFeatures.ml" 262 9243 9275
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 261 9195 9228 "src/oasis/OASISFeatures.ml" 261 9195 9239
)
"src/oasis/OASISFeatures.ml" 262 9243 9276 "src/oasis/OASISFeatures.ml" 262 9243 9280
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 262 9243 9276 "src/oasis/OASISFeatures.ml" 262 9243 9299
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 262 9243 9300 "src/oasis/OASISFeatures.ml" 262 9243 9304
type(
  (string -> string option, unit, string, string option) format4
)
"src/oasis/OASISFeatures.ml" 262 9243 9305 "src/oasis/OASISFeatures.ml" 262 9243 9315
type(
  string
)
ident(
  int_ref no_message "src/oasis/OASISFeatures.ml" 138 4426 4432 "src/oasis/OASISFeatures.ml" 138 4426 4442
)
"src/oasis/OASISFeatures.ml" 262 9243 9247 "src/oasis/OASISFeatures.ml" 262 9243 9315
type(
  string option
)
"src/oasis/OASISFeatures.ml" 264 9317 9321 "src/oasis/OASISFeatures.ml" 264 9317 9329
type(
  origin
)
"src/oasis/OASISFeatures.ml" 264 9317 9336 "src/oasis/OASISFeatures.ml" 264 9317 9346
type(
  OASISTypes.plugin_kind
)
ident(
  def plugin_knd "src/oasis/OASISFeatures.ml" 265 9393 9397 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 264 9317 9348 "src/oasis/OASISFeatures.ml" 264 9317 9359
type(
  OASISTypes.name
)
ident(
  def plugin_name "src/oasis/OASISFeatures.ml" 265 9393 9397 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 264 9317 9361 "src/oasis/OASISFeatures.ml" 264 9317 9362
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 264 9317 9335 "src/oasis/OASISFeatures.ml" 264 9317 9363
type(
  OASISTypes.plugin_kind * OASISTypes.name * OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 264 9317 9331 "src/oasis/OASISFeatures.ml" 264 9317 9363
type(
  OASISTypes.all_plugin option
)
"src/oasis/OASISFeatures.ml" 264 9317 9378 "src/oasis/OASISFeatures.ml" 264 9317 9389
type(
  OASISVersion.t
)
ident(
  def min_version "src/oasis/OASISFeatures.ml" 265 9393 9397 "src/oasis/OASISFeatures.ml" 276 9728 9735
)
"src/oasis/OASISFeatures.ml" 264 9317 9365 "src/oasis/OASISFeatures.ml" 264 9317 9389
type(
  publication
)
"src/oasis/OASISFeatures.ml" 264 9317 9321 "src/oasis/OASISFeatures.ml" 264 9317 9389
type(
  origin * OASISTypes.all_plugin option * publication
)
type(
  origin * OASISTypes.all_plugin option * publication
)
"src/oasis/OASISFeatures.ml" 267 9413 9425 "src/oasis/OASISFeatures.ml" 267 9413 9447
type(
  OASISVersion.t
)
ident(
  def plugin_version_current "src/oasis/OASISFeatures.ml" 272 9594 9602 "src/oasis/OASISFeatures.ml" 273 9654 9679
)
"src/oasis/OASISFeatures.ml" 268 9450 9466 "src/oasis/OASISFeatures.ml" 268 9450 9485
type(
  OASISTypes.plugin_kind ->
  OASISTypes.name -> Data.t -> OASISVersion.t option
)
ident(
  int_ref Data.plugin_version "src/oasis/OASISFeatures.ml" 66 2680 2686 "src/oasis/OASISFeatures.ml" 66 2680 2700
)
"src/oasis/OASISFeatures.ml" 268 9450 9486 "src/oasis/OASISFeatures.ml" 268 9450 9496
type(
  OASISTypes.plugin_kind
)
ident(
  int_ref plugin_knd "src/oasis/OASISFeatures.ml" 264 9317 9336 "src/oasis/OASISFeatures.ml" 264 9317 9346
)
"src/oasis/OASISFeatures.ml" 268 9450 9497 "src/oasis/OASISFeatures.ml" 268 9450 9508
type(
  OASISTypes.name
)
ident(
  int_ref plugin_name "src/oasis/OASISFeatures.ml" 264 9317 9348 "src/oasis/OASISFeatures.ml" 264 9317 9359
)
"src/oasis/OASISFeatures.ml" 268 9450 9509 "src/oasis/OASISFeatures.ml" 268 9450 9513
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 137 4395 4412 "src/oasis/OASISFeatures.ml" 137 4395 4416
)
"src/oasis/OASISFeatures.ml" 268 9450 9466 "src/oasis/OASISFeatures.ml" 268 9450 9513
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 269 9519 9536 "src/oasis/OASISFeatures.ml" 269 9519 9539
type(
  OASISVersion.t
)
ident(
  def ver "src/oasis/OASISFeatures.ml" 269 9519 9543 "src/oasis/OASISFeatures.ml" 269 9519 9546
)
"src/oasis/OASISFeatures.ml" 269 9519 9531 "src/oasis/OASISFeatures.ml" 269 9519 9539
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 269 9519 9543 "src/oasis/OASISFeatures.ml" 269 9519 9546
type(
  OASISVersion.t
)
ident(
  int_ref ver "src/oasis/OASISFeatures.ml" 269 9519 9536 "src/oasis/OASISFeatures.ml" 269 9519 9539
)
"src/oasis/OASISFeatures.ml" 270 9547 9559 "src/oasis/OASISFeatures.ml" 270 9547 9563
type(
  OASISVersion.t option
)
type(
  OASISVersion.t option
)
"src/oasis/OASISFeatures.ml" 270 9547 9567 "src/oasis/OASISFeatures.ml" 270 9547 9572
type(
  exn -> OASISVersion.t
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/OASISFeatures.ml" 270 9547 9573 "src/oasis/OASISFeatures.ml" 270 9547 9582
type(
  exn
)
"src/oasis/OASISFeatures.ml" 270 9547 9567 "src/oasis/OASISFeatures.ml" 270 9547 9582
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 268 9450 9460 "src/oasis/OASISFeatures.ml" 270 9547 9582
type(
  OASISVersion.t
)
"src/oasis/OASISFeatures.ml" 272 9594 9602 "src/oasis/OASISFeatures.ml" 272 9594 9617
type(
  min_version:OASISVersion.t ->
  OASISVersion.t ->
  (string -> string option, unit, string, string option) format4 ->
  string -> string option
)
ident(
  int_ref version_is_good "src/oasis/OASISFeatures.ml" 162 5124 5130 "src/oasis/OASISFeatures.ml" 162 5124 5145
)
"src/oasis/OASISFeatures.ml" 272 9594 9619 "src/oasis/OASISFeatures.ml" 272 9594 9630
type(
  OASISVersion.t
)
ident(
  int_ref min_version "src/oasis/OASISFeatures.ml" 264 9317 9378 "src/oasis/OASISFeatures.ml" 264 9317 9389
)
"src/oasis/OASISFeatures.ml" 272 9594 9631 "src/oasis/OASISFeatures.ml" 272 9594 9653
type(
  OASISVersion.t
)
ident(
  int_ref plugin_version_current "src/oasis/OASISFeatures.ml" 267 9413 9425 "src/oasis/OASISFeatures.ml" 267 9413 9447
)
"src/oasis/OASISFeatures.ml" 273 9654 9664 "src/oasis/OASISFeatures.ml" 273 9654 9668
type(
  (string -> string option, unit, string, string option) format4
)
"src/oasis/OASISFeatures.ml" 273 9654 9669 "src/oasis/OASISFeatures.ml" 273 9654 9679
type(
  string
)
ident(
  int_ref no_message "src/oasis/OASISFeatures.ml" 138 4426 4432 "src/oasis/OASISFeatures.ml" 138 4426 4442
)
"src/oasis/OASISFeatures.ml" 272 9594 9602 "src/oasis/OASISFeatures.ml" 273 9654 9679
type(
  string option
)
"src/oasis/OASISFeatures.ml" 267 9413 9421 "src/oasis/OASISFeatures.ml" 273 9654 9679
type(
  string option
)
"src/oasis/OASISFeatures.ml" 274 9680 9691 "src/oasis/OASISFeatures.ml" 274 9680 9700
type(
  exn
)
"src/oasis/OASISFeatures.ml" 275 9704 9717 "src/oasis/OASISFeatures.ml" 275 9704 9727
type(
  string
)
ident(
  int_ref no_message "src/oasis/OASISFeatures.ml" 138 4426 4432 "src/oasis/OASISFeatures.ml" 138 4426 4442
)
"src/oasis/OASISFeatures.ml" 275 9704 9712 "src/oasis/OASISFeatures.ml" 275 9704 9727
type(
  string option
)
"src/oasis/OASISFeatures.ml" 265 9393 9397 "src/oasis/OASISFeatures.ml" 276 9728 9735
type(
  string option
)
"src/oasis/OASISFeatures.ml" 172 5397 5399 "src/oasis/OASISFeatures.ml" 276 9728 9735
type(
  string option
)
"src/oasis/OASISFeatures.ml" 162 5124 5126 "src/oasis/OASISFeatures.ml" 276 9728 9735
type(
  string option
)
"src/oasis/OASISFeatures.ml" 140 4462 4464 "src/oasis/OASISFeatures.ml" 276 9728 9735
type(
  string option
)
"src/oasis/OASISFeatures.ml" 138 4426 4428 "src/oasis/OASISFeatures.ml" 276 9728 9735
type(
  string option
)
"src/oasis/OASISFeatures.ml" 279 9738 9742 "src/oasis/OASISFeatures.ml" 279 9738 9753
type(
  t -> Data.t -> origin -> unit
)
ident(
  def data_assert "src/oasis/OASISFeatures.ml" 285 9854 9854 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 279 9738 9754 "src/oasis/OASISFeatures.ml" 279 9738 9755
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 279 9738 9756 "src/oasis/OASISFeatures.ml" 282 9823 9851
)
"src/oasis/OASISFeatures.ml" 279 9738 9756 "src/oasis/OASISFeatures.ml" 279 9738 9760
type(
  Data.t
)
ident(
  def data "src/oasis/OASISFeatures.ml" 279 9738 9761 "src/oasis/OASISFeatures.ml" 282 9823 9851
)
"src/oasis/OASISFeatures.ml" 279 9738 9761 "src/oasis/OASISFeatures.ml" 279 9738 9767
type(
  origin
)
ident(
  def origin "src/oasis/OASISFeatures.ml" 280 9770 9772 "src/oasis/OASISFeatures.ml" 282 9823 9851
)
"src/oasis/OASISFeatures.ml" 280 9770 9778 "src/oasis/OASISFeatures.ml" 280 9770 9788
type(
  t -> Data.t -> origin -> string option
)
ident(
  int_ref data_check "src/oasis/OASISFeatures.ml" 137 4395 4399 "src/oasis/OASISFeatures.ml" 137 4395 4409
)
"src/oasis/OASISFeatures.ml" 280 9770 9789 "src/oasis/OASISFeatures.ml" 280 9770 9790
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 279 9738 9754 "src/oasis/OASISFeatures.ml" 279 9738 9755
)
"src/oasis/OASISFeatures.ml" 280 9770 9791 "src/oasis/OASISFeatures.ml" 280 9770 9795
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 279 9738 9756 "src/oasis/OASISFeatures.ml" 279 9738 9760
)
"src/oasis/OASISFeatures.ml" 280 9770 9796 "src/oasis/OASISFeatures.ml" 280 9770 9802
type(
  origin
)
ident(
  int_ref origin "src/oasis/OASISFeatures.ml" 279 9738 9761 "src/oasis/OASISFeatures.ml" 279 9738 9767
)
"src/oasis/OASISFeatures.ml" 280 9770 9778 "src/oasis/OASISFeatures.ml" 280 9770 9802
type(
  string option
)
"src/oasis/OASISFeatures.ml" 281 9808 9812 "src/oasis/OASISFeatures.ml" 281 9808 9816
type(
  string option
)
type(
  string option
)
"src/oasis/OASISFeatures.ml" 281 9808 9820 "src/oasis/OASISFeatures.ml" 281 9808 9822
type(
  unit
)
"src/oasis/OASISFeatures.ml" 282 9823 9832 "src/oasis/OASISFeatures.ml" 282 9823 9835
type(
  string
)
ident(
  def str "src/oasis/OASISFeatures.ml" 282 9823 9839 "src/oasis/OASISFeatures.ml" 282 9823 9851
)
"src/oasis/OASISFeatures.ml" 282 9823 9827 "src/oasis/OASISFeatures.ml" 282 9823 9835
type(
  string option
)
type(
  string option
)
"src/oasis/OASISFeatures.ml" 282 9823 9839 "src/oasis/OASISFeatures.ml" 282 9823 9847
type(
  string -> unit
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/OASISFeatures.ml" 282 9823 9848 "src/oasis/OASISFeatures.ml" 282 9823 9851
type(
  string
)
ident(
  int_ref str "src/oasis/OASISFeatures.ml" 282 9823 9832 "src/oasis/OASISFeatures.ml" 282 9823 9835
)
"src/oasis/OASISFeatures.ml" 282 9823 9839 "src/oasis/OASISFeatures.ml" 282 9823 9851
type(
  unit
)
"src/oasis/OASISFeatures.ml" 280 9770 9772 "src/oasis/OASISFeatures.ml" 282 9823 9851
type(
  unit
)
"src/oasis/OASISFeatures.ml" 285 9854 9858 "src/oasis/OASISFeatures.ml" 285 9854 9867
type(
  t -> Data.t -> bool
)
ident(
  def data_test "src/oasis/OASISFeatures.ml" 291 9956 9956 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 285 9854 9868 "src/oasis/OASISFeatures.ml" 285 9854 9869
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 285 9854 9870 "src/oasis/OASISFeatures.ml" 288 9934 9953
)
"src/oasis/OASISFeatures.ml" 285 9854 9870 "src/oasis/OASISFeatures.ml" 285 9854 9874
type(
  Data.t
)
ident(
  def data "src/oasis/OASISFeatures.ml" 286 9877 9879 "src/oasis/OASISFeatures.ml" 288 9934 9953
)
"src/oasis/OASISFeatures.ml" 286 9877 9885 "src/oasis/OASISFeatures.ml" 286 9877 9895
type(
  t -> Data.t -> origin -> string option
)
ident(
  int_ref data_check "src/oasis/OASISFeatures.ml" 137 4395 4399 "src/oasis/OASISFeatures.ml" 137 4395 4409
)
"src/oasis/OASISFeatures.ml" 286 9877 9896 "src/oasis/OASISFeatures.ml" 286 9877 9897
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 285 9854 9868 "src/oasis/OASISFeatures.ml" 285 9854 9869
)
"src/oasis/OASISFeatures.ml" 286 9877 9898 "src/oasis/OASISFeatures.ml" 286 9877 9902
type(
  Data.t
)
ident(
  int_ref data "src/oasis/OASISFeatures.ml" 285 9854 9870 "src/oasis/OASISFeatures.ml" 285 9854 9874
)
"src/oasis/OASISFeatures.ml" 286 9877 9903 "src/oasis/OASISFeatures.ml" 286 9877 9911
type(
  origin
)
"src/oasis/OASISFeatures.ml" 286 9877 9885 "src/oasis/OASISFeatures.ml" 286 9877 9911
type(
  string option
)
"src/oasis/OASISFeatures.ml" 287 9917 9921 "src/oasis/OASISFeatures.ml" 287 9917 9925
type(
  string option
)
type(
  string option
)
"src/oasis/OASISFeatures.ml" 287 9917 9929 "src/oasis/OASISFeatures.ml" 287 9917 9933
type(
  bool
)
"src/oasis/OASISFeatures.ml" 288 9934 9943 "src/oasis/OASISFeatures.ml" 288 9934 9944
type(
  string
)
"src/oasis/OASISFeatures.ml" 288 9934 9938 "src/oasis/OASISFeatures.ml" 288 9934 9944
type(
  string option
)
type(
  string option
)
"src/oasis/OASISFeatures.ml" 288 9934 9948 "src/oasis/OASISFeatures.ml" 288 9934 9953
type(
  bool
)
"src/oasis/OASISFeatures.ml" 286 9877 9879 "src/oasis/OASISFeatures.ml" 288 9934 9953
type(
  bool
)
"src/oasis/OASISFeatures.ml" 291 9956 9960 "src/oasis/OASISFeatures.ml" 291 9956 9972
type(
  t -> OASISTypes.package -> bool
)
ident(
  def package_test "src/oasis/OASISFeatures.ml" 295 10019 10019 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 291 9956 9973 "src/oasis/OASISFeatures.ml" 291 9956 9974
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 291 9956 9975 "src/oasis/OASISFeatures.ml" 292 9981 10016
)
"src/oasis/OASISFeatures.ml" 291 9956 9975 "src/oasis/OASISFeatures.ml" 291 9956 9978
type(
  OASISTypes.package
)
ident(
  def pkg "src/oasis/OASISFeatures.ml" 292 9981 9983 "src/oasis/OASISFeatures.ml" 292 9981 10016
)
"src/oasis/OASISFeatures.ml" 292 9981 9983 "src/oasis/OASISFeatures.ml" 292 9981 9992
type(
  t -> Data.t -> bool
)
ident(
  int_ref data_test "src/oasis/OASISFeatures.ml" 285 9854 9858 "src/oasis/OASISFeatures.ml" 285 9854 9867
)
"src/oasis/OASISFeatures.ml" 292 9981 9993 "src/oasis/OASISFeatures.ml" 292 9981 9994
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 291 9956 9973 "src/oasis/OASISFeatures.ml" 291 9956 9974
)
"src/oasis/OASISFeatures.ml" 292 9981 9996 "src/oasis/OASISFeatures.ml" 292 9981 10011
type(
  OASISTypes.package -> Data.t
)
ident(
  int_ref Data.of_package "src/oasis/OASISFeatures.ml" 53 2329 2335 "src/oasis/OASISFeatures.ml" 53 2329 2345
)
"src/oasis/OASISFeatures.ml" 292 9981 10012 "src/oasis/OASISFeatures.ml" 292 9981 10015
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/oasis/OASISFeatures.ml" 291 9956 9975 "src/oasis/OASISFeatures.ml" 291 9956 9978
)
"src/oasis/OASISFeatures.ml" 292 9981 9995 "src/oasis/OASISFeatures.ml" 292 9981 10016
type(
  Data.t
)
"src/oasis/OASISFeatures.ml" 292 9981 9983 "src/oasis/OASISFeatures.ml" 292 9981 10016
type(
  bool
)
"src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  def create "src/oasis/OASISFeatures.ml" 312 10360 10360 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 295 10019 10031 "src/oasis/OASISFeatures.ml" 295 10019 10037
type(
  OASISTypes.all_plugin option
)
ident(
  def plugin "src/oasis/OASISFeatures.ml" 295 10019 10038 "src/oasis/OASISFeatures.ml" 309 10354 10357
)
"src/oasis/OASISFeatures.ml" 295 10019 10038 "src/oasis/OASISFeatures.ml" 295 10019 10042
type(
  string
)
ident(
  def name "src/oasis/OASISFeatures.ml" 295 10019 10043 "src/oasis/OASISFeatures.ml" 309 10354 10357
)
"src/oasis/OASISFeatures.ml" 295 10019 10043 "src/oasis/OASISFeatures.ml" 295 10019 10054
type(
  publication
)
ident(
  def publication "src/oasis/OASISFeatures.ml" 295 10019 10055 "src/oasis/OASISFeatures.ml" 309 10354 10357
)
"src/oasis/OASISFeatures.ml" 295 10019 10055 "src/oasis/OASISFeatures.ml" 295 10019 10066
type(
  unit -> string
)
ident(
  def description "src/oasis/OASISFeatures.ml" 296 10069 10071 "src/oasis/OASISFeatures.ml" 309 10354 10357
)
"src/oasis/OASISFeatures.ml" 296 10069 10075 "src/oasis/OASISFeatures.ml" 296 10069 10077
type(
  unit
)
type(
  unit
)
"src/oasis/OASISFeatures.ml" 297 10080 10087 "src/oasis/OASISFeatures.ml" 297 10080 10098
type(
  (string, t) Hashtbl.t -> string -> bool
)
ident(
  int_ref Stdlib.Hashtbl.mem "hashtbl.mli" 105 4864 4864 "hashtbl.mli" 105 4864 4898
)
"src/oasis/OASISFeatures.ml" 297 10080 10099 "src/oasis/OASISFeatures.ml" 297 10080 10111
type(
  (string, t) Hashtbl.t
)
ident(
  int_ref all_features "src/oasis/OASISFeatures.ml" 118 3917 3921 "src/oasis/OASISFeatures.ml" 118 3917 3933
)
"src/oasis/OASISFeatures.ml" 297 10080 10112 "src/oasis/OASISFeatures.ml" 297 10080 10116
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFeatures.ml" 295 10019 10038 "src/oasis/OASISFeatures.ml" 295 10019 10042
)
"src/oasis/OASISFeatures.ml" 297 10080 10087 "src/oasis/OASISFeatures.ml" 297 10080 10116
type(
  bool
)
"src/oasis/OASISFeatures.ml" 298 10122 10128 "src/oasis/OASISFeatures.ml" 298 10122 10137
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/OASISFeatures.ml" 298 10122 10138 "src/oasis/OASISFeatures.ml" 298 10122 10173
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISFeatures.ml" 298 10122 10174 "src/oasis/OASISFeatures.ml" 298 10122 10178
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFeatures.ml" 295 10019 10038 "src/oasis/OASISFeatures.ml" 295 10019 10042
)
"src/oasis/OASISFeatures.ml" 298 10122 10128 "src/oasis/OASISFeatures.ml" 298 10122 10178
type(
  unit
)
"src/oasis/OASISFeatures.ml" 297 10080 10084 "src/oasis/OASISFeatures.ml" 298 10122 10178
type(
  unit
)
"src/oasis/OASISFeatures.ml" 300 10184 10190 "src/oasis/OASISFeatures.ml" 300 10184 10191
type(
  t
)
ident(
  def t "src/oasis/OASISFeatures.ml" 308 10319 10321 "src/oasis/OASISFeatures.ml" 309 10354 10357
)
"src/oasis/OASISFeatures.ml" 302 10200 10213 "src/oasis/OASISFeatures.ml" 302 10200 10217
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFeatures.ml" 295 10019 10038 "src/oasis/OASISFeatures.ml" 295 10019 10042
)
"src/oasis/OASISFeatures.ml" 303 10219 10234 "src/oasis/OASISFeatures.ml" 303 10219 10240
type(
  OASISTypes.all_plugin option
)
ident(
  int_ref plugin "src/oasis/OASISFeatures.ml" 295 10019 10031 "src/oasis/OASISFeatures.ml" 295 10019 10037
)
"src/oasis/OASISFeatures.ml" 304 10242 10262 "src/oasis/OASISFeatures.ml" 304 10242 10273
type(
  publication
)
ident(
  int_ref publication "src/oasis/OASISFeatures.ml" 295 10019 10043 "src/oasis/OASISFeatures.ml" 295 10019 10054
)
"src/oasis/OASISFeatures.ml" 305 10275 10295 "src/oasis/OASISFeatures.ml" 305 10275 10306
type(
  unit -> string
)
ident(
  int_ref description "src/oasis/OASISFeatures.ml" 295 10019 10055 "src/oasis/OASISFeatures.ml" 295 10019 10066
)
"src/oasis/OASISFeatures.ml" 301 10194 10198 "src/oasis/OASISFeatures.ml" 306 10308 10313
type(
  t
)
"src/oasis/OASISFeatures.ml" 308 10319 10321 "src/oasis/OASISFeatures.ml" 308 10319 10332
type(
  (string, t) Hashtbl.t -> string -> t -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/OASISFeatures.ml" 308 10319 10333 "src/oasis/OASISFeatures.ml" 308 10319 10345
type(
  (string, t) Hashtbl.t
)
ident(
  int_ref all_features "src/oasis/OASISFeatures.ml" 118 3917 3921 "src/oasis/OASISFeatures.ml" 118 3917 3933
)
"src/oasis/OASISFeatures.ml" 308 10319 10346 "src/oasis/OASISFeatures.ml" 308 10319 10350
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFeatures.ml" 295 10019 10038 "src/oasis/OASISFeatures.ml" 295 10019 10042
)
"src/oasis/OASISFeatures.ml" 308 10319 10351 "src/oasis/OASISFeatures.ml" 308 10319 10352
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 300 10184 10190 "src/oasis/OASISFeatures.ml" 300 10184 10191
)
"src/oasis/OASISFeatures.ml" 308 10319 10321 "src/oasis/OASISFeatures.ml" 308 10319 10352
type(
  unit
)
"src/oasis/OASISFeatures.ml" 309 10354 10356 "src/oasis/OASISFeatures.ml" 309 10354 10357
type(
  t
)
ident(
  int_ref t "src/oasis/OASISFeatures.ml" 300 10184 10190 "src/oasis/OASISFeatures.ml" 300 10184 10191
)
"src/oasis/OASISFeatures.ml" 308 10319 10321 "src/oasis/OASISFeatures.ml" 309 10354 10357
type(
  t
)
"src/oasis/OASISFeatures.ml" 300 10184 10186 "src/oasis/OASISFeatures.ml" 309 10354 10357
type(
  t
)
"src/oasis/OASISFeatures.ml" 296 10069 10071 "src/oasis/OASISFeatures.ml" 309 10354 10357
type(
  t
)
"src/oasis/OASISFeatures.ml" 312 10360 10364 "src/oasis/OASISFeatures.ml" 312 10360 10373
type(
  string -> publication
)
ident(
  def get_stage "src/oasis/OASISFeatures.ml" 319 10510 10510 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 312 10360 10374 "src/oasis/OASISFeatures.ml" 312 10360 10378
type(
  string
)
ident(
  def name "src/oasis/OASISFeatures.ml" 313 10381 10383 "src/oasis/OASISFeatures.ml" 316 10456 10507
)
"src/oasis/OASISFeatures.ml" 314 10387 10392 "src/oasis/OASISFeatures.ml" 314 10387 10404
type(
  (string, t) Hashtbl.t -> string -> t
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/OASISFeatures.ml" 314 10387 10405 "src/oasis/OASISFeatures.ml" 314 10387 10417
type(
  (string, t) Hashtbl.t
)
ident(
  int_ref all_features "src/oasis/OASISFeatures.ml" 118 3917 3921 "src/oasis/OASISFeatures.ml" 118 3917 3933
)
"src/oasis/OASISFeatures.ml" 314 10387 10418 "src/oasis/OASISFeatures.ml" 314 10387 10422
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFeatures.ml" 312 10360 10374 "src/oasis/OASISFeatures.ml" 312 10360 10378
)
"src/oasis/OASISFeatures.ml" 314 10387 10391 "src/oasis/OASISFeatures.ml" 314 10387 10423
type(
  t
)
"src/oasis/OASISFeatures.ml" 314 10387 10391 "src/oasis/OASISFeatures.ml" 314 10387 10435
type(
  publication
)
"src/oasis/OASISFeatures.ml" 315 10436 10443 "src/oasis/OASISFeatures.ml" 315 10436 10452
type(
  exn
)
"src/oasis/OASISFeatures.ml" 316 10456 10460 "src/oasis/OASISFeatures.ml" 316 10456 10469
type(
  (string -> publication, unit, string, publication) format4 ->
  string -> publication
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISFeatures.ml" 316 10456 10471 "src/oasis/OASISFeatures.ml" 316 10456 10473
type(
  (string -> publication, unit, string, publication) format4 ->
  (string -> publication, unit, string, publication) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISFeatures.ml" 316 10456 10474 "src/oasis/OASISFeatures.ml" 316 10456 10501
type(
  (string -> publication, unit, string, publication) format4
)
"src/oasis/OASISFeatures.ml" 316 10456 10470 "src/oasis/OASISFeatures.ml" 316 10456 10502
type(
  (string -> publication, unit, string, publication) format4
)
"src/oasis/OASISFeatures.ml" 316 10456 10503 "src/oasis/OASISFeatures.ml" 316 10456 10507
type(
  string
)
ident(
  int_ref name "src/oasis/OASISFeatures.ml" 312 10360 10374 "src/oasis/OASISFeatures.ml" 312 10360 10378
)
"src/oasis/OASISFeatures.ml" 316 10456 10460 "src/oasis/OASISFeatures.ml" 316 10456 10507
type(
  publication
)
"src/oasis/OASISFeatures.ml" 313 10381 10383 "src/oasis/OASISFeatures.ml" 316 10456 10507
type(
  publication
)
"src/oasis/OASISFeatures.ml" 319 10510 10514 "src/oasis/OASISFeatures.ml" 319 10510 10518
type(
  unit -> t list
)
ident(
  def list "src/oasis/OASISFeatures.ml" 327 10606 10606 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 319 10510 10519 "src/oasis/OASISFeatures.ml" 319 10510 10521
type(
  unit
)
"src/oasis/OASISFeatures.ml" 320 10524 10526 "src/oasis/OASISFeatures.ml" 320 10524 10538
type(
  (string -> t -> t list -> t list) ->
  (string, t) Hashtbl.t -> t list -> t list
)
ident(
  int_ref Stdlib.Hashtbl.fold "hashtbl.mli" 151 6851 6851 "hashtbl.mli" 151 6851 6910
)
"src/oasis/OASISFeatures.ml" 320 10524 10544 "src/oasis/OASISFeatures.ml" 320 10524 10545
type(
  string
)
"src/oasis/OASISFeatures.ml" 320 10524 10546 "src/oasis/OASISFeatures.ml" 320 10524 10547
type(
  t
)
ident(
  def v "src/oasis/OASISFeatures.ml" 320 10524 10548 "src/oasis/OASISFeatures.ml" 320 10524 10563
)
"src/oasis/OASISFeatures.ml" 320 10524 10548 "src/oasis/OASISFeatures.ml" 320 10524 10551
type(
  t list
)
ident(
  def acc "src/oasis/OASISFeatures.ml" 320 10524 10555 "src/oasis/OASISFeatures.ml" 320 10524 10563
)
"src/oasis/OASISFeatures.ml" 320 10524 10555 "src/oasis/OASISFeatures.ml" 320 10524 10556
type(
  t
)
ident(
  int_ref v "src/oasis/OASISFeatures.ml" 320 10524 10546 "src/oasis/OASISFeatures.ml" 320 10524 10547
)
"src/oasis/OASISFeatures.ml" 320 10524 10560 "src/oasis/OASISFeatures.ml" 320 10524 10563
type(
  t list
)
ident(
  int_ref acc "src/oasis/OASISFeatures.ml" 320 10524 10548 "src/oasis/OASISFeatures.ml" 320 10524 10551
)
"src/oasis/OASISFeatures.ml" 320 10524 10555 "src/oasis/OASISFeatures.ml" 320 10524 10563
type(
  t list
)
"src/oasis/OASISFeatures.ml" 320 10524 10539 "src/oasis/OASISFeatures.ml" 320 10524 10564
type(
  string -> t -> t list -> t list
)
"src/oasis/OASISFeatures.ml" 320 10524 10565 "src/oasis/OASISFeatures.ml" 320 10524 10577
type(
  (string, t) Hashtbl.t
)
ident(
  int_ref all_features "src/oasis/OASISFeatures.ml" 118 3917 3921 "src/oasis/OASISFeatures.ml" 118 3917 3933
)
"src/oasis/OASISFeatures.ml" 320 10524 10578 "src/oasis/OASISFeatures.ml" 320 10524 10580
type(
  t list
)
"src/oasis/OASISFeatures.ml" 320 10524 10526 "src/oasis/OASISFeatures.ml" 320 10524 10580
type(
  t list
)
"src/oasis/OASISFeatures.ml" 327 10606 10610 "src/oasis/OASISFeatures.ml" 327 10606 10618
type(
  t
)
ident(
  def features "src/oasis/OASISFeatures.ml" 334 10752 10752 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 328 10621 10623 "src/oasis/OASISFeatures.ml" 328 10621 10629
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 328 10621 10630 "src/oasis/OASISFeatures.ml" 328 10621 10647
type(
  string
)
"src/oasis/OASISFeatures.ml" 329 10648 10653 "src/oasis/OASISFeatures.ml" 329 10648 10666
type(
  string -> publication
)
ident(
  int_ref since_version "src/oasis/OASISFeatures.ml" 121 3956 3960 "src/oasis/OASISFeatures.ml" 121 3956 3973
)
"src/oasis/OASISFeatures.ml" 329 10648 10667 "src/oasis/OASISFeatures.ml" 329 10648 10672
type(
  string
)
"src/oasis/OASISFeatures.ml" 329 10648 10652 "src/oasis/OASISFeatures.ml" 329 10648 10673
type(
  publication
)
"src/oasis/OASISFeatures.ml" 330 10674 10683 "src/oasis/OASISFeatures.ml" 330 10674 10685
type(
  unit
)
"src/oasis/OASISFeatures.ml" 331 10689 10696 "src/oasis/OASISFeatures.ml" 331 10689 10698
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 331 10689 10699 "src/oasis/OASISFeatures.ml" 331 10689 10748
type(
  string
)
"src/oasis/OASISFeatures.ml" 331 10689 10696 "src/oasis/OASISFeatures.ml" 331 10689 10748
type(
  string
)
"src/oasis/OASISFeatures.ml" 330 10674 10678 "src/oasis/OASISFeatures.ml" 331 10689 10749
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 328 10621 10623 "src/oasis/OASISFeatures.ml" 331 10689 10749
type(
  t
)
"src/oasis/OASISFeatures.ml" 334 10752 10756 "src/oasis/OASISFeatures.ml" 334 10752 10765
type(
  t
)
ident(
  def flag_docs "src/oasis/OASISFeatures.ml" 341 10899 10899 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 335 10768 10770 "src/oasis/OASISFeatures.ml" 335 10768 10776
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 335 10768 10777 "src/oasis/OASISFeatures.ml" 335 10768 10788
type(
  string
)
"src/oasis/OASISFeatures.ml" 336 10789 10794 "src/oasis/OASISFeatures.ml" 336 10789 10807
type(
  string -> publication
)
ident(
  int_ref since_version "src/oasis/OASISFeatures.ml" 121 3956 3960 "src/oasis/OASISFeatures.ml" 121 3956 3973
)
"src/oasis/OASISFeatures.ml" 336 10789 10808 "src/oasis/OASISFeatures.ml" 336 10789 10813
type(
  string
)
"src/oasis/OASISFeatures.ml" 336 10789 10793 "src/oasis/OASISFeatures.ml" 336 10789 10814
type(
  publication
)
"src/oasis/OASISFeatures.ml" 337 10815 10824 "src/oasis/OASISFeatures.ml" 337 10815 10826
type(
  unit
)
"src/oasis/OASISFeatures.ml" 338 10830 10837 "src/oasis/OASISFeatures.ml" 338 10830 10839
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 338 10830 10840 "src/oasis/OASISFeatures.ml" 338 10830 10895
type(
  string
)
"src/oasis/OASISFeatures.ml" 338 10830 10837 "src/oasis/OASISFeatures.ml" 338 10830 10895
type(
  string
)
"src/oasis/OASISFeatures.ml" 337 10815 10819 "src/oasis/OASISFeatures.ml" 338 10830 10896
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 335 10768 10770 "src/oasis/OASISFeatures.ml" 338 10830 10896
type(
  t
)
"src/oasis/OASISFeatures.ml" 341 10899 10903 "src/oasis/OASISFeatures.ml" 341 10899 10913
type(
  t
)
ident(
  def flag_tests "src/oasis/OASISFeatures.ml" 348 11049 11049 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 342 10916 10918 "src/oasis/OASISFeatures.ml" 342 10916 10924
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 342 10916 10925 "src/oasis/OASISFeatures.ml" 342 10916 10937
type(
  string
)
"src/oasis/OASISFeatures.ml" 343 10938 10943 "src/oasis/OASISFeatures.ml" 343 10938 10956
type(
  string -> publication
)
ident(
  int_ref since_version "src/oasis/OASISFeatures.ml" 121 3956 3960 "src/oasis/OASISFeatures.ml" 121 3956 3973
)
"src/oasis/OASISFeatures.ml" 343 10938 10957 "src/oasis/OASISFeatures.ml" 343 10938 10962
type(
  string
)
"src/oasis/OASISFeatures.ml" 343 10938 10942 "src/oasis/OASISFeatures.ml" 343 10938 10963
type(
  publication
)
"src/oasis/OASISFeatures.ml" 344 10964 10973 "src/oasis/OASISFeatures.ml" 344 10964 10975
type(
  unit
)
"src/oasis/OASISFeatures.ml" 345 10979 10986 "src/oasis/OASISFeatures.ml" 345 10979 10988
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 345 10979 10989 "src/oasis/OASISFeatures.ml" 345 10979 11045
type(
  string
)
"src/oasis/OASISFeatures.ml" 345 10979 10986 "src/oasis/OASISFeatures.ml" 345 10979 11045
type(
  string
)
"src/oasis/OASISFeatures.ml" 344 10964 10968 "src/oasis/OASISFeatures.ml" 345 10979 11046
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 342 10916 10918 "src/oasis/OASISFeatures.ml" 345 10979 11046
type(
  t
)
"src/oasis/OASISFeatures.ml" 348 11049 11053 "src/oasis/OASISFeatures.ml" 348 11049 11057
type(
  t
)
ident(
  def pack "src/oasis/OASISFeatures.ml" 355 11164 11164 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 349 11060 11062 "src/oasis/OASISFeatures.ml" 349 11060 11068
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 349 11060 11069 "src/oasis/OASISFeatures.ml" 349 11060 11075
type(
  string
)
"src/oasis/OASISFeatures.ml" 350 11076 11081 "src/oasis/OASISFeatures.ml" 350 11076 11094
type(
  string -> publication
)
ident(
  int_ref since_version "src/oasis/OASISFeatures.ml" 121 3956 3960 "src/oasis/OASISFeatures.ml" 121 3956 3973
)
"src/oasis/OASISFeatures.ml" 350 11076 11095 "src/oasis/OASISFeatures.ml" 350 11076 11100
type(
  string
)
"src/oasis/OASISFeatures.ml" 350 11076 11080 "src/oasis/OASISFeatures.ml" 350 11076 11101
type(
  publication
)
"src/oasis/OASISFeatures.ml" 351 11102 11111 "src/oasis/OASISFeatures.ml" 351 11102 11113
type(
  unit
)
"src/oasis/OASISFeatures.ml" 352 11117 11124 "src/oasis/OASISFeatures.ml" 352 11117 11126
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 352 11117 11127 "src/oasis/OASISFeatures.ml" 352 11117 11160
type(
  string
)
"src/oasis/OASISFeatures.ml" 352 11117 11124 "src/oasis/OASISFeatures.ml" 352 11117 11160
type(
  string
)
"src/oasis/OASISFeatures.ml" 351 11102 11106 "src/oasis/OASISFeatures.ml" 352 11117 11161
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 349 11060 11062 "src/oasis/OASISFeatures.ml" 352 11117 11161
type(
  t
)
"src/oasis/OASISFeatures.ml" 355 11164 11168 "src/oasis/OASISFeatures.ml" 355 11164 11182
type(
  t
)
ident(
  def section_object "src/oasis/OASISFeatures.ml" 361 11275 11275 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 356 11185 11187 "src/oasis/OASISFeatures.ml" 356 11185 11193
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 356 11185 11194 "src/oasis/OASISFeatures.ml" 356 11185 11210
type(
  string
)
"src/oasis/OASISFeatures.ml" 356 11185 11211 "src/oasis/OASISFeatures.ml" 356 11185 11215
type(
  publication
)
ident(
  int_ref beta "src/oasis/OASISFeatures.ml" 123 4049 4053 "src/oasis/OASISFeatures.ml" 123 4049 4057
)
"src/oasis/OASISFeatures.ml" 357 11216 11225 "src/oasis/OASISFeatures.ml" 357 11216 11227
type(
  unit
)
"src/oasis/OASISFeatures.ml" 358 11231 11238 "src/oasis/OASISFeatures.ml" 358 11231 11240
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 358 11231 11241 "src/oasis/OASISFeatures.ml" 358 11231 11271
type(
  string
)
"src/oasis/OASISFeatures.ml" 358 11231 11238 "src/oasis/OASISFeatures.ml" 358 11231 11271
type(
  string
)
"src/oasis/OASISFeatures.ml" 357 11216 11220 "src/oasis/OASISFeatures.ml" 358 11231 11272
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 356 11185 11187 "src/oasis/OASISFeatures.ml" 358 11231 11272
type(
  t
)
"src/oasis/OASISFeatures.ml" 361 11275 11279 "src/oasis/OASISFeatures.ml" 361 11275 11297
type(
  t
)
ident(
  def dynrun_for_release "src/oasis/OASISFeatures.ml" 367 11427 11427 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 362 11300 11302 "src/oasis/OASISFeatures.ml" 362 11300 11308
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 362 11300 11309 "src/oasis/OASISFeatures.ml" 362 11300 11329
type(
  string
)
"src/oasis/OASISFeatures.ml" 362 11300 11330 "src/oasis/OASISFeatures.ml" 362 11300 11335
type(
  publication
)
ident(
  int_ref alpha "src/oasis/OASISFeatures.ml" 122 4025 4029 "src/oasis/OASISFeatures.ml" 122 4025 4034
)
"src/oasis/OASISFeatures.ml" 363 11336 11345 "src/oasis/OASISFeatures.ml" 363 11336 11347
type(
  unit
)
"src/oasis/OASISFeatures.ml" 364 11351 11358 "src/oasis/OASISFeatures.ml" 364 11351 11360
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 364 11351 11361 "src/oasis/OASISFeatures.ml" 364 11351 11423
type(
  string
)
"src/oasis/OASISFeatures.ml" 364 11351 11358 "src/oasis/OASISFeatures.ml" 364 11351 11423
type(
  string
)
"src/oasis/OASISFeatures.ml" 363 11336 11340 "src/oasis/OASISFeatures.ml" 364 11351 11424
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 362 11300 11302 "src/oasis/OASISFeatures.ml" 364 11351 11424
type(
  t
)
"src/oasis/OASISFeatures.ml" 367 11427 11431 "src/oasis/OASISFeatures.ml" 367 11427 11448
type(
  t
)
ident(
  def compiled_setup_ml "src/oasis/OASISFeatures.ml" 372 11571 11571 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 368 11451 11453 "src/oasis/OASISFeatures.ml" 368 11451 11459
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 368 11451 11460 "src/oasis/OASISFeatures.ml" 368 11451 11479
type(
  string
)
"src/oasis/OASISFeatures.ml" 368 11451 11480 "src/oasis/OASISFeatures.ml" 368 11451 11485
type(
  publication
)
ident(
  int_ref alpha "src/oasis/OASISFeatures.ml" 122 4025 4029 "src/oasis/OASISFeatures.ml" 122 4025 4034
)
"src/oasis/OASISFeatures.ml" 369 11486 11495 "src/oasis/OASISFeatures.ml" 369 11486 11497
type(
  unit
)
"src/oasis/OASISFeatures.ml" 370 11501 11508 "src/oasis/OASISFeatures.ml" 370 11501 11510
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 370 11501 11511 "src/oasis/OASISFeatures.ml" 370 11501 11568
type(
  string
)
"src/oasis/OASISFeatures.ml" 370 11501 11508 "src/oasis/OASISFeatures.ml" 370 11501 11568
type(
  string
)
"src/oasis/OASISFeatures.ml" 369 11486 11490 "src/oasis/OASISFeatures.ml" 370 11501 11569
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 368 11451 11453 "src/oasis/OASISFeatures.ml" 370 11501 11569
type(
  t
)
"src/oasis/OASISFeatures.ml" 372 11571 11575 "src/oasis/OASISFeatures.ml" 372 11571 11596
type(
  t
)
ident(
  def disable_oasis_section "src/oasis/OASISFeatures.ml" 378 11759 11759 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 373 11599 11601 "src/oasis/OASISFeatures.ml" 373 11599 11607
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 373 11599 11608 "src/oasis/OASISFeatures.ml" 373 11599 11631
type(
  string
)
"src/oasis/OASISFeatures.ml" 373 11599 11632 "src/oasis/OASISFeatures.ml" 373 11599 11637
type(
  publication
)
ident(
  int_ref alpha "src/oasis/OASISFeatures.ml" 122 4025 4029 "src/oasis/OASISFeatures.ml" 122 4025 4034
)
"src/oasis/OASISFeatures.ml" 374 11638 11647 "src/oasis/OASISFeatures.ml" 374 11638 11649
type(
  unit
)
"src/oasis/OASISFeatures.ml" 375 11653 11660 "src/oasis/OASISFeatures.ml" 375 11653 11662
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 375 11653 11663 "src/oasis/OASISFeatures.ml" 376 11728 11756
type(
  string
)
"src/oasis/OASISFeatures.ml" 375 11653 11660 "src/oasis/OASISFeatures.ml" 376 11728 11756
type(
  string
)
"src/oasis/OASISFeatures.ml" 374 11638 11642 "src/oasis/OASISFeatures.ml" 376 11728 11757
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 373 11599 11601 "src/oasis/OASISFeatures.ml" 376 11728 11757
type(
  t
)
"src/oasis/OASISFeatures.ml" 378 11759 11763 "src/oasis/OASISFeatures.ml" 378 11759 11782
type(
  t
)
ident(
  def no_automatic_syntax "src/oasis/OASISFeatures.ml" 385 12042 12042 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 379 11785 11787 "src/oasis/OASISFeatures.ml" 379 11785 11793
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 379 11785 11794 "src/oasis/OASISFeatures.ml" 379 11785 11815
type(
  string
)
"src/oasis/OASISFeatures.ml" 379 11785 11816 "src/oasis/OASISFeatures.ml" 379 11785 11821
type(
  publication
)
ident(
  int_ref alpha "src/oasis/OASISFeatures.ml" 122 4025 4029 "src/oasis/OASISFeatures.ml" 122 4025 4034
)
"src/oasis/OASISFeatures.ml" 380 11822 11831 "src/oasis/OASISFeatures.ml" 380 11822 11833
type(
  unit
)
"src/oasis/OASISFeatures.ml" 381 11837 11844 "src/oasis/OASISFeatures.ml" 381 11837 11846
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 381 11837 11847 "src/oasis/OASISFeatures.ml" 383 11990 12039
type(
  string
)
"src/oasis/OASISFeatures.ml" 381 11837 11844 "src/oasis/OASISFeatures.ml" 383 11990 12039
type(
  string
)
"src/oasis/OASISFeatures.ml" 380 11822 11826 "src/oasis/OASISFeatures.ml" 383 11990 12040
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 379 11785 11787 "src/oasis/OASISFeatures.ml" 383 11990 12040
type(
  t
)
"src/oasis/OASISFeatures.ml" 385 12042 12046 "src/oasis/OASISFeatures.ml" 385 12042 12063
type(
  t
)
ident(
  def findlib_directory "src/oasis/OASISFeatures.ml" 391 12228 12228 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 386 12066 12068 "src/oasis/OASISFeatures.ml" 386 12066 12074
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 386 12066 12075 "src/oasis/OASISFeatures.ml" 386 12066 12094
type(
  string
)
"src/oasis/OASISFeatures.ml" 386 12066 12095 "src/oasis/OASISFeatures.ml" 386 12066 12099
type(
  publication
)
ident(
  int_ref beta "src/oasis/OASISFeatures.ml" 123 4049 4053 "src/oasis/OASISFeatures.ml" 123 4049 4057
)
"src/oasis/OASISFeatures.ml" 387 12100 12109 "src/oasis/OASISFeatures.ml" 387 12100 12111
type(
  unit
)
"src/oasis/OASISFeatures.ml" 388 12115 12122 "src/oasis/OASISFeatures.ml" 388 12115 12124
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 388 12115 12125 "src/oasis/OASISFeatures.ml" 389 12196 12225
type(
  string
)
"src/oasis/OASISFeatures.ml" 388 12115 12122 "src/oasis/OASISFeatures.ml" 389 12196 12225
type(
  string
)
"src/oasis/OASISFeatures.ml" 387 12100 12104 "src/oasis/OASISFeatures.ml" 389 12196 12226
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 386 12066 12068 "src/oasis/OASISFeatures.ml" 389 12196 12226
type(
  t
)
"src/oasis/OASISFeatures.ml" 391 12228 12232 "src/oasis/OASISFeatures.ml" 391 12228 12251
type(
  t
)
ident(
  def findlib_extra_files "src/oasis/OASISFeatures.ml" 396 12371 12371 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 392 12254 12256 "src/oasis/OASISFeatures.ml" 392 12254 12262
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 392 12254 12263 "src/oasis/OASISFeatures.ml" 392 12254 12284
type(
  string
)
"src/oasis/OASISFeatures.ml" 392 12254 12285 "src/oasis/OASISFeatures.ml" 392 12254 12289
type(
  publication
)
ident(
  int_ref beta "src/oasis/OASISFeatures.ml" 123 4049 4053 "src/oasis/OASISFeatures.ml" 123 4049 4057
)
"src/oasis/OASISFeatures.ml" 393 12290 12299 "src/oasis/OASISFeatures.ml" 393 12290 12301
type(
  unit
)
"src/oasis/OASISFeatures.ml" 394 12305 12312 "src/oasis/OASISFeatures.ml" 394 12305 12314
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 394 12305 12315 "src/oasis/OASISFeatures.ml" 394 12305 12368
type(
  string
)
"src/oasis/OASISFeatures.ml" 394 12305 12312 "src/oasis/OASISFeatures.ml" 394 12305 12368
type(
  string
)
"src/oasis/OASISFeatures.ml" 393 12290 12294 "src/oasis/OASISFeatures.ml" 394 12305 12369
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 392 12254 12256 "src/oasis/OASISFeatures.ml" 394 12305 12369
type(
  t
)
"src/oasis/OASISFeatures.ml" 396 12371 12375 "src/oasis/OASISFeatures.ml" 396 12371 12390
type(
  t
)
ident(
  def source_patterns "src/oasis/OASISFeatures.ml" 399 12441 12508 "src/oasis/OASISFeatures.ml" 0 0 -1
)
"src/oasis/OASISFeatures.ml" 397 12393 12395 "src/oasis/OASISFeatures.ml" 397 12393 12401
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> publication -> (unit -> string) -> t
)
ident(
  int_ref create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/oasis/OASISFeatures.ml" 397 12393 12402 "src/oasis/OASISFeatures.ml" 397 12393 12419
type(
  string
)
"src/oasis/OASISFeatures.ml" 397 12393 12420 "src/oasis/OASISFeatures.ml" 397 12393 12425
type(
  publication
)
ident(
  int_ref alpha "src/oasis/OASISFeatures.ml" 122 4025 4029 "src/oasis/OASISFeatures.ml" 122 4025 4034
)
"src/oasis/OASISFeatures.ml" 398 12426 12435 "src/oasis/OASISFeatures.ml" 398 12426 12437
type(
  unit
)
"src/oasis/OASISFeatures.ml" 399 12441 12448 "src/oasis/OASISFeatures.ml" 399 12441 12450
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISFeatures.ml" 399 12441 12451 "src/oasis/OASISFeatures.ml" 399 12441 12507
type(
  string
)
"src/oasis/OASISFeatures.ml" 399 12441 12448 "src/oasis/OASISFeatures.ml" 399 12441 12507
type(
  string
)
"src/oasis/OASISFeatures.ml" 398 12426 12430 "src/oasis/OASISFeatures.ml" 399 12441 12508
type(
  unit -> string
)
"src/oasis/OASISFeatures.ml" 397 12393 12395 "src/oasis/OASISFeatures.ml" 399 12441 12508
type(
  t
)
