liboasis-ocaml-dev 0.4.10-2build1 / usr / lib / ocaml / plugin-loader / PluginLoader.annot

"src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2074 "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2076
type(
  'a -> 'a
)
ident(
  def s_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2083 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2077 "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2078
type(
  'a
)
ident(
  def s "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2081 "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2082
)
"src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2081 "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2082
type(
  'a
)
ident(
  int_ref s "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2077 "src/ext/plugin-loader/src/PluginLoader.ml" 39 2070 2078
)
"src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
type(
  ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6
)
ident(
  def f_ "src/ext/plugin-loader/src/PluginLoader.ml" 41 2104 2104 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2090 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2093
type(
  ('a, 'b, 'c, 'd, 'e, 'f) format6
)
ident(
  def fmt "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2096 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2103
)
"src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2096 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2098
type(
  ('a, 'b, 'c, 'd, 'd, 'a) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2098 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2100
type(
  ('a, 'b, 'c, 'd, 'd, 'a) format6 ->
  ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6
)
ident(
  ext_ref Pervasives.( ^^ )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2100 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2103
type(
  ('a, 'b, 'c, 'd, 'e, 'f) format6
)
ident(
  int_ref fmt "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2090 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2093
)
"src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2096 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2103
call(
  tail
)
type(
  ('a, 'b, 'c, 'd, 'e, 'f) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 50 2153 2157 "src/ext/plugin-loader/src/PluginLoader.ml" 50 2153 2159
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 51 2162 2164 "src/ext/plugin-loader/src/PluginLoader.ml" 51 2162 2189
type(
  (exn -> string option) -> unit
)
ident(
  ext_ref Printexc.register_printer
)
"src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2227 "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2228
type(
  string
)
ident(
  def s "src/ext/plugin-loader/src/PluginLoader.ml" 54 2250 2258 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2367
)
"src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2244 "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2245
type(
  Dynlink.error
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 54 2250 2258 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2367
)
"src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2230 "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2245
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2212 "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2246
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2274 "src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2281
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2283 "src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2285
type(
  (string -> string -> string, unit, string, string, string, string) format6 ->
  (string -> string -> string, unit, string, string, string, string) format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2286 "src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2324
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2282 "src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2325
call(
  stack
)
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2339 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2340
type(
  string
)
ident(
  int_ref s "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2227 "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2228
)
"src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2342 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2363
type(
  Dynlink.error -> string
)
ident(
  ext_ref Dynlink.error_message
)
"src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2364 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2365
type(
  Dynlink.error
)
ident(
  int_ref e "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2244 "src/ext/plugin-loader/src/PluginLoader.ml" 53 2204 2245
)
"src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2341 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2366
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 55 2263 2273 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2367
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 54 2250 2258 "src/ext/plugin-loader/src/PluginLoader.ml" 56 2326 2367
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2392 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2393
type(
  string
)
ident(
  def s "src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2449 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
)
"src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2428 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2430
type(
  string
)
ident(
  def s' "src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2449 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
)
"src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2432 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2435
type(
  string
)
ident(
  def msg "src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2449 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
)
"src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2395 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2436
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2377 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2437
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2453 "src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2456
type(
  string
)
ident(
  def pkg "src/ext/plugin-loader/src/PluginLoader.ml" 65 2597 2605 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
)
"src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2472 "src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2473
type(
  string
)
ident(
  int_ref s "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2392 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2393
)
"src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2474 "src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2475
type(
  string -> string -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2476 "src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2478
type(
  string
)
ident(
  int_ref s' "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2428 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2430
)
"src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2472 "src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2478
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2496 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2499
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2499 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2500
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2500 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2501
type(
  string
)
ident(
  int_ref s "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2392 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2393
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2501 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2502
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2502 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2505
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2500 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2505
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2496 "src/ext/plugin-loader/src/PluginLoader.ml" 61 2484 2505
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2533 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2540
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2542 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2544
type(
  (string -> string -> string, unit, string, string, string, string) format6 ->
  (string -> string -> string, unit, string, string, string, string) format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2545 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2579
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2541 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2580
call(
  stack
)
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2581 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2583
type(
  string
)
ident(
  int_ref s' "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2428 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2430
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2584 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2585
type(
  string
)
ident(
  int_ref s "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2392 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2393
)
"src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2533 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2585
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 60 2459 2469 "src/ext/plugin-loader/src/PluginLoader.ml" 63 2521 2585
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 65 2597 2609 "src/ext/plugin-loader/src/PluginLoader.ml" 65 2597 2619
type(
  string
)
ident(
  def additional "src/ext/plugin-loader/src/PluginLoader.ml" 68 2688 2696 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2635 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2638
type(
  string
)
ident(
  int_ref msg "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2432 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2435
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2639 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2640
type(
  string -> string -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2641 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2643
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2635 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2643
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2649 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2651
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2657 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2664
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2665 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2672
type(
  (string -> string, unit, string) format
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2673 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2676
type(
  string
)
ident(
  int_ref msg "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2432 "src/ext/plugin-loader/src/PluginLoader.ml" 58 2369 2435
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2657 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2676
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2632 "src/ext/plugin-loader/src/PluginLoader.ml" 66 2622 2676
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2712 "src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2719
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2721 "src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2723
type(
  (string -> string -> string, unit, string, string, string, string) format6 ->
  (string -> string -> string, unit, string, string, string, string) format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2724 "src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2756
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2720 "src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2757
call(
  stack
)
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2771 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2774
type(
  string
)
ident(
  int_ref pkg "src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2453 "src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2456
)
"src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2775 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2785
type(
  string
)
ident(
  int_ref additional "src/ext/plugin-loader/src/PluginLoader.ml" 65 2597 2609 "src/ext/plugin-loader/src/PluginLoader.ml" 65 2597 2619
)
"src/ext/plugin-loader/src/PluginLoader.ml" 69 2701 2711 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 68 2688 2696 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 65 2597 2605 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 59 2441 2449 "src/ext/plugin-loader/src/PluginLoader.ml" 70 2758 2786
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2811 "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2812
type(
  string
)
ident(
  def s "src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2828 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2919
)
"src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2814 "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2815
type(
  exn
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2828 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2919
)
"src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2796 "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2816
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2834 "src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2841
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2842 "src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2881
type(
  (string -> string -> string, unit, string) format
)
"src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2894 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2895
type(
  string
)
ident(
  int_ref s "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2811 "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2812
)
"src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2897 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2915
type(
  exn -> string
)
ident(
  ext_ref Printexc.to_string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2916 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2917
type(
  exn
)
ident(
  int_ref e "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2814 "src/ext/plugin-loader/src/PluginLoader.ml" 72 2788 2815
)
"src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2896 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2918
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2833 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2919
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 73 2820 2828 "src/ext/plugin-loader/src/PluginLoader.ml" 74 2882 2919
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 75 2920 2945 "src/ext/plugin-loader/src/PluginLoader.ml" 75 2920 2947
type(
  string
)
ident(
  def nm "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2959 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3005
)
"src/ext/plugin-loader/src/PluginLoader.ml" 75 2920 2928 "src/ext/plugin-loader/src/PluginLoader.ml" 75 2920 2947
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2965 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2972
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2974 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2976
type(
  (string -> string, unit, string, string, string, string) format6 ->
  (string -> string, unit, string, string, string, string) format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2977 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3000
type(
  (string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2973 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3001
call(
  stack
)
type(
  (string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3002 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3004
type(
  string
)
ident(
  int_ref nm "src/ext/plugin-loader/src/PluginLoader.ml" 75 2920 2945 "src/ext/plugin-loader/src/PluginLoader.ml" 75 2920 2947
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2964 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3005
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 2959 "src/ext/plugin-loader/src/PluginLoader.ml" 76 2951 3005
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 77 3006 3014 "src/ext/plugin-loader/src/PluginLoader.ml" 77 3006 3015
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 78 3019 3027 "src/ext/plugin-loader/src/PluginLoader.ml" 78 3019 3031
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 52 2190 2194 "src/ext/plugin-loader/src/PluginLoader.ml" 78 3019 3032
type(
  exn -> string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 51 2162 2164 "src/ext/plugin-loader/src/PluginLoader.ml" 78 3019 3033
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 81 3036 3055 "src/ext/plugin-loader/src/PluginLoader.ml" 81 3036 3071
call(
  stack
)
"src/ext/plugin-loader/src/PluginLoader.ml" 87 3096 3115 "src/ext/plugin-loader/src/PluginLoader.ml" 87 3096 3131
call(
  stack
)
"src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3138 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3161
type(
  SetString.t ref
)
ident(
  def findlib_packages_loaded "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3186 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3164 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3167
type(
  SetString.t -> SetString.t ref
)
ident(
  ext_ref Pervasives.ref
)
"src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3168 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3183
type(
  SetString.t
)
ident(
  ext_ref SetString.empty
)
"src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3164 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3183
type(
  SetString.t ref
)
"src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3190 "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3209
type(
  SetString.elt -> unit
)
ident(
  def add_findlib_package "src/ext/plugin-loader/src/PluginLoader.ml" 98 3368 3368 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3210 "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3211
type(
  SetString.elt
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3216 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3283
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3216 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3239
type(
  SetString.t ref
)
ident(
  int_ref findlib_packages_loaded "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3138 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3161
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3240 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3242
type(
  SetString.t ref -> SetString.t -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3243 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3256
type(
  SetString.elt -> SetString.t -> SetString.t
)
ident(
  ext_ref SetString.add
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3257 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3258
type(
  SetString.elt
)
ident(
  int_ref e "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3210 "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3211
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3259 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3260
type(
  SetString.t ref -> SetString.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3260 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3283
type(
  SetString.t ref
)
ident(
  int_ref findlib_packages_loaded "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3138 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3161
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3259 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3283
type(
  SetString.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3243 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3283
call(
  stack
)
type(
  SetString.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3216 "src/ext/plugin-loader/src/PluginLoader.ml" 94 3214 3283
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 101 3393 3397 "src/ext/plugin-loader/src/PluginLoader.ml" 101 3393 3401
type(
  SetString.elt list -> unit
)
ident(
  def init "src/ext/plugin-loader/src/PluginLoader.ml" 107 3529 3529 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 101 3393 3402 "src/ext/plugin-loader/src/PluginLoader.ml" 101 3393 3425
type(
  SetString.elt list
)
ident(
  def findlib_packages_loaded "src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3454 "src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3526
)
"src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3454 "src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3463
type(
  (SetString.elt -> unit) -> SetString.elt list -> unit
)
ident(
  ext_ref List.iter
)
"src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3464 "src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3483
type(
  SetString.elt -> unit
)
ident(
  int_ref add_findlib_package "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3190 "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3209
)
"src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3484 "src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3507
type(
  SetString.elt list
)
ident(
  int_ref findlib_packages_loaded "src/ext/plugin-loader/src/PluginLoader.ml" 101 3393 3402 "src/ext/plugin-loader/src/PluginLoader.ml" 101 3393 3425
)
"src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3454 "src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3507
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3511 "src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3523
type(
  ?env_ocamlpath:string ->
  ?env_ocamlfind_destdir:string ->
  ?env_ocamlfind_metadir:string ->
  ?env_ocamlfind_commands:string ->
  ?env_ocamlfind_ignore_dups_in:string ->
  ?env_camllib:string ->
  ?env_ldconf:string -> ?config:string -> ?toolchain:string -> unit -> unit
)
ident(
  ext_ref Findlib.init
)
"src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3524 "src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3526
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3511 "src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3526
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 103 3452 3454 "src/ext/plugin-loader/src/PluginLoader.ml" 104 3509 3526
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3823 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3832
type(
  [> `Debug | `Error | `Warning ] t -> string -> string list
)
ident(
  def findfiles "src/ext/plugin-loader/src/PluginLoader.ml" 212 6154 6154 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3833 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3834
type(
  ([> `Debug | `Error | `Warning ] as 'a) t
)
ident(
  def t "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3835 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
)
"src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3835 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3842
type(
  string
)
ident(
  def package "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3847 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
)
"src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3851 "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3866
type(
  string -> string list
)
ident(
  def rev_split_blank "src/ext/plugin-loader/src/PluginLoader.ml" 148 4320 4322 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
)
"src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3867 "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3870
type(
  string
)
ident(
  def str "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3877 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
)
"src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3881 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3884
type(
  Buffer.t
)
ident(
  def buf "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3911 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
)
"src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3887 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3900
type(
  int -> Buffer.t
)
ident(
  ext_ref Buffer.create
)
"src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3901 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3903
type(
  int
)
"src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3887 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3903
call(
  stack
)
type(
  Buffer.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3915 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3918
type(
  string list ref
)
ident(
  def lst "src/ext/plugin-loader/src/PluginLoader.ml" 129 3931 3935 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
)
"src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3921 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3924
type(
  string list -> string list ref
)
ident(
  ext_ref Pervasives.ref
)
"src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3925 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3927
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3921 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3927
type(
  string list ref
)
"src/ext/plugin-loader/src/PluginLoader.ml" 129 3931 3935 "src/ext/plugin-loader/src/PluginLoader.ml" 129 3931 3946
type(
  (char -> unit) -> string -> unit
)
ident(
  ext_ref String.iter
)
"src/ext/plugin-loader/src/PluginLoader.ml" 131 3963 3973 "src/ext/plugin-loader/src/PluginLoader.ml" 131 3963 3976
type(
  char
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 3993 "src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4006
type(
  Buffer.t -> int
)
ident(
  ext_ref Buffer.length
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4007 "src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4010
type(
  Buffer.t
)
ident(
  int_ref buf "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3881 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3884
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 3993 "src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4010
call(
  stack
)
type(
  int
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4011 "src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4012
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4013 "src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4014
type(
  int
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 3993 "src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 4014
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4052 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4055
type(
  string list ref
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3915 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3918
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4056 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4058
type(
  string list ref -> string list -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4059 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4074
type(
  Buffer.t -> string
)
ident(
  ext_ref Buffer.contents
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4075 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4078
type(
  Buffer.t
)
ident(
  int_ref buf "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3881 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3884
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4059 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4078
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4082 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4083
type(
  string list ref -> string list
)
ident(
  ext_ref Pervasives.( ! )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4083 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4086
type(
  string list ref
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3915 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3918
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4082 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4086
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4059 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4086
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4052 "src/ext/plugin-loader/src/PluginLoader.ml" 134 4038 4086
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 135 4088 4102 "src/ext/plugin-loader/src/PluginLoader.ml" 135 4088 4114
type(
  Buffer.t -> unit
)
ident(
  ext_ref Buffer.clear
)
"src/ext/plugin-loader/src/PluginLoader.ml" 135 4088 4115 "src/ext/plugin-loader/src/PluginLoader.ml" 135 4088 4118
type(
  Buffer.t
)
ident(
  int_ref buf "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3881 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3884
)
"src/ext/plugin-loader/src/PluginLoader.ml" 135 4088 4102 "src/ext/plugin-loader/src/PluginLoader.ml" 135 4088 4118
call(
  tail
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 133 4020 4032 "src/ext/plugin-loader/src/PluginLoader.ml" 136 4119 4134
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 132 3980 3990 "src/ext/plugin-loader/src/PluginLoader.ml" 136 4119 4134
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 137 4135 4145 "src/ext/plugin-loader/src/PluginLoader.ml" 137 4135 4146
type(
  char
)
ident(
  def c "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4160 "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4181
)
"src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4160 "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4175
type(
  Buffer.t -> char -> unit
)
ident(
  ext_ref Buffer.add_char
)
"src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4176 "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4179
type(
  Buffer.t
)
ident(
  int_ref buf "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3881 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3884
)
"src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4180 "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4181
type(
  char
)
ident(
  int_ref c "src/ext/plugin-loader/src/PluginLoader.ml" 137 4135 4145 "src/ext/plugin-loader/src/PluginLoader.ml" 137 4135 4146
)
"src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4160 "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4181
call(
  tail
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 130 3947 3953 "src/ext/plugin-loader/src/PluginLoader.ml" 138 4150 4182
type(
  char -> unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 139 4183 4189 "src/ext/plugin-loader/src/PluginLoader.ml" 139 4183 4192
type(
  string
)
ident(
  int_ref str "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3867 "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3870
)
"src/ext/plugin-loader/src/PluginLoader.ml" 129 3931 3935 "src/ext/plugin-loader/src/PluginLoader.ml" 139 4183 4192
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 141 4204 4216 "src/ext/plugin-loader/src/PluginLoader.ml" 141 4204 4231
type(
  Buffer.t -> string
)
ident(
  ext_ref Buffer.contents
)
"src/ext/plugin-loader/src/PluginLoader.ml" 141 4204 4232 "src/ext/plugin-loader/src/PluginLoader.ml" 141 4204 4235
type(
  Buffer.t
)
ident(
  int_ref buf "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3881 "src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3884
)
"src/ext/plugin-loader/src/PluginLoader.ml" 141 4204 4216 "src/ext/plugin-loader/src/PluginLoader.ml" 141 4204 4235
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 142 4241 4251 "src/ext/plugin-loader/src/PluginLoader.ml" 142 4241 4253
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 142 4241 4257 "src/ext/plugin-loader/src/PluginLoader.ml" 142 4241 4259
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4270 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4273
type(
  string
)
ident(
  def str "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4277 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4295
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4277 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4280
type(
  string list ref
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3915 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3918
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4281 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4283
type(
  string list ref -> string list -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4284 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4287
type(
  string
)
ident(
  int_ref str "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4270 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4273
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4291 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4292
type(
  string list ref -> string list
)
ident(
  ext_ref Pervasives.( ! )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4292 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4295
type(
  string list ref
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3915 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3918
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4291 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4295
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4284 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4295
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4277 "src/ext/plugin-loader/src/PluginLoader.ml" 143 4260 4295
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 140 4194 4198 "src/ext/plugin-loader/src/PluginLoader.ml" 144 4296 4303
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4309 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4310
type(
  string list ref -> string list
)
ident(
  ext_ref Pervasives.( ! )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4310 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
type(
  string list ref
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3915 "src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3918
)
"src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4309 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 140 4194 4198 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 129 3931 3935 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 128 3907 3911 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 127 3873 3877 "src/ext/plugin-loader/src/PluginLoader.ml" 145 4305 4313
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4334 "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4339
type(
  string list
)
ident(
  def preds "src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4408 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
)
"src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4352 "src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4369
type(
  bool
)
ident(
  ext_ref Dynlink.is_native
)
"src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4375 "src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4383
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4389 "src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4395
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4349 "src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4395
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4348 "src/ext/plugin-loader/src/PluginLoader.ml" 150 4342 4396
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4412 "src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4416
type(
  SetString.elt list
)
ident(
  def deps "src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4571 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
)
"src/ext/plugin-loader/src/PluginLoader.ml" 153 4419 4425 "src/ext/plugin-loader/src/PluginLoader.ml" 153 4419 4436
type(
  (SetString.elt -> bool) -> SetString.elt list -> SetString.elt list
)
ident(
  ext_ref List.filter
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4450 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4451
type(
  SetString.elt
)
ident(
  def a "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4455 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4501
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4455 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4458
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4460 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4473
type(
  SetString.elt -> SetString.t -> bool
)
ident(
  ext_ref SetString.mem
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4474 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4475
type(
  SetString.elt
)
ident(
  int_ref a "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4450 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4451
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4476 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4477
type(
  SetString.t ref -> SetString.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4477 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4500
type(
  SetString.t ref
)
ident(
  int_ref findlib_packages_loaded "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3138 "src/ext/plugin-loader/src/PluginLoader.ml" 90 3134 3161
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4476 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4500
type(
  SetString.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4459 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4501
call(
  stack
)
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4455 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4501
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4445 "src/ext/plugin-loader/src/PluginLoader.ml" 154 4437 4502
type(
  SetString.elt -> bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4512 "src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4542
type(
  string list -> string list -> SetString.elt list
)
ident(
  ext_ref Findlib.package_deep_ancestors
)
"src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4543 "src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4548
type(
  string list
)
ident(
  int_ref preds "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4334 "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4339
)
"src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4550 "src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4557
type(
  string
)
ident(
  int_ref package "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3835 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3842
)
"src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4549 "src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4558
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4511 "src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4559
call(
  stack
)
type(
  SetString.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 153 4419 4425 "src/ext/plugin-loader/src/PluginLoader.ml" 155 4503 4559
call(
  stack
)
type(
  SetString.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4571 "src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4572
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3833 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3834
)
"src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4571 "src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4576
type(
  'a -> string -> unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 158 4577 4583 "src/ext/plugin-loader/src/PluginLoader.ml" 158 4577 4589
type(
  'a
)
"src/ext/plugin-loader/src/PluginLoader.ml" 159 4590 4597 "src/ext/plugin-loader/src/PluginLoader.ml" 159 4590 4604
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 160 4605 4615 "src/ext/plugin-loader/src/PluginLoader.ml" 160 4605 4617
type(
  (string -> string -> string, unit, string, string, string, string) format6 ->
  (string -> string -> string, unit, string, string, string, string) format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 160 4605 4618 "src/ext/plugin-loader/src/PluginLoader.ml" 160 4605 4642
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 160 4605 4614 "src/ext/plugin-loader/src/PluginLoader.ml" 160 4605 4643
call(
  stack
)
type(
  (string -> string -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4653 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4660
type(
  string
)
ident(
  int_ref package "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3835 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3842
)
"src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4662 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4675
type(
  string -> SetString.elt list -> string
)
ident(
  ext_ref String.concat
)
"src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4676 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4680
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4681 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4685
type(
  SetString.elt list
)
ident(
  int_ref deps "src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4412 "src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4416
)
"src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4661 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4686
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 159 4590 4596 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4687
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4571 "src/ext/plugin-loader/src/PluginLoader.ml" 161 4644 4687
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4697 "src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4707
type(
  string list -> string list
)
ident(
  def fix_suffix "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 4990 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
)
"src/ext/plugin-loader/src/PluginLoader.ml" 163 4710 4716 "src/ext/plugin-loader/src/PluginLoader.ml" 163 4710 4728
type(
  (string -> string) -> string list -> string list
)
ident(
  ext_ref List.rev_map
)
"src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4742 "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4744
type(
  string
)
ident(
  def fn "src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4806 "src/ext/plugin-loader/src/PluginLoader.ml" 170 4962 4977
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4809 "src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4830
type(
  string -> string -> bool
)
ident(
  ext_ref Filename.check_suffix
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4831 "src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4833
type(
  string
)
ident(
  int_ref fn "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4742 "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4744
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4834 "src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4839
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4809 "src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4839
call(
  stack
)
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4840 "src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4842
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4857 "src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4878
type(
  string -> string -> bool
)
ident(
  ext_ref Filename.check_suffix
)
"src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4879 "src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4881
type(
  string
)
ident(
  int_ref fn "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4742 "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4744
)
"src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4882 "src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4888
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4857 "src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4888
call(
  stack
)
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4809 "src/ext/plugin-loader/src/PluginLoader.ml" 167 4843 4888
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4908 "src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4931
type(
  string -> string
)
ident(
  ext_ref Filename.chop_extension
)
"src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4932 "src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4934
type(
  string
)
ident(
  int_ref fn "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4742 "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4744
)
"src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4907 "src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4935
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4936 "src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4937
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4938 "src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4945
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4907 "src/ext/plugin-loader/src/PluginLoader.ml" 168 4894 4945
call(
  tail
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 170 4962 4975 "src/ext/plugin-loader/src/PluginLoader.ml" 170 4962 4977
type(
  string
)
ident(
  int_ref fn "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4742 "src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4744
)
"src/ext/plugin-loader/src/PluginLoader.ml" 166 4795 4806 "src/ext/plugin-loader/src/PluginLoader.ml" 170 4962 4977
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 164 4729 4737 "src/ext/plugin-loader/src/PluginLoader.ml" 170 4962 4978
type(
  string -> string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 163 4710 4716 "src/ext/plugin-loader/src/PluginLoader.ml" 170 4962 4978
call(
  stack
)
type(
  string list -> string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 4998 "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 5001
type(
  SetString.elt list -> string list
)
ident(
  def aux "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 4990 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
)
"src/ext/plugin-loader/src/PluginLoader.ml" 174 5019 5029 "src/ext/plugin-loader/src/PluginLoader.ml" 174 5019 5031
type(
  SetString.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 174 5019 5035 "src/ext/plugin-loader/src/PluginLoader.ml" 174 5019 5037
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5049
type(
  SetString.elt
)
ident(
  def a "src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5069 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
)
"src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5053 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5055
type(
  SetString.elt list
)
ident(
  def tl "src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5069 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
)
"src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5055
type(
  SetString.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5073 "src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5077
type(
  string list
)
ident(
  def mods "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5830 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
)
"src/ext/plugin-loader/src/PluginLoader.ml" 178 5096 5114 "src/ext/plugin-loader/src/PluginLoader.ml" 178 5096 5117
type(
  string
)
ident(
  def raw "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5224 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5267
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5136 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5160
type(
  string list -> SetString.elt -> string -> string
)
ident(
  ext_ref Findlib.package_property
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5162 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5170
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5174 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5179
type(
  string list
)
ident(
  int_ref preds "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4334 "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4339
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5161 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5180
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5181 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5182
type(
  SetString.elt
)
ident(
  int_ref a "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5049
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5183 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5192
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5136 "src/ext/plugin-loader/src/PluginLoader.ml" 179 5120 5192
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5224 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5232
type(
  string list -> string list
)
ident(
  ext_ref List.rev
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5234 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5244
type(
  string list -> string list
)
ident(
  int_ref fix_suffix "src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4697 "src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4707
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5246 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5261
type(
  string -> string list
)
ident(
  int_ref rev_split_blank "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3851 "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3866
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5262 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5265
type(
  string
)
ident(
  int_ref raw "src/ext/plugin-loader/src/PluginLoader.ml" 178 5096 5114 "src/ext/plugin-loader/src/PluginLoader.ml" 178 5096 5117
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5245 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5266
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5233 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5267
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5224 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5267
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 178 5096 5110 "src/ext/plugin-loader/src/PluginLoader.ml" 181 5210 5267
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 182 5268 5285 "src/ext/plugin-loader/src/PluginLoader.ml" 182 5268 5294
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5360 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5363
type(
  string
)
ident(
  def raw "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5430 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5473
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5366 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5390
type(
  string list -> SetString.elt -> string -> string
)
ident(
  ext_ref Findlib.package_property
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5391 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5396
type(
  string list
)
ident(
  int_ref preds "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4334 "src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4339
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5397 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5398
type(
  SetString.elt
)
ident(
  int_ref a "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5049
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5399 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5408
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5366 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5408
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5430 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5438
type(
  string list -> string list
)
ident(
  ext_ref List.rev
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5440 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5450
type(
  string list -> string list
)
ident(
  int_ref fix_suffix "src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4697 "src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4707
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5452 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5467
type(
  string -> string list
)
ident(
  int_ref rev_split_blank "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3851 "src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3866
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5468 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5471
type(
  string
)
ident(
  int_ref raw "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5360 "src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5363
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5451 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5472
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5439 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5473
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5430 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5473
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 185 5338 5356 "src/ext/plugin-loader/src/PluginLoader.ml" 186 5412 5473
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 187 5474 5495 "src/ext/plugin-loader/src/PluginLoader.ml" 187 5474 5504
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5552 "src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5553
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3833 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3834
)
"src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5552 "src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5557
type(
  'a -> string -> unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5558 "src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5564
type(
  'a
)
"src/ext/plugin-loader/src/PluginLoader.ml" 190 5565 5588 "src/ext/plugin-loader/src/PluginLoader.ml" 190 5565 5595
type(
  (SetString.elt -> string, unit, string) format -> SetString.elt -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 191 5596 5622 "src/ext/plugin-loader/src/PluginLoader.ml" 191 5596 5624
type(
  (SetString.elt -> string, unit, string, string, string, string) format6 ->
  (SetString.elt -> string, unit, string, string, string, string) format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 191 5596 5625 "src/ext/plugin-loader/src/PluginLoader.ml" 192 5672 5713
type(
  (SetString.elt -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 191 5596 5621 "src/ext/plugin-loader/src/PluginLoader.ml" 192 5672 5714
call(
  stack
)
type(
  (SetString.elt -> string, unit, string, string, string, string) format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 193 5715 5740 "src/ext/plugin-loader/src/PluginLoader.ml" 193 5715 5741
type(
  SetString.elt
)
ident(
  int_ref a "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5049
)
"src/ext/plugin-loader/src/PluginLoader.ml" 190 5565 5587 "src/ext/plugin-loader/src/PluginLoader.ml" 193 5715 5742
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 189 5532 5552 "src/ext/plugin-loader/src/PluginLoader.ml" 193 5715 5742
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 194 5744 5764 "src/ext/plugin-loader/src/PluginLoader.ml" 194 5744 5766
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 188 5508 5526 "src/ext/plugin-loader/src/PluginLoader.ml" 195 5767 5788
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 183 5298 5312 "src/ext/plugin-loader/src/PluginLoader.ml" 196 5789 5806
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 177 5080 5092 "src/ext/plugin-loader/src/PluginLoader.ml" 196 5789 5806
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5834 "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5838
type(
  string
)
ident(
  def base "src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5882 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
)
"src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5841 "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5866
type(
  SetString.elt -> string
)
ident(
  ext_ref Findlib.package_directory
)
"src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5867 "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5868
type(
  SetString.elt
)
ident(
  int_ref a "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5049
)
"src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5841 "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5868
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5882 "src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5901
type(
  SetString.elt -> unit
)
ident(
  int_ref add_findlib_package "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3190 "src/ext/plugin-loader/src/PluginLoader.ml" 93 3186 3209
)
"src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5902 "src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5903
type(
  SetString.elt
)
ident(
  int_ref a "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5048 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5049
)
"src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5882 "src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5903
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5916 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5924
type(
  (string -> string) -> string list -> string list
)
ident(
  ext_ref List.map
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5926 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5946
type(
  ?base:string -> ?explicit:bool -> string -> string
)
ident(
  ext_ref Findlib.resolve_path
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5948 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5952
type(
  string
)
ident(
  int_ref base "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5834 "src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5838
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5925 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5953
call(
  stack
)
type(
  string -> string
)
type(
  ?explicit:bool -> string -> string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5954 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5958
type(
  string list
)
ident(
  int_ref mods "src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5073 "src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5077
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5915 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5959
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5960 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5961
type(
  string list -> string list -> string list
)
ident(
  ext_ref Pervasives.( @ )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5963 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5966
type(
  SetString.elt list -> string list
)
ident(
  int_ref aux "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 4998 "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 5001
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5967 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5969
type(
  SetString.elt list
)
ident(
  int_ref tl "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5053 "src/ext/plugin-loader/src/PluginLoader.ml" 175 5038 5055
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5962 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5915 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
call(
  tail
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 199 5872 5882 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 198 5820 5830 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 176 5059 5069 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 173 5004 5010 "src/ext/plugin-loader/src/PluginLoader.ml" 200 5905 5970
type(
  SetString.elt list -> string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5987 "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5990
type(
  string list
)
ident(
  def res "src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6009 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
)
"src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5993 "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5996
type(
  SetString.elt list -> string list
)
ident(
  int_ref aux "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 4998 "src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 5001
)
"src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5997 "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 6001
type(
  SetString.elt list
)
ident(
  int_ref deps "src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4412 "src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4416
)
"src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5993 "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 6001
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6009 "src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6010
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3833 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3834
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6009 "src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6014
type(
  'a -> string -> unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6015 "src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6021
type(
  'a
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6023 "src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6030
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6031 "src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6056
type(
  (string -> string, unit, string) format
)
"src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6066 "src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6079
type(
  string -> string list -> string
)
ident(
  ext_ref String.concat
)
"src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6080 "src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6084
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6085 "src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6088
type(
  string list
)
ident(
  int_ref res "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5987 "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5990
)
"src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6065 "src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6089
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6022 "src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6090
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6009 "src/ext/plugin-loader/src/PluginLoader.ml" 205 6057 6090
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6096 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
ident(
  int_ref res "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5987 "src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5990
)
"src/ext/plugin-loader/src/PluginLoader.ml" 204 6005 6009 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 203 5979 5983 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 172 4986 4990 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 162 4689 4693 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 157 4567 4571 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 152 4404 4408 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 149 4326 4330 "src/ext/plugin-loader/src/PluginLoader.ml" 206 6092 6099
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 208 6101 6108 "src/ext/plugin-loader/src/PluginLoader.ml" 208 6101 6109
type(
  exn
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6117 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
)
"src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6117 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6122
type(
  exn -> string list
)
ident(
  ext_ref Pervasives.raise
)
"src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6139 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6146
type(
  string
)
ident(
  int_ref package "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3835 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3842
)
"src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6148 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6149
type(
  exn
)
ident(
  int_ref e "src/ext/plugin-loader/src/PluginLoader.ml" 208 6101 6108 "src/ext/plugin-loader/src/PluginLoader.ml" 208 6101 6109
)
"src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6123 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6117 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 148 4320 4322 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 126 3845 3847 "src/ext/plugin-loader/src/PluginLoader.ml" 209 6113 6151
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6226 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6233
type(
  entry -> entry -> int
)
ident(
  def compare "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6280 "src/ext/plugin-loader/src/PluginLoader.ml" 218 6281 6288
)
"src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6234 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6236
type(
  entry
)
ident(
  def e1 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6237 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6280
)
"src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6237 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6239
type(
  entry
)
ident(
  def e2 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6250 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6280
)
"src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6250 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6264
type(
  String.t -> String.t -> int
)
ident(
  ext_ref String.compare
)
"src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6265 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6267
type(
  entry
)
ident(
  int_ref e1 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6234 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6236
)
"src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6265 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6272
type(
  String.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6273 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6275
type(
  entry
)
ident(
  int_ref e2 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6237 "src/ext/plugin-loader/src/PluginLoader.ml" 216 6216 6239
)
"src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6273 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6280
type(
  String.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6250 "src/ext/plugin-loader/src/PluginLoader.ml" 217 6242 6280
call(
  tail
)
type(
  int
)
"src/ext/plugin-loader/src/PluginLoader.ml" 213 6172 6174 "src/ext/plugin-loader/src/PluginLoader.ml" 218 6281 6289
call(
  stack
)
"src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6296 "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6300
type(
  [> `Debug | `Error | `Warning ] t -> SetEntry.elt list
)
ident(
  def list "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8388 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6301 "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6302
type(
  ([> `Debug | `Error | `Warning ] as 'a) t
)
ident(
  def t "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6307 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
)
"src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6311 "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6314
type(
  string list
)
ident(
  def lst "src/ext/plugin-loader/src/PluginLoader.ml" 223 6353 6355 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
)
"src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6317 "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6346
type(
  unit -> string list
)
ident(
  ext_ref Fl_package_base.list_packages
)
"src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6347 "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6349
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6317 "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6349
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 223 6353 6359 "src/ext/plugin-loader/src/PluginLoader.ml" 223 6353 6362
type(
  SetEntry.t
)
ident(
  def set "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8364 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
)
"src/ext/plugin-loader/src/PluginLoader.ml" 224 6365 6369 "src/ext/plugin-loader/src/PluginLoader.ml" 224 6365 6383
type(
  (SetEntry.t -> string -> SetEntry.t) ->
  SetEntry.t -> string list -> SetEntry.t
)
ident(
  ext_ref List.fold_left
)
"src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6395 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6398
type(
  SetEntry.t
)
ident(
  def acc "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8324
)
"src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6406
type(
  string
)
ident(
  def pkg_str "src/ext/plugin-loader/src/PluginLoader.ml" 226 6410 6419 "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8324
)
"src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6438 "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6441
type(
  Fl_package_base.package
)
ident(
  def pkg "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6488 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
)
"src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6444 "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6465
type(
  string -> Fl_package_base.package
)
ident(
  ext_ref Fl_package_base.query
)
"src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6466 "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6473
type(
  string
)
ident(
  int_ref pkg_str "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6406
)
"src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6444 "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6473
call(
  stack
)
type(
  Fl_package_base.package
)
"src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6492 "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6504
type(
  Fl_metascanner.pkg_definition list
)
ident(
  def package_defs "src/ext/plugin-loader/src/PluginLoader.ml" 229 6543 6554 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
)
"src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6507 "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6510
type(
  Fl_package_base.package
)
ident(
  int_ref pkg "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6438 "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6441
)
"src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6507 "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6539
type(
  Fl_metascanner.pkg_definition list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 229 6543 6558 "src/ext/plugin-loader/src/PluginLoader.ml" 229 6543 6571
type(
  string
)
ident(
  def plugin_system "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6666 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
)
"src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6587 "src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6608
type(
  string -> string list -> Fl_metascanner.pkg_definition list -> string
)
ident(
  ext_ref Fl_metascanner.lookup
)
"src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6609 "src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6624
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6625 "src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6627
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6628 "src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6640
type(
  Fl_metascanner.pkg_definition list
)
ident(
  int_ref package_defs "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6492 "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6504
)
"src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6587 "src/ext/plugin-loader/src/PluginLoader.ml" 230 6574 6640
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6670 "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6684
type(
  string -> string option
)
ident(
  def default_lookup "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6848 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
)
"src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6685 "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6688
type(
  string
)
ident(
  def var "src/ext/plugin-loader/src/PluginLoader.ml" 233 6691 6704 "src/ext/plugin-loader/src/PluginLoader.ml" 236 6803 6822
)
"src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6729 "src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6750
type(
  string -> string list -> Fl_metascanner.pkg_definition list -> string
)
ident(
  ext_ref Fl_metascanner.lookup
)
"src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6751 "src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6754
type(
  string
)
ident(
  int_ref var "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6685 "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6688
)
"src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6755 "src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6757
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6758 "src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6770
type(
  Fl_metascanner.pkg_definition list
)
ident(
  int_ref package_defs "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6492 "src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6504
)
"src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6728 "src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6771
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6723 "src/ext/plugin-loader/src/PluginLoader.ml" 234 6708 6771
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 235 6772 6790 "src/ext/plugin-loader/src/PluginLoader.ml" 235 6772 6799
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 236 6803 6818 "src/ext/plugin-loader/src/PluginLoader.ml" 236 6803 6822
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 233 6691 6704 "src/ext/plugin-loader/src/PluginLoader.ml" 236 6803 6822
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6852 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6870
type(
  string -> string -> string
)
ident(
  def default_lookup_val "src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7013 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
)
"src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6871 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6874
type(
  string
)
ident(
  def var "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6875 "src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6987
)
"src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6875 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6879
type(
  string
)
ident(
  def dflt "src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6895 "src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6987
)
"src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6901 "src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6915
type(
  string -> string option
)
ident(
  int_ref default_lookup "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6670 "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6684
)
"src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6916 "src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6919
type(
  string
)
ident(
  int_ref var "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6871 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6874
)
"src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6901 "src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6919
call(
  stack
)
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6947 "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6950
type(
  string
)
ident(
  def str "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6954 "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6957
)
"src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6942 "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6950
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6954 "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6957
type(
  string
)
ident(
  int_ref str "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6947 "src/ext/plugin-loader/src/PluginLoader.ml" 240 6925 6950
)
"src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6975 "src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6979
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6983 "src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6987
type(
  string
)
ident(
  int_ref dflt "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6875 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6879
)
"src/ext/plugin-loader/src/PluginLoader.ml" 239 6882 6895 "src/ext/plugin-loader/src/PluginLoader.ml" 241 6958 6987
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7016 "src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7029
type(
  string
)
ident(
  int_ref plugin_system "src/ext/plugin-loader/src/PluginLoader.ml" 229 6543 6558 "src/ext/plugin-loader/src/PluginLoader.ml" 229 6543 6571
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7030 "src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7031
type(
  string -> string -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7032 "src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7033
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6301 "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6302
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7032 "src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7040
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7016 "src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7040
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 244 7052 7069 "src/ext/plugin-loader/src/PluginLoader.ml" 244 7052 7079
type(
  bool
)
ident(
  def deprecated "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7539 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8232
)
"src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7101 "src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7104
type(
  string
)
ident(
  def str "src/ext/plugin-loader/src/PluginLoader.ml" 248 7189 7204 "src/ext/plugin-loader/src/PluginLoader.ml" 255 7487 7509
)
"src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7124 "src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7142
type(
  string -> string -> string
)
ident(
  int_ref default_lookup_val "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6852 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6870
)
"src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7143 "src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7162
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7163 "src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7170
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7124 "src/ext/plugin-loader/src/PluginLoader.ml" 246 7107 7170
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 249 7208 7225 "src/ext/plugin-loader/src/PluginLoader.ml" 249 7208 7239
type(
  string -> bool
)
ident(
  ext_ref Pervasives.bool_of_string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 249 7208 7240 "src/ext/plugin-loader/src/PluginLoader.ml" 249 7208 7243
type(
  string
)
ident(
  int_ref str "src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7101 "src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7104
)
"src/ext/plugin-loader/src/PluginLoader.ml" 249 7208 7225 "src/ext/plugin-loader/src/PluginLoader.ml" 249 7208 7243
call(
  stack
)
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 250 7244 7281 "src/ext/plugin-loader/src/PluginLoader.ml" 250 7244 7282
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 250 7244 7264 "src/ext/plugin-loader/src/PluginLoader.ml" 250 7244 7282
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7303 "src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7304
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6301 "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6302
)
"src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7303 "src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7308
type(
  'a -> string -> unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7309 "src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7317
type(
  'a
)
"src/ext/plugin-loader/src/PluginLoader.ml" 252 7318 7338 "src/ext/plugin-loader/src/PluginLoader.ml" 252 7318 7345
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 252 7318 7346 "src/ext/plugin-loader/src/PluginLoader.ml" 253 7388 7450
type(
  (string -> string -> string, unit, string) format
)
"src/ext/plugin-loader/src/PluginLoader.ml" 254 7451 7473 "src/ext/plugin-loader/src/PluginLoader.ml" 254 7451 7480
type(
  string
)
ident(
  int_ref pkg_str "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6406
)
"src/ext/plugin-loader/src/PluginLoader.ml" 254 7451 7481 "src/ext/plugin-loader/src/PluginLoader.ml" 254 7451 7484
type(
  string
)
ident(
  int_ref str "src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7101 "src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7104
)
"src/ext/plugin-loader/src/PluginLoader.ml" 252 7318 7337 "src/ext/plugin-loader/src/PluginLoader.ml" 254 7451 7485
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7303 "src/ext/plugin-loader/src/PluginLoader.ml" 254 7451 7485
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 255 7487 7504 "src/ext/plugin-loader/src/PluginLoader.ml" 255 7487 7509
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 251 7286 7303 "src/ext/plugin-loader/src/PluginLoader.ml" 255 7487 7509
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 248 7189 7204 "src/ext/plugin-loader/src/PluginLoader.ml" 255 7487 7509
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 245 7082 7097 "src/ext/plugin-loader/src/PluginLoader.ml" 255 7487 7509
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7543 "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7548
type(
  entry
)
ident(
  def entry "src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7878 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8232
)
"src/ext/plugin-loader/src/PluginLoader.ml" 259 7568 7600 "src/ext/plugin-loader/src/PluginLoader.ml" 259 7568 7607
type(
  string
)
ident(
  int_ref pkg_str "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6406
)
"src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7633 "src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7651
type(
  string -> string -> string
)
ident(
  int_ref default_lookup_val "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6852 "src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6870
)
"src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7652 "src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7665
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7666 "src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7673
type(
  string
)
ident(
  int_ref pkg_str "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6406
)
"src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7633 "src/ext/plugin-loader/src/PluginLoader.ml" 260 7609 7673
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 261 7675 7703 "src/ext/plugin-loader/src/PluginLoader.ml" 261 7675 7717
type(
  string -> string option
)
ident(
  int_ref default_lookup "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6670 "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6684
)
"src/ext/plugin-loader/src/PluginLoader.ml" 261 7675 7718 "src/ext/plugin-loader/src/PluginLoader.ml" 261 7675 7735
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 261 7675 7703 "src/ext/plugin-loader/src/PluginLoader.ml" 261 7675 7735
call(
  stack
)
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 262 7737 7764 "src/ext/plugin-loader/src/PluginLoader.ml" 262 7737 7778
type(
  string -> string option
)
ident(
  int_ref default_lookup "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6670 "src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6684
)
"src/ext/plugin-loader/src/PluginLoader.ml" 262 7737 7779 "src/ext/plugin-loader/src/PluginLoader.ml" 262 7737 7788
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 262 7737 7764 "src/ext/plugin-loader/src/PluginLoader.ml" 262 7737 7788
call(
  stack
)
type(
  string option
)
"src/ext/plugin-loader/src/PluginLoader.ml" 263 7790 7820 "src/ext/plugin-loader/src/PluginLoader.ml" 263 7790 7830
type(
  bool
)
ident(
  int_ref deprecated "src/ext/plugin-loader/src/PluginLoader.ml" 244 7052 7069 "src/ext/plugin-loader/src/PluginLoader.ml" 244 7052 7079
)
"src/ext/plugin-loader/src/PluginLoader.ml" 258 7551 7566 "src/ext/plugin-loader/src/PluginLoader.ml" 264 7832 7848
type(
  entry
)
"src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7881 "src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7893
type(
  SetEntry.elt -> SetEntry.t -> bool
)
ident(
  ext_ref SetEntry.mem
)
"src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7894 "src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7899
type(
  SetEntry.elt
)
ident(
  int_ref entry "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7543 "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7548
)
"src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7900 "src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7903
type(
  SetEntry.t
)
ident(
  int_ref acc "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6395 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6398
)
"src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7881 "src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7903
call(
  stack
)
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7924 "src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7925
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6301 "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6302
)
"src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7924 "src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7929
type(
  'a -> string -> unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7930 "src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7938
type(
  'a
)
"src/ext/plugin-loader/src/PluginLoader.ml" 268 7939 7957 "src/ext/plugin-loader/src/PluginLoader.ml" 268 7939 7964
type(
  (string -> string -> string -> string, unit, string) format ->
  string -> string -> string -> string
)
ident(
  ext_ref Printf.sprintf
)
"src/ext/plugin-loader/src/PluginLoader.ml" 269 7965 7986 "src/ext/plugin-loader/src/PluginLoader.ml" 269 7965 7988
type(
  (string -> string -> string -> string, unit, string, string, string,
   string)
  format6 ->
  (string -> string -> string -> string, unit, string, string, string,
   string)
  format6
)
ident(
  int_ref f_ "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2087 "src/ext/plugin-loader/src/PluginLoader.ml" 40 2083 2089
)
"src/ext/plugin-loader/src/PluginLoader.ml" 269 7965 7989 "src/ext/plugin-loader/src/PluginLoader.ml" 270 8020 8082
type(
  (string -> string -> string -> string, unit, string, string, string,
   string)
  format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 269 7965 7985 "src/ext/plugin-loader/src/PluginLoader.ml" 270 8020 8083
call(
  stack
)
type(
  (string -> string -> string -> string, unit, string, string, string,
   string)
  format6
)
"src/ext/plugin-loader/src/PluginLoader.ml" 271 8084 8104 "src/ext/plugin-loader/src/PluginLoader.ml" 271 8084 8109
type(
  entry
)
ident(
  int_ref entry "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7543 "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7548
)
"src/ext/plugin-loader/src/PluginLoader.ml" 271 8084 8104 "src/ext/plugin-loader/src/PluginLoader.ml" 271 8084 8114
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 272 8115 8135 "src/ext/plugin-loader/src/PluginLoader.ml" 272 8115 8142
type(
  string
)
ident(
  int_ref pkg_str "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6399 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6406
)
"src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8163 "src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8166
type(
  Fl_package_base.package
)
ident(
  int_ref pkg "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6438 "src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6441
)
"src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8163 "src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8194
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 268 7939 7956 "src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8195
call(
  stack
)
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 267 7909 7924 "src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8195
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7878 "src/ext/plugin-loader/src/PluginLoader.ml" 273 8143 8195
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8210 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8222
type(
  SetEntry.elt -> SetEntry.t -> SetEntry.t
)
ident(
  ext_ref SetEntry.add
)
"src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8223 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8228
type(
  SetEntry.elt
)
ident(
  int_ref entry "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7543 "src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7548
)
"src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8229 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8232
type(
  SetEntry.t
)
ident(
  int_ref acc "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6395 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6398
)
"src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8210 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8232
call(
  stack
)
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 266 7865 7878 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8232
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 257 7526 7539 "src/ext/plugin-loader/src/PluginLoader.ml" 274 8197 8232
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7046 "src/ext/plugin-loader/src/PluginLoader.ml" 275 8233 8247
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 275 8233 8253 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
ident(
  int_ref acc "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6395 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6398
)
"src/ext/plugin-loader/src/PluginLoader.ml" 243 7002 7013 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 238 6837 6848 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 232 6655 6666 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 229 6543 6554 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 228 6477 6488 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 227 6423 6434 "src/ext/plugin-loader/src/PluginLoader.ml" 277 8276 8290
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 278 8291 8305 "src/ext/plugin-loader/src/PluginLoader.ml" 278 8291 8306
type(
  exn
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8321 "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8324
)
"src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8321 "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8324
type(
  SetEntry.t
)
ident(
  int_ref acc "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6395 "src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6398
)
"src/ext/plugin-loader/src/PluginLoader.ml" 226 6410 6419 "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8324
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 225 6384 6390 "src/ext/plugin-loader/src/PluginLoader.ml" 279 8310 8325
type(
  SetEntry.t -> string -> SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 280 8326 8332 "src/ext/plugin-loader/src/PluginLoader.ml" 280 8326 8346
type(
  SetEntry.t
)
ident(
  ext_ref SetEntry.empty
)
"src/ext/plugin-loader/src/PluginLoader.ml" 281 8347 8353 "src/ext/plugin-loader/src/PluginLoader.ml" 281 8347 8356
type(
  string list
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6311 "src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6314
)
"src/ext/plugin-loader/src/PluginLoader.ml" 224 6365 6369 "src/ext/plugin-loader/src/PluginLoader.ml" 281 8347 8356
call(
  stack
)
type(
  SetEntry.t
)
"src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8364 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8381
type(
  SetEntry.t -> SetEntry.elt list
)
ident(
  ext_ref SetEntry.elements
)
"src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8382 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
type(
  SetEntry.t
)
ident(
  int_ref set "src/ext/plugin-loader/src/PluginLoader.ml" 223 6353 6359 "src/ext/plugin-loader/src/PluginLoader.ml" 223 6353 6362
)
"src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8364 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
call(
  tail
)
type(
  SetEntry.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 223 6353 6355 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
type(
  SetEntry.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 222 6305 6307 "src/ext/plugin-loader/src/PluginLoader.ml" 283 8362 8385
type(
  SetEntry.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8392 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8396
type(
  [> `Debug | `Error | `Warning ] t -> string -> unit
)
ident(
  def load "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705 "src/ext/plugin-loader/src/PluginLoader.ml" 1 0 -1
)
"src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8397 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8398
type(
  ([> `Debug | `Error | `Warning ] as 'a) t
)
ident(
  def t "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8399 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
)
"src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8399 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8401
type(
  string
)
ident(
  def nm "src/ext/plugin-loader/src/PluginLoader.ml" 288 8436 8438 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
)
"src/ext/plugin-loader/src/PluginLoader.ml" 288 8436 8442 "src/ext/plugin-loader/src/PluginLoader.ml" 288 8436 8447
type(
  SetEntry.elt
)
ident(
  def entry "src/ext/plugin-loader/src/PluginLoader.ml" 294 8567 8569 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8464 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8473
type(
  (SetEntry.elt -> bool) -> SetEntry.elt list -> SetEntry.elt
)
ident(
  ext_ref List.find
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8479 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8480
type(
  SetEntry.elt
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8484 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8495
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8484 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8485
type(
  SetEntry.elt
)
ident(
  int_ref e "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8479 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8480
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8484 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8490
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8491 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8492
type(
  string -> string -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8493 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8495
type(
  string
)
ident(
  int_ref nm "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8399 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8401
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8484 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8495
type(
  bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8474 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8496
type(
  SetEntry.elt -> bool
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8498 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8502
type(
  'a t -> SetEntry.elt list
)
ident(
  int_ref list "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6296 "src/ext/plugin-loader/src/PluginLoader.ml" 221 6292 6300
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8503 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8504
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8397 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8398
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8497 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8505
call(
  stack
)
type(
  SetEntry.elt list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8464 "src/ext/plugin-loader/src/PluginLoader.ml" 290 8458 8505
call(
  stack
)
type(
  SetEntry.elt
)
"src/ext/plugin-loader/src/PluginLoader.ml" 291 8506 8515 "src/ext/plugin-loader/src/PluginLoader.ml" 291 8506 8524
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8534 "src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8539
type(
  exn -> SetEntry.elt
)
ident(
  ext_ref Pervasives.raise
)
"src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8558 "src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8560
type(
  string
)
ident(
  int_ref nm "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8399 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8401
)
"src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8540 "src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8561
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8534 "src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8561
type(
  SetEntry.elt
)
"src/ext/plugin-loader/src/PluginLoader.ml" 289 8450 8454 "src/ext/plugin-loader/src/PluginLoader.ml" 292 8528 8561
type(
  SetEntry.elt
)
"src/ext/plugin-loader/src/PluginLoader.ml" 294 8567 8573 "src/ext/plugin-loader/src/PluginLoader.ml" 294 8567 8576
type(
  string list
)
ident(
  def lst "src/ext/plugin-loader/src/PluginLoader.ml" 297 8619 8621 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
)
"src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8583 "src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8592
type(
  'a t -> string -> string list
)
ident(
  int_ref findfiles "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3823 "src/ext/plugin-loader/src/PluginLoader.ml" 125 3819 3832
)
"src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8593 "src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8594
type(
  'a t
)
ident(
  int_ref t "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8397 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8398
)
"src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8595 "src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8600
type(
  SetEntry.elt
)
ident(
  int_ref entry "src/ext/plugin-loader/src/PluginLoader.ml" 288 8436 8442 "src/ext/plugin-loader/src/PluginLoader.ml" 288 8436 8447
)
"src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8595 "src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8613
type(
  string
)
"src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8583 "src/ext/plugin-loader/src/PluginLoader.ml" 295 8579 8613
call(
  stack
)
type(
  string list
)
"src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8629 "src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8638
type(
  (string -> unit) -> string list -> unit
)
ident(
  ext_ref List.iter
)
"src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8639 "src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8655
type(
  string -> unit
)
ident(
  ext_ref Dynlink.loadfile
)
"src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8656 "src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8659
type(
  string list
)
ident(
  int_ref lst "src/ext/plugin-loader/src/PluginLoader.ml" 294 8567 8573 "src/ext/plugin-loader/src/PluginLoader.ml" 294 8567 8576
)
"src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8629 "src/ext/plugin-loader/src/PluginLoader.ml" 298 8625 8659
call(
  stack
)
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 299 8660 8667 "src/ext/plugin-loader/src/PluginLoader.ml" 299 8660 8668
type(
  exn
)
ident(
  def e "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8676 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
)
"src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8676 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8681
type(
  exn -> unit
)
ident(
  ext_ref Pervasives.raise
)
"src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8698 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8700
type(
  string
)
ident(
  int_ref nm "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8399 "src/ext/plugin-loader/src/PluginLoader.ml" 286 8388 8401
)
"src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8702 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8703
type(
  exn
)
ident(
  int_ref e "src/ext/plugin-loader/src/PluginLoader.ml" 299 8660 8667 "src/ext/plugin-loader/src/PluginLoader.ml" 299 8660 8668
)
"src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8682 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
type(
  exn
)
"src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8676 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 297 8619 8621 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 294 8567 8569 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
type(
  unit
)
"src/ext/plugin-loader/src/PluginLoader.ml" 288 8436 8438 "src/ext/plugin-loader/src/PluginLoader.ml" 300 8672 8705
type(
  unit
)