"src/plugins/none/NonePlugin.ml" 33 1811 1815 "src/plugins/none/NonePlugin.ml" 33 1811 1830
type(
  ctxt:'a -> string -> 'b -> 'c -> 'd
)
ident(
  def not_implemented "src/plugins/none/NonePlugin.ml" 37 1899 1899 "src/plugins/none/NonePlugin.ml" 0 0 -1
)
"src/plugins/none/NonePlugin.ml" 33 1811 1837 "src/plugins/none/NonePlugin.ml" 33 1811 1838
type(
  'a
)
"src/plugins/none/NonePlugin.ml" 33 1811 1839 "src/plugins/none/NonePlugin.ml" 33 1811 1842
type(
  string
)
ident(
  def str "src/plugins/none/NonePlugin.ml" 33 1811 1843 "src/plugins/none/NonePlugin.ml" 34 1849 1896
)
"src/plugins/none/NonePlugin.ml" 33 1811 1843 "src/plugins/none/NonePlugin.ml" 33 1811 1844
type(
  'b
)
"src/plugins/none/NonePlugin.ml" 33 1811 1845 "src/plugins/none/NonePlugin.ml" 33 1811 1846
type(
  'c
)
"src/plugins/none/NonePlugin.ml" 34 1849 1851 "src/plugins/none/NonePlugin.ml" 34 1849 1860
type(
  (string -> 'd, unit, string, 'd) format4 -> string -> 'd
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/plugins/none/NonePlugin.ml" 34 1849 1862 "src/plugins/none/NonePlugin.ml" 34 1849 1864
type(
  (string -> 'd, unit, string, 'd) format4 ->
  (string -> 'd, unit, string, 'd) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/none/NonePlugin.ml" 34 1849 1865 "src/plugins/none/NonePlugin.ml" 34 1849 1891
type(
  (string -> 'd, unit, string, 'd) format4
)
"src/plugins/none/NonePlugin.ml" 34 1849 1861 "src/plugins/none/NonePlugin.ml" 34 1849 1892
type(
  (string -> 'd, unit, string, 'd) format4
)
"src/plugins/none/NonePlugin.ml" 34 1849 1893 "src/plugins/none/NonePlugin.ml" 34 1849 1896
type(
  string
)
ident(
  int_ref str "src/plugins/none/NonePlugin.ml" 33 1811 1839 "src/plugins/none/NonePlugin.ml" 33 1811 1842
)
"src/plugins/none/NonePlugin.ml" 34 1849 1851 "src/plugins/none/NonePlugin.ml" 34 1849 1896
type(
  'd
)
"src/plugins/none/NonePlugin.ml" 37 1899 1903 "src/plugins/none/NonePlugin.ml" 37 1899 1926
type(
  ctxt:'a -> string -> 'b -> 'c -> 'd -> 'e -> ctxt:'f -> 'g
)
ident(
  def section_not_implemented "src/plugins/none/NonePlugin.ml" 44 2018 2018 "src/plugins/none/NonePlugin.ml" 0 0 -1
)
"src/plugins/none/NonePlugin.ml" 37 1899 1933 "src/plugins/none/NonePlugin.ml" 37 1899 1934
type(
  'a
)
"src/plugins/none/NonePlugin.ml" 37 1899 1935 "src/plugins/none/NonePlugin.ml" 37 1899 1938
type(
  string
)
ident(
  def str "src/plugins/none/NonePlugin.ml" 37 1899 1939 "src/plugins/none/NonePlugin.ml" 38 1960 1996
)
"src/plugins/none/NonePlugin.ml" 37 1899 1939 "src/plugins/none/NonePlugin.ml" 37 1899 1942
type(
  'b
)
ident(
  def pkg "src/plugins/none/NonePlugin.ml" 37 1899 1943 "src/plugins/none/NonePlugin.ml" 38 1960 1996
)
"src/plugins/none/NonePlugin.ml" 37 1899 1943 "src/plugins/none/NonePlugin.ml" 37 1899 1944
type(
  'c
)
"src/plugins/none/NonePlugin.ml" 37 1899 1945 "src/plugins/none/NonePlugin.ml" 37 1899 1946
type(
  'd
)
"src/plugins/none/NonePlugin.ml" 37 1899 1947 "src/plugins/none/NonePlugin.ml" 37 1899 1957
type(
  'e
)
ident(
  def extra_args "src/plugins/none/NonePlugin.ml" 38 1960 1962 "src/plugins/none/NonePlugin.ml" 38 1960 1996
)
"src/plugins/none/NonePlugin.ml" 38 1960 1962 "src/plugins/none/NonePlugin.ml" 38 1960 1977
type(
  ctxt:'f -> string -> 'b -> 'e -> 'g
)
ident(
  int_ref not_implemented "src/plugins/none/NonePlugin.ml" 33 1811 1815 "src/plugins/none/NonePlugin.ml" 33 1811 1830
)
"src/plugins/none/NonePlugin.ml" 38 1960 1978 "src/plugins/none/NonePlugin.ml" 38 1960 1981
type(
  string
)
ident(
  int_ref str "src/plugins/none/NonePlugin.ml" 37 1899 1935 "src/plugins/none/NonePlugin.ml" 37 1899 1938
)
"src/plugins/none/NonePlugin.ml" 38 1960 1982 "src/plugins/none/NonePlugin.ml" 38 1960 1985
type(
  'b
)
ident(
  int_ref pkg "src/plugins/none/NonePlugin.ml" 37 1899 1939 "src/plugins/none/NonePlugin.ml" 37 1899 1942
)
"src/plugins/none/NonePlugin.ml" 38 1960 1986 "src/plugins/none/NonePlugin.ml" 38 1960 1996
type(
  'e
)
ident(
  int_ref extra_args "src/plugins/none/NonePlugin.ml" 37 1899 1947 "src/plugins/none/NonePlugin.ml" 37 1899 1957
)
"src/plugins/none/NonePlugin.ml" 38 1960 1962 "src/plugins/none/NonePlugin.ml" 38 1960 1996
type(
  ctxt:'f -> 'g
)
"src/plugins/none/NonePlugin.ml" 48 2053 2057 "src/plugins/none/NonePlugin.ml" 48 2053 2072
type(
  string ->
  'a -> 'b -> 'a * (ctxt:'c -> 'd -> 'e -> 'f, 'g) OASISPlugin.setup_changes
)
ident(
  def std_no_generate "src/plugins/none/NonePlugin.ml" 61 2359 2359 "src/plugins/none/NonePlugin.ml" 0 0 -1
)
"src/plugins/none/NonePlugin.ml" 48 2053 2073 "src/plugins/none/NonePlugin.ml" 48 2053 2076
type(
  string
)
ident(
  def str "src/plugins/none/NonePlugin.ml" 48 2053 2077 "src/plugins/none/NonePlugin.ml" 58 2353 2356
)
"src/plugins/none/NonePlugin.ml" 48 2053 2077 "src/plugins/none/NonePlugin.ml" 48 2053 2081
type(
  'a
)
ident(
  def ctxt "src/plugins/none/NonePlugin.ml" 48 2053 2082 "src/plugins/none/NonePlugin.ml" 58 2353 2356
)
"src/plugins/none/NonePlugin.ml" 48 2053 2082 "src/plugins/none/NonePlugin.ml" 48 2053 2083
type(
  'b
)
"src/plugins/none/NonePlugin.ml" 49 2086 2088 "src/plugins/none/NonePlugin.ml" 49 2086 2092
type(
  'a
)
ident(
  int_ref ctxt "src/plugins/none/NonePlugin.ml" 48 2053 2077 "src/plugins/none/NonePlugin.ml" 48 2053 2081
)
"src/plugins/none/NonePlugin.ml" 51 2098 2120 "src/plugins/none/NonePlugin.ml" 51 2098 2139
type(
  OASISPlugin.modul
)
ident(
  int_ref NoneData.nonesys_ml "src/plugins/none/NoneData.ml" 2 42 46 "src/plugins/none/NoneData.ml" 2 42 56
)
"src/plugins/none/NonePlugin.ml" 51 2098 2119 "src/plugins/none/NonePlugin.ml" 51 2098 2140
type(
  OASISPlugin.modul list
)
"src/plugins/none/NonePlugin.ml" 52 2142 2163 "src/plugins/none/NonePlugin.ml" 52 2142 2167
type(
  'g OASISDataNotation.func option
)
"src/plugins/none/NonePlugin.ml" 53 2169 2190 "src/plugins/none/NonePlugin.ml" 53 2169 2194
type(
  'g OASISDataNotation.func option
)
"src/plugins/none/NonePlugin.ml" 55 2212 2219 "src/plugins/none/NonePlugin.ml" 55 2212 2255
type(
  (ctxt:'c -> string -> 'd -> 'e -> 'f) ->
  string ->
  string ->
  (string -> OASISDataNotation.t) ->
  (ctxt:'c -> 'd -> 'e -> 'f) OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/none/NonePlugin.ml" 56 2256 2265 "src/plugins/none/NonePlugin.ml" 56 2256 2280
type(
  ctxt:'c -> string -> 'd -> 'e -> 'f
)
ident(
  int_ref not_implemented "src/plugins/none/NonePlugin.ml" 33 1811 1815 "src/plugins/none/NonePlugin.ml" 33 1811 1830
)
"src/plugins/none/NonePlugin.ml" 56 2256 2281 "src/plugins/none/NonePlugin.ml" 56 2256 2309
type(
  string
)
"src/plugins/none/NonePlugin.ml" 57 2310 2319 "src/plugins/none/NonePlugin.ml" 57 2310 2322
type(
  string
)
ident(
  int_ref str "src/plugins/none/NonePlugin.ml" 48 2053 2073 "src/plugins/none/NonePlugin.ml" 48 2053 2076
)
"src/plugins/none/NonePlugin.ml" 57 2310 2323 "src/plugins/none/NonePlugin.ml" 57 2310 2350
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/plugins/none/NonePlugin.ml" 55 2212 2218 "src/plugins/none/NonePlugin.ml" 57 2310 2351
type(
  (ctxt:'c -> 'd -> 'e -> 'f) OASISDataNotation.func
)
"src/plugins/none/NonePlugin.ml" 50 2094 2096 "src/plugins/none/NonePlugin.ml" 58 2353 2356
type(
  (ctxt:'c -> 'd -> 'e -> 'f, 'g) OASISPlugin.setup_changes
)
"src/plugins/none/NonePlugin.ml" 49 2086 2088 "src/plugins/none/NonePlugin.ml" 58 2353 2356
type(
  'a * (ctxt:'c -> 'd -> 'e -> 'f, 'g) OASISPlugin.setup_changes
)
"src/plugins/none/NonePlugin.ml" 61 2359 2363 "src/plugins/none/NonePlugin.ml" 61 2359 2382
type(
  string ->
  'a ->
  'b ->
  OASISTypes.common_section * 'c ->
  'a * (ctxt:'d -> 'e -> 'f -> 'g, 'h) OASISPlugin.setup_changes
)
ident(
  def section_no_generate "src/plugins/none/NonePlugin.ml" 65 2481 2481 "src/plugins/none/NonePlugin.ml" 0 0 -1
)
"src/plugins/none/NonePlugin.ml" 61 2359 2383 "src/plugins/none/NonePlugin.ml" 61 2359 2386
type(
  string
)
ident(
  def str "src/plugins/none/NonePlugin.ml" 61 2359 2387 "src/plugins/none/NonePlugin.ml" 62 2413 2478
)
"src/plugins/none/NonePlugin.ml" 61 2359 2387 "src/plugins/none/NonePlugin.ml" 61 2359 2398
type(
  'a
)
ident(
  def plugin_ctxt "src/plugins/none/NonePlugin.ml" 61 2359 2399 "src/plugins/none/NonePlugin.ml" 62 2413 2478
)
"src/plugins/none/NonePlugin.ml" 61 2359 2399 "src/plugins/none/NonePlugin.ml" 61 2359 2402
type(
  'b
)
ident(
  def pkg "src/plugins/none/NonePlugin.ml" 61 2359 2403 "src/plugins/none/NonePlugin.ml" 62 2413 2478
)
"src/plugins/none/NonePlugin.ml" 61 2359 2404 "src/plugins/none/NonePlugin.ml" 61 2359 2406
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/none/NonePlugin.ml" 62 2413 2415 "src/plugins/none/NonePlugin.ml" 62 2413 2478
)
"src/plugins/none/NonePlugin.ml" 61 2359 2408 "src/plugins/none/NonePlugin.ml" 61 2359 2409
type(
  'c
)
"src/plugins/none/NonePlugin.ml" 61 2359 2403 "src/plugins/none/NonePlugin.ml" 61 2359 2410
type(
  OASISTypes.common_section * 'c
)
"src/plugins/none/NonePlugin.ml" 62 2413 2415 "src/plugins/none/NonePlugin.ml" 62 2413 2430
type(
  string ->
  'a -> 'b -> 'a * (ctxt:'d -> 'e -> 'f -> 'g, 'h) OASISPlugin.setup_changes
)
ident(
  int_ref std_no_generate "src/plugins/none/NonePlugin.ml" 48 2053 2057 "src/plugins/none/NonePlugin.ml" 48 2053 2072
)
"src/plugins/none/NonePlugin.ml" 62 2413 2432 "src/plugins/none/NonePlugin.ml" 62 2413 2435
type(
  string
)
ident(
  int_ref str "src/plugins/none/NonePlugin.ml" 61 2359 2383 "src/plugins/none/NonePlugin.ml" 61 2359 2386
)
"src/plugins/none/NonePlugin.ml" 62 2413 2435 "src/plugins/none/NonePlugin.ml" 62 2413 2436
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/none/NonePlugin.ml" 62 2413 2436 "src/plugins/none/NonePlugin.ml" 62 2413 2450
type(
  string
)
"src/plugins/none/NonePlugin.ml" 62 2413 2450 "src/plugins/none/NonePlugin.ml" 62 2413 2451
type(
  string -> OASISTypes.name -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/none/NonePlugin.ml" 62 2413 2451 "src/plugins/none/NonePlugin.ml" 62 2413 2453
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/none/NonePlugin.ml" 61 2359 2404 "src/plugins/none/NonePlugin.ml" 61 2359 2406
)
"src/plugins/none/NonePlugin.ml" 62 2413 2451 "src/plugins/none/NonePlugin.ml" 62 2413 2461
type(
  OASISTypes.name
)
"src/plugins/none/NonePlugin.ml" 62 2413 2436 "src/plugins/none/NonePlugin.ml" 62 2413 2461
type(
  string
)
"src/plugins/none/NonePlugin.ml" 62 2413 2431 "src/plugins/none/NonePlugin.ml" 62 2413 2462
type(
  string
)
"src/plugins/none/NonePlugin.ml" 62 2413 2463 "src/plugins/none/NonePlugin.ml" 62 2413 2474
type(
  'a
)
ident(
  int_ref plugin_ctxt "src/plugins/none/NonePlugin.ml" 61 2359 2387 "src/plugins/none/NonePlugin.ml" 61 2359 2398
)
"src/plugins/none/NonePlugin.ml" 62 2413 2475 "src/plugins/none/NonePlugin.ml" 62 2413 2478
type(
  'b
)
ident(
  int_ref pkg "src/plugins/none/NonePlugin.ml" 61 2359 2399 "src/plugins/none/NonePlugin.ml" 61 2359 2402
)
"src/plugins/none/NonePlugin.ml" 62 2413 2415 "src/plugins/none/NonePlugin.ml" 62 2413 2478
type(
  'a * (ctxt:'d -> 'e -> 'f -> 'g, 'h) OASISPlugin.setup_changes
)
"src/plugins/none/NonePlugin.ml" 65 2481 2485 "src/plugins/none/NonePlugin.ml" 65 2481 2489
type(
  unit -> unit
)
ident(
  def init "src/plugins/none/NonePlugin.ml" 96 3472 3476 "src/plugins/none/NonePlugin.ml" 0 0 -1
)
"src/plugins/none/NonePlugin.ml" 65 2481 2490 "src/plugins/none/NonePlugin.ml" 65 2481 2492
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
type(
  string
)
ident(
  def nm "src/plugins/none/NonePlugin.ml" 67 2551 2553 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
type(
  OASISVersion.t option
)
ident(
  def ver "src/plugins/none/NonePlugin.ml" 67 2551 2553 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2508
type(
  string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 66 2495 2511 "src/plugins/none/NonePlugin.ml" 66 2495 2517
type(
  string
)
"src/plugins/none/NonePlugin.ml" 66 2495 2524 "src/plugins/none/NonePlugin.ml" 66 2495 2547
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/none/NonePlugin.ml" 66 2495 2519 "src/plugins/none/NonePlugin.ml" 66 2495 2547
type(
  OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 66 2495 2511 "src/plugins/none/NonePlugin.ml" 66 2495 2547
type(
  string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 67 2551 2557 "src/plugins/none/NonePlugin.ml" 67 2551 2559
type(
  unit
)
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 68 2562 2566 "src/plugins/none/NonePlugin.ml" 68 2562 2579
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/none/NonePlugin.ml" 68 2562 2581 "src/plugins/none/NonePlugin.ml" 68 2562 2585
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
)
"src/plugins/none/NonePlugin.ml" 68 2562 2587 "src/plugins/none/NonePlugin.ml" 68 2562 2589
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
)
"src/plugins/none/NonePlugin.ml" 68 2562 2591 "src/plugins/none/NonePlugin.ml" 68 2562 2594
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
)
"src/plugins/none/NonePlugin.ml" 68 2562 2580 "src/plugins/none/NonePlugin.ml" 68 2562 2595
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
  OASISTypes.plugin
)
"src/plugins/none/NonePlugin.ml" 69 2596 2604 "src/plugins/none/NonePlugin.ml" 69 2596 2616
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/none/NonePlugin.ml" 69 2596 2617 "src/plugins/none/NonePlugin.ml" 69 2596 2645
type(
  string list
)
ident(
  int_ref NoneData.readme_template_mkd "src/plugins/none/NoneData.ml" 30 639 643 "src/plugins/none/NoneData.ml" 30 639 662
)
"src/plugins/none/NonePlugin.ml" 69 2596 2603 "src/plugins/none/NonePlugin.ml" 69 2596 2646
type(
  OASISPlugin.help
)
"src/plugins/none/NonePlugin.ml" 70 2652 2674 "src/plugins/none/NonePlugin.ml" 70 2652 2676
type(
  int
)
"src/plugins/none/NonePlugin.ml" 69 2596 2602 "src/plugins/none/NonePlugin.ml" 70 2652 2677
type(
  OASISPlugin.help
)
"src/plugins/none/NonePlugin.ml" 68 2562 2566 "src/plugins/none/NonePlugin.ml" 70 2652 2677
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 73 2684 2690 "src/plugins/none/NonePlugin.ml" 73 2684 2696
type(
  [> `Configure ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/none/NonePlugin.ml" 74 2722 2724 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 73 2684 2699 "src/plugins/none/NonePlugin.ml" 73 2684 2709
type(
  [> `Configure ] as 'a
)
"src/plugins/none/NonePlugin.ml" 73 2684 2711 "src/plugins/none/NonePlugin.ml" 73 2684 2713
type(
  string
)
ident(
  int_ref nm "src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
)
"src/plugins/none/NonePlugin.ml" 73 2684 2715 "src/plugins/none/NonePlugin.ml" 73 2684 2718
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
)
"src/plugins/none/NonePlugin.ml" 73 2684 2699 "src/plugins/none/NonePlugin.ml" 73 2684 2718
type(
  'a * string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 74 2722 2728 "src/plugins/none/NonePlugin.ml" 74 2722 2735
type(
  OASISPlugin.Configure.self_t
)
ident(
  def self_id "src/plugins/none/NonePlugin.ml" 75 2768 2770 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 74 2722 2737 "src/plugins/none/NonePlugin.ml" 74 2722 2738
type(
  OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 74 2722 2728 "src/plugins/none/NonePlugin.ml" 74 2722 2738
type(
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 74 2722 2741 "src/plugins/none/NonePlugin.ml" 74 2722 2757
type(
  OASISPlugin.Configure.self_plugin ->
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Configure.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/none/NonePlugin.ml" 74 2722 2758 "src/plugins/none/NonePlugin.ml" 74 2722 2764
type(
  OASISPlugin.Configure.self_plugin
)
ident(
  int_ref plugin "src/plugins/none/NonePlugin.ml" 73 2684 2690 "src/plugins/none/NonePlugin.ml" 73 2684 2696
)
"src/plugins/none/NonePlugin.ml" 74 2722 2741 "src/plugins/none/NonePlugin.ml" 74 2722 2764
type(
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 75 2768 2774 "src/plugins/none/NonePlugin.ml" 75 2768 2776
type(
  unit
)
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 75 2768 2779 "src/plugins/none/NonePlugin.ml" 75 2768 2801
type(
  OASISPlugin.Configure.self_t -> OASISPlugin.Configure.act -> unit
)
ident(
  int_ref OASISPlugin.Configure.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/none/NonePlugin.ml" 75 2768 2802 "src/plugins/none/NonePlugin.ml" 75 2768 2809
type(
  OASISPlugin.Configure.self_t
)
ident(
  int_ref self_id "src/plugins/none/NonePlugin.ml" 74 2722 2728 "src/plugins/none/NonePlugin.ml" 74 2722 2735
)
"src/plugins/none/NonePlugin.ml" 75 2768 2811 "src/plugins/none/NonePlugin.ml" 75 2768 2826
type(
  string -> OASISPlugin.Configure.act
)
ident(
  int_ref std_no_generate "src/plugins/none/NonePlugin.ml" 48 2053 2057 "src/plugins/none/NonePlugin.ml" 48 2053 2072
)
"src/plugins/none/NonePlugin.ml" 75 2768 2827 "src/plugins/none/NonePlugin.ml" 75 2768 2838
type(
  string
)
"src/plugins/none/NonePlugin.ml" 75 2768 2810 "src/plugins/none/NonePlugin.ml" 75 2768 2839
type(
  OASISPlugin.Configure.act
)
"src/plugins/none/NonePlugin.ml" 75 2768 2779 "src/plugins/none/NonePlugin.ml" 75 2768 2839
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 77 2844 2850 "src/plugins/none/NonePlugin.ml" 77 2844 2856
type(
  [> `Build ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/none/NonePlugin.ml" 78 2878 2880 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 77 2844 2859 "src/plugins/none/NonePlugin.ml" 77 2844 2865
type(
  [> `Build ] as 'b
)
"src/plugins/none/NonePlugin.ml" 77 2844 2867 "src/plugins/none/NonePlugin.ml" 77 2844 2869
type(
  string
)
ident(
  int_ref nm "src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
)
"src/plugins/none/NonePlugin.ml" 77 2844 2871 "src/plugins/none/NonePlugin.ml" 77 2844 2874
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
)
"src/plugins/none/NonePlugin.ml" 77 2844 2859 "src/plugins/none/NonePlugin.ml" 77 2844 2874
type(
  'b * string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 78 2878 2884 "src/plugins/none/NonePlugin.ml" 78 2878 2891
type(
  OASISPlugin.Build.self_t
)
ident(
  def self_id "src/plugins/none/NonePlugin.ml" 79 2920 2922 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 78 2878 2893 "src/plugins/none/NonePlugin.ml" 78 2878 2894
type(
  OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 78 2878 2884 "src/plugins/none/NonePlugin.ml" 78 2878 2894
type(
  OASISPlugin.Build.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 78 2878 2897 "src/plugins/none/NonePlugin.ml" 78 2878 2909
type(
  OASISPlugin.Build.self_plugin ->
  OASISPlugin.Build.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Build.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/none/NonePlugin.ml" 78 2878 2910 "src/plugins/none/NonePlugin.ml" 78 2878 2916
type(
  OASISPlugin.Build.self_plugin
)
ident(
  int_ref plugin "src/plugins/none/NonePlugin.ml" 77 2844 2850 "src/plugins/none/NonePlugin.ml" 77 2844 2856
)
"src/plugins/none/NonePlugin.ml" 78 2878 2897 "src/plugins/none/NonePlugin.ml" 78 2878 2916
type(
  OASISPlugin.Build.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 79 2920 2926 "src/plugins/none/NonePlugin.ml" 79 2920 2928
type(
  unit
)
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 79 2920 2931 "src/plugins/none/NonePlugin.ml" 79 2920 2949
type(
  OASISPlugin.Build.self_t -> OASISPlugin.Build.act -> unit
)
ident(
  int_ref OASISPlugin.Build.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/none/NonePlugin.ml" 79 2920 2950 "src/plugins/none/NonePlugin.ml" 79 2920 2957
type(
  OASISPlugin.Build.self_t
)
ident(
  int_ref self_id "src/plugins/none/NonePlugin.ml" 78 2878 2884 "src/plugins/none/NonePlugin.ml" 78 2878 2891
)
"src/plugins/none/NonePlugin.ml" 79 2920 2959 "src/plugins/none/NonePlugin.ml" 79 2920 2974
type(
  string -> OASISPlugin.Build.act
)
ident(
  int_ref std_no_generate "src/plugins/none/NonePlugin.ml" 48 2053 2057 "src/plugins/none/NonePlugin.ml" 48 2053 2072
)
"src/plugins/none/NonePlugin.ml" 79 2920 2975 "src/plugins/none/NonePlugin.ml" 79 2920 2982
type(
  string
)
"src/plugins/none/NonePlugin.ml" 79 2920 2958 "src/plugins/none/NonePlugin.ml" 79 2920 2983
type(
  OASISPlugin.Build.act
)
"src/plugins/none/NonePlugin.ml" 79 2920 2931 "src/plugins/none/NonePlugin.ml" 79 2920 2983
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 81 2988 2994 "src/plugins/none/NonePlugin.ml" 81 2988 3000
type(
  [> `Install ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/none/NonePlugin.ml" 82 3024 3026 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 81 2988 3003 "src/plugins/none/NonePlugin.ml" 81 2988 3011
type(
  [> `Install ] as 'c
)
"src/plugins/none/NonePlugin.ml" 81 2988 3013 "src/plugins/none/NonePlugin.ml" 81 2988 3015
type(
  string
)
ident(
  int_ref nm "src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
)
"src/plugins/none/NonePlugin.ml" 81 2988 3017 "src/plugins/none/NonePlugin.ml" 81 2988 3020
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
)
"src/plugins/none/NonePlugin.ml" 81 2988 3003 "src/plugins/none/NonePlugin.ml" 81 2988 3020
type(
  'c * string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 82 3024 3030 "src/plugins/none/NonePlugin.ml" 82 3024 3037
type(
  OASISPlugin.Install.self_t
)
ident(
  def self_id "src/plugins/none/NonePlugin.ml" 83 3068 3070 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 82 3024 3039 "src/plugins/none/NonePlugin.ml" 82 3024 3040
type(
  OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 82 3024 3030 "src/plugins/none/NonePlugin.ml" 82 3024 3040
type(
  OASISPlugin.Install.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 82 3024 3043 "src/plugins/none/NonePlugin.ml" 82 3024 3057
type(
  OASISPlugin.Install.self_plugin ->
  OASISPlugin.Install.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Install.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/none/NonePlugin.ml" 82 3024 3058 "src/plugins/none/NonePlugin.ml" 82 3024 3064
type(
  OASISPlugin.Install.self_plugin
)
ident(
  int_ref plugin "src/plugins/none/NonePlugin.ml" 81 2988 2994 "src/plugins/none/NonePlugin.ml" 81 2988 3000
)
"src/plugins/none/NonePlugin.ml" 82 3024 3043 "src/plugins/none/NonePlugin.ml" 82 3024 3064
type(
  OASISPlugin.Install.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 83 3068 3074 "src/plugins/none/NonePlugin.ml" 83 3068 3076
type(
  unit
)
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 83 3068 3079 "src/plugins/none/NonePlugin.ml" 83 3068 3099
type(
  OASISPlugin.Install.self_t -> OASISPlugin.Install.act -> unit
)
ident(
  int_ref OASISPlugin.Install.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/none/NonePlugin.ml" 83 3068 3100 "src/plugins/none/NonePlugin.ml" 83 3068 3107
type(
  OASISPlugin.Install.self_t
)
ident(
  int_ref self_id "src/plugins/none/NonePlugin.ml" 82 3024 3030 "src/plugins/none/NonePlugin.ml" 82 3024 3037
)
"src/plugins/none/NonePlugin.ml" 84 3108 3116 "src/plugins/none/NonePlugin.ml" 84 3108 3131
type(
  string -> OASISPlugin.package_act
)
ident(
  int_ref std_no_generate "src/plugins/none/NonePlugin.ml" 48 2053 2057 "src/plugins/none/NonePlugin.ml" 48 2053 2072
)
"src/plugins/none/NonePlugin.ml" 84 3108 3132 "src/plugins/none/NonePlugin.ml" 84 3108 3141
type(
  string
)
"src/plugins/none/NonePlugin.ml" 84 3108 3115 "src/plugins/none/NonePlugin.ml" 84 3108 3142
type(
  OASISPlugin.package_act
)
"src/plugins/none/NonePlugin.ml" 85 3144 3152 "src/plugins/none/NonePlugin.ml" 85 3144 3167
type(
  string -> OASISPlugin.package_act
)
ident(
  int_ref std_no_generate "src/plugins/none/NonePlugin.ml" 48 2053 2057 "src/plugins/none/NonePlugin.ml" 48 2053 2072
)
"src/plugins/none/NonePlugin.ml" 85 3144 3168 "src/plugins/none/NonePlugin.ml" 85 3144 3179
type(
  string
)
"src/plugins/none/NonePlugin.ml" 85 3144 3151 "src/plugins/none/NonePlugin.ml" 85 3144 3180
type(
  OASISPlugin.package_act
)
"src/plugins/none/NonePlugin.ml" 84 3108 3114 "src/plugins/none/NonePlugin.ml" 85 3144 3181
type(
  OASISPlugin.Install.act
)
"src/plugins/none/NonePlugin.ml" 83 3068 3079 "src/plugins/none/NonePlugin.ml" 85 3144 3181
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 88 3188 3194 "src/plugins/none/NonePlugin.ml" 88 3188 3200
type(
  [> `Test ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/none/NonePlugin.ml" 89 3221 3223 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 88 3188 3203 "src/plugins/none/NonePlugin.ml" 88 3188 3208
type(
  [> `Test ] as 'd
)
"src/plugins/none/NonePlugin.ml" 88 3188 3210 "src/plugins/none/NonePlugin.ml" 88 3188 3212
type(
  string
)
ident(
  int_ref nm "src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
)
"src/plugins/none/NonePlugin.ml" 88 3188 3214 "src/plugins/none/NonePlugin.ml" 88 3188 3217
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
)
"src/plugins/none/NonePlugin.ml" 88 3188 3203 "src/plugins/none/NonePlugin.ml" 88 3188 3217
type(
  'd * string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 89 3221 3227 "src/plugins/none/NonePlugin.ml" 89 3221 3234
type(
  OASISPlugin.Test.self_t
)
ident(
  def self_id "src/plugins/none/NonePlugin.ml" 90 3262 3264 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 89 3221 3236 "src/plugins/none/NonePlugin.ml" 89 3221 3237
type(
  OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 89 3221 3227 "src/plugins/none/NonePlugin.ml" 89 3221 3237
type(
  OASISPlugin.Test.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 89 3221 3240 "src/plugins/none/NonePlugin.ml" 89 3221 3251
type(
  OASISPlugin.Test.self_plugin -> OASISPlugin.Test.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Test.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/none/NonePlugin.ml" 89 3221 3252 "src/plugins/none/NonePlugin.ml" 89 3221 3258
type(
  OASISPlugin.Test.self_plugin
)
ident(
  int_ref plugin "src/plugins/none/NonePlugin.ml" 88 3188 3194 "src/plugins/none/NonePlugin.ml" 88 3188 3200
)
"src/plugins/none/NonePlugin.ml" 89 3221 3240 "src/plugins/none/NonePlugin.ml" 89 3221 3258
type(
  OASISPlugin.Test.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 90 3262 3268 "src/plugins/none/NonePlugin.ml" 90 3262 3270
type(
  unit
)
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 90 3262 3273 "src/plugins/none/NonePlugin.ml" 90 3262 3290
type(
  OASISPlugin.Test.self_t -> OASISPlugin.Test.act -> unit
)
ident(
  int_ref OASISPlugin.Test.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/none/NonePlugin.ml" 90 3262 3291 "src/plugins/none/NonePlugin.ml" 90 3262 3298
type(
  OASISPlugin.Test.self_t
)
ident(
  int_ref self_id "src/plugins/none/NonePlugin.ml" 89 3221 3227 "src/plugins/none/NonePlugin.ml" 89 3221 3234
)
"src/plugins/none/NonePlugin.ml" 90 3262 3300 "src/plugins/none/NonePlugin.ml" 90 3262 3319
type(
  string -> OASISPlugin.Test.act
)
ident(
  int_ref section_no_generate "src/plugins/none/NonePlugin.ml" 61 2359 2363 "src/plugins/none/NonePlugin.ml" 61 2359 2382
)
"src/plugins/none/NonePlugin.ml" 90 3262 3320 "src/plugins/none/NonePlugin.ml" 90 3262 3326
type(
  string
)
"src/plugins/none/NonePlugin.ml" 90 3262 3299 "src/plugins/none/NonePlugin.ml" 90 3262 3327
type(
  OASISPlugin.Test.act
)
"src/plugins/none/NonePlugin.ml" 90 3262 3273 "src/plugins/none/NonePlugin.ml" 90 3262 3327
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 92 3332 3338 "src/plugins/none/NonePlugin.ml" 92 3332 3344
type(
  [> `Doc ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/none/NonePlugin.ml" 93 3364 3366 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 92 3332 3347 "src/plugins/none/NonePlugin.ml" 92 3332 3351
type(
  [> `Doc ] as 'e
)
"src/plugins/none/NonePlugin.ml" 92 3332 3353 "src/plugins/none/NonePlugin.ml" 92 3332 3355
type(
  string
)
ident(
  int_ref nm "src/plugins/none/NonePlugin.ml" 66 2495 2501 "src/plugins/none/NonePlugin.ml" 66 2495 2503
)
"src/plugins/none/NonePlugin.ml" 92 3332 3357 "src/plugins/none/NonePlugin.ml" 92 3332 3360
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/none/NonePlugin.ml" 66 2495 2505 "src/plugins/none/NonePlugin.ml" 66 2495 2508
)
"src/plugins/none/NonePlugin.ml" 92 3332 3347 "src/plugins/none/NonePlugin.ml" 92 3332 3360
type(
  'e * string * OASISVersion.t option
)
"src/plugins/none/NonePlugin.ml" 93 3364 3370 "src/plugins/none/NonePlugin.ml" 93 3364 3377
type(
  OASISPlugin.Doc.self_t
)
ident(
  def self_id "src/plugins/none/NonePlugin.ml" 94 3404 3406 "src/plugins/none/NonePlugin.ml" 96 3472 3476
)
"src/plugins/none/NonePlugin.ml" 93 3364 3379 "src/plugins/none/NonePlugin.ml" 93 3364 3380
type(
  OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 93 3364 3370 "src/plugins/none/NonePlugin.ml" 93 3364 3380
type(
  OASISPlugin.Doc.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 93 3364 3383 "src/plugins/none/NonePlugin.ml" 93 3364 3393
type(
  OASISPlugin.Doc.self_plugin -> OASISPlugin.Doc.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Doc.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/none/NonePlugin.ml" 93 3364 3394 "src/plugins/none/NonePlugin.ml" 93 3364 3400
type(
  OASISPlugin.Doc.self_plugin
)
ident(
  int_ref plugin "src/plugins/none/NonePlugin.ml" 92 3332 3338 "src/plugins/none/NonePlugin.ml" 92 3332 3344
)
"src/plugins/none/NonePlugin.ml" 93 3364 3383 "src/plugins/none/NonePlugin.ml" 93 3364 3400
type(
  OASISPlugin.Doc.self_t * OASISPlugin.all_t
)
"src/plugins/none/NonePlugin.ml" 94 3404 3410 "src/plugins/none/NonePlugin.ml" 94 3404 3412
type(
  unit
)
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 94 3404 3415 "src/plugins/none/NonePlugin.ml" 94 3404 3431
type(
  OASISPlugin.Doc.self_t -> OASISPlugin.Doc.act -> unit
)
ident(
  int_ref OASISPlugin.Doc.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/none/NonePlugin.ml" 94 3404 3432 "src/plugins/none/NonePlugin.ml" 94 3404 3439
type(
  OASISPlugin.Doc.self_t
)
ident(
  int_ref self_id "src/plugins/none/NonePlugin.ml" 93 3364 3370 "src/plugins/none/NonePlugin.ml" 93 3364 3377
)
"src/plugins/none/NonePlugin.ml" 94 3404 3441 "src/plugins/none/NonePlugin.ml" 94 3404 3460
type(
  string -> OASISPlugin.Doc.act
)
ident(
  int_ref section_no_generate "src/plugins/none/NonePlugin.ml" 61 2359 2363 "src/plugins/none/NonePlugin.ml" 61 2359 2382
)
"src/plugins/none/NonePlugin.ml" 94 3404 3461 "src/plugins/none/NonePlugin.ml" 94 3404 3466
type(
  string
)
"src/plugins/none/NonePlugin.ml" 94 3404 3440 "src/plugins/none/NonePlugin.ml" 94 3404 3467
type(
  OASISPlugin.Doc.act
)
"src/plugins/none/NonePlugin.ml" 94 3404 3415 "src/plugins/none/NonePlugin.ml" 94 3404 3467
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 96 3472 3474 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 94 3404 3406 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 93 3364 3366 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 92 3332 3334 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 90 3262 3264 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 89 3221 3223 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 88 3188 3190 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 83 3068 3070 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 82 3024 3026 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 81 2988 2990 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 79 2920 2922 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 78 2878 2880 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 77 2844 2846 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 75 2768 2770 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 74 2722 2724 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 73 2684 2686 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 67 2551 2553 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
"src/plugins/none/NonePlugin.ml" 66 2495 2497 "src/plugins/none/NonePlugin.ml" 96 3472 3476
type(
  unit
)
