"src/plugins/extra/META/METAPlugin.ml" 54 2116 2120 "src/plugins/extra/META/METAPlugin.ml" 54 2116 2126
type(
  [> `Extra ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/extra/META/METAPlugin.ml" 58 2178 2178 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 55 2129 2131 "src/plugins/extra/META/METAPlugin.ml" 55 2129 2137
type(
  [> `Extra ] as 'a
)
"src/plugins/extra/META/METAPlugin.ml" 55 2129 2139 "src/plugins/extra/META/METAPlugin.ml" 55 2129 2145
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 55 2129 2152 "src/plugins/extra/META/METAPlugin.ml" 55 2129 2175
type(
  OASISVersion.t
)
ident(
  int_ref OASISConf.version_short "src/oasis/OASISConf.ml" 25 1762 1766 "src/oasis/OASISConf.ml" 25 1762 1779
)
"src/plugins/extra/META/METAPlugin.ml" 55 2129 2147 "src/plugins/extra/META/METAPlugin.ml" 55 2129 2175
type(
  OASISVersion.t option
)
"src/plugins/extra/META/METAPlugin.ml" 55 2129 2131 "src/plugins/extra/META/METAPlugin.ml" 55 2129 2175
type(
  'a * string * OASISVersion.t option
)
"src/plugins/extra/META/METAPlugin.ml" 58 2178 2182 "src/plugins/extra/META/METAPlugin.ml" 58 2178 2189
type(
  OASISPlugin.Extra.self_t
)
ident(
  def self_id "src/plugins/extra/META/METAPlugin.ml" 62 2224 2224 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 58 2178 2191 "src/plugins/extra/META/METAPlugin.ml" 58 2178 2197
type(
  OASISPlugin.all_t
)
ident(
  def all_id "src/plugins/extra/META/METAPlugin.ml" 62 2224 2224 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 58 2178 2182 "src/plugins/extra/META/METAPlugin.ml" 58 2178 2197
type(
  OASISPlugin.Extra.self_t * OASISPlugin.all_t
)
"src/plugins/extra/META/METAPlugin.ml" 59 2200 2202 "src/plugins/extra/META/METAPlugin.ml" 59 2200 2214
type(
  OASISPlugin.Extra.self_plugin ->
  OASISPlugin.Extra.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Extra.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/extra/META/METAPlugin.ml" 59 2200 2215 "src/plugins/extra/META/METAPlugin.ml" 59 2200 2221
type(
  OASISPlugin.Extra.self_plugin
)
ident(
  int_ref plugin "src/plugins/extra/META/METAPlugin.ml" 54 2116 2120 "src/plugins/extra/META/METAPlugin.ml" 54 2116 2126
)
"src/plugins/extra/META/METAPlugin.ml" 59 2200 2202 "src/plugins/extra/META/METAPlugin.ml" 59 2200 2221
type(
  OASISPlugin.Extra.self_t * OASISPlugin.all_t
)
"src/plugins/extra/META/METAPlugin.ml" 62 2224 2228 "src/plugins/extra/META/METAPlugin.ml" 62 2224 2247
type(
  OASISFeatures.t
)
ident(
  def feature_extra_lines "src/plugins/extra/META/METAPlugin.ml" 69 2413 2413 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 63 2250 2252 "src/plugins/extra/META/METAPlugin.ml" 63 2250 2272
type(
  ?plugin:OASISTypes.all_plugin ->
  string -> OASISFeatures.publication -> (unit -> string) -> OASISFeatures.t
)
ident(
  int_ref OASISFeatures.create "src/oasis/OASISFeatures.ml" 295 10019 10023 "src/oasis/OASISFeatures.ml" 295 10019 10029
)
"src/plugins/extra/META/METAPlugin.ml" 63 2250 2273 "src/plugins/extra/META/METAPlugin.ml" 63 2250 2286
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 63 2250 2288 "src/plugins/extra/META/METAPlugin.ml" 63 2250 2294
type(
  OASISTypes.all_plugin
)
ident(
  int_ref plugin "src/plugins/extra/META/METAPlugin.ml" 54 2116 2120 "src/plugins/extra/META/METAPlugin.ml" 54 2116 2126
)
type(
  OASISTypes.all_plugin option
)
"src/plugins/extra/META/METAPlugin.ml" 64 2295 2300 "src/plugins/extra/META/METAPlugin.ml" 64 2295 2327
type(
  string -> OASISFeatures.publication
)
ident(
  int_ref OASISFeatures.since_version "src/oasis/OASISFeatures.ml" 121 3956 3960 "src/oasis/OASISFeatures.ml" 121 3956 3973
)
"src/plugins/extra/META/METAPlugin.ml" 64 2295 2328 "src/plugins/extra/META/METAPlugin.ml" 64 2295 2333
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 64 2295 2299 "src/plugins/extra/META/METAPlugin.ml" 64 2295 2334
type(
  OASISFeatures.publication
)
"src/plugins/extra/META/METAPlugin.ml" 65 2335 2344 "src/plugins/extra/META/METAPlugin.ml" 65 2335 2346
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 66 2350 2357 "src/plugins/extra/META/METAPlugin.ml" 66 2350 2359
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 66 2350 2360 "src/plugins/extra/META/METAPlugin.ml" 66 2350 2409
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 66 2350 2357 "src/plugins/extra/META/METAPlugin.ml" 66 2350 2409
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 65 2335 2339 "src/plugins/extra/META/METAPlugin.ml" 66 2350 2410
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 63 2250 2252 "src/plugins/extra/META/METAPlugin.ml" 66 2350 2410
type(
  OASISFeatures.t
)
"src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
type(
  t OASISPlugin.prop
)
ident(
  def pivot_data "src/plugins/extra/META/METAPlugin.ml" 73 2459 2459 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 70 2430 2432 "src/plugins/extra/META/METAPlugin.ml" 70 2430 2449
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/extra/META/METAPlugin.ml" 70 2430 2450 "src/plugins/extra/META/METAPlugin.ml" 70 2430 2456
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/plugins/extra/META/METAPlugin.ml" 54 2116 2120 "src/plugins/extra/META/METAPlugin.ml" 54 2116 2126
)
"src/plugins/extra/META/METAPlugin.ml" 70 2430 2432 "src/plugins/extra/META/METAPlugin.ml" 70 2430 2456
type(
  t OASISPlugin.prop
)
"src/plugins/extra/META/METAPlugin.ml" 73 2459 2463 "src/plugins/extra/META/METAPlugin.ml" 73 2459 2472
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/extra/META/METAPlugin.ml" 145 3984 3984 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 74 2475 2481 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2490
type(
  OASISTypes.name ->
  ?default:'a ->
  ?feature:OASISFeatures.t ->
  'a OASISValues.t ->
  (unit -> string) ->
  'b OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   'b -> 'a) ->
  PropList.Data.t -> 'a
)
ident(
  def new_field "src/plugins/extra/META/METAPlugin.ml" 78 2546 2548 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 74 2475 2491 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2493
type(
  OASISTypes.name
)
ident(
  def nm "src/plugins/extra/META/METAPlugin.ml" 75 2496 2500 "src/plugins/extra/META/METAPlugin.ml" 75 2496 2539
)
"src/plugins/extra/META/METAPlugin.ml" 75 2496 2500 "src/plugins/extra/META/METAPlugin.ml" 75 2496 2509
type(
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library)
  OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default:'a ->
  ?feature:OASISFeatures.t ->
  'a OASISValues.t ->
  (unit -> string) ->
  'b OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   'b -> 'a) ->
  PropList.Data.t -> 'a
)
ident(
  int_ref OASISSchema.new_field "src/oasis/OASISSchema.mli" 48 2600 2600 "src/oasis/OASISSchema.mli" 57 2796 2819
)
"src/plugins/extra/META/METAPlugin.ml" 75 2496 2510 "src/plugins/extra/META/METAPlugin.ml" 75 2496 2529
type(
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library)
  OASISSchema.t
)
ident(
  int_ref OASISLibrary.schema "src/oasis/OASISLibrary.mli" 62 2729 2729 "src/oasis/OASISLibrary.mli" 62 2729 2797
)
"src/plugins/extra/META/METAPlugin.ml" 75 2496 2530 "src/plugins/extra/META/METAPlugin.ml" 75 2496 2536
type(
  OASISPlugin.all_t
)
ident(
  int_ref all_id "src/plugins/extra/META/METAPlugin.ml" 58 2178 2191 "src/plugins/extra/META/METAPlugin.ml" 58 2178 2197
)
"src/plugins/extra/META/METAPlugin.ml" 75 2496 2537 "src/plugins/extra/META/METAPlugin.ml" 75 2496 2539
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/extra/META/METAPlugin.ml" 74 2475 2491 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2493
)
"src/plugins/extra/META/METAPlugin.ml" 75 2496 2500 "src/plugins/extra/META/METAPlugin.ml" 75 2496 2539
type(
  ?default:'a ->
  ?feature:OASISFeatures.t ->
  'a OASISValues.t ->
  (unit -> string) ->
  'b OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   'b -> 'a) ->
  PropList.Data.t -> 'a
)
"src/plugins/extra/META/METAPlugin.ml" 78 2546 2552 "src/plugins/extra/META/METAPlugin.ml" 78 2546 2558
type(
  PropList.Data.t -> bool
)
ident(
  def enable "src/plugins/extra/META/METAPlugin.ml" 88 2724 2726 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 79 2561 2565 "src/plugins/extra/META/METAPlugin.ml" 79 2561 2574
type(
  OASISTypes.name ->
  ?default:bool ->
  ?feature:OASISFeatures.t ->
  bool OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   t -> bool) ->
  PropList.Data.t -> bool
)
ident(
  int_ref new_field "src/plugins/extra/META/METAPlugin.ml" 74 2475 2481 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2490
)
"src/plugins/extra/META/METAPlugin.ml" 80 2575 2581 "src/plugins/extra/META/METAPlugin.ml" 80 2575 2589
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 81 2590 2605 "src/plugins/extra/META/METAPlugin.ml" 81 2590 2609
type(
  bool
)
type(
  bool option
)
"src/plugins/extra/META/METAPlugin.ml" 82 2610 2616 "src/plugins/extra/META/METAPlugin.ml" 82 2610 2623
type(
  bool OASISValues.t
)
ident(
  int_ref OASISValues.boolean "src/oasis/OASISValues.mli" 83 2760 2760 "src/oasis/OASISValues.mli" 83 2760 2779
)
"src/plugins/extra/META/METAPlugin.ml" 83 2624 2635 "src/plugins/extra/META/METAPlugin.ml" 83 2624 2637
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 84 2641 2650 "src/plugins/extra/META/METAPlugin.ml" 84 2641 2652
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 84 2641 2653 "src/plugins/extra/META/METAPlugin.ml" 84 2641 2677
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 84 2641 2650 "src/plugins/extra/META/METAPlugin.ml" 84 2641 2677
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 83 2624 2630 "src/plugins/extra/META/METAPlugin.ml" 84 2641 2678
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 85 2679 2685 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2695
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
)
"src/plugins/extra/META/METAPlugin.ml" 85 2679 2701 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2702
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/plugins/extra/META/METAPlugin.ml" 85 2679 2703 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2704
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 85 2679 2708 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2716
)
"src/plugins/extra/META/METAPlugin.ml" 85 2679 2708 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2709
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 85 2679 2703 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2704
)
"src/plugins/extra/META/METAPlugin.ml" 85 2679 2708 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2716
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 85 2679 2696 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2717
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  t -> bool
)
"src/plugins/extra/META/METAPlugin.ml" 79 2561 2565 "src/plugins/extra/META/METAPlugin.ml" 85 2679 2717
type(
  PropList.Data.t -> bool
)
"src/plugins/extra/META/METAPlugin.ml" 88 2724 2730 "src/plugins/extra/META/METAPlugin.ml" 88 2724 2741
type(
  PropList.Data.t -> string option
)
ident(
  def description "src/plugins/extra/META/METAPlugin.ml" 98 2934 2936 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 89 2744 2748 "src/plugins/extra/META/METAPlugin.ml" 89 2744 2757
type(
  OASISTypes.name ->
  ?default:string option ->
  ?feature:OASISFeatures.t ->
  string option OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   t -> string option) ->
  PropList.Data.t -> string option
)
ident(
  int_ref new_field "src/plugins/extra/META/METAPlugin.ml" 74 2475 2481 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2490
)
"src/plugins/extra/META/METAPlugin.ml" 90 2758 2764 "src/plugins/extra/META/METAPlugin.ml" 90 2758 2777
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 91 2778 2793 "src/plugins/extra/META/METAPlugin.ml" 91 2778 2797
type(
  string option
)
type(
  string option option
)
"src/plugins/extra/META/METAPlugin.ml" 92 2798 2805 "src/plugins/extra/META/METAPlugin.ml" 92 2798 2808
type(
  string OASISValues.t -> string option OASISValues.t
)
ident(
  int_ref OASISValues.opt "src/oasis/OASISValues.mli" 124 3996 3996 "src/oasis/OASISValues.mli" 124 3996 4024
)
"src/plugins/extra/META/METAPlugin.ml" 92 2798 2809 "src/plugins/extra/META/METAPlugin.ml" 92 2798 2825
type(
  string OASISValues.t
)
ident(
  int_ref OASISValues.string_not_empty "src/oasis/OASISValues.mli" 79 2674 2674 "src/oasis/OASISValues.mli" 79 2674 2704
)
"src/plugins/extra/META/METAPlugin.ml" 92 2798 2804 "src/plugins/extra/META/METAPlugin.ml" 92 2798 2826
type(
  string option OASISValues.t
)
"src/plugins/extra/META/METAPlugin.ml" 93 2827 2838 "src/plugins/extra/META/METAPlugin.ml" 93 2827 2840
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 94 2844 2853 "src/plugins/extra/META/METAPlugin.ml" 94 2844 2855
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 94 2844 2856 "src/plugins/extra/META/METAPlugin.ml" 94 2844 2882
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 94 2844 2853 "src/plugins/extra/META/METAPlugin.ml" 94 2844 2882
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 93 2827 2833 "src/plugins/extra/META/METAPlugin.ml" 94 2844 2883
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 95 2884 2890 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2900
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
)
"src/plugins/extra/META/METAPlugin.ml" 95 2884 2906 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2907
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/plugins/extra/META/METAPlugin.ml" 95 2884 2908 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2909
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 95 2884 2913 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2926
)
"src/plugins/extra/META/METAPlugin.ml" 95 2884 2913 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2914
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 95 2884 2908 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2909
)
"src/plugins/extra/META/METAPlugin.ml" 95 2884 2913 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2926
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 95 2884 2901 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2927
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  t -> string option
)
"src/plugins/extra/META/METAPlugin.ml" 89 2744 2748 "src/plugins/extra/META/METAPlugin.ml" 95 2884 2927
type(
  PropList.Data.t -> string option
)
"src/plugins/extra/META/METAPlugin.ml" 98 2934 2940 "src/plugins/extra/META/METAPlugin.ml" 98 2934 2949
type(
  PropList.Data.t -> meta_type
)
ident(
  def meta_type "src/plugins/extra/META/METAPlugin.ml" 114 3298 3300 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 99 2952 2956 "src/plugins/extra/META/METAPlugin.ml" 99 2952 2965
type(
  OASISTypes.name ->
  ?default:meta_type ->
  ?feature:OASISFeatures.t ->
  meta_type OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   t -> meta_type) ->
  PropList.Data.t -> meta_type
)
ident(
  int_ref new_field "src/plugins/extra/META/METAPlugin.ml" 74 2475 2481 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2490
)
"src/plugins/extra/META/METAPlugin.ml" 100 2966 2972 "src/plugins/extra/META/METAPlugin.ml" 100 2966 2978
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 101 2979 2994 "src/plugins/extra/META/METAPlugin.ml" 101 2979 3005
type(
  meta_type
)
type(
  meta_type option
)
"src/plugins/extra/META/METAPlugin.ml" 102 3006 3013 "src/plugins/extra/META/METAPlugin.ml" 102 3006 3020
type(
  (unit -> string) -> (string * meta_type) list -> meta_type OASISValues.t
)
ident(
  int_ref OASISValues.choices "src/oasis/OASISValues.mli" 132 4270 4270 "src/oasis/OASISValues.mli" 132 4270 4329
)
"src/plugins/extra/META/METAPlugin.ml" 103 3021 3035 "src/plugins/extra/META/METAPlugin.ml" 103 3021 3037
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 104 3041 3053 "src/plugins/extra/META/METAPlugin.ml" 104 3041 3055
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 104 3041 3056 "src/plugins/extra/META/METAPlugin.ml" 104 3041 3067
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 104 3041 3053 "src/plugins/extra/META/METAPlugin.ml" 104 3041 3067
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 103 3021 3030 "src/plugins/extra/META/METAPlugin.ml" 104 3041 3068
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 106 3080 3091 "src/plugins/extra/META/METAPlugin.ml" 106 3080 3100
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 106 3080 3102 "src/plugins/extra/META/METAPlugin.ml" 106 3080 3113
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 106 3080 3091 "src/plugins/extra/META/METAPlugin.ml" 106 3080 3113
type(
  string * meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 107 3115 3126 "src/plugins/extra/META/METAPlugin.ml" 107 3115 3134
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 107 3115 3137 "src/plugins/extra/META/METAPlugin.ml" 107 3115 3147
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 107 3115 3126 "src/plugins/extra/META/METAPlugin.ml" 107 3115 3147
type(
  string * meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 105 3069 3078 "src/plugins/extra/META/METAPlugin.ml" 108 3149 3159
type(
  (string * meta_type) list
)
"src/plugins/extra/META/METAPlugin.ml" 102 3006 3012 "src/plugins/extra/META/METAPlugin.ml" 108 3149 3160
type(
  meta_type OASISValues.t
)
"src/plugins/extra/META/METAPlugin.ml" 109 3161 3172 "src/plugins/extra/META/METAPlugin.ml" 109 3161 3174
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 110 3178 3187 "src/plugins/extra/META/METAPlugin.ml" 110 3178 3189
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 110 3178 3190 "src/plugins/extra/META/METAPlugin.ml" 110 3178 3248
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 110 3178 3187 "src/plugins/extra/META/METAPlugin.ml" 110 3178 3248
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 109 3161 3167 "src/plugins/extra/META/METAPlugin.ml" 110 3178 3249
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 111 3250 3256 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3266
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
)
"src/plugins/extra/META/METAPlugin.ml" 111 3250 3272 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3273
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/plugins/extra/META/METAPlugin.ml" 111 3250 3274 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3275
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 111 3250 3279 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3290
)
"src/plugins/extra/META/METAPlugin.ml" 111 3250 3279 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3280
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 111 3250 3274 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3275
)
"src/plugins/extra/META/METAPlugin.ml" 111 3250 3279 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3290
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 111 3250 3267 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3291
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  t -> meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 99 2952 2956 "src/plugins/extra/META/METAPlugin.ml" 111 3250 3291
type(
  PropList.Data.t -> meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 114 3298 3304 "src/plugins/extra/META/METAPlugin.ml" 114 3298 3315
type(
  PropList.Data.t -> string list
)
ident(
  def extra_lines "src/plugins/extra/META/METAPlugin.ml" 125 3560 3562 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 115 3318 3322 "src/plugins/extra/META/METAPlugin.ml" 115 3318 3331
type(
  OASISTypes.name ->
  ?default:string list ->
  ?feature:OASISFeatures.t ->
  string list OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   t -> string list) ->
  PropList.Data.t -> string list
)
ident(
  int_ref new_field "src/plugins/extra/META/METAPlugin.ml" 74 2475 2481 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2490
)
"src/plugins/extra/META/METAPlugin.ml" 116 3332 3338 "src/plugins/extra/META/METAPlugin.ml" 116 3332 3350
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 117 3351 3366 "src/plugins/extra/META/METAPlugin.ml" 117 3351 3368
type(
  string list
)
type(
  string list option
)
"src/plugins/extra/META/METAPlugin.ml" 118 3369 3384 "src/plugins/extra/META/METAPlugin.ml" 118 3369 3403
type(
  OASISFeatures.t
)
ident(
  int_ref feature_extra_lines "src/plugins/extra/META/METAPlugin.ml" 62 2224 2228 "src/plugins/extra/META/METAPlugin.ml" 62 2224 2247
)
type(
  OASISFeatures.t option
)
"src/plugins/extra/META/METAPlugin.ml" 119 3404 3411 "src/plugins/extra/META/METAPlugin.ml" 119 3404 3428
type(
  string OASISValues.t -> string list OASISValues.t
)
ident(
  int_ref OASISValues.newline_separated "src/oasis/OASISValues.mli" 108 3469 3469 "src/oasis/OASISValues.mli" 108 3469 3509
)
"src/plugins/extra/META/METAPlugin.ml" 119 3404 3429 "src/plugins/extra/META/METAPlugin.ml" 119 3404 3445
type(
  string OASISValues.t
)
ident(
  int_ref OASISValues.string_not_empty "src/oasis/OASISValues.mli" 79 2674 2674 "src/oasis/OASISValues.mli" 79 2674 2704
)
"src/plugins/extra/META/METAPlugin.ml" 119 3404 3410 "src/plugins/extra/META/METAPlugin.ml" 119 3404 3446
type(
  string list OASISValues.t
)
"src/plugins/extra/META/METAPlugin.ml" 120 3447 3458 "src/plugins/extra/META/METAPlugin.ml" 120 3447 3460
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 121 3464 3473 "src/plugins/extra/META/METAPlugin.ml" 121 3464 3475
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 121 3464 3476 "src/plugins/extra/META/METAPlugin.ml" 121 3464 3508
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 121 3464 3473 "src/plugins/extra/META/METAPlugin.ml" 121 3464 3508
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 120 3447 3453 "src/plugins/extra/META/METAPlugin.ml" 121 3464 3509
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 122 3510 3516 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3526
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
)
"src/plugins/extra/META/METAPlugin.ml" 122 3510 3532 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3533
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/plugins/extra/META/METAPlugin.ml" 122 3510 3534 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3535
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 122 3510 3539 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3552
)
"src/plugins/extra/META/METAPlugin.ml" 122 3510 3539 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3540
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 122 3510 3534 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3535
)
"src/plugins/extra/META/METAPlugin.ml" 122 3510 3539 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3552
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 122 3510 3527 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3553
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  t -> string list
)
"src/plugins/extra/META/METAPlugin.ml" 115 3318 3322 "src/plugins/extra/META/METAPlugin.ml" 122 3510 3553
type(
  PropList.Data.t -> string list
)
"src/plugins/extra/META/METAPlugin.ml" 125 3560 3566 "src/plugins/extra/META/METAPlugin.ml" 125 3560 3574
type(
  PropList.Data.t -> string list option
)
ident(
  def requires "src/plugins/extra/META/METAPlugin.ml" 135 3776 3778 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 126 3577 3581 "src/plugins/extra/META/METAPlugin.ml" 126 3577 3590
type(
  OASISTypes.name ->
  ?default:string list option ->
  ?feature:OASISFeatures.t ->
  string list option OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
   t -> string list option) ->
  PropList.Data.t -> string list option
)
ident(
  int_ref new_field "src/plugins/extra/META/METAPlugin.ml" 74 2475 2481 "src/plugins/extra/META/METAPlugin.ml" 74 2475 2490
)
"src/plugins/extra/META/METAPlugin.ml" 127 3591 3597 "src/plugins/extra/META/METAPlugin.ml" 127 3591 3607
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 128 3608 3623 "src/plugins/extra/META/METAPlugin.ml" 128 3608 3627
type(
  string list option
)
type(
  string list option option
)
"src/plugins/extra/META/METAPlugin.ml" 129 3628 3635 "src/plugins/extra/META/METAPlugin.ml" 129 3628 3638
type(
  string list OASISValues.t -> string list option OASISValues.t
)
ident(
  int_ref OASISValues.opt "src/oasis/OASISValues.mli" 124 3996 3996 "src/oasis/OASISValues.mli" 124 3996 4024
)
"src/plugins/extra/META/METAPlugin.ml" 129 3628 3640 "src/plugins/extra/META/METAPlugin.ml" 129 3628 3655
type(
  string OASISValues.t -> string list OASISValues.t
)
ident(
  int_ref OASISValues.comma_separated "src/oasis/OASISValues.mli" 102 3317 3317 "src/oasis/OASISValues.mli" 102 3317 3355
)
"src/plugins/extra/META/METAPlugin.ml" 129 3628 3656 "src/plugins/extra/META/METAPlugin.ml" 129 3628 3662
type(
  string OASISValues.t
)
ident(
  int_ref OASISValues.string "src/oasis/OASISValues.mli" 75 2614 2614 "src/oasis/OASISValues.mli" 75 2614 2634
)
"src/plugins/extra/META/METAPlugin.ml" 129 3628 3639 "src/plugins/extra/META/METAPlugin.ml" 129 3628 3663
type(
  string list OASISValues.t
)
"src/plugins/extra/META/METAPlugin.ml" 129 3628 3634 "src/plugins/extra/META/METAPlugin.ml" 129 3628 3664
type(
  string list option OASISValues.t
)
"src/plugins/extra/META/METAPlugin.ml" 130 3665 3676 "src/plugins/extra/META/METAPlugin.ml" 130 3665 3678
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 131 3682 3691 "src/plugins/extra/META/METAPlugin.ml" 131 3682 3693
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/extra/META/METAPlugin.ml" 131 3682 3694 "src/plugins/extra/META/METAPlugin.ml" 131 3682 3727
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 131 3682 3691 "src/plugins/extra/META/METAPlugin.ml" 131 3682 3727
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 130 3665 3671 "src/plugins/extra/META/METAPlugin.ml" 131 3682 3728
type(
  unit -> string
)
"src/plugins/extra/META/METAPlugin.ml" 132 3729 3735 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3745
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
)
"src/plugins/extra/META/METAPlugin.ml" 132 3729 3751 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3752
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/plugins/extra/META/METAPlugin.ml" 132 3729 3753 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3754
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 132 3729 3758 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3768
)
"src/plugins/extra/META/METAPlugin.ml" 132 3729 3758 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3759
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 132 3729 3753 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3754
)
"src/plugins/extra/META/METAPlugin.ml" 132 3729 3758 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3768
type(
  string list option
)
"src/plugins/extra/META/METAPlugin.ml" 132 3729 3746 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3769
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  t -> string list option
)
"src/plugins/extra/META/METAPlugin.ml" 126 3577 3581 "src/plugins/extra/META/METAPlugin.ml" 132 3729 3769
type(
  PropList.Data.t -> string list option
)
"src/plugins/extra/META/METAPlugin.ml" 135 3776 3782 "src/plugins/extra/META/METAPlugin.ml" 135 3776 3786
type(
  PropList.Data.t
)
ident(
  def data "src/plugins/extra/META/METAPlugin.ml" 136 3790 3794 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
)
"src/plugins/extra/META/METAPlugin.ml" 137 3796 3816 "src/plugins/extra/META/METAPlugin.ml" 137 3796 3822
type(
  PropList.Data.t -> bool
)
ident(
  int_ref enable "src/plugins/extra/META/METAPlugin.ml" 78 2546 2552 "src/plugins/extra/META/METAPlugin.ml" 78 2546 2558
)
"src/plugins/extra/META/METAPlugin.ml" 137 3796 3823 "src/plugins/extra/META/METAPlugin.ml" 137 3796 3827
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/META/METAPlugin.ml" 135 3776 3782 "src/plugins/extra/META/METAPlugin.ml" 135 3776 3786
)
"src/plugins/extra/META/METAPlugin.ml" 137 3796 3816 "src/plugins/extra/META/METAPlugin.ml" 137 3796 3827
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 138 3829 3849 "src/plugins/extra/META/METAPlugin.ml" 138 3829 3860
type(
  PropList.Data.t -> string option
)
ident(
  int_ref description "src/plugins/extra/META/METAPlugin.ml" 88 2724 2730 "src/plugins/extra/META/METAPlugin.ml" 88 2724 2741
)
"src/plugins/extra/META/METAPlugin.ml" 138 3829 3861 "src/plugins/extra/META/METAPlugin.ml" 138 3829 3865
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/META/METAPlugin.ml" 135 3776 3782 "src/plugins/extra/META/METAPlugin.ml" 135 3776 3786
)
"src/plugins/extra/META/METAPlugin.ml" 138 3829 3849 "src/plugins/extra/META/METAPlugin.ml" 138 3829 3865
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 139 3867 3887 "src/plugins/extra/META/METAPlugin.ml" 139 3867 3896
type(
  PropList.Data.t -> meta_type
)
ident(
  int_ref meta_type "src/plugins/extra/META/METAPlugin.ml" 98 2934 2940 "src/plugins/extra/META/METAPlugin.ml" 98 2934 2949
)
"src/plugins/extra/META/METAPlugin.ml" 139 3867 3897 "src/plugins/extra/META/METAPlugin.ml" 139 3867 3901
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/META/METAPlugin.ml" 135 3776 3782 "src/plugins/extra/META/METAPlugin.ml" 135 3776 3786
)
"src/plugins/extra/META/METAPlugin.ml" 139 3867 3887 "src/plugins/extra/META/METAPlugin.ml" 139 3867 3901
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 140 3903 3923 "src/plugins/extra/META/METAPlugin.ml" 140 3903 3931
type(
  PropList.Data.t -> string list option
)
ident(
  int_ref requires "src/plugins/extra/META/METAPlugin.ml" 125 3560 3566 "src/plugins/extra/META/METAPlugin.ml" 125 3560 3574
)
"src/plugins/extra/META/METAPlugin.ml" 140 3903 3932 "src/plugins/extra/META/METAPlugin.ml" 140 3903 3936
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/META/METAPlugin.ml" 135 3776 3782 "src/plugins/extra/META/METAPlugin.ml" 135 3776 3786
)
"src/plugins/extra/META/METAPlugin.ml" 140 3903 3923 "src/plugins/extra/META/METAPlugin.ml" 140 3903 3936
type(
  string list option
)
"src/plugins/extra/META/METAPlugin.ml" 141 3938 3958 "src/plugins/extra/META/METAPlugin.ml" 141 3938 3969
type(
  PropList.Data.t -> string list
)
ident(
  int_ref extra_lines "src/plugins/extra/META/METAPlugin.ml" 114 3298 3304 "src/plugins/extra/META/METAPlugin.ml" 114 3298 3315
)
"src/plugins/extra/META/METAPlugin.ml" 141 3938 3970 "src/plugins/extra/META/METAPlugin.ml" 141 3938 3974
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/META/METAPlugin.ml" 135 3776 3782 "src/plugins/extra/META/METAPlugin.ml" 135 3776 3786
)
"src/plugins/extra/META/METAPlugin.ml" 141 3938 3958 "src/plugins/extra/META/METAPlugin.ml" 141 3938 3974
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 136 3790 3794 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  t
)
"src/plugins/extra/META/METAPlugin.ml" 135 3776 3778 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 125 3560 3562 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 114 3298 3300 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 98 2934 2936 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 88 2724 2726 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 78 2546 2548 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 74 2475 2477 "src/plugins/extra/META/METAPlugin.ml" 142 3976 3981
type(
  PropList.Data.t -> t
)
"src/plugins/extra/META/METAPlugin.ml" 145 3984 3988 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4001
type(
  OASISTypes.package ->
  t ->
  (OASISTypes.name -> OASISTypes.findlib_full) ->
  Format.formatter -> OASISFindlib.group_t -> unit
)
ident(
  def pp_print_meta "src/plugins/extra/META/METAPlugin.ml" 326 9264 9264 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 145 3984 4002 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4005
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/extra/META/METAPlugin.ml" 145 3984 4006 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 145 3984 4006 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4012
type(
  t
)
ident(
  def root_t "src/plugins/extra/META/METAPlugin.ml" 145 3984 4013 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 145 3984 4013 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4041
type(
  OASISTypes.name -> OASISTypes.findlib_full
)
ident(
  def findlib_name_of_library_name "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
type(
  Format.formatter
)
ident(
  def fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4046 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 145 3984 4046 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4049
type(
  OASISFindlib.group_t
)
ident(
  def grp "src/plugins/extra/META/METAPlugin.ml" 146 4052 4054 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 146 4052 4058 "src/plugins/extra/META/METAPlugin.ml" 146 4052 4061
type(
  ('a -> unit) -> 'a option -> unit
)
ident(
  def may "src/plugins/extra/META/METAPlugin.ml" 152 4126 4128 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 146 4052 4062 "src/plugins/extra/META/METAPlugin.ml" 146 4052 4063
type(
  'a -> unit
)
ident(
  def f "src/plugins/extra/META/METAPlugin.ml" 147 4066 4070 "src/plugins/extra/META/METAPlugin.ml" 149 4101 4119
)
"src/plugins/extra/META/METAPlugin.ml" 148 4079 4092 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4093
type(
  'a
)
ident(
  def x "src/plugins/extra/META/METAPlugin.ml" 148 4079 4097 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4100
)
"src/plugins/extra/META/METAPlugin.ml" 148 4079 4087 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4093
type(
  'a option
)
"src/plugins/extra/META/METAPlugin.ml" 148 4079 4097 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4098
type(
  'a -> unit
)
ident(
  int_ref f "src/plugins/extra/META/METAPlugin.ml" 146 4052 4062 "src/plugins/extra/META/METAPlugin.ml" 146 4052 4063
)
"src/plugins/extra/META/METAPlugin.ml" 148 4079 4099 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4100
type(
  'a
)
ident(
  int_ref x "src/plugins/extra/META/METAPlugin.ml" 148 4079 4092 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4093
)
"src/plugins/extra/META/METAPlugin.ml" 148 4079 4097 "src/plugins/extra/META/METAPlugin.ml" 148 4079 4100
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 149 4101 4109 "src/plugins/extra/META/METAPlugin.ml" 149 4101 4113
type(
  'a option
)
"src/plugins/extra/META/METAPlugin.ml" 149 4101 4117 "src/plugins/extra/META/METAPlugin.ml" 149 4101 4119
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 147 4066 4070 "src/plugins/extra/META/METAPlugin.ml" 149 4101 4119
type(
  'a option -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 152 4126 4132 "src/plugins/extra/META/METAPlugin.ml" 152 4126 4145
type(
  string -> string
)
ident(
  def replace_chars "src/plugins/extra/META/METAPlugin.ml" 158 4258 4260 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 152 4126 4146 "src/plugins/extra/META/METAPlugin.ml" 152 4126 4147
type(
  string
)
ident(
  def s "src/plugins/extra/META/METAPlugin.ml" 153 4150 4154 "src/plugins/extra/META/METAPlugin.ml" 155 4244 4251
)
"src/plugins/extra/META/METAPlugin.ml" 153 4150 4154 "src/plugins/extra/META/METAPlugin.ml" 153 4150 4179
type(
  (char -> char) -> string -> string
)
ident(
  int_ref OASISString.replace_chars "src/oasis/OASISString.ml" 139 4064 4068 "src/oasis/OASISString.ml" 139 4064 4081
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4191 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4192
type(
  char
)
ident(
  def c "src/plugins/extra/META/METAPlugin.ml" 154 4180 4196 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4242
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4199 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4224
type(
  char -> bool
)
ident(
  int_ref OASISString.is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4225 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4226
type(
  char
)
ident(
  int_ref c "src/plugins/extra/META/METAPlugin.ml" 154 4180 4191 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4192
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4199 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4226
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4232 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4235
type(
  char
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4241 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4242
type(
  char
)
ident(
  int_ref c "src/plugins/extra/META/METAPlugin.ml" 154 4180 4191 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4192
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4196 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4242
type(
  char
)
"src/plugins/extra/META/METAPlugin.ml" 154 4180 4186 "src/plugins/extra/META/METAPlugin.ml" 154 4180 4243
type(
  char -> char
)
"src/plugins/extra/META/METAPlugin.ml" 155 4244 4250 "src/plugins/extra/META/METAPlugin.ml" 155 4244 4251
type(
  string
)
ident(
  int_ref s "src/plugins/extra/META/METAPlugin.ml" 152 4126 4146 "src/plugins/extra/META/METAPlugin.ml" 152 4126 4147
)
"src/plugins/extra/META/METAPlugin.ml" 153 4150 4154 "src/plugins/extra/META/METAPlugin.ml" 155 4244 4251
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  def pp_print_field "src/plugins/extra/META/METAPlugin.ml" 165 4418 4420 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4279 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4282
type(
  Format.formatter
)
ident(
  def fmt "src/plugins/extra/META/METAPlugin.ml" 158 4258 4283 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4412
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4284 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4287
type(
  string
)
ident(
  def var "src/plugins/extra/META/METAPlugin.ml" 159 4302 4306 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4412
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4289 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4294
type(
  string list
)
ident(
  def preds "src/plugins/extra/META/METAPlugin.ml" 159 4302 4306 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4412
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4296 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4298
type(
  string
)
ident(
  def vl "src/plugins/extra/META/METAPlugin.ml" 159 4302 4306 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4412
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4283 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4299
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 159 4302 4306 "src/plugins/extra/META/METAPlugin.ml" 159 4302 4313
type(
  Format.formatter ->
  (string -> string -> string -> unit, Format.formatter, unit) format ->
  string -> string -> string -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 159 4302 4314 "src/plugins/extra/META/METAPlugin.ml" 159 4302 4317
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 158 4258 4279 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4282
)
"src/plugins/extra/META/METAPlugin.ml" 160 4318 4324 "src/plugins/extra/META/METAPlugin.ml" 160 4318 4344
type(
  (string -> string -> string -> unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 161 4345 4351 "src/plugins/extra/META/METAPlugin.ml" 161 4345 4354
type(
  string
)
ident(
  int_ref var "src/plugins/extra/META/METAPlugin.ml" 158 4258 4284 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4287
)
"src/plugins/extra/META/METAPlugin.ml" 162 4355 4362 "src/plugins/extra/META/METAPlugin.ml" 162 4355 4375
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/plugins/extra/META/METAPlugin.ml" 162 4355 4376 "src/plugins/extra/META/METAPlugin.ml" 162 4355 4380
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 162 4355 4381 "src/plugins/extra/META/METAPlugin.ml" 162 4355 4386
type(
  string list
)
ident(
  int_ref preds "src/plugins/extra/META/METAPlugin.ml" 158 4258 4289 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4294
)
"src/plugins/extra/META/METAPlugin.ml" 162 4355 4361 "src/plugins/extra/META/METAPlugin.ml" 162 4355 4387
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 163 4388 4395 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4408
type(
  string -> string
)
ident(
  int_ref replace_chars "src/plugins/extra/META/METAPlugin.ml" 152 4126 4132 "src/plugins/extra/META/METAPlugin.ml" 152 4126 4145
)
"src/plugins/extra/META/METAPlugin.ml" 163 4388 4409 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4411
type(
  string
)
ident(
  int_ref vl "src/plugins/extra/META/METAPlugin.ml" 158 4258 4296 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4298
)
"src/plugins/extra/META/METAPlugin.ml" 163 4388 4394 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4412
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 159 4302 4306 "src/plugins/extra/META/METAPlugin.ml" 163 4388 4412
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
type(
  Format.formatter -> string * string -> unit
)
ident(
  def pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 169 4518 4520 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 165 4418 4440 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4443
type(
  Format.formatter
)
ident(
  def fmt "src/plugins/extra/META/METAPlugin.ml" 165 4418 4444 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4511
)
"src/plugins/extra/META/METAPlugin.ml" 165 4418 4445 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4448
type(
  string
)
ident(
  def var "src/plugins/extra/META/METAPlugin.ml" 166 4456 4460 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4511
)
"src/plugins/extra/META/METAPlugin.ml" 165 4418 4450 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4452
type(
  string
)
ident(
  def vl "src/plugins/extra/META/METAPlugin.ml" 166 4456 4460 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4511
)
"src/plugins/extra/META/METAPlugin.ml" 165 4418 4444 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4453
type(
  string * string
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4460 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4467
type(
  Format.formatter ->
  (string -> string -> unit, Format.formatter, unit) format ->
  string -> string -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4468 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4471
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 165 4418 4440 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4443
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4472 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4488
type(
  (string -> string -> unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4489 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4492
type(
  string
)
ident(
  int_ref var "src/plugins/extra/META/METAPlugin.ml" 165 4418 4445 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4448
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4494 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4507
type(
  string -> string
)
ident(
  int_ref replace_chars "src/plugins/extra/META/METAPlugin.ml" 152 4126 4132 "src/plugins/extra/META/METAPlugin.ml" 152 4126 4145
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4508 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4510
type(
  string
)
ident(
  int_ref vl "src/plugins/extra/META/METAPlugin.ml" 165 4418 4450 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4452
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4493 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4511
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 166 4456 4460 "src/plugins/extra/META/METAPlugin.ml" 166 4456 4511
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 169 4518 4524 "src/plugins/extra/META/METAPlugin.ml" 169 4518 4540
type(
  string
)
ident(
  def default_synopsis "src/plugins/extra/META/METAPlugin.ml" 175 4636 4638 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 170 4543 4553 "src/plugins/extra/META/METAPlugin.ml" 170 4543 4559
type(
  t
)
ident(
  int_ref root_t "src/plugins/extra/META/METAPlugin.ml" 145 3984 4006 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4012
)
"src/plugins/extra/META/METAPlugin.ml" 170 4543 4553 "src/plugins/extra/META/METAPlugin.ml" 170 4543 4571
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 171 4577 4590 "src/plugins/extra/META/METAPlugin.ml" 171 4577 4593
type(
  string
)
ident(
  def txt "src/plugins/extra/META/METAPlugin.ml" 171 4577 4597 "src/plugins/extra/META/METAPlugin.ml" 171 4577 4600
)
"src/plugins/extra/META/METAPlugin.ml" 171 4577 4585 "src/plugins/extra/META/METAPlugin.ml" 171 4577 4593
type(
  string option
)
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 171 4577 4597 "src/plugins/extra/META/METAPlugin.ml" 171 4577 4600
type(
  string
)
ident(
  int_ref txt "src/plugins/extra/META/METAPlugin.ml" 171 4577 4590 "src/plugins/extra/META/METAPlugin.ml" 171 4577 4593
)
"src/plugins/extra/META/METAPlugin.ml" 172 4601 4609 "src/plugins/extra/META/METAPlugin.ml" 172 4601 4613
type(
  string option
)
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 172 4601 4617 "src/plugins/extra/META/METAPlugin.ml" 172 4601 4620
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/extra/META/METAPlugin.ml" 145 3984 4002 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4005
)
"src/plugins/extra/META/METAPlugin.ml" 172 4601 4617 "src/plugins/extra/META/METAPlugin.ml" 172 4601 4629
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 170 4543 4547 "src/plugins/extra/META/METAPlugin.ml" 172 4601 4629
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4646 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4662
type(
  Format.formatter ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list -> unit
)
ident(
  def pp_print_library "src/plugins/extra/META/METAPlugin.ml" 175 4636 4638 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
type(
  Format.formatter
)
ident(
  def fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4667 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4668 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4670
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/extra/META/METAPlugin.ml" 176 4698 4702 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4672 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4674
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/extra/META/METAPlugin.ml" 176 4698 4702 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4676 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4684
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def contents "src/plugins/extra/META/METAPlugin.ml" 176 4698 4702 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4686 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4694
type(
  OASISFindlib.group_t list
)
ident(
  def children "src/plugins/extra/META/METAPlugin.ml" 176 4698 4702 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4667 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4695
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list
)
"src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
type(
  OASISTypes.name
)
ident(
  def name "src/plugins/extra/META/METAPlugin.ml" 177 4727 4731 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 176 4698 4713 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4715
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4668 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4670
)
"src/plugins/extra/META/METAPlugin.ml" 176 4698 4713 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4723
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 177 4727 4735 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4747
type(
  string
)
ident(
  def archive_byte "src/plugins/extra/META/METAPlugin.ml" 202 5552 5556 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 177 4727 4749 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4768
type(
  string option
)
ident(
  def archive_byte_plugin "src/plugins/extra/META/METAPlugin.ml" 202 5552 5556 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 178 4770 4776 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4790
type(
  string
)
ident(
  def archive_native "src/plugins/extra/META/METAPlugin.ml" 202 5552 5556 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 178 4770 4792 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4813
type(
  string option
)
ident(
  def archive_native_plugin "src/plugins/extra/META/METAPlugin.ml" 202 5552 5556 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 177 4727 4735 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4813
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 179 4816 4828 "src/plugins/extra/META/METAPlugin.ml" 179 4816 4836
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref contents "src/plugins/extra/META/METAPlugin.ml" 175 4636 4676 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4684
)
"src/plugins/extra/META/METAPlugin.ml" 180 4842 4861 "src/plugins/extra/META/METAPlugin.ml" 180 4842 4862
type(
  OASISTypes.library
)
"src/plugins/extra/META/METAPlugin.ml" 180 4842 4852 "src/plugins/extra/META/METAPlugin.ml" 180 4842 4862
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4876 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4880
type(
  OASISTypes.name
)
ident(
  int_ref name "src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4880 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4881
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4881 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4887
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4876 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4887
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4895 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4899
type(
  OASISTypes.name
)
ident(
  int_ref name "src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4899 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4900
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4900 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4906
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4894 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4907
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4889 "src/plugins/extra/META/METAPlugin.ml" 181 4866 4907
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4919 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4923
type(
  OASISTypes.name
)
ident(
  int_ref name "src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4923 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4924
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4924 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4931
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4919 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4931
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4939 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4943
type(
  OASISTypes.name
)
ident(
  int_ref name "src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4943 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4944
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4944 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4951
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4938 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4952
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 182 4909 4933 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4952
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 181 4866 4876 "src/plugins/extra/META/METAPlugin.ml" 182 4909 4952
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 183 4953 4989 "src/plugins/extra/META/METAPlugin.ml" 183 4953 4990
type(
  string
)
ident(
  def m "src/plugins/extra/META/METAPlugin.ml" 184 4998 5008 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
)
"src/plugins/extra/META/METAPlugin.ml" 183 4953 4987 "src/plugins/extra/META/METAPlugin.ml" 183 4953 4992
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 183 4953 4971 "src/plugins/extra/META/METAPlugin.ml" 183 4953 4994
type(
  OASISTypes.object_
)
"src/plugins/extra/META/METAPlugin.ml" 183 4953 4963 "src/plugins/extra/META/METAPlugin.ml" 183 4953 4994
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 184 4998 5012 "src/plugins/extra/META/METAPlugin.ml" 184 4998 5015
type(
  OASISTypes.host_filename
)
ident(
  def dir "src/plugins/extra/META/METAPlugin.ml" 185 5054 5064 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
)
"src/plugins/extra/META/METAPlugin.ml" 184 4998 5018 "src/plugins/extra/META/METAPlugin.ml" 184 4998 5039
type(
  OASISTypes.unix_filename -> OASISTypes.host_filename
)
ident(
  int_ref OASISHostPath.of_unix "src/oasis/OASISHostPath.mli" 39 1931 1931 "src/oasis/OASISHostPath.mli" 39 1931 1974
)
"src/plugins/extra/META/METAPlugin.ml" 184 4998 5040 "src/plugins/extra/META/METAPlugin.ml" 184 4998 5042
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4672 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4674
)
"src/plugins/extra/META/METAPlugin.ml" 184 4998 5040 "src/plugins/extra/META/METAPlugin.ml" 184 4998 5050
type(
  OASISTypes.unix_dirname
)
"src/plugins/extra/META/METAPlugin.ml" 184 4998 5018 "src/plugins/extra/META/METAPlugin.ml" 184 4998 5050
type(
  OASISTypes.host_filename
)
"src/plugins/extra/META/METAPlugin.ml" 185 5054 5068 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5074
type(
  string -> string -> bool
)
ident(
  def exists "src/plugins/extra/META/METAPlugin.ml" 189 5202 5212 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
)
"src/plugins/extra/META/METAPlugin.ml" 185 5054 5075 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5077
type(
  string
)
ident(
  def fn "src/plugins/extra/META/METAPlugin.ml" 185 5054 5078 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5188
)
"src/plugins/extra/META/METAPlugin.ml" 185 5054 5078 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5081
type(
  string
)
ident(
  def ext "src/plugins/extra/META/METAPlugin.ml" 186 5084 5096 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5188
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5100 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5104
type(
  string
)
ident(
  def path "src/plugins/extra/META/METAPlugin.ml" 187 5141 5153 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5188
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5107 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5122
type(
  OASISTypes.host_filename -> string -> string
)
ident(
  int_ref Stdlib.Filename.concat "filename.mli" 30 1434 1434 "filename.mli" 30 1434 1473
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5123 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5126
type(
  OASISTypes.host_filename
)
ident(
  int_ref dir "src/plugins/extra/META/METAPlugin.ml" 184 4998 5012 "src/plugins/extra/META/METAPlugin.ml" 184 4998 5015
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5128 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5130
type(
  string
)
ident(
  int_ref fn "src/plugins/extra/META/METAPlugin.ml" 185 5054 5075 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5077
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5131 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5132
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5133 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5136
type(
  string
)
ident(
  int_ref ext "src/plugins/extra/META/METAPlugin.ml" 185 5054 5078 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5081
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5127 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5137
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5107 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5137
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 187 5141 5153 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5183
type(
  string -> bool
)
ident(
  int_ref OASISFileUtil.file_exists_case "src/oasis/OASISFileUtil.mli" 85 2912 2912 "src/oasis/OASISFileUtil.mli" 85 2912 2948
)
"src/plugins/extra/META/METAPlugin.ml" 187 5141 5184 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5188
type(
  string
)
ident(
  int_ref path "src/plugins/extra/META/METAPlugin.ml" 186 5084 5100 "src/plugins/extra/META/METAPlugin.ml" 186 5084 5104
)
"src/plugins/extra/META/METAPlugin.ml" 187 5141 5153 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5188
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 186 5084 5096 "src/plugins/extra/META/METAPlugin.ml" 187 5141 5188
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 189 5202 5216 "src/plugins/extra/META/METAPlugin.ml" 189 5202 5217
type(
  string
)
ident(
  def m "src/plugins/extra/META/METAPlugin.ml" 195 5413 5423 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
)
"src/plugins/extra/META/METAPlugin.ml" 190 5220 5232 "src/plugins/extra/META/METAPlugin.ml" 190 5220 5241
type(
  (string -> bool) -> string list -> string
)
ident(
  int_ref Stdlib.List.find "list.mli" 305 10263 10263 "list.mli" 305 10263 10303
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5261 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5262
type(
  string
)
ident(
  def m "src/plugins/extra/META/METAPlugin.ml" 191 5242 5266 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5299
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5266 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5272
type(
  string -> string -> bool
)
ident(
  int_ref exists "src/plugins/extra/META/METAPlugin.ml" 185 5054 5068 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5074
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5273 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5274
type(
  string
)
ident(
  int_ref m "src/plugins/extra/META/METAPlugin.ml" 191 5242 5261 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5262
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5275 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5281
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5266 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5281
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5282 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5284
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5285 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5291
type(
  string -> string -> bool
)
ident(
  int_ref exists "src/plugins/extra/META/METAPlugin.ml" 185 5054 5068 "src/plugins/extra/META/METAPlugin.ml" 185 5054 5074
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5292 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5293
type(
  string
)
ident(
  int_ref m "src/plugins/extra/META/METAPlugin.ml" 191 5242 5261 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5262
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5294 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5299
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5285 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5299
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5266 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5299
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 191 5242 5256 "src/plugins/extra/META/METAPlugin.ml" 191 5242 5300
type(
  string -> bool
)
"src/plugins/extra/META/METAPlugin.ml" 192 5301 5317 "src/plugins/extra/META/METAPlugin.ml" 192 5301 5347
type(
  string -> string
)
ident(
  int_ref OASISString.uncapitalize_ascii "src/oasis/OASISString.ml" 152 4364 4368 "src/oasis/OASISString.ml" 152 4364 4386
)
"src/plugins/extra/META/METAPlugin.ml" 192 5301 5348 "src/plugins/extra/META/METAPlugin.ml" 192 5301 5349
type(
  string
)
ident(
  int_ref m "src/plugins/extra/META/METAPlugin.ml" 183 4953 4989 "src/plugins/extra/META/METAPlugin.ml" 183 4953 4990
)
"src/plugins/extra/META/METAPlugin.ml" 192 5301 5317 "src/plugins/extra/META/METAPlugin.ml" 192 5301 5349
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 193 5351 5367 "src/plugins/extra/META/METAPlugin.ml" 193 5351 5395
type(
  string -> string
)
ident(
  int_ref OASISString.capitalize_ascii "src/oasis/OASISString.ml" 166 4659 4663 "src/oasis/OASISString.ml" 166 4659 4679
)
"src/plugins/extra/META/METAPlugin.ml" 193 5351 5396 "src/plugins/extra/META/METAPlugin.ml" 193 5351 5397
type(
  string
)
ident(
  int_ref m "src/plugins/extra/META/METAPlugin.ml" 183 4953 4989 "src/plugins/extra/META/METAPlugin.ml" 183 4953 4990
)
"src/plugins/extra/META/METAPlugin.ml" 193 5351 5367 "src/plugins/extra/META/METAPlugin.ml" 193 5351 5397
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 192 5301 5315 "src/plugins/extra/META/METAPlugin.ml" 193 5351 5399
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 190 5220 5232 "src/plugins/extra/META/METAPlugin.ml" 193 5351 5399
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 195 5413 5423 "src/plugins/extra/META/METAPlugin.ml" 195 5413 5424
type(
  string
)
ident(
  int_ref m "src/plugins/extra/META/METAPlugin.ml" 189 5202 5216 "src/plugins/extra/META/METAPlugin.ml" 189 5202 5217
)
"src/plugins/extra/META/METAPlugin.ml" 195 5413 5424 "src/plugins/extra/META/METAPlugin.ml" 195 5413 5425
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 195 5413 5425 "src/plugins/extra/META/METAPlugin.ml" 195 5413 5431
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 195 5413 5423 "src/plugins/extra/META/METAPlugin.ml" 195 5413 5431
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 195 5413 5433 "src/plugins/extra/META/METAPlugin.ml" 195 5413 5437
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 196 5439 5449 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5450
type(
  string
)
ident(
  int_ref m "src/plugins/extra/META/METAPlugin.ml" 189 5202 5216 "src/plugins/extra/META/METAPlugin.ml" 189 5202 5217
)
"src/plugins/extra/META/METAPlugin.ml" 196 5439 5450 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5451
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 196 5439 5451 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5457
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 196 5439 5449 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5457
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 196 5439 5459 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 195 5413 5423 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 189 5202 5212 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 185 5054 5064 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 184 4998 5008 "src/plugins/extra/META/METAPlugin.ml" 196 5439 5463
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 197 5464 5482 "src/plugins/extra/META/METAPlugin.ml" 197 5464 5483
type(
  OASISTypes.object_
)
"src/plugins/extra/META/METAPlugin.ml" 197 5464 5474 "src/plugins/extra/META/METAPlugin.ml" 197 5464 5483
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 198 5487 5497 "src/plugins/extra/META/METAPlugin.ml" 198 5487 5501
type(
  OASISTypes.name
)
ident(
  int_ref name "src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
)
"src/plugins/extra/META/METAPlugin.ml" 198 5487 5501 "src/plugins/extra/META/METAPlugin.ml" 198 5487 5502
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 198 5487 5502 "src/plugins/extra/META/METAPlugin.ml" 198 5487 5508
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 198 5487 5497 "src/plugins/extra/META/METAPlugin.ml" 198 5487 5508
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 198 5487 5510 "src/plugins/extra/META/METAPlugin.ml" 198 5487 5514
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 199 5516 5526 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5530
type(
  OASISTypes.name
)
ident(
  int_ref name "src/plugins/extra/META/METAPlugin.ml" 176 4698 4706 "src/plugins/extra/META/METAPlugin.ml" 176 4698 4710
)
"src/plugins/extra/META/METAPlugin.ml" 199 5516 5530 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5531
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/META/METAPlugin.ml" 199 5516 5531 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5537
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 199 5516 5526 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5537
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 199 5516 5539 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5543
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 198 5487 5497 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5543
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 179 4816 4822 "src/plugins/extra/META/METAPlugin.ml" 199 5516 5543
type(
  string * string option * string * string option
)
"src/plugins/extra/META/METAPlugin.ml" 202 5552 5560 "src/plugins/extra/META/METAPlugin.ml" 202 5552 5561
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 205 5598 5602 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
)
"src/plugins/extra/META/METAPlugin.ml" 203 5564 5570 "src/plugins/extra/META/METAPlugin.ml" 203 5564 5579
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/extra/META/METAPlugin.ml" 73 2459 2463 "src/plugins/extra/META/METAPlugin.ml" 73 2459 2472
)
"src/plugins/extra/META/METAPlugin.ml" 203 5564 5580 "src/plugins/extra/META/METAPlugin.ml" 203 5564 5582
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4668 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4670
)
"src/plugins/extra/META/METAPlugin.ml" 203 5564 5580 "src/plugins/extra/META/METAPlugin.ml" 203 5564 5590
type(
  PropList.Data.t
)
"src/plugins/extra/META/METAPlugin.ml" 203 5564 5570 "src/plugins/extra/META/METAPlugin.ml" 203 5564 5590
type(
  t
)
"src/plugins/extra/META/METAPlugin.ml" 205 5598 5602 "src/plugins/extra/META/METAPlugin.ml" 205 5598 5617
type(
  Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
)
"src/plugins/extra/META/METAPlugin.ml" 205 5598 5618 "src/plugins/extra/META/METAPlugin.ml" 205 5598 5621
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 206 5622 5629 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5638
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 206 5622 5641 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5671
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/plugins/extra/META/METAPlugin.ml" 206 5622 5672 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5675
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/extra/META/METAPlugin.ml" 145 3984 4002 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4005
)
"src/plugins/extra/META/METAPlugin.ml" 206 5622 5672 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5683
type(
  OASISVersion.t
)
"src/plugins/extra/META/METAPlugin.ml" 206 5622 5640 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5684
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 206 5622 5628 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5685
type(
  string * string
)
"src/plugins/extra/META/METAPlugin.ml" 205 5598 5602 "src/plugins/extra/META/METAPlugin.ml" 206 5622 5685
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 208 5697 5707 "src/plugins/extra/META/METAPlugin.ml" 208 5697 5710
type(
  string
)
ident(
  def txt "src/plugins/extra/META/METAPlugin.ml" 213 5820 5826 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5866
)
"src/plugins/extra/META/METAPlugin.ml" 209 5713 5727 "src/plugins/extra/META/METAPlugin.ml" 209 5713 5728
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 202 5552 5560 "src/plugins/extra/META/METAPlugin.ml" 202 5552 5561
)
"src/plugins/extra/META/METAPlugin.ml" 209 5713 5727 "src/plugins/extra/META/METAPlugin.ml" 209 5713 5740
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 210 5746 5763 "src/plugins/extra/META/METAPlugin.ml" 210 5746 5766
type(
  string
)
ident(
  def txt "src/plugins/extra/META/METAPlugin.ml" 210 5746 5770 "src/plugins/extra/META/METAPlugin.ml" 210 5746 5773
)
"src/plugins/extra/META/METAPlugin.ml" 210 5746 5758 "src/plugins/extra/META/METAPlugin.ml" 210 5746 5766
type(
  string option
)
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 210 5746 5770 "src/plugins/extra/META/METAPlugin.ml" 210 5746 5773
type(
  string
)
ident(
  int_ref txt "src/plugins/extra/META/METAPlugin.ml" 210 5746 5763 "src/plugins/extra/META/METAPlugin.ml" 210 5746 5766
)
"src/plugins/extra/META/METAPlugin.ml" 211 5774 5786 "src/plugins/extra/META/METAPlugin.ml" 211 5774 5790
type(
  string option
)
type(
  string option
)
"src/plugins/extra/META/METAPlugin.ml" 211 5774 5794 "src/plugins/extra/META/METAPlugin.ml" 211 5774 5810
type(
  string
)
ident(
  int_ref default_synopsis "src/plugins/extra/META/METAPlugin.ml" 169 4518 4524 "src/plugins/extra/META/METAPlugin.ml" 169 4518 4540
)
"src/plugins/extra/META/METAPlugin.ml" 209 5713 5721 "src/plugins/extra/META/METAPlugin.ml" 211 5774 5810
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 213 5820 5826 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5841
type(
  Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
)
"src/plugins/extra/META/METAPlugin.ml" 213 5820 5842 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5845
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 213 5820 5847 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5860
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 213 5820 5862 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5865
type(
  string
)
ident(
  int_ref txt "src/plugins/extra/META/METAPlugin.ml" 208 5697 5707 "src/plugins/extra/META/METAPlugin.ml" 208 5697 5710
)
"src/plugins/extra/META/METAPlugin.ml" 213 5820 5846 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5866
type(
  string * string
)
"src/plugins/extra/META/METAPlugin.ml" 213 5820 5826 "src/plugins/extra/META/METAPlugin.ml" 213 5820 5866
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 207 5687 5691 "src/plugins/extra/META/METAPlugin.ml" 214 5867 5874
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 216 5886 5896 "src/plugins/extra/META/METAPlugin.ml" 216 5886 5905
type(
  OASISTypes.unix_dirname option
)
ident(
  def directory "src/plugins/extra/META/METAPlugin.ml" 221 6040 6046 "src/plugins/extra/META/METAPlugin.ml" 224 6134 6152
)
"src/plugins/extra/META/METAPlugin.ml" 217 5908 5922 "src/plugins/extra/META/METAPlugin.ml" 217 5908 5930
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref contents "src/plugins/extra/META/METAPlugin.ml" 175 4636 4676 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4684
)
"src/plugins/extra/META/METAPlugin.ml" 218 5936 5955 "src/plugins/extra/META/METAPlugin.ml" 218 5936 5956
type(
  OASISTypes.library
)
ident(
  def l "src/plugins/extra/META/METAPlugin.ml" 218 5936 5960 "src/plugins/extra/META/METAPlugin.ml" 218 5936 5983
)
"src/plugins/extra/META/METAPlugin.ml" 218 5936 5946 "src/plugins/extra/META/METAPlugin.ml" 218 5936 5956
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 218 5936 5960 "src/plugins/extra/META/METAPlugin.ml" 218 5936 5961
type(
  OASISTypes.library
)
ident(
  int_ref l "src/plugins/extra/META/METAPlugin.ml" 218 5936 5955 "src/plugins/extra/META/METAPlugin.ml" 218 5936 5956
)
"src/plugins/extra/META/METAPlugin.ml" 218 5936 5960 "src/plugins/extra/META/METAPlugin.ml" 218 5936 5983
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 219 5984 6002 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6003
type(
  OASISTypes.object_
)
ident(
  def o "src/plugins/extra/META/METAPlugin.ml" 219 5984 6007 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6030
)
"src/plugins/extra/META/METAPlugin.ml" 219 5984 5994 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6003
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 219 5984 6007 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6008
type(
  OASISTypes.object_
)
ident(
  int_ref o "src/plugins/extra/META/METAPlugin.ml" 219 5984 6002 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6003
)
"src/plugins/extra/META/METAPlugin.ml" 219 5984 6007 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6030
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 217 5908 5916 "src/plugins/extra/META/METAPlugin.ml" 219 5984 6030
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 221 6040 6052 "src/plugins/extra/META/METAPlugin.ml" 221 6040 6061
type(
  OASISTypes.unix_dirname option
)
ident(
  int_ref directory "src/plugins/extra/META/METAPlugin.ml" 216 5886 5896 "src/plugins/extra/META/METAPlugin.ml" 216 5886 5905
)
"src/plugins/extra/META/METAPlugin.ml" 222 6067 6080 "src/plugins/extra/META/METAPlugin.ml" 222 6067 6083
type(
  OASISTypes.unix_dirname
)
ident(
  def dir "src/plugins/extra/META/METAPlugin.ml" 223 6087 6095 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6133
)
"src/plugins/extra/META/METAPlugin.ml" 222 6067 6075 "src/plugins/extra/META/METAPlugin.ml" 222 6067 6083
type(
  OASISTypes.unix_dirname option
)
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 223 6087 6095 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6110
type(
  Format.formatter -> string * OASISTypes.unix_dirname -> unit
)
ident(
  int_ref pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
)
"src/plugins/extra/META/METAPlugin.ml" 223 6087 6111 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6114
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 223 6087 6116 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6127
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 223 6087 6129 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6132
type(
  OASISTypes.unix_dirname
)
ident(
  int_ref dir "src/plugins/extra/META/METAPlugin.ml" 222 6067 6080 "src/plugins/extra/META/METAPlugin.ml" 222 6067 6083
)
"src/plugins/extra/META/METAPlugin.ml" 223 6087 6115 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6133
type(
  string * OASISTypes.unix_dirname
)
"src/plugins/extra/META/METAPlugin.ml" 223 6087 6095 "src/plugins/extra/META/METAPlugin.ml" 223 6087 6133
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 224 6134 6142 "src/plugins/extra/META/METAPlugin.ml" 224 6134 6146
type(
  OASISTypes.unix_dirname option
)
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 224 6134 6150 "src/plugins/extra/META/METAPlugin.ml" 224 6134 6152
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 221 6040 6046 "src/plugins/extra/META/METAPlugin.ml" 224 6134 6152
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 215 5876 5880 "src/plugins/extra/META/METAPlugin.ml" 225 6153 6160
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 227 6172 6182 "src/plugins/extra/META/METAPlugin.ml" 227 6172 6190
type(
  OASISTypes.findlib_full list
)
ident(
  def requires "src/plugins/extra/META/METAPlugin.ml" 240 6539 6545 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6636
)
"src/plugins/extra/META/METAPlugin.ml" 228 6193 6207 "src/plugins/extra/META/METAPlugin.ml" 228 6193 6208
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 202 5552 5560 "src/plugins/extra/META/METAPlugin.ml" 202 5552 5561
)
"src/plugins/extra/META/METAPlugin.ml" 228 6193 6207 "src/plugins/extra/META/METAPlugin.ml" 228 6193 6217
type(
  string list option
)
"src/plugins/extra/META/METAPlugin.ml" 229 6223 6240 "src/plugins/extra/META/METAPlugin.ml" 229 6223 6243
type(
  string list
)
ident(
  def lst "src/plugins/extra/META/METAPlugin.ml" 230 6247 6259 "src/plugins/extra/META/METAPlugin.ml" 230 6247 6262
)
"src/plugins/extra/META/METAPlugin.ml" 229 6223 6235 "src/plugins/extra/META/METAPlugin.ml" 229 6223 6243
type(
  string list option
)
type(
  string list option
)
"src/plugins/extra/META/METAPlugin.ml" 230 6247 6259 "src/plugins/extra/META/METAPlugin.ml" 230 6247 6262
type(
  OASISTypes.findlib_full list
)
ident(
  int_ref lst "src/plugins/extra/META/METAPlugin.ml" 229 6223 6240 "src/plugins/extra/META/METAPlugin.ml" 229 6223 6243
)
"src/plugins/extra/META/METAPlugin.ml" 231 6263 6275 "src/plugins/extra/META/METAPlugin.ml" 231 6263 6279
type(
  string list option
)
type(
  string list option
)
"src/plugins/extra/META/METAPlugin.ml" 232 6283 6295 "src/plugins/extra/META/METAPlugin.ml" 232 6283 6303
type(
  (OASISTypes.dependency -> OASISTypes.findlib_full) ->
  OASISTypes.dependency list -> OASISTypes.findlib_full list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/plugins/extra/META/METAPlugin.ml" 234 6328 6362 "src/plugins/extra/META/METAPlugin.ml" 234 6328 6364
type(
  OASISTypes.name
)
ident(
  def nm "src/plugins/extra/META/METAPlugin.ml" 235 6368 6386 "src/plugins/extra/META/METAPlugin.ml" 235 6368 6417
)
"src/plugins/extra/META/METAPlugin.ml" 234 6328 6346 "src/plugins/extra/META/METAPlugin.ml" 234 6328 6364
type(
  OASISTypes.dependency
)
"src/plugins/extra/META/METAPlugin.ml" 235 6368 6386 "src/plugins/extra/META/METAPlugin.ml" 235 6368 6414
type(
  OASISTypes.name -> OASISTypes.findlib_full
)
ident(
  int_ref findlib_name_of_library_name "src/plugins/extra/META/METAPlugin.ml" 145 3984 4013 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4041
)
"src/plugins/extra/META/METAPlugin.ml" 235 6368 6415 "src/plugins/extra/META/METAPlugin.ml" 235 6368 6417
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/extra/META/METAPlugin.ml" 234 6328 6362 "src/plugins/extra/META/METAPlugin.ml" 234 6328 6364
)
"src/plugins/extra/META/METAPlugin.ml" 235 6368 6386 "src/plugins/extra/META/METAPlugin.ml" 235 6368 6417
type(
  OASISTypes.findlib_full
)
"src/plugins/extra/META/METAPlugin.ml" 236 6418 6452 "src/plugins/extra/META/METAPlugin.ml" 236 6418 6460
type(
  OASISTypes.findlib_full
)
ident(
  def fndlb_nm "src/plugins/extra/META/METAPlugin.ml" 237 6468 6486 "src/plugins/extra/META/METAPlugin.ml" 237 6468 6494
)
"src/plugins/extra/META/METAPlugin.ml" 236 6418 6462 "src/plugins/extra/META/METAPlugin.ml" 236 6418 6463
type(
  OASISVersion.comparator option
)
"src/plugins/extra/META/METAPlugin.ml" 236 6418 6436 "src/plugins/extra/META/METAPlugin.ml" 236 6418 6464
type(
  OASISTypes.dependency
)
"src/plugins/extra/META/METAPlugin.ml" 237 6468 6486 "src/plugins/extra/META/METAPlugin.ml" 237 6468 6494
type(
  OASISTypes.findlib_full
)
ident(
  int_ref fndlb_nm "src/plugins/extra/META/METAPlugin.ml" 236 6418 6452 "src/plugins/extra/META/METAPlugin.ml" 236 6418 6460
)
"src/plugins/extra/META/METAPlugin.ml" 233 6304 6318 "src/plugins/extra/META/METAPlugin.ml" 237 6468 6495
type(
  OASISTypes.dependency -> OASISTypes.findlib_full
)
"src/plugins/extra/META/METAPlugin.ml" 238 6496 6510 "src/plugins/extra/META/METAPlugin.ml" 238 6496 6512
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4672 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4674
)
"src/plugins/extra/META/METAPlugin.ml" 238 6496 6510 "src/plugins/extra/META/METAPlugin.ml" 238 6496 6529
type(
  OASISTypes.dependency list
)
"src/plugins/extra/META/METAPlugin.ml" 232 6283 6295 "src/plugins/extra/META/METAPlugin.ml" 238 6496 6529
type(
  OASISTypes.findlib_full list
)
"src/plugins/extra/META/METAPlugin.ml" 228 6193 6201 "src/plugins/extra/META/METAPlugin.ml" 238 6496 6529
type(
  OASISTypes.findlib_full list
)
"src/plugins/extra/META/METAPlugin.ml" 240 6539 6548 "src/plugins/extra/META/METAPlugin.ml" 240 6539 6556
type(
  OASISTypes.findlib_full list
)
ident(
  int_ref requires "src/plugins/extra/META/METAPlugin.ml" 227 6172 6182 "src/plugins/extra/META/METAPlugin.ml" 227 6172 6190
)
"src/plugins/extra/META/METAPlugin.ml" 240 6539 6557 "src/plugins/extra/META/METAPlugin.ml" 240 6539 6559
type(
  OASISTypes.findlib_full list -> OASISTypes.findlib_full list -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/plugins/extra/META/METAPlugin.ml" 240 6539 6560 "src/plugins/extra/META/METAPlugin.ml" 240 6539 6562
type(
  OASISTypes.findlib_full list
)
"src/plugins/extra/META/METAPlugin.ml" 240 6539 6548 "src/plugins/extra/META/METAPlugin.ml" 240 6539 6562
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6576 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6591
type(
  Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6592 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6595
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6597 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6607
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6609 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6622
type(
  string -> OASISTypes.findlib_full list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6623 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6626
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6627 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6635
type(
  OASISTypes.findlib_full list
)
ident(
  int_ref requires "src/plugins/extra/META/METAPlugin.ml" 227 6172 6182 "src/plugins/extra/META/METAPlugin.ml" 227 6172 6190
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6609 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6635
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6596 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6636
type(
  string * string
)
"src/plugins/extra/META/METAPlugin.ml" 241 6568 6576 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6636
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 240 6539 6545 "src/plugins/extra/META/METAPlugin.ml" 241 6568 6636
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 226 6162 6166 "src/plugins/extra/META/METAPlugin.ml" 242 6637 6644
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 244 6656 6668 "src/plugins/extra/META/METAPlugin.ml" 244 6656 6669
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 202 5552 5560 "src/plugins/extra/META/METAPlugin.ml" 202 5552 5561
)
"src/plugins/extra/META/METAPlugin.ml" 244 6656 6668 "src/plugins/extra/META/METAPlugin.ml" 244 6656 6679
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 245 6685 6695 "src/plugins/extra/META/METAPlugin.ml" 245 6685 6706
type(
  meta_type
)
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6720 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6734
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6735 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6738
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6740 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6749
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6752 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6758
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6751 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6759
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6761 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6773
type(
  string
)
ident(
  int_ref archive_byte "src/plugins/extra/META/METAPlugin.ml" 177 4727 4735 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4747
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6739 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6774
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6720 "src/plugins/extra/META/METAPlugin.ml" 246 6710 6774
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 247 6776 6786 "src/plugins/extra/META/METAPlugin.ml" 247 6776 6789
type(
  (string -> unit) -> string option -> unit
)
ident(
  int_ref may "src/plugins/extra/META/METAPlugin.ml" 146 4052 4058 "src/plugins/extra/META/METAPlugin.ml" 146 4052 4061
)
"src/plugins/extra/META/METAPlugin.ml" 248 6790 6807 "src/plugins/extra/META/METAPlugin.ml" 248 6790 6808
type(
  string
)
ident(
  def x "src/plugins/extra/META/METAPlugin.ml" 249 6812 6827 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6880
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6827 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6841
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6842 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6845
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6847 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6856
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6859 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6865
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6867 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6875
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6858 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6876
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6878 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6879
type(
  string
)
ident(
  int_ref x "src/plugins/extra/META/METAPlugin.ml" 248 6790 6807 "src/plugins/extra/META/METAPlugin.ml" 248 6790 6808
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6846 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6880
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 249 6812 6827 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6880
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 248 6790 6802 "src/plugins/extra/META/METAPlugin.ml" 249 6812 6881
type(
  string -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 250 6882 6894 "src/plugins/extra/META/METAPlugin.ml" 250 6882 6913
type(
  string option
)
ident(
  int_ref archive_byte_plugin "src/plugins/extra/META/METAPlugin.ml" 177 4727 4749 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4768
)
"src/plugins/extra/META/METAPlugin.ml" 247 6776 6786 "src/plugins/extra/META/METAPlugin.ml" 250 6882 6913
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 252 6931 6949 "src/plugins/extra/META/METAPlugin.ml" 252 6931 6951
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4672 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4674
)
"src/plugins/extra/META/METAPlugin.ml" 252 6931 6949 "src/plugins/extra/META/METAPlugin.ml" 252 6931 6970
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 253 6976 6992 "src/plugins/extra/META/METAPlugin.ml" 253 6976 6996
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 253 6976 6999 "src/plugins/extra/META/METAPlugin.ml" 253 6976 7005
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 253 6976 6992 "src/plugins/extra/META/METAPlugin.ml" 253 6976 7005
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7025 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7039
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7040 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7043
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7045 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7054
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7057 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7065
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7056 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7066
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7068 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7082
type(
  string
)
ident(
  int_ref archive_native "src/plugins/extra/META/METAPlugin.ml" 178 4770 4776 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4790
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7044 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7083
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7025 "src/plugins/extra/META/METAPlugin.ml" 254 7009 7083
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 255 7085 7101 "src/plugins/extra/META/METAPlugin.ml" 255 7085 7104
type(
  (string -> unit) -> string option -> unit
)
ident(
  int_ref may "src/plugins/extra/META/METAPlugin.ml" 146 4052 4058 "src/plugins/extra/META/METAPlugin.ml" 146 4052 4061
)
"src/plugins/extra/META/METAPlugin.ml" 256 7105 7128 "src/plugins/extra/META/METAPlugin.ml" 256 7105 7129
type(
  string
)
ident(
  def x "src/plugins/extra/META/METAPlugin.ml" 257 7133 7154 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7232
)
"src/plugins/extra/META/METAPlugin.ml" 257 7133 7154 "src/plugins/extra/META/METAPlugin.ml" 257 7133 7168
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 257 7133 7169 "src/plugins/extra/META/METAPlugin.ml" 257 7133 7172
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 258 7173 7197 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7206
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 258 7173 7209 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7217
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 258 7173 7219 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7227
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 258 7173 7208 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7228
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 258 7173 7230 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7231
type(
  string
)
ident(
  int_ref x "src/plugins/extra/META/METAPlugin.ml" 256 7105 7128 "src/plugins/extra/META/METAPlugin.ml" 256 7105 7129
)
"src/plugins/extra/META/METAPlugin.ml" 258 7173 7196 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7232
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 257 7133 7154 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7232
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 256 7105 7123 "src/plugins/extra/META/METAPlugin.ml" 258 7173 7233
type(
  string -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 259 7234 7252 "src/plugins/extra/META/METAPlugin.ml" 259 7234 7273
type(
  string option
)
ident(
  int_ref archive_native_plugin "src/plugins/extra/META/METAPlugin.ml" 178 4770 4792 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4813
)
"src/plugins/extra/META/METAPlugin.ml" 255 7085 7101 "src/plugins/extra/META/METAPlugin.ml" 259 7234 7273
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 254 7009 7025 "src/plugins/extra/META/METAPlugin.ml" 259 7234 7274
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 260 7275 7291 "src/plugins/extra/META/METAPlugin.ml" 260 7275 7295
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 261 7299 7315 "src/plugins/extra/META/METAPlugin.ml" 261 7299 7317
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 251 6915 6925 "src/plugins/extra/META/METAPlugin.ml" 262 7318 7331
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 247 6776 6786 "src/plugins/extra/META/METAPlugin.ml" 262 7318 7331
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 246 6710 6720 "src/plugins/extra/META/METAPlugin.ml" 262 7318 7331
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 264 7333 7343 "src/plugins/extra/META/METAPlugin.ml" 264 7333 7353
type(
  meta_type
)
type(
  meta_type
)
"src/plugins/extra/META/METAPlugin.ml" 265 7357 7367 "src/plugins/extra/META/METAPlugin.ml" 265 7357 7381
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 265 7357 7382 "src/plugins/extra/META/METAPlugin.ml" 265 7357 7385
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 266 7386 7399 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7408
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 266 7386 7411 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7419
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 266 7386 7421 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7435
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 266 7386 7410 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7436
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 266 7386 7438 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7450
type(
  string
)
ident(
  int_ref archive_byte "src/plugins/extra/META/METAPlugin.ml" 177 4727 4735 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4747
)
"src/plugins/extra/META/METAPlugin.ml" 266 7386 7398 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7451
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 265 7357 7367 "src/plugins/extra/META/METAPlugin.ml" 266 7386 7451
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 267 7453 7463 "src/plugins/extra/META/METAPlugin.ml" 267 7453 7477
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 267 7453 7478 "src/plugins/extra/META/METAPlugin.ml" 267 7453 7481
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 268 7482 7495 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7504
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 268 7482 7507 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7515
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 268 7482 7517 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7526
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 268 7482 7506 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7527
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 268 7482 7529 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7541
type(
  string
)
ident(
  int_ref archive_byte "src/plugins/extra/META/METAPlugin.ml" 177 4727 4735 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4747
)
"src/plugins/extra/META/METAPlugin.ml" 268 7482 7494 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7542
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 267 7453 7463 "src/plugins/extra/META/METAPlugin.ml" 268 7482 7542
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 269 7544 7566 "src/plugins/extra/META/METAPlugin.ml" 269 7544 7568
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4672 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4674
)
"src/plugins/extra/META/METAPlugin.ml" 269 7544 7566 "src/plugins/extra/META/METAPlugin.ml" 269 7544 7587
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 270 7593 7607 "src/plugins/extra/META/METAPlugin.ml" 270 7593 7611
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 270 7593 7614 "src/plugins/extra/META/METAPlugin.ml" 270 7593 7620
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 270 7593 7607 "src/plugins/extra/META/METAPlugin.ml" 270 7593 7620
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 271 7624 7638 "src/plugins/extra/META/METAPlugin.ml" 271 7624 7652
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 271 7624 7653 "src/plugins/extra/META/METAPlugin.ml" 271 7624 7656
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7674 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7683
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7686 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7694
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7696 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7710
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7712 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7720
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7685 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7721
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7723 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7737
type(
  string
)
ident(
  int_ref archive_native "src/plugins/extra/META/METAPlugin.ml" 178 4770 4776 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4790
)
"src/plugins/extra/META/METAPlugin.ml" 272 7657 7673 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7738
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 271 7624 7638 "src/plugins/extra/META/METAPlugin.ml" 272 7657 7738
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 273 7740 7754 "src/plugins/extra/META/METAPlugin.ml" 273 7740 7757
type(
  (string -> unit) -> string option -> unit
)
ident(
  int_ref may "src/plugins/extra/META/METAPlugin.ml" 146 4052 4058 "src/plugins/extra/META/METAPlugin.ml" 146 4052 4061
)
"src/plugins/extra/META/METAPlugin.ml" 274 7758 7779 "src/plugins/extra/META/METAPlugin.ml" 274 7758 7780
type(
  string
)
ident(
  def x "src/plugins/extra/META/METAPlugin.ml" 275 7784 7803 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7905
)
"src/plugins/extra/META/METAPlugin.ml" 275 7784 7803 "src/plugins/extra/META/METAPlugin.ml" 275 7784 7817
type(
  Format.formatter -> string * string list * string -> unit
)
ident(
  int_ref pp_print_field "src/plugins/extra/META/METAPlugin.ml" 158 4258 4264 "src/plugins/extra/META/METAPlugin.ml" 158 4258 4278
)
"src/plugins/extra/META/METAPlugin.ml" 275 7784 7818 "src/plugins/extra/META/METAPlugin.ml" 275 7784 7821
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7844 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7853
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7856 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7864
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7866 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7880
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7882 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7890
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7892 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7900
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7855 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7901
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7903 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7904
type(
  string
)
ident(
  int_ref x "src/plugins/extra/META/METAPlugin.ml" 274 7758 7779 "src/plugins/extra/META/METAPlugin.ml" 274 7758 7780
)
"src/plugins/extra/META/METAPlugin.ml" 276 7822 7843 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7905
type(
  string * string list * string
)
"src/plugins/extra/META/METAPlugin.ml" 275 7784 7803 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7905
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 274 7758 7774 "src/plugins/extra/META/METAPlugin.ml" 276 7822 7906
type(
  string -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 277 7907 7923 "src/plugins/extra/META/METAPlugin.ml" 277 7907 7944
type(
  string option
)
ident(
  int_ref archive_native_plugin "src/plugins/extra/META/METAPlugin.ml" 178 4770 4792 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4813
)
"src/plugins/extra/META/METAPlugin.ml" 273 7740 7754 "src/plugins/extra/META/METAPlugin.ml" 277 7907 7944
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 271 7624 7638 "src/plugins/extra/META/METAPlugin.ml" 277 7907 7945
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 278 7946 7960 "src/plugins/extra/META/METAPlugin.ml" 278 7946 7964
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 279 7968 7982 "src/plugins/extra/META/METAPlugin.ml" 279 7968 7984
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 269 7544 7554 "src/plugins/extra/META/METAPlugin.ml" 280 7985 7998
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 267 7453 7463 "src/plugins/extra/META/METAPlugin.ml" 280 7985 7998
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 265 7357 7367 "src/plugins/extra/META/METAPlugin.ml" 280 7985 7998
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 243 6646 6650 "src/plugins/extra/META/METAPlugin.ml" 281 7999 8006
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8012 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8021
type(
  (string -> unit) -> string list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8023 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8030
type(
  Format.formatter ->
  (string -> unit, Format.formatter, unit) format -> string -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8031 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8034
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8035 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8041
type(
  (string -> unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8022 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8042
type(
  string -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8043 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8044
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 202 5552 5560 "src/plugins/extra/META/METAPlugin.ml" 202 5552 5561
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8043 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8056
type(
  string list
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8012 "src/plugins/extra/META/METAPlugin.ml" 282 8008 8056
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 283 8058 8062 "src/plugins/extra/META/METAPlugin.ml" 283 8058 8077
type(
  Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
)
"src/plugins/extra/META/METAPlugin.ml" 283 8058 8078 "src/plugins/extra/META/METAPlugin.ml" 283 8058 8081
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 284 8082 8089 "src/plugins/extra/META/METAPlugin.ml" 284 8082 8100
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 285 8102 8112 "src/plugins/extra/META/METAPlugin.ml" 285 8102 8114
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/extra/META/METAPlugin.ml" 175 4636 4672 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4674
)
"src/plugins/extra/META/METAPlugin.ml" 285 8102 8112 "src/plugins/extra/META/METAPlugin.ml" 285 8102 8133
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 285 8102 8134 "src/plugins/extra/META/METAPlugin.ml" 285 8102 8135
type(
  OASISTypes.compiled_object -> OASISTypes.compiled_object -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/extra/META/METAPlugin.ml" 285 8102 8136 "src/plugins/extra/META/METAPlugin.ml" 285 8102 8142
type(
  OASISTypes.compiled_object
)
"src/plugins/extra/META/METAPlugin.ml" 285 8102 8112 "src/plugins/extra/META/METAPlugin.ml" 285 8102 8142
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 286 8148 8157 "src/plugins/extra/META/METAPlugin.ml" 286 8148 8171
type(
  string
)
ident(
  int_ref archive_native "src/plugins/extra/META/METAPlugin.ml" 178 4770 4776 "src/plugins/extra/META/METAPlugin.ml" 178 4770 4790
)
"src/plugins/extra/META/METAPlugin.ml" 288 8184 8193 "src/plugins/extra/META/METAPlugin.ml" 288 8184 8205
type(
  string
)
ident(
  int_ref archive_byte "src/plugins/extra/META/METAPlugin.ml" 177 4727 4735 "src/plugins/extra/META/METAPlugin.ml" 177 4727 4747
)
"src/plugins/extra/META/METAPlugin.ml" 285 8102 8109 "src/plugins/extra/META/METAPlugin.ml" 288 8184 8205
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 284 8082 8088 "src/plugins/extra/META/METAPlugin.ml" 288 8184 8206
type(
  string * string
)
"src/plugins/extra/META/METAPlugin.ml" 283 8058 8062 "src/plugins/extra/META/METAPlugin.ml" 288 8184 8206
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 289 8208 8212 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8235
type(
  (Format.formatter -> OASISFindlib.group_t -> unit) ->
  (unit, Format.formatter, unit) format ->
  Format.formatter -> OASISFindlib.group_t list -> unit
)
ident(
  int_ref FormatExt.pp_print_list "src/oasis/FormatExt.mli" 40 2078 2078 "src/oasis/FormatExt.mli" 42 2135 2211
)
"src/plugins/extra/META/METAPlugin.ml" 289 8208 8236 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8250
type(
  Format.formatter -> OASISFindlib.group_t -> unit
)
ident(
  int_ref pp_print_group "src/plugins/extra/META/METAPlugin.ml" 291 8270 8276 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8290
)
"src/plugins/extra/META/METAPlugin.ml" 289 8208 8251 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8255
type(
  (unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 289 8208 8256 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8259
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 175 4636 4663 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4666
)
"src/plugins/extra/META/METAPlugin.ml" 289 8208 8260 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  OASISFindlib.group_t list
)
ident(
  int_ref children "src/plugins/extra/META/METAPlugin.ml" 175 4636 4686 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4694
)
"src/plugins/extra/META/METAPlugin.ml" 289 8208 8212 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 283 8058 8062 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 282 8008 8012 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 243 6646 6650 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 226 6162 6166 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 215 5876 5880 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 207 5687 5691 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 205 5598 5602 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 202 5552 5556 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 177 4727 4731 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 176 4698 4702 "src/plugins/extra/META/METAPlugin.ml" 289 8208 8268
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 291 8270 8276 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8290
type(
  Format.formatter -> OASISFindlib.group_t -> unit
)
ident(
  def pp_print_group "src/plugins/extra/META/METAPlugin.ml" 175 4636 4638 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
)
"src/plugins/extra/META/METAPlugin.ml" 291 8270 8291 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8294
type(
  Format.formatter
)
ident(
  def fmt "src/plugins/extra/META/METAPlugin.ml" 292 8297 8301 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 293 8310 8329 "src/plugins/extra/META/METAPlugin.ml" 293 8310 8337
type(
  OASISFindlib.findlib_part_name
)
ident(
  def fndlb_nm "src/plugins/extra/META/METAPlugin.ml" 294 8352 8360 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8574
)
"src/plugins/extra/META/METAPlugin.ml" 293 8310 8339 "src/plugins/extra/META/METAPlugin.ml" 293 8310 8347
type(
  OASISFindlib.group_t list
)
ident(
  def children "src/plugins/extra/META/METAPlugin.ml" 294 8352 8360 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8574
)
"src/plugins/extra/META/METAPlugin.ml" 293 8310 8318 "src/plugins/extra/META/METAPlugin.ml" 293 8310 8348
type(
  OASISFindlib.group_t
)
"src/plugins/extra/META/METAPlugin.ml" 294 8352 8360 "src/plugins/extra/META/METAPlugin.ml" 294 8352 8367
type(
  Format.formatter ->
  (OASISFindlib.findlib_part_name ->
   (Format.formatter -> string * string -> unit) ->
   string * string ->
   (Format.formatter -> OASISFindlib.group_t list -> unit) ->
   OASISFindlib.group_t list -> unit, Format.formatter, unit)
  format ->
  OASISFindlib.findlib_part_name ->
  (Format.formatter -> string * string -> unit) ->
  string * string ->
  (Format.formatter -> OASISFindlib.group_t list -> unit) ->
  OASISFindlib.group_t list -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 294 8352 8368 "src/plugins/extra/META/METAPlugin.ml" 294 8352 8371
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 291 8270 8291 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8294
)
"src/plugins/extra/META/METAPlugin.ml" 295 8372 8382 "src/plugins/extra/META/METAPlugin.ml" 295 8372 8417
type(
  (OASISFindlib.findlib_part_name ->
   (Format.formatter -> string * string -> unit) ->
   string * string ->
   (Format.formatter -> OASISFindlib.group_t list -> unit) ->
   OASISFindlib.group_t list -> unit, Format.formatter, unit)
  format
)
"src/plugins/extra/META/METAPlugin.ml" 296 8418 8428 "src/plugins/extra/META/METAPlugin.ml" 296 8418 8436
type(
  OASISFindlib.findlib_part_name
)
ident(
  int_ref fndlb_nm "src/plugins/extra/META/METAPlugin.ml" 293 8310 8329 "src/plugins/extra/META/METAPlugin.ml" 293 8310 8337
)
"src/plugins/extra/META/METAPlugin.ml" 298 8438 8448 "src/plugins/extra/META/METAPlugin.ml" 298 8438 8463
type(
  Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_sfield "src/plugins/extra/META/METAPlugin.ml" 165 4418 4424 "src/plugins/extra/META/METAPlugin.ml" 165 4418 4439
)
"src/plugins/extra/META/METAPlugin.ml" 299 8464 8475 "src/plugins/extra/META/METAPlugin.ml" 299 8464 8488
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 299 8464 8490 "src/plugins/extra/META/METAPlugin.ml" 299 8464 8509
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 299 8464 8474 "src/plugins/extra/META/METAPlugin.ml" 299 8464 8510
type(
  string * string
)
"src/plugins/extra/META/METAPlugin.ml" 301 8512 8523 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8546
type(
  (Format.formatter -> OASISFindlib.group_t -> unit) ->
  (unit, Format.formatter, unit) format ->
  Format.formatter -> OASISFindlib.group_t list -> unit
)
ident(
  int_ref FormatExt.pp_print_list "src/oasis/FormatExt.mli" 40 2078 2078 "src/oasis/FormatExt.mli" 42 2135 2211
)
"src/plugins/extra/META/METAPlugin.ml" 301 8512 8547 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8561
type(
  Format.formatter -> OASISFindlib.group_t -> unit
)
ident(
  int_ref pp_print_group "src/plugins/extra/META/METAPlugin.ml" 291 8270 8276 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8290
)
"src/plugins/extra/META/METAPlugin.ml" 301 8512 8562 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8564
type(
  (unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 301 8512 8522 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8565
type(
  Format.formatter -> OASISFindlib.group_t list -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 301 8512 8566 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8574
type(
  OASISFindlib.group_t list
)
ident(
  int_ref children "src/plugins/extra/META/METAPlugin.ml" 293 8310 8339 "src/plugins/extra/META/METAPlugin.ml" 293 8310 8347
)
"src/plugins/extra/META/METAPlugin.ml" 294 8352 8360 "src/plugins/extra/META/METAPlugin.ml" 301 8512 8574
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8593 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8601
type(
  OASISFindlib.findlib_part_name
)
ident(
  def fndlb_nm "src/plugins/extra/META/METAPlugin.ml" 304 8640 8648 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8603 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8609
type(
  OASISTypes.common_section
)
ident(
  def lib_cs "src/plugins/extra/META/METAPlugin.ml" 304 8640 8648 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8611 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8617
type(
  OASISTypes.build_section
)
ident(
  def lib_bs "src/plugins/extra/META/METAPlugin.ml" 304 8640 8648 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8619 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8622
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def lib "src/plugins/extra/META/METAPlugin.ml" 304 8640 8648 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8624 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8625
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8627 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8635
type(
  OASISFindlib.group_t list
)
ident(
  def children "src/plugins/extra/META/METAPlugin.ml" 304 8640 8648 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8592 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8636
type(
  OASISFindlib.findlib_part_name * OASISTypes.common_section *
  OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISTypes.unix_dirname option * OASISFindlib.group_t list
)
"src/plugins/extra/META/METAPlugin.ml" 303 8576 8584 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8636
type(
  OASISFindlib.group_t
)
"src/plugins/extra/META/METAPlugin.ml" 304 8640 8652 "src/plugins/extra/META/METAPlugin.ml" 304 8640 8653
type(
  t
)
ident(
  def t "src/plugins/extra/META/METAPlugin.ml" 305 8684 8692 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
)
"src/plugins/extra/META/METAPlugin.ml" 304 8640 8656 "src/plugins/extra/META/METAPlugin.ml" 304 8640 8665
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/extra/META/METAPlugin.ml" 73 2459 2463 "src/plugins/extra/META/METAPlugin.ml" 73 2459 2472
)
"src/plugins/extra/META/METAPlugin.ml" 304 8640 8666 "src/plugins/extra/META/METAPlugin.ml" 304 8640 8672
type(
  OASISTypes.common_section
)
ident(
  int_ref lib_cs "src/plugins/extra/META/METAPlugin.ml" 303 8576 8603 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8609
)
"src/plugins/extra/META/METAPlugin.ml" 304 8640 8666 "src/plugins/extra/META/METAPlugin.ml" 304 8640 8680
type(
  PropList.Data.t
)
"src/plugins/extra/META/METAPlugin.ml" 304 8640 8656 "src/plugins/extra/META/METAPlugin.ml" 304 8640 8680
type(
  t
)
"src/plugins/extra/META/METAPlugin.ml" 305 8684 8695 "src/plugins/extra/META/METAPlugin.ml" 305 8684 8696
type(
  t
)
ident(
  int_ref t "src/plugins/extra/META/METAPlugin.ml" 304 8640 8652 "src/plugins/extra/META/METAPlugin.ml" 304 8640 8653
)
"src/plugins/extra/META/METAPlugin.ml" 305 8684 8695 "src/plugins/extra/META/METAPlugin.ml" 305 8684 8703
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 306 8709 8719 "src/plugins/extra/META/METAPlugin.ml" 306 8709 8726
type(
  Format.formatter ->
  (OASISFindlib.findlib_part_name ->
   (Format.formatter ->
    OASISTypes.common_section * OASISTypes.build_section *
    [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
    OASISFindlib.group_t list -> unit) ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
   OASISFindlib.group_t list -> unit, Format.formatter, unit)
  format ->
  OASISFindlib.findlib_part_name ->
  (Format.formatter ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
   OASISFindlib.group_t list -> unit) ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 306 8709 8727 "src/plugins/extra/META/METAPlugin.ml" 306 8709 8730
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 291 8270 8291 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8294
)
"src/plugins/extra/META/METAPlugin.ml" 306 8709 8731 "src/plugins/extra/META/METAPlugin.ml" 306 8709 8764
type(
  (OASISFindlib.findlib_part_name ->
   (Format.formatter ->
    OASISTypes.common_section * OASISTypes.build_section *
    [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
    OASISFindlib.group_t list -> unit) ->
   OASISTypes.common_section * OASISTypes.build_section *
   [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
   OASISFindlib.group_t list -> unit, Format.formatter, unit)
  format
)
"src/plugins/extra/META/METAPlugin.ml" 307 8765 8777 "src/plugins/extra/META/METAPlugin.ml" 307 8765 8785
type(
  OASISFindlib.findlib_part_name
)
ident(
  int_ref fndlb_nm "src/plugins/extra/META/METAPlugin.ml" 303 8576 8593 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8601
)
"src/plugins/extra/META/METAPlugin.ml" 308 8786 8798 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8814
type(
  Format.formatter ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list -> unit
)
ident(
  int_ref pp_print_library "src/plugins/extra/META/METAPlugin.ml" 175 4636 4646 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4662
)
"src/plugins/extra/META/METAPlugin.ml" 308 8786 8816 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8822
type(
  OASISTypes.common_section
)
ident(
  int_ref lib_cs "src/plugins/extra/META/METAPlugin.ml" 303 8576 8603 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8609
)
"src/plugins/extra/META/METAPlugin.ml" 308 8786 8824 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8830
type(
  OASISTypes.build_section
)
ident(
  int_ref lib_bs "src/plugins/extra/META/METAPlugin.ml" 303 8576 8611 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8617
)
"src/plugins/extra/META/METAPlugin.ml" 308 8786 8832 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8835
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/plugins/extra/META/METAPlugin.ml" 303 8576 8619 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8622
)
"src/plugins/extra/META/METAPlugin.ml" 308 8786 8837 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8845
type(
  OASISFindlib.group_t list
)
ident(
  int_ref children "src/plugins/extra/META/METAPlugin.ml" 303 8576 8627 "src/plugins/extra/META/METAPlugin.ml" 303 8576 8635
)
"src/plugins/extra/META/METAPlugin.ml" 308 8786 8815 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list
)
"src/plugins/extra/META/METAPlugin.ml" 306 8709 8719 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 305 8684 8692 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 304 8640 8648 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 292 8297 8301 "src/plugins/extra/META/METAPlugin.ml" 308 8786 8846
type(
  OASISFindlib.group_t -> unit
)
"src/plugins/extra/META/METAPlugin.ml" 311 8853 8862 "src/plugins/extra/META/METAPlugin.ml" 311 8853 8868
type(
  t
)
ident(
  int_ref root_t "src/plugins/extra/META/METAPlugin.ml" 145 3984 4006 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4012
)
"src/plugins/extra/META/METAPlugin.ml" 311 8853 8861 "src/plugins/extra/META/METAPlugin.ml" 311 8853 8876
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 311 8853 8855 "src/plugins/extra/META/METAPlugin.ml" 311 8853 8876
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 312 8878 8880 "src/plugins/extra/META/METAPlugin.ml" 312 8878 8892
type(
  Format.formatter -> int -> unit
)
ident(
  int_ref Stdlib.Format.pp_open_vbox "format.mli" 179 7828 7828 "format.mli" 179 7828 7871
)
"src/plugins/extra/META/METAPlugin.ml" 312 8878 8893 "src/plugins/extra/META/METAPlugin.ml" 312 8878 8896
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 312 8878 8897 "src/plugins/extra/META/METAPlugin.ml" 312 8878 8898
type(
  int
)
"src/plugins/extra/META/METAPlugin.ml" 312 8878 8880 "src/plugins/extra/META/METAPlugin.ml" 312 8878 8898
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 313 8900 8902 "src/plugins/extra/META/METAPlugin.ml" 313 8900 8909
type(
  Format.formatter -> (unit, Format.formatter, unit) format -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 313 8900 8910 "src/plugins/extra/META/METAPlugin.ml" 313 8900 8913
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 313 8900 8914 "src/plugins/extra/META/METAPlugin.ml" 313 8900 8929
type(
  (unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 313 8900 8902 "src/plugins/extra/META/METAPlugin.ml" 313 8900 8929
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 315 8939 8949 "src/plugins/extra/META/METAPlugin.ml" 315 8939 8952
type(
  OASISFindlib.group_t
)
ident(
  int_ref grp "src/plugins/extra/META/METAPlugin.ml" 145 3984 4046 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4049
)
"src/plugins/extra/META/METAPlugin.ml" 316 8958 8977 "src/plugins/extra/META/METAPlugin.ml" 316 8958 8978
type(
  OASISFindlib.findlib_part_name
)
"src/plugins/extra/META/METAPlugin.ml" 316 8958 8980 "src/plugins/extra/META/METAPlugin.ml" 316 8958 8988
type(
  OASISFindlib.group_t list
)
ident(
  def children "src/plugins/extra/META/METAPlugin.ml" 317 8993 9001 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9055
)
"src/plugins/extra/META/METAPlugin.ml" 316 8958 8966 "src/plugins/extra/META/METAPlugin.ml" 316 8958 8989
type(
  OASISFindlib.group_t
)
type(
  OASISFindlib.group_t
)
"src/plugins/extra/META/METAPlugin.ml" 317 8993 9001 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9024
type(
  (Format.formatter -> OASISFindlib.group_t -> unit) ->
  (unit, Format.formatter, unit) format ->
  Format.formatter -> OASISFindlib.group_t list -> unit
)
ident(
  int_ref FormatExt.pp_print_list "src/oasis/FormatExt.mli" 40 2078 2078 "src/oasis/FormatExt.mli" 42 2135 2211
)
"src/plugins/extra/META/METAPlugin.ml" 317 8993 9025 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9039
type(
  Format.formatter -> OASISFindlib.group_t -> unit
)
ident(
  int_ref pp_print_group "src/plugins/extra/META/METAPlugin.ml" 291 8270 8276 "src/plugins/extra/META/METAPlugin.ml" 291 8270 8290
)
"src/plugins/extra/META/METAPlugin.ml" 317 8993 9040 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9042
type(
  (unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 317 8993 9043 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9046
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 317 8993 9047 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9055
type(
  OASISFindlib.group_t list
)
ident(
  int_ref children "src/plugins/extra/META/METAPlugin.ml" 316 8958 8980 "src/plugins/extra/META/METAPlugin.ml" 316 8958 8988
)
"src/plugins/extra/META/METAPlugin.ml" 317 8993 9001 "src/plugins/extra/META/METAPlugin.ml" 317 8993 9055
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9073 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9074
type(
  OASISFindlib.findlib_part_name
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9076 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9082
type(
  OASISTypes.common_section
)
ident(
  def lib_cs "src/plugins/extra/META/METAPlugin.ml" 319 9113 9121 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9173
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9084 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9090
type(
  OASISTypes.build_section
)
ident(
  def lib_bs "src/plugins/extra/META/METAPlugin.ml" 319 9113 9121 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9173
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9092 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9095
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  def lib "src/plugins/extra/META/METAPlugin.ml" 319 9113 9121 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9173
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9097 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9098
type(
  OASISTypes.unix_dirname option
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9100 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9108
type(
  OASISFindlib.group_t list
)
ident(
  def children "src/plugins/extra/META/METAPlugin.ml" 319 9113 9121 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9173
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9072 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9109
type(
  OASISFindlib.findlib_part_name * OASISTypes.common_section *
  OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISTypes.unix_dirname option * OASISFindlib.group_t list
)
"src/plugins/extra/META/METAPlugin.ml" 318 9056 9064 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9109
type(
  OASISFindlib.group_t
)
type(
  OASISFindlib.group_t
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9121 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9137
type(
  Format.formatter ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list -> unit
)
ident(
  int_ref pp_print_library "src/plugins/extra/META/METAPlugin.ml" 175 4636 4646 "src/plugins/extra/META/METAPlugin.ml" 175 4636 4662
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9138 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9141
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9143 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9149
type(
  OASISTypes.common_section
)
ident(
  int_ref lib_cs "src/plugins/extra/META/METAPlugin.ml" 318 9056 9076 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9082
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9151 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9157
type(
  OASISTypes.build_section
)
ident(
  int_ref lib_bs "src/plugins/extra/META/METAPlugin.ml" 318 9056 9084 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9090
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9159 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9162
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref lib "src/plugins/extra/META/METAPlugin.ml" 318 9056 9092 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9095
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9164 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9172
type(
  OASISFindlib.group_t list
)
ident(
  int_ref children "src/plugins/extra/META/METAPlugin.ml" 318 9056 9100 "src/plugins/extra/META/METAPlugin.ml" 318 9056 9108
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9142 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9173
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ] *
  OASISFindlib.group_t list
)
"src/plugins/extra/META/METAPlugin.ml" 319 9113 9121 "src/plugins/extra/META/METAPlugin.ml" 319 9113 9173
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 314 8931 8933 "src/plugins/extra/META/METAPlugin.ml" 320 9174 9179
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 321 9181 9183 "src/plugins/extra/META/METAPlugin.ml" 321 9181 9190
type(
  Format.formatter -> (unit, Format.formatter, unit) format -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/plugins/extra/META/METAPlugin.ml" 321 9181 9191 "src/plugins/extra/META/METAPlugin.ml" 321 9181 9194
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 321 9181 9195 "src/plugins/extra/META/METAPlugin.ml" 321 9181 9213
type(
  (unit, Format.formatter, unit) format
)
"src/plugins/extra/META/METAPlugin.ml" 321 9181 9183 "src/plugins/extra/META/METAPlugin.ml" 321 9181 9213
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 322 9215 9217 "src/plugins/extra/META/METAPlugin.ml" 322 9215 9229
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_close_box "format.mli" 165 7379 7379 "format.mli" 165 7379 7423
)
"src/plugins/extra/META/METAPlugin.ml" 322 9215 9230 "src/plugins/extra/META/METAPlugin.ml" 322 9215 9233
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 322 9215 9234 "src/plugins/extra/META/METAPlugin.ml" 322 9215 9236
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 322 9215 9217 "src/plugins/extra/META/METAPlugin.ml" 322 9215 9236
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 323 9238 9240 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9254
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_flush "format.mli" 364 13970 13970 "format.mli" 364 13970 14016
)
"src/plugins/extra/META/METAPlugin.ml" 323 9238 9255 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9258
type(
  Format.formatter
)
ident(
  int_ref fmt "src/plugins/extra/META/METAPlugin.ml" 145 3984 4042 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4045
)
"src/plugins/extra/META/METAPlugin.ml" 323 9238 9259 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 323 9238 9240 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 322 9215 9217 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 321 9181 9183 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 314 8931 8933 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 313 8900 8902 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 312 8878 8880 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 311 8853 8855 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 175 4636 4638 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 169 4518 4520 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 165 4418 4420 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 158 4258 4260 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 152 4126 4128 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 146 4052 4054 "src/plugins/extra/META/METAPlugin.ml" 323 9238 9261
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 326 9264 9268 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9272
type(
  OASISPlugin.context_act -> OASISTypes.package -> OASISPlugin.context_act
)
ident(
  def main "src/plugins/extra/META/METAPlugin.ml" 377 10810 10810 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 326 9264 9273 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9277
type(
  OASISPlugin.context_act
)
ident(
  def ctxt "src/plugins/extra/META/METAPlugin.ml" 326 9264 9278 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
)
"src/plugins/extra/META/METAPlugin.ml" 326 9264 9278 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9281
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/extra/META/METAPlugin.ml" 327 9284 9286 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
)
"src/plugins/extra/META/METAPlugin.ml" 327 9284 9290 "src/plugins/extra/META/METAPlugin.ml" 327 9284 9300
type(
  OASISFindlib.group_t list
)
ident(
  def group_libs "src/plugins/extra/META/METAPlugin.ml" 330 9365 9367 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
)
"src/plugins/extra/META/METAPlugin.ml" 327 9284 9302 "src/plugins/extra/META/METAPlugin.ml" 327 9284 9330
type(
  OASISFindlib.library_name -> OASISTypes.findlib_name
)
ident(
  def findlib_name_of_library_name "src/plugins/extra/META/METAPlugin.ml" 330 9365 9367 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
)
"src/plugins/extra/META/METAPlugin.ml" 327 9284 9332 "src/plugins/extra/META/METAPlugin.ml" 327 9284 9333
type(
  OASISTypes.findlib_name -> OASISFindlib.library_name
)
"src/plugins/extra/META/METAPlugin.ml" 327 9284 9290 "src/plugins/extra/META/METAPlugin.ml" 327 9284 9333
type(
  OASISFindlib.group_t list *
  (OASISFindlib.library_name -> OASISTypes.findlib_name) *
  (OASISTypes.findlib_name -> OASISFindlib.library_name)
)
"src/plugins/extra/META/METAPlugin.ml" 328 9336 9340 "src/plugins/extra/META/METAPlugin.ml" 328 9336 9355
type(
  OASISTypes.package ->
  OASISFindlib.group_t list *
  (OASISFindlib.library_name -> OASISTypes.findlib_name) *
  (OASISTypes.findlib_name -> OASISFindlib.library_name)
)
ident(
  int_ref OASISFindlib.findlib_mapping "src/oasis/OASISFindlib.mli" 54 2619 2619 "src/oasis/OASISFindlib.mli" 57 2705 2739
)
"src/plugins/extra/META/METAPlugin.ml" 328 9336 9356 "src/plugins/extra/META/METAPlugin.ml" 328 9336 9359
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/extra/META/METAPlugin.ml" 326 9264 9278 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9281
)
"src/plugins/extra/META/METAPlugin.ml" 328 9336 9340 "src/plugins/extra/META/METAPlugin.ml" 328 9336 9359
type(
  OASISFindlib.group_t list *
  (OASISFindlib.library_name -> OASISTypes.findlib_name) *
  (OASISTypes.findlib_name -> OASISFindlib.library_name)
)
"src/plugins/extra/META/METAPlugin.ml" 330 9365 9371 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9383
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t
)
ident(
  def meta_created "src/plugins/extra/META/METAPlugin.ml" 331 9406 9408 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
)
"src/plugins/extra/META/METAPlugin.ml" 330 9365 9386 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9400
type(
  ?random:bool ->
  int -> (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/plugins/extra/META/METAPlugin.ml" 330 9365 9401 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9402
type(
  int
)
"src/plugins/extra/META/METAPlugin.ml" 330 9365 9386 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9402
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t
)
"src/plugins/extra/META/METAPlugin.ml" 331 9406 9408 "src/plugins/extra/META/METAPlugin.ml" 331 9406 9422
type(
  (OASISPlugin.context_act -> OASISFindlib.group_t -> OASISPlugin.context_act) ->
  OASISPlugin.context_act ->
  OASISFindlib.group_t list -> OASISPlugin.context_act
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/plugins/extra/META/METAPlugin.ml" 332 9423 9432 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9436
type(
  OASISPlugin.context_act
)
ident(
  def ctxt "src/plugins/extra/META/METAPlugin.ml" 332 9423 9437 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
)
"src/plugins/extra/META/METAPlugin.ml" 332 9423 9437 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9440
type(
  OASISFindlib.group_t
)
ident(
  def grp "src/plugins/extra/META/METAPlugin.ml" 333 9444 9451 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9455 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9462
type(
  OASISTypes.common_section
)
ident(
  def root_cs "src/plugins/extra/META/METAPlugin.ml" 334 9498 9505 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9464 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9471
type(
  OASISTypes.build_section
)
ident(
  def root_bs "src/plugins/extra/META/METAPlugin.ml" 334 9498 9505 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9473 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9474
type(
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9455 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9474
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9477 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9490
type(
  OASISFindlib.group_t ->
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
ident(
  int_ref OASISFindlib.root_of_group "src/oasis/OASISFindlib.mli" 70 3065 3065 "src/oasis/OASISFindlib.mli" 71 3095 3172
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9491 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9494
type(
  OASISFindlib.group_t
)
ident(
  int_ref grp "src/plugins/extra/META/METAPlugin.ml" 332 9423 9437 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9440
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9477 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9494
type(
  OASISTypes.common_section * OASISTypes.build_section *
  [ `Library of OASISTypes.library | `Object of OASISTypes.object_ ]
)
"src/plugins/extra/META/METAPlugin.ml" 334 9498 9509 "src/plugins/extra/META/METAPlugin.ml" 334 9498 9515
type(
  t
)
ident(
  def root_t "src/plugins/extra/META/METAPlugin.ml" 337 9563 9570 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
)
"src/plugins/extra/META/METAPlugin.ml" 335 9518 9527 "src/plugins/extra/META/METAPlugin.ml" 335 9518 9536
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/extra/META/METAPlugin.ml" 73 2459 2463 "src/plugins/extra/META/METAPlugin.ml" 73 2459 2472
)
"src/plugins/extra/META/METAPlugin.ml" 335 9518 9537 "src/plugins/extra/META/METAPlugin.ml" 335 9518 9544
type(
  OASISTypes.common_section
)
ident(
  int_ref root_cs "src/plugins/extra/META/METAPlugin.ml" 333 9444 9455 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9462
)
"src/plugins/extra/META/METAPlugin.ml" 335 9518 9537 "src/plugins/extra/META/METAPlugin.ml" 335 9518 9552
type(
  PropList.Data.t
)
"src/plugins/extra/META/METAPlugin.ml" 335 9518 9527 "src/plugins/extra/META/METAPlugin.ml" 335 9518 9552
type(
  t
)
"src/plugins/extra/META/METAPlugin.ml" 337 9563 9573 "src/plugins/extra/META/METAPlugin.ml" 337 9563 9579
type(
  t
)
ident(
  int_ref root_t "src/plugins/extra/META/METAPlugin.ml" 334 9498 9509 "src/plugins/extra/META/METAPlugin.ml" 334 9498 9515
)
"src/plugins/extra/META/METAPlugin.ml" 337 9563 9573 "src/plugins/extra/META/METAPlugin.ml" 337 9563 9586
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 339 9607 9622 "src/plugins/extra/META/METAPlugin.ml" 339 9607 9629
type(
  OASISUnixPath.unix_filename
)
ident(
  def meta_fn "src/plugins/extra/META/METAPlugin.ml" 342 9703 9714 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
)
"src/plugins/extra/META/METAPlugin.ml" 340 9632 9645 "src/plugins/extra/META/METAPlugin.ml" 340 9632 9665
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.concat "src/oasis/OASISUnixPath.mli" 53 2362 2362 "src/oasis/OASISUnixPath.mli" 53 2362 2421
)
"src/plugins/extra/META/METAPlugin.ml" 340 9632 9666 "src/plugins/extra/META/METAPlugin.ml" 340 9632 9673
type(
  OASISTypes.build_section
)
ident(
  int_ref root_bs "src/plugins/extra/META/METAPlugin.ml" 333 9444 9464 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9471
)
"src/plugins/extra/META/METAPlugin.ml" 340 9632 9666 "src/plugins/extra/META/METAPlugin.ml" 340 9632 9681
type(
  OASISTypes.unix_dirname
)
"src/plugins/extra/META/METAPlugin.ml" 340 9632 9682 "src/plugins/extra/META/METAPlugin.ml" 340 9632 9688
type(
  OASISUnixPath.unix_filename
)
"src/plugins/extra/META/METAPlugin.ml" 340 9632 9645 "src/plugins/extra/META/METAPlugin.ml" 340 9632 9688
type(
  OASISUnixPath.unix_filename
)
"src/plugins/extra/META/METAPlugin.ml" 342 9703 9718 "src/plugins/extra/META/METAPlugin.ml" 342 9703 9722
type(
  Buffer.t
)
ident(
  def buff "src/plugins/extra/META/METAPlugin.ml" 345 9769 9780 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
)
"src/plugins/extra/META/METAPlugin.ml" 343 9725 9738 "src/plugins/extra/META/METAPlugin.ml" 343 9725 9751
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/plugins/extra/META/METAPlugin.ml" 343 9725 9752 "src/plugins/extra/META/METAPlugin.ml" 343 9725 9754
type(
  int
)
"src/plugins/extra/META/METAPlugin.ml" 343 9725 9738 "src/plugins/extra/META/METAPlugin.ml" 343 9725 9754
type(
  Buffer.t
)
"src/plugins/extra/META/METAPlugin.ml" 345 9769 9783 "src/plugins/extra/META/METAPlugin.ml" 345 9769 9794
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t ->
  OASISUnixPath.unix_filename -> bool
)
ident(
  int_ref Stdlib.Hashtbl.mem "hashtbl.mli" 105 4864 4864 "hashtbl.mli" 105 4864 4898
)
"src/plugins/extra/META/METAPlugin.ml" 345 9769 9795 "src/plugins/extra/META/METAPlugin.ml" 345 9769 9807
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t
)
ident(
  int_ref meta_created "src/plugins/extra/META/METAPlugin.ml" 330 9365 9371 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9383
)
"src/plugins/extra/META/METAPlugin.ml" 345 9769 9808 "src/plugins/extra/META/METAPlugin.ml" 345 9769 9815
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref meta_fn "src/plugins/extra/META/METAPlugin.ml" 339 9607 9622 "src/plugins/extra/META/METAPlugin.ml" 339 9607 9629
)
"src/plugins/extra/META/METAPlugin.ml" 345 9769 9783 "src/plugins/extra/META/METAPlugin.ml" 345 9769 9815
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 346 9821 9834 "src/plugins/extra/META/METAPlugin.ml" 346 9821 9854
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> OASISTypes.name -> unit,
   unit, string, unit)
  format4 ->
  OASISUnixPath.unix_filename -> OASISTypes.name -> OASISTypes.name -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/plugins/extra/META/METAPlugin.ml" 347 9855 9871 "src/plugins/extra/META/METAPlugin.ml" 347 9855 9873
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> OASISTypes.name -> unit,
   unit, string, unit)
  format4 ->
  (OASISUnixPath.unix_filename -> OASISTypes.name -> OASISTypes.name -> unit,
   unit, string, unit)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/extra/META/METAPlugin.ml" 347 9855 9874 "src/plugins/extra/META/METAPlugin.ml" 350 10056 10102
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> OASISTypes.name -> unit,
   unit, string, unit)
  format4
)
"src/plugins/extra/META/METAPlugin.ml" 347 9855 9870 "src/plugins/extra/META/METAPlugin.ml" 350 10056 10103
type(
  (OASISUnixPath.unix_filename -> OASISTypes.name -> OASISTypes.name -> unit,
   unit, string, unit)
  format4
)
"src/plugins/extra/META/METAPlugin.ml" 351 10104 10119 "src/plugins/extra/META/METAPlugin.ml" 351 10104 10126
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref meta_fn "src/plugins/extra/META/METAPlugin.ml" 339 9607 9622 "src/plugins/extra/META/METAPlugin.ml" 339 9607 9629
)
"src/plugins/extra/META/METAPlugin.ml" 351 10104 10127 "src/plugins/extra/META/METAPlugin.ml" 351 10104 10134
type(
  OASISTypes.common_section
)
ident(
  int_ref root_cs "src/plugins/extra/META/METAPlugin.ml" 333 9444 9455 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9462
)
"src/plugins/extra/META/METAPlugin.ml" 351 10104 10127 "src/plugins/extra/META/METAPlugin.ml" 351 10104 10142
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 352 10143 10159 "src/plugins/extra/META/METAPlugin.ml" 352 10143 10171
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t ->
  OASISUnixPath.unix_filename -> OASISTypes.name
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/plugins/extra/META/METAPlugin.ml" 352 10143 10172 "src/plugins/extra/META/METAPlugin.ml" 352 10143 10184
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t
)
ident(
  int_ref meta_created "src/plugins/extra/META/METAPlugin.ml" 330 9365 9371 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9383
)
"src/plugins/extra/META/METAPlugin.ml" 352 10143 10185 "src/plugins/extra/META/METAPlugin.ml" 352 10143 10192
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref meta_fn "src/plugins/extra/META/METAPlugin.ml" 339 9607 9622 "src/plugins/extra/META/METAPlugin.ml" 339 9607 9629
)
"src/plugins/extra/META/METAPlugin.ml" 352 10143 10158 "src/plugins/extra/META/METAPlugin.ml" 352 10143 10193
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 346 9821 9834 "src/plugins/extra/META/METAPlugin.ml" 352 10143 10193
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 345 9769 9780 "src/plugins/extra/META/METAPlugin.ml" 352 10143 10193
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10206 "src/plugins/extra/META/METAPlugin.ml" 353 10195 10217
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t ->
  OASISUnixPath.unix_filename -> OASISTypes.name -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10218 "src/plugins/extra/META/METAPlugin.ml" 353 10195 10230
type(
  (OASISUnixPath.unix_filename, OASISTypes.name) Hashtbl.t
)
ident(
  int_ref meta_created "src/plugins/extra/META/METAPlugin.ml" 330 9365 9371 "src/plugins/extra/META/METAPlugin.ml" 330 9365 9383
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10231 "src/plugins/extra/META/METAPlugin.ml" 353 10195 10238
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref meta_fn "src/plugins/extra/META/METAPlugin.ml" 339 9607 9622 "src/plugins/extra/META/METAPlugin.ml" 339 9607 9629
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10239 "src/plugins/extra/META/METAPlugin.ml" 353 10195 10246
type(
  OASISTypes.common_section
)
ident(
  int_ref root_cs "src/plugins/extra/META/METAPlugin.ml" 333 9444 9455 "src/plugins/extra/META/METAPlugin.ml" 333 9444 9462
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10239 "src/plugins/extra/META/METAPlugin.ml" 353 10195 10254
type(
  OASISTypes.name
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10206 "src/plugins/extra/META/METAPlugin.ml" 353 10195 10254
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 355 10257 10268 "src/plugins/extra/META/METAPlugin.ml" 355 10257 10281
type(
  OASISTypes.package ->
  t ->
  (OASISTypes.name -> OASISTypes.findlib_full) ->
  Format.formatter -> OASISFindlib.group_t -> unit
)
ident(
  int_ref pp_print_meta "src/plugins/extra/META/METAPlugin.ml" 145 3984 3988 "src/plugins/extra/META/METAPlugin.ml" 145 3984 4001
)
"src/plugins/extra/META/METAPlugin.ml" 356 10282 10295 "src/plugins/extra/META/METAPlugin.ml" 356 10282 10298
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/extra/META/METAPlugin.ml" 326 9264 9278 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9281
)
"src/plugins/extra/META/METAPlugin.ml" 357 10299 10312 "src/plugins/extra/META/METAPlugin.ml" 357 10299 10318
type(
  t
)
ident(
  int_ref root_t "src/plugins/extra/META/METAPlugin.ml" 334 9498 9509 "src/plugins/extra/META/METAPlugin.ml" 334 9498 9515
)
"src/plugins/extra/META/METAPlugin.ml" 358 10319 10332 "src/plugins/extra/META/METAPlugin.ml" 358 10319 10360
type(
  OASISTypes.name -> OASISTypes.findlib_full
)
ident(
  int_ref findlib_name_of_library_name "src/plugins/extra/META/METAPlugin.ml" 327 9284 9302 "src/plugins/extra/META/METAPlugin.ml" 327 9284 9330
)
"src/plugins/extra/META/METAPlugin.ml" 359 10361 10375 "src/plugins/extra/META/METAPlugin.ml" 359 10361 10401
type(
  Buffer.t -> Format.formatter
)
ident(
  int_ref Stdlib.Format.formatter_of_buffer "format.mli" 962 37555 37555 "format.mli" 962 37555 37602
)
"src/plugins/extra/META/METAPlugin.ml" 359 10361 10402 "src/plugins/extra/META/METAPlugin.ml" 359 10361 10406
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/META/METAPlugin.ml" 342 9703 9718 "src/plugins/extra/META/METAPlugin.ml" 342 9703 9722
)
"src/plugins/extra/META/METAPlugin.ml" 359 10361 10374 "src/plugins/extra/META/METAPlugin.ml" 359 10361 10407
type(
  Format.formatter
)
"src/plugins/extra/META/METAPlugin.ml" 360 10408 10421 "src/plugins/extra/META/METAPlugin.ml" 360 10408 10424
type(
  OASISFindlib.group_t
)
ident(
  int_ref grp "src/plugins/extra/META/METAPlugin.ml" 332 9423 9437 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9440
)
"src/plugins/extra/META/METAPlugin.ml" 355 10257 10268 "src/plugins/extra/META/METAPlugin.ml" 360 10408 10424
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 361 10426 10437 "src/plugins/extra/META/METAPlugin.ml" 361 10426 10457
type(
  OASISFileTemplate.template ->
  OASISPlugin.context_act -> OASISPlugin.context_act
)
ident(
  int_ref OASISPlugin.add_file "src/oasis/OASISPlugin.mli" 286 8011 8011 "src/oasis/OASISPlugin.mli" 286 8011 8081
)
"src/plugins/extra/META/METAPlugin.ml" 362 10458 10472 "src/plugins/extra/META/METAPlugin.ml" 362 10458 10495
type(
  ctxt:OASISContext.t ->
  template:bool ->
  ?disable_oasis_section:bool ->
  OASISUnixPath.host_filename ->
  OASISFileTemplate.comment ->
  OASISFileTemplate.line list -> OASISFileTemplate.template
)
ident(
  int_ref OASISFileTemplate.template_of_string_list "src/oasis/OASISFileTemplate.mli" 121 3953 3953 "src/oasis/OASISFileTemplate.mli" 123 4024 4106
)
"src/plugins/extra/META/METAPlugin.ml" 363 10496 10518 "src/plugins/extra/META/METAPlugin.ml" 363 10496 10522
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/META/METAPlugin.ml" 332 9423 9432 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9436
)
"src/plugins/extra/META/METAPlugin.ml" 363 10496 10518 "src/plugins/extra/META/METAPlugin.ml" 363 10496 10539
type(
  OASISContext.t
)
"src/plugins/extra/META/METAPlugin.ml" 364 10540 10566 "src/plugins/extra/META/METAPlugin.ml" 364 10540 10570
type(
  bool
)
"src/plugins/extra/META/METAPlugin.ml" 365 10571 10587 "src/plugins/extra/META/METAPlugin.ml" 365 10571 10594
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref meta_fn "src/plugins/extra/META/METAPlugin.ml" 339 9607 9622 "src/plugins/extra/META/METAPlugin.ml" 339 9607 9629
)
"src/plugins/extra/META/METAPlugin.ml" 366 10595 10611 "src/plugins/extra/META/METAPlugin.ml" 366 10595 10623
type(
  OASISFileTemplate.comment
)
ident(
  int_ref OASISFileTemplate.comment_meta "src/oasis/OASISFileTemplate.mli" 75 2773 2773 "src/oasis/OASISFileTemplate.mli" 75 2773 2798
)
"src/plugins/extra/META/METAPlugin.ml" 367 10624 10641 "src/plugins/extra/META/METAPlugin.ml" 367 10624 10666
type(
  ?do_trim:bool -> string -> OASISFileTemplate.line list
)
ident(
  int_ref OASISString.split_newline "src/oasis/OASISString.ml" 290 7551 7555 "src/oasis/OASISString.ml" 290 7551 7568
)
"src/plugins/extra/META/METAPlugin.ml" 367 10624 10676 "src/plugins/extra/META/METAPlugin.ml" 367 10624 10681
type(
  bool
)
type(
  bool option
)
"src/plugins/extra/META/METAPlugin.ml" 368 10682 10702 "src/plugins/extra/META/METAPlugin.ml" 368 10682 10717
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/plugins/extra/META/METAPlugin.ml" 368 10682 10718 "src/plugins/extra/META/METAPlugin.ml" 368 10682 10722
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/META/METAPlugin.ml" 342 9703 9718 "src/plugins/extra/META/METAPlugin.ml" 342 9703 9722
)
"src/plugins/extra/META/METAPlugin.ml" 368 10682 10701 "src/plugins/extra/META/METAPlugin.ml" 368 10682 10723
type(
  string
)
"src/plugins/extra/META/METAPlugin.ml" 367 10624 10640 "src/plugins/extra/META/METAPlugin.ml" 368 10682 10724
type(
  OASISFileTemplate.line list
)
"src/plugins/extra/META/METAPlugin.ml" 362 10458 10471 "src/plugins/extra/META/METAPlugin.ml" 368 10682 10725
type(
  OASISFileTemplate.template
)
"src/plugins/extra/META/METAPlugin.ml" 369 10726 10739 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/META/METAPlugin.ml" 332 9423 9432 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9436
)
"src/plugins/extra/META/METAPlugin.ml" 361 10426 10437 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 355 10257 10268 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 353 10195 10206 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 345 9769 9780 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 342 9703 9714 "src/plugins/extra/META/METAPlugin.ml" 369 10726 10743
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 338 9592 9601 "src/plugins/extra/META/METAPlugin.ml" 370 10744 10756
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 372 10769 10778 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/META/METAPlugin.ml" 332 9423 9432 "src/plugins/extra/META/METAPlugin.ml" 332 9423 9436
)
"src/plugins/extra/META/METAPlugin.ml" 337 9563 9570 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 334 9498 9505 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 333 9444 9451 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10782
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 332 9423 9427 "src/plugins/extra/META/METAPlugin.ml" 372 10769 10783
type(
  OASISPlugin.context_act -> OASISFindlib.group_t -> OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 373 10784 10788 "src/plugins/extra/META/METAPlugin.ml" 373 10784 10792
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/META/METAPlugin.ml" 326 9264 9273 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9277
)
"src/plugins/extra/META/METAPlugin.ml" 374 10793 10797 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
type(
  OASISFindlib.group_t list
)
ident(
  int_ref group_libs "src/plugins/extra/META/METAPlugin.ml" 327 9284 9290 "src/plugins/extra/META/METAPlugin.ml" 327 9284 9300
)
"src/plugins/extra/META/METAPlugin.ml" 331 9406 9408 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 330 9365 9367 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 327 9284 9286 "src/plugins/extra/META/METAPlugin.ml" 374 10793 10807
type(
  OASISPlugin.context_act
)
"src/plugins/extra/META/METAPlugin.ml" 377 10810 10814 "src/plugins/extra/META/METAPlugin.ml" 377 10810 10818
type(
  unit -> unit
)
ident(
  def init "src/plugins/extra/META/METAPlugin.ml" 383 10965 11030 "src/plugins/extra/META/METAPlugin.ml" 0 0 -1
)
"src/plugins/extra/META/METAPlugin.ml" 377 10810 10819 "src/plugins/extra/META/METAPlugin.ml" 377 10810 10821
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 378 10824 10826 "src/plugins/extra/META/METAPlugin.ml" 378 10824 10839
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
  OASISTypes.plugin -> OASISPlugin.help -> unit
)
ident(
  int_ref OASISPlugin.register_help "src/oasis/OASISPlugin.mli" 189 5455 5455 "src/oasis/OASISPlugin.mli" 189 5455 5517
)
"src/plugins/extra/META/METAPlugin.ml" 379 10840 10844 "src/plugins/extra/META/METAPlugin.ml" 379 10840 10850
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
  OASISTypes.plugin
)
ident(
  int_ref plugin "src/plugins/extra/META/METAPlugin.ml" 54 2116 2120 "src/plugins/extra/META/METAPlugin.ml" 54 2116 2126
)
"src/plugins/extra/META/METAPlugin.ml" 380 10851 10857 "src/plugins/extra/META/METAPlugin.ml" 380 10851 10869
type(
  string list -> OASISPlugin.help
)
ident(
  int_ref OASISPlugin.help_default "src/oasis/OASISPlugin.mli" 183 5271 5271 "src/oasis/OASISPlugin.mli" 183 5271 5308
)
"src/plugins/extra/META/METAPlugin.ml" 380 10851 10870 "src/plugins/extra/META/METAPlugin.ml" 380 10851 10898
type(
  string list
)
ident(
  int_ref METAData.readme_template_mkd "src/plugins/extra/META/METAData.ml" 2 57 61 "src/plugins/extra/META/METAData.ml" 2 57 80
)
"src/plugins/extra/META/METAPlugin.ml" 380 10851 10856 "src/plugins/extra/META/METAPlugin.ml" 380 10851 10899
type(
  OASISPlugin.help
)
"src/plugins/extra/META/METAPlugin.ml" 381 10905 10925 "src/plugins/extra/META/METAPlugin.ml" 381 10905 10927
type(
  int
)
"src/plugins/extra/META/METAPlugin.ml" 380 10851 10855 "src/plugins/extra/META/METAPlugin.ml" 381 10905 10928
type(
  OASISPlugin.help
)
"src/plugins/extra/META/METAPlugin.ml" 378 10824 10826 "src/plugins/extra/META/METAPlugin.ml" 381 10905 10928
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 382 10930 10932 "src/plugins/extra/META/METAPlugin.ml" 382 10930 10950
type(
  OASISPlugin.Extra.self_t -> OASISPlugin.Extra.act -> unit
)
ident(
  int_ref OASISPlugin.Extra.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/extra/META/METAPlugin.ml" 382 10930 10951 "src/plugins/extra/META/METAPlugin.ml" 382 10930 10958
type(
  OASISPlugin.Extra.self_t
)
ident(
  int_ref self_id "src/plugins/extra/META/METAPlugin.ml" 58 2178 2182 "src/plugins/extra/META/METAPlugin.ml" 58 2178 2189
)
"src/plugins/extra/META/METAPlugin.ml" 382 10930 10959 "src/plugins/extra/META/METAPlugin.ml" 382 10930 10963
type(
  OASISPlugin.Extra.act
)
ident(
  int_ref main "src/plugins/extra/META/METAPlugin.ml" 326 9264 9268 "src/plugins/extra/META/METAPlugin.ml" 326 9264 9272
)
"src/plugins/extra/META/METAPlugin.ml" 382 10930 10932 "src/plugins/extra/META/METAPlugin.ml" 382 10930 10963
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 383 10965 10967 "src/plugins/extra/META/METAPlugin.ml" 383 10965 10993
type(
  OASISTypes.section_kind ->
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_section "src/oasis/OASISPlugin.mli" 160 4760 4760 "src/oasis/OASISPlugin.mli" 161 4792 4861
)
"src/plugins/extra/META/METAPlugin.ml" 383 10965 10994 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11002
type(
  OASISTypes.section_kind
)
"src/plugins/extra/META/METAPlugin.ml" 383 10965 11003 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11009
type(
  OASISPlugin.all_t
)
ident(
  int_ref all_id "src/plugins/extra/META/METAPlugin.ml" 58 2178 2191 "src/plugins/extra/META/METAPlugin.ml" 58 2178 2197
)
"src/plugins/extra/META/METAPlugin.ml" 383 10965 11010 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11020
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/META/METAPlugin.ml" 69 2413 2417 "src/plugins/extra/META/METAPlugin.ml" 69 2413 2427
)
"src/plugins/extra/META/METAPlugin.ml" 383 10965 11021 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11030
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/extra/META/METAPlugin.ml" 73 2459 2463 "src/plugins/extra/META/METAPlugin.ml" 73 2459 2472
)
"src/plugins/extra/META/METAPlugin.ml" 383 10965 10967 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11030
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 382 10930 10932 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11030
type(
  unit
)
"src/plugins/extra/META/METAPlugin.ml" 378 10824 10826 "src/plugins/extra/META/METAPlugin.ml" 383 10965 11030
type(
  unit
)
