"src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1873 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1879
type(
  [> `Extra ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1933 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1882 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1888
type(
  [> `Extra ] as 'a
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1890 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1900
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1907 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1930
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/devfiles/DevFilesPlugin.ml" 36 1869 1902 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1930
type(
  OASISVersion.t option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1882 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1930
type(
  'a * string * OASISVersion.t option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1937 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1944
type(
  OASISPlugin.Extra.self_t
)
ident(
  def self_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1979 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1946 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1952
type(
  OASISPlugin.all_t
)
ident(
  def all_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1979 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1937 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1952
type(
  OASISPlugin.Extra.self_t * OASISPlugin.all_t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 40 1955 1957 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 40 1955 1969
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/devfiles/DevFilesPlugin.ml" 40 1955 1970 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 40 1955 1976
type(
  OASISPlugin.Extra.self_plugin
)
ident(
  int_ref plugin "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1873 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1879
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 40 1955 1957 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 40 1955 1976
type(
  OASISPlugin.Extra.self_t * OASISPlugin.all_t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1983 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1994
type(
  string list
)
ident(
  def all_targets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 58 2150 2150 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 45 2001 2005 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 45 2001 2012
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 46 2014 2018 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 46 2014 2023
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 47 2025 2029 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 47 2025 2035
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 48 2037 2041 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 48 2037 2046
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 49 2048 2052 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 49 2048 2061
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 50 2063 2067 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 50 2063 2078
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 51 2080 2084 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 51 2080 2095
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 52 2097 2101 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 52 2097 2108
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 53 2110 2114 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 53 2110 2125
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 54 2127 2131 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 54 2127 2142
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 44 1997 1999 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 55 2144 2147
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2270 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2280
type(
  t OASISPlugin.prop
)
ident(
  def pivot_data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2312 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 67 2283 2285 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 67 2283 2302
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/devfiles/DevFilesPlugin.ml" 67 2283 2303 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 67 2283 2309
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref plugin "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1873 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1879
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 67 2283 2285 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 67 2283 2309
type(
  t OASISPlugin.prop
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2316 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2325
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3439 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 71 2328 2334 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 71 2328 2352
type(
  PropList.Data.t -> string list
)
ident(
  def makefile_notargets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 86 2742 2744 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 72 2355 2359 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 72 2355 2368
type(
  OASISTypes.package OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default:string list ->
  ?feature:OASISFeatures.t ->
  string list OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.package -> t -> string list) -> PropList.Data.t -> string list
)
ident(
  int_ref OASISSchema.new_field "src/oasis/OASISSchema.mli" 48 2600 2600 "src/oasis/OASISSchema.mli" 57 2796 2819
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 73 2369 2375 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 73 2369 2394
type(
  OASISTypes.package OASISSchema.t
)
ident(
  int_ref OASISPackage.schema "src/oasis/OASISPackage.mli" 31 1806 1806 "src/oasis/OASISPackage.mli" 31 1806 1850
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 74 2395 2401 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 74 2395 2407
type(
  OASISPlugin.all_t
)
ident(
  int_ref all_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1946 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1952
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 75 2408 2414 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 75 2408 2433
type(
  OASISTypes.name
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 76 2434 2449 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 76 2434 2451
type(
  string list
)
type(
  string list option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 77 2452 2459 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 77 2452 2486
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/devfiles/DevFilesPlugin.ml" 78 2487 2497 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 78 2487 2516
type(
  (unit -> string) -> (string * string) list -> string OASISValues.t
)
ident(
  int_ref OASISValues.choices "src/oasis/OASISValues.mli" 132 4270 4270 "src/oasis/OASISValues.mli" 132 4270 4329
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2534 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2535
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2539 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2541
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/devfiles/DevFilesPlugin.ml" 79 2517 2542 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2550
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2539 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2550
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2529 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 79 2517 2551
type(
  unit -> string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2565 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2577
type(
  (string -> string * string) -> string list -> (string * string) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2583 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2584
type(
  string
)
ident(
  def s "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2588 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2592
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2588 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2589
type(
  string
)
ident(
  int_ref s "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2583 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2584
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2591 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2592
type(
  string
)
ident(
  int_ref s "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2583 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2584
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2588 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2592
type(
  string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2578 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2593
type(
  string -> string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2594 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2605
type(
  string list
)
ident(
  int_ref all_targets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1983 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1994
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2564 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2606
type(
  (string * string) list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 78 2487 2496 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2607
type(
  string OASISValues.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 77 2452 2458 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 80 2552 2608
type(
  string list OASISValues.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 81 2609 2620 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 81 2609 2622
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 82 2626 2635 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 82 2626 2637
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/devfiles/DevFilesPlugin.ml" 82 2626 2638 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 82 2626 2683
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 82 2626 2635 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 82 2626 2683
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 81 2609 2615 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 82 2626 2684
type(
  unit -> string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2691 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2701
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2270 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2280
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2707 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2708
type(
  OASISTypes.package
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2709 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2710
type(
  t
)
ident(
  def t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2714 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2734
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2714 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2715
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2709 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2710
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2714 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2734
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2702 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2735
type(
  OASISTypes.package -> t -> string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 72 2355 2359 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 83 2685 2735
type(
  PropList.Data.t -> string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 86 2742 2748 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 86 2742 2763
type(
  PropList.Data.t -> bool
)
ident(
  def enable_makefile "src/plugins/extra/devfiles/DevFilesPlugin.ml" 98 2992 2994 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 87 2766 2770 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 87 2766 2779
type(
  OASISTypes.package OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default:bool ->
  ?feature:OASISFeatures.t ->
  bool OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.package -> t -> bool) -> PropList.Data.t -> bool
)
ident(
  int_ref OASISSchema.new_field "src/oasis/OASISSchema.mli" 48 2600 2600 "src/oasis/OASISSchema.mli" 57 2796 2819
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 88 2780 2786 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 88 2780 2805
type(
  OASISTypes.package OASISSchema.t
)
ident(
  int_ref OASISPackage.schema "src/oasis/OASISPackage.mli" 31 1806 1806 "src/oasis/OASISPackage.mli" 31 1806 1850
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 89 2806 2812 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 89 2806 2818
type(
  OASISPlugin.all_t
)
ident(
  int_ref all_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1946 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1952
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 90 2819 2825 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 90 2819 2841
type(
  OASISTypes.name
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 91 2842 2857 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 91 2842 2861
type(
  bool
)
type(
  bool option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 92 2862 2868 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 92 2862 2887
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/devfiles/DevFilesPlugin.ml" 93 2888 2899 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 93 2888 2901
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 94 2905 2914 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 94 2905 2916
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/devfiles/DevFilesPlugin.ml" 94 2905 2917 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 94 2905 2936
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 94 2905 2914 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 94 2905 2936
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 93 2888 2894 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 94 2905 2937
type(
  unit -> string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2944 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2954
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2270 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2280
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2960 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2961
type(
  OASISTypes.package
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2962 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2963
type(
  t
)
ident(
  def t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2967 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2984
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2967 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2968
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2962 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2963
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2967 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2984
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2955 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2985
type(
  OASISTypes.package -> t -> bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 87 2766 2770 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 95 2938 2985
type(
  PropList.Data.t -> bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 98 2992 2998 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 98 2992 3014
type(
  PropList.Data.t -> bool
)
ident(
  def enable_configure "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3255 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 99 3017 3021 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 99 3017 3030
type(
  OASISTypes.package OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default:bool ->
  ?feature:OASISFeatures.t ->
  bool OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.package -> t -> bool) -> PropList.Data.t -> bool
)
ident(
  int_ref OASISSchema.new_field "src/oasis/OASISSchema.mli" 48 2600 2600 "src/oasis/OASISSchema.mli" 57 2796 2819
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 100 3031 3037 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 100 3031 3056
type(
  OASISTypes.package OASISSchema.t
)
ident(
  int_ref OASISPackage.schema "src/oasis/OASISPackage.mli" 31 1806 1806 "src/oasis/OASISPackage.mli" 31 1806 1850
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 101 3057 3063 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 101 3057 3069
type(
  OASISPlugin.all_t
)
ident(
  int_ref all_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1946 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1952
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 102 3070 3076 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 102 3070 3093
type(
  OASISTypes.name
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 103 3094 3109 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 103 3094 3113
type(
  bool
)
type(
  bool option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 104 3114 3120 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 104 3114 3139
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/devfiles/DevFilesPlugin.ml" 105 3140 3151 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 105 3140 3153
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 106 3157 3166 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 106 3157 3168
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/devfiles/DevFilesPlugin.ml" 106 3157 3169 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 106 3157 3196
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 106 3157 3166 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 106 3157 3196
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 105 3140 3146 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 106 3157 3197
type(
  unit -> string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3204 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3214
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2270 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2280
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3220 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3221
type(
  OASISTypes.package
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3222 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3223
type(
  t
)
ident(
  def t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3227 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3245
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3227 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3228
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3222 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3223
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3227 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3245
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3215 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3246
type(
  OASISTypes.package -> t -> bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 99 3017 3021 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 107 3198 3246
type(
  PropList.Data.t -> bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3260 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3264
type(
  PropList.Data.t
)
ident(
  def data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 111 3268 3273 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3435
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 112 3275 3303 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 112 3275 3321
type(
  PropList.Data.t -> string list
)
ident(
  int_ref makefile_notargets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 71 2328 2334 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 71 2328 2352
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 112 3275 3322 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 112 3275 3326
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3260 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3264
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 112 3275 3303 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 112 3275 3326
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 113 3328 3356 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 113 3328 3371
type(
  PropList.Data.t -> bool
)
ident(
  int_ref enable_makefile "src/plugins/extra/devfiles/DevFilesPlugin.ml" 86 2742 2748 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 86 2742 2763
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 113 3328 3372 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 113 3328 3376
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3260 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3264
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 113 3328 3356 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 113 3328 3376
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 114 3378 3406 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 114 3378 3422
type(
  PropList.Data.t -> bool
)
ident(
  int_ref enable_configure "src/plugins/extra/devfiles/DevFilesPlugin.ml" 98 2992 2998 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 98 2992 3014
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 114 3378 3423 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 114 3378 3427
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3260 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3264
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 114 3378 3406 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 114 3378 3427
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 111 3268 3273 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3435
type(
  t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 110 3253 3255 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
type(
  PropList.Data.t -> t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 98 2992 2994 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
type(
  PropList.Data.t -> t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 86 2742 2744 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
type(
  PropList.Data.t -> t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 71 2328 2330 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 115 3429 3436
type(
  PropList.Data.t -> t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3443 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3447
type(
  OASISPlugin.context_act -> OASISTypes.package -> OASISPlugin.context_act
)
ident(
  def main "src/plugins/extra/devfiles/DevFilesPlugin.ml" 258 8104 8104 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3448 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3452
type(
  OASISPlugin.context_act
)
ident(
  def ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3453 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3453 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3456
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3461 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3465 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3466
type(
  t
)
ident(
  def t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3506 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3473 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3482
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2316 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2325
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3483 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3486
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3453 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3456
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3483 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3498
type(
  PropList.Data.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3473 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 120 3469 3498
type(
  t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3511 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3530
type(
  string
)
ident(
  def makefile_setup_deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3756 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3532 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3540
type(
  string
)
ident(
  def packages "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3756 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3510 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3541
type(
  string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 123 3544 3554 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 123 3544 3558
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3448 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3452
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 123 3544 3554 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 123 3544 3565
type(
  OASISSetupUpdate.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3579 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3603
type(
  OASISSetupUpdate.t
)
type(
  OASISSetupUpdate.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3608 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3617
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3619 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3652
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3607 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 124 3571 3653
type(
  string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3662 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3683
type(
  OASISSetupUpdate.t
)
type(
  OASISSetupUpdate.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3688 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3697
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3699 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3701
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3687 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 125 3654 3702
type(
  string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3711 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3736
type(
  OASISSetupUpdate.t
)
type(
  OASISSetupUpdate.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3741 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3743
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3745 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3747
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3740 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3748
type(
  string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 123 3544 3548 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 126 3703 3748
type(
  string * string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
type(
  bool
)
ident(
  def compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3854 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3784 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3810
type(
  OASISFeatures.t -> OASISTypes.package -> bool
)
ident(
  int_ref OASISFeatures.package_test "src/oasis/OASISFeatures.ml" 291 9956 9960 "src/oasis/OASISFeatures.ml" 291 9956 9972
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3811 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3842
type(
  OASISFeatures.t
)
ident(
  int_ref OASISFeatures.compiled_setup_ml "src/oasis/OASISFeatures.ml" 367 11427 11431 "src/oasis/OASISFeatures.ml" 367 11427 11448
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3843 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3846
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3453 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3456
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3784 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 129 3780 3846
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3857 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3874
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3875 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3877
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3878 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3881
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3882 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3883
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3465 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3466
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3882 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3899
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3878 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3899
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3857 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3899
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 132 3905 3909 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 132 3905 3927
type(
  ctxt:OASISContext.t -> (unit, unit, string, unit) format4 -> unit
)
ident(
  int_ref OASISMessage.error "src/oasis/OASISMessage.mli" 59 2501 2501 "src/oasis/OASISMessage.mli" 59 2501 2573
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 133 3928 3940 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 133 3928 3944
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3448 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3452
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 133 3928 3940 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 133 3928 3949
type(
  OASISContext.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 134 3950 3956 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 135 4030 4057
type(
  (unit, unit, string, unit) format4
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 132 3905 3909 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 135 4030 4057
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3854 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 135 4030 4057
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4065 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4069
type(
  OASISPlugin.context_act
)
ident(
  def ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 220 6957 6959 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 138 4125 4132 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 138 4125 4133
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3465 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3466
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 138 4125 4132 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 138 4125 4149
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
type(
  Buffer.t
)
ident(
  def buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4232 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 141 4186 4196 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 141 4186 4209
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 141 4186 4210 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 141 4186 4212
type(
  int
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 141 4186 4196 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 141 4186 4212
type(
  Buffer.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4236 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4243
type(
  OASISUtils.SetString.elt list
)
ident(
  def targets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4476 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 144 4246 4260 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 144 4246 4268
type(
  OASISUtils.SetString.t
)
ident(
  def excludes "src/plugins/extra/devfiles/DevFilesPlugin.ml" 147 4346 4356 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 149 4433 4456
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4283 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4311
type(
  OASISUtils.SetString.elt list -> OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.of_list "src/oasis/OASISUtils.mli" 65 2448 2452 "src/oasis/OASISUtils.mli" 65 2448 2478
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4312 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4313
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3465 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3466
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4312 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4332
type(
  OASISUtils.SetString.elt list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4283 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 145 4271 4332
type(
  OASISUtils.SetString.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 147 4346 4356 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 147 4346 4367
type(
  (OASISUtils.SetString.elt -> bool) ->
  OASISUtils.SetString.elt list -> OASISUtils.SetString.elt list
)
ident(
  int_ref Stdlib.List.filter "list.mli" 327 10954 10954 "list.mli" 327 10954 11001
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4385 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4386
type(
  OASISUtils.SetString.elt
)
ident(
  def t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4390 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4431
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4390 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4393
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4395 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4419
type(
  OASISUtils.SetString.elt -> OASISUtils.SetString.t -> bool
)
ident(
  int_ref OASISUtils.SetString.mem "set.mli" 80 3035 3039 "set.mli" 80 3035 3064
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4420 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4421
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4385 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4386
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4422 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4430
type(
  OASISUtils.SetString.t
)
ident(
  int_ref excludes "src/plugins/extra/devfiles/DevFilesPlugin.ml" 144 4246 4260 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 144 4246 4268
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4394 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4431
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4390 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4431
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4380 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 148 4368 4432
type(
  OASISUtils.SetString.elt -> bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 149 4433 4445 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 149 4433 4456
type(
  OASISUtils.SetString.elt list
)
ident(
  int_ref all_targets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1983 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 43 1979 1994
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 147 4346 4356 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 149 4433 4456
type(
  OASISUtils.SetString.elt list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 144 4246 4256 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 149 4433 4456
type(
  OASISUtils.SetString.elt list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4480 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4494
type(
  ?need_configure:bool -> ?other_depends:string list -> string -> unit
)
ident(
  def add_one_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 169 5132 5140 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4497 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4511
type(
  bool
)
ident(
  def need_configure "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4518 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4512 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4516
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4512 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4516
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4512 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4516
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4520 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4533
type(
  string list
)
ident(
  def other_depends "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4538 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4534 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4536
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
type(
  string list
)
ident(
  int_ref *sth* "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4534 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4536
)
type(
  string list
)
type(
  string list option
)
type(
  string list option
)
ident(
  def *sth* "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4534 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4536
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4538 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4540
type(
  string
)
ident(
  def nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4553 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4557 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4567
type(
  string list -> string list
)
ident(
  def setup_deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4634 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4568 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4569
type(
  string list
)
ident(
  def l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4572 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4620
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4575 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4592
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4598 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4608
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4612 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4613
type(
  string list
)
ident(
  int_ref l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4568 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4569
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4598 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4613
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4619 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4620
type(
  string list
)
ident(
  int_ref l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4568 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4569
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4572 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4620
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4638 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4642
type(
  string
)
ident(
  def deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4891 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 154 4645 4657 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 154 4645 4670
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 154 4645 4671 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 154 4645 4674
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 155 4675 4694 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 155 4675 4708
type(
  bool
)
ident(
  int_ref need_configure "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4497 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4511
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4737 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4738
type(
  string list
)
ident(
  def l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4742 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4770
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4742 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4754
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4758 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4768
type(
  string list -> string list
)
ident(
  int_ref setup_deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4557 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4567
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4769 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4770
type(
  string list
)
ident(
  int_ref l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4737 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4738
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4758 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4770
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4742 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4770
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4732 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 156 4714 4771
type(
  string list -> string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4816 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4817
type(
  string list
)
ident(
  def l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4821 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4833
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4821 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4831
type(
  string list -> string list
)
ident(
  int_ref setup_deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4557 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4567
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4832 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4833
type(
  string list
)
ident(
  int_ref l "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4816 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4817
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4821 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4833
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4811 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4834
type(
  string list -> string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 155 4675 4690 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 158 4793 4835
type(
  string list -> string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 159 4836 4853 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 159 4836 4866
type(
  string list
)
ident(
  int_ref other_depends "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4520 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4533
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 155 4675 4689 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 159 4836 4867
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 154 4645 4657 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 159 4836 4867
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4895 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4899
type(
  string
)
ident(
  def deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 162 4945 4955 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4905 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4909
type(
  string
)
ident(
  int_ref deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4638 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4642
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4910 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4912
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4913 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4915
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4905 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4915
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4921 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4924
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4925 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4926
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4927 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4931
type(
  string
)
ident(
  int_ref deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4638 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4642
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4921 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4931
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4937 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4941
type(
  string
)
ident(
  int_ref deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4638 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4642
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4902 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4941
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 162 4945 4955 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 162 4945 4969
type(
  Buffer.t ->
  (string -> string -> string -> string -> unit, Buffer.t, unit) format ->
  string -> string -> string -> string -> unit
)
ident(
  int_ref Stdlib.Printf.bprintf "printf.mli" 139 7305 7305 "printf.mli" 139 7305 7364
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 162 4945 4970 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 162 4945 4974
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 163 4975 4987 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 164 4997 5040
type(
  (string -> string -> string -> string -> unit, Buffer.t, unit) format
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 165 5041 5053 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 165 5041 5055
type(
  string
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4538 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 166 5056 5068 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 166 5056 5072
type(
  string
)
ident(
  int_ref deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4895 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4899
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5085 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5087
type(
  string
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4538 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5089 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5116
type(
  string -> string
)
ident(
  int_ref OASISString.uppercase_ascii "src/oasis/OASISString.ml" 158 4507 4511 "src/oasis/OASISString.ml" 158 4507 4526
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5117 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5119
type(
  string
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4538 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5088 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 162 4945 4955 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 161 4881 4891 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 153 4624 4634 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 152 4543 4553 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 167 5073 5120
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 169 5132 5140 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 169 5132 5157
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 170 5158 5168 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 170 5158 5172
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 171 5173 5187 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 171 5173 5204
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 172 5210 5223 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 172 5210 5250
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 174 5267 5280 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 174 5267 5310
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 171 5173 5183 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 175 5311 5322
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 169 5132 5140 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 175 5311 5322
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 176 5324 5332 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 176 5324 5341
type(
  (OASISUtils.SetString.elt -> unit) -> OASISUtils.SetString.elt list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 178 5362 5376 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 178 5362 5387
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 178 5362 5393 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 178 5362 5410
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 179 5414 5428 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 179 5414 5442
type(
  Buffer.t -> (unit, Buffer.t, unit) format -> unit
)
ident(
  int_ref Stdlib.Printf.bprintf "printf.mli" 139 7305 7305 "printf.mli" 139 7305 7364
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 179 5414 5443 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 179 5414 5447
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 180 5448 5464 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 182 5548 5586
type(
  (unit, Buffer.t, unit) format
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 179 5414 5428 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 182 5548 5586
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5602 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5607
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5610 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5617
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5602 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5617
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5620 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5631
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5602 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5631
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5602 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5637
type(
  OASISUtils.SetString.elt
)
ident(
  def nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5655 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5694
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5655 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5669
type(
  ?need_configure:bool ->
  ?other_depends:string list -> OASISUtils.SetString.elt -> unit
)
ident(
  int_ref add_one_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4480 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4494
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5686 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5691
type(
  bool
)
type(
  bool option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5692 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5694
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5602 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 183 5588 5637
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5655 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 184 5641 5694
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5709 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5715
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5718 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5723
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5709 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5723
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5709 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5729
type(
  OASISUtils.SetString.elt
)
ident(
  def nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5747 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5789
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5747 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5761
type(
  ?need_configure:bool ->
  ?other_depends:string list -> OASISUtils.SetString.elt -> unit
)
ident(
  int_ref add_one_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4480 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4494
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5778 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5785
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5777 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5786
type(
  string list
)
type(
  string list option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5787 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5789
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5709 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 185 5695 5729
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5747 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 186 5733 5789
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 187 5790 5804 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 187 5790 5815
type(
  OASISUtils.SetString.elt
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5837 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5857
type(
  string -> unit
)
ident(
  def add_configure_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6110 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6192
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5858 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5860
type(
  string
)
ident(
  def nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 189 5863 5879 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6077
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 189 5863 5879 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 189 5863 5893
type(
  Buffer.t ->
  (string -> string -> unit, Buffer.t, unit) format ->
  string -> string -> unit
)
ident(
  int_ref Stdlib.Printf.bprintf "printf.mli" 139 7305 7305 "printf.mli" 139 7305 7364
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 189 5863 5894 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 189 5863 5898
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 190 5899 5917 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 191 5927 5990
type(
  (string -> string -> unit, Buffer.t, unit) format
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 192 5991 6009 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 192 5991 6011
type(
  string
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5858 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5860
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6034 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6051
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6057 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6068
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6074 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6076
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6030 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6077
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 189 5863 5879 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 193 6012 6077
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6110 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6130
type(
  string -> unit
)
ident(
  int_ref add_configure_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5837 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5857
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6131 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6143
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6110 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6143
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6159 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6179
type(
  string -> unit
)
ident(
  int_ref add_configure_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5837 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5857
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6180 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6191
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6159 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6191
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 195 6096 6110 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6192
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 188 5819 5833 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 196 6145 6192
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 197 6193 6207 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 197 6193 6209
type(
  OASISUtils.SetString.elt
)
ident(
  def nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6227 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6244
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6227 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6241
type(
  ?need_configure:bool ->
  ?other_depends:string list -> OASISUtils.SetString.elt -> unit
)
ident(
  int_ref add_one_target "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4480 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4494
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6242 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6244
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref nm "src/plugins/extra/devfiles/DevFilesPlugin.ml" 197 6193 6207 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 197 6193 6209
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6227 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6244
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 177 5342 5352 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 198 6213 6245
type(
  OASISUtils.SetString.elt -> unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 199 6246 6256 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 199 6246 6263
type(
  OASISUtils.SetString.elt list
)
ident(
  int_ref targets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4236 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4243
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 176 5324 5332 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 199 6246 6263
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 200 6265 6276 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 200 6265 6293
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 201 6305 6315 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 201 6305 6329
type(
  Buffer.t ->
  (string -> string -> string -> unit, Buffer.t, unit) format ->
  string -> string -> string -> unit
)
ident(
  int_ref Stdlib.Printf.bprintf "printf.mli" 139 7305 7305 "printf.mli" 139 7305 7364
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 201 6305 6330 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 201 6305 6334
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 202 6335 6347 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 204 6472 6545
type(
  (string -> string -> string -> unit, Buffer.t, unit) format
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 205 6546 6558 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 205 6546 6577
type(
  string
)
ident(
  int_ref makefile_setup_deps "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3511 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3530
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 205 6546 6578 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 205 6546 6586
type(
  string
)
ident(
  int_ref packages "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3532 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 205 6546 6587 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 205 6546 6595
type(
  string
)
ident(
  int_ref packages "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3532 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 200 6265 6299 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 206 6597 6608
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 200 6265 6273 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 206 6597 6608
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6618 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6635
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6636 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6640
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6642 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6652
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6652 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6653
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6654 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6667
type(
  string -> OASISUtils.SetString.elt list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6668 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6671
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6672 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6679
type(
  OASISUtils.SetString.elt list
)
ident(
  int_ref targets "src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4236 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4243
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6653 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6680
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6680 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6681
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6681 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6685
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6653 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6685
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6641 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6686
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6618 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6686
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 209 6689 6697 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 209 6689 6717
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/devfiles/DevFilesPlugin.ml" 210 6718 6730 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6743
type(
  OASISUnixPath.host_filename ->
  OASISFileTemplate.comment ->
  OASISFileTemplate.line list ->
  OASISFileTemplate.line list ->
  OASISFileTemplate.line list -> OASISFileTemplate.template
)
ident(
  int_ref OASISFileTemplate.template_make "src/oasis/OASISFileTemplate.mli" 110 3427 3427 "src/oasis/OASISFileTemplate.mli" 112 3465 3525
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6744 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6754
type(
  OASISUnixPath.host_filename
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6755 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6765
type(
  OASISFileTemplate.comment
)
ident(
  int_ref OASISFileTemplate.comment_sh "src/oasis/OASISFileTemplate.mli" 59 2542 2542 "src/oasis/OASISFileTemplate.mli" 59 2542 2565
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6766 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6768
type(
  OASISFileTemplate.line list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 211 6769 6784 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 211 6769 6809
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/devfiles/DevFilesPlugin.ml" 211 6769 6819 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 211 6769 6824
type(
  bool
)
type(
  bool option
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6843 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6858
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6859 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6863
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4179 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 140 4167 4183
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6842 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6864
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 211 6769 6783 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6865
type(
  OASISFileTemplate.line list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6866 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6868
type(
  OASISFileTemplate.line list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6729 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 212 6825 6869
type(
  OASISFileTemplate.template
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 213 6875 6900 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 213 6875 6904
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 210 6718 6728 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 213 6875 6905
type(
  OASISFileTemplate.template
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6916 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3448 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3452
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 209 6689 6697 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 207 6610 6618 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 200 6265 6273 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 176 5324 5332 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 169 5132 5140 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 151 4468 4476 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 143 4224 4232 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 214 6906 6920
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 139 4155 4161 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 215 6921 6930
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 217 6940 6946 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 217 6940 6950
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3448 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3452
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 138 4125 4129 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 217 6940 6950
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 220 6957 6963 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 220 6957 6967
type(
  OASISPlugin.context_act
)
ident(
  def ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8097 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 222 7024 7031 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 222 7024 7032
type(
  t
)
ident(
  int_ref t "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3465 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3466
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 222 7024 7031 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 222 7024 7049
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 223 7055 7065 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 223 7055 7086
type(
  string list
)
ident(
  def ocaml_setup_configure "src/plugins/extra/devfiles/DevFilesPlugin.ml" 238 7711 7717 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 250 8059 8068
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 224 7089 7101 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 224 7089 7104
type(
  string
)
ident(
  def cmd "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7676 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7701
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 225 7107 7120 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 225 7107 7137
type(
  bool
)
ident(
  int_ref compiled_setup_ml "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3760 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3777
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 226 7143 7155 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 226 7143 7169
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 227 7170 7184 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 231 7517 7562
type(
  (string -> string -> string, unit, string) format
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 232 7563 7577 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 232 7563 7585
type(
  string
)
ident(
  int_ref packages "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3532 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 232 7563 7586 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 232 7563 7594
type(
  string
)
ident(
  int_ref packages "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3532 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3540
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 226 7143 7155 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 232 7563 7594
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 234 7610 7622 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 234 7610 7656
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 225 7107 7117 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 234 7610 7656
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7677 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7679
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7681 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7684
type(
  string
)
ident(
  int_ref cmd "src/plugins/extra/devfiles/DevFilesPlugin.ml" 224 7089 7101 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 224 7089 7104
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7686 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7700
type(
  string
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7676 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7701
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 224 7089 7097 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 236 7668 7701
type(
  string list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 239 7723 7735 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 239 7723 7739
type(
  OASISFileTemplate.template
)
ident(
  def tmpl "src/plugins/extra/devfiles/DevFilesPlugin.ml" 247 7962 7970 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 249 8044 8058
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 240 7742 7752 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 240 7742 7775
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/devfiles/DevFilesPlugin.ml" 241 7776 7794 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 241 7776 7798
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4065 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4069
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 241 7776 7794 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 241 7776 7815
type(
  OASISContext.t
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 242 7816 7838 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 242 7816 7842
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 243 7843 7855 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 243 7843 7866
type(
  OASISUnixPath.host_filename
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 244 7867 7879 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 244 7867 7889
type(
  OASISFileTemplate.comment
)
ident(
  int_ref OASISFileTemplate.comment_sh "src/oasis/OASISFileTemplate.mli" 59 2542 2542 "src/oasis/OASISFileTemplate.mli" 59 2542 2565
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7903 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7925
type(
  OASISFileTemplate.line list
)
ident(
  int_ref DevFilesData.configure "src/plugins/extra/devfiles/DevFilesData.ml" 2 51 55 "src/plugins/extra/devfiles/DevFilesData.ml" 2 51 64
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7926 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7927
type(
  OASISFileTemplate.line list ->
  OASISFileTemplate.line list -> OASISFileTemplate.line list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7928 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7949
type(
  OASISFileTemplate.line list
)
ident(
  int_ref ocaml_setup_configure "src/plugins/extra/devfiles/DevFilesPlugin.ml" 223 7055 7065 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 223 7055 7086
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7902 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7950
type(
  OASISFileTemplate.line list
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 240 7742 7752 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 245 7890 7950
type(
  OASISFileTemplate.template
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 247 7962 7970 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 247 7962 7990
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/devfiles/DevFilesPlugin.ml" 248 7991 8002 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8006
type(
  OASISFileTemplate.template
)
ident(
  int_ref tmpl "src/plugins/extra/devfiles/DevFilesPlugin.ml" 239 7723 7735 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 239 7723 7739
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8019 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8024
type(
  int
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8038 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8042
type(
  bool
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8001 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 248 7991 8043
type(
  OASISFileTemplate.template
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 249 8044 8054 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 249 8044 8058
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4065 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4069
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 247 7962 7970 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 249 8044 8058
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 238 7711 7717 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 250 8059 8068
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 223 7055 7061 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 250 8059 8068
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 252 8078 8084 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 252 8078 8088
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4065 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4069
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 222 7024 7028 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 252 8078 8088
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8097 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
ident(
  int_ref ctxt "src/plugins/extra/devfiles/DevFilesPlugin.ml" 220 6957 6963 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 220 6957 6967
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 220 6957 6959 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 136 4059 4061 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 131 3852 3854 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 128 3754 3756 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 122 3504 3506 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 119 3459 3461 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 255 8095 8101
type(
  OASISPlugin.context_act
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 258 8104 8108 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 258 8104 8112
type(
  unit -> unit
)
ident(
  def init "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8319 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 0 0 -1
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 258 8104 8113 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 258 8104 8115
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8120 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8138
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/devfiles/DevFilesPlugin.ml" 259 8118 8139 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8146
type(
  OASISPlugin.Extra.self_t
)
ident(
  int_ref self_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1937 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1944
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8147 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8151
type(
  OASISPlugin.Extra.act
)
ident(
  int_ref main "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3443 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 118 3439 3447
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8120 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8151
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 260 8153 8155 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 260 8153 8168
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/devfiles/DevFilesPlugin.ml" 261 8169 8173 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 261 8169 8179
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
  OASISTypes.plugin
)
ident(
  int_ref plugin "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1873 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 36 1869 1879
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 262 8180 8186 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 262 8180 8198
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/devfiles/DevFilesPlugin.ml" 262 8180 8199 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 262 8180 8231
type(
  string list
)
ident(
  int_ref DevFilesData.readme_template_mkd "src/plugins/extra/devfiles/DevFilesData.ml" 29 571 575 "src/plugins/extra/devfiles/DevFilesData.ml" 29 571 594
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 262 8180 8185 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 262 8180 8232
type(
  OASISPlugin.help
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 263 8238 8258 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 263 8238 8260
type(
  int
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 262 8180 8184 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 263 8238 8261
type(
  OASISPlugin.help
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 260 8153 8155 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 263 8238 8261
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8265 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8291
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8292 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8298
type(
  OASISPlugin.all_t
)
ident(
  int_ref all_id "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1946 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 39 1933 1952
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8299 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8309
type(
  t OASISPlugin.prop
)
ident(
  int_ref pivot_data "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2270 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 66 2266 2280
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8310 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8319
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2316 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 70 2312 2325
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8265 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8319
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 260 8153 8155 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8319
type(
  unit
)
"src/plugins/extra/devfiles/DevFilesPlugin.ml" 259 8118 8120 "src/plugins/extra/devfiles/DevFilesPlugin.ml" 264 8263 8319
type(
  unit
)
