"src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1963 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1972
type(
  ctxt:'a -> OASISTypes.package -> string array -> unit
)
ident(
  def configure "src/plugins/internal/InternalConfigurePlugin.ml" 270 8629 8629 "src/plugins/internal/InternalConfigurePlugin.ml" 0 0 -1
)
"src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1979 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1980
type(
  'a
)
"src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1985 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1985 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1989
type(
  string array
)
ident(
  def argv "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1994 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
type(
  (unit -> string) -> unit
)
ident(
  def var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2055 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2014 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2017
type(
  unit -> string
)
ident(
  def var "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2020 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2049
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2024 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2026
type(
  string
)
ident(
  def _s "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2047 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2049
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2037 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2040
type(
  unit -> string
)
ident(
  int_ref var "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2014 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2017
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2041 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2043
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2037 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2043
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2047 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2049
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2020 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2049
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
type(
  OASISUtils.SetString.t ref
)
ident(
  def errors "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2093 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2068 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2071
type(
  OASISUtils.SetString.t -> OASISUtils.SetString.t ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2072 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2087
type(
  OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.empty "set.mli" 74 2915 2919 "set.mli" 74 2915 2931
)
"src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2068 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2087
type(
  OASISUtils.SetString.t ref
)
"src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2097 "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2101
type(
  Buffer.t
)
ident(
  def buff "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2127 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2104 "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2117
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2118 "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2120
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2104 "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2120
type(
  Buffer.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
type(
  ('b, Buffer.t, unit, unit) format4 -> 'b
)
ident(
  def add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2300 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2142 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2145
type(
  ('b, Buffer.t, unit, unit) format4
)
ident(
  def fmt "src/plugins/internal/InternalConfigurePlugin.ml" 45 2148 2152 "src/plugins/internal/InternalConfigurePlugin.ml" 50 2282 2291
)
"src/plugins/internal/InternalConfigurePlugin.ml" 45 2148 2152 "src/plugins/internal/InternalConfigurePlugin.ml" 45 2148 2167
type(
  (Buffer.t -> unit) -> Buffer.t -> ('b, Buffer.t, unit, unit) format4 -> 'b
)
ident(
  int_ref Stdlib.Printf.kbprintf "printf.mli" 177 8666 8666 "printf.mli" 178 8713 8765
)
"src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2179 "src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2180
type(
  Buffer.t
)
ident(
  def b "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2193 "src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2269
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2193 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2199
type(
  OASISUtils.SetString.t ref
)
ident(
  int_ref errors "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2200 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2202
type(
  OASISUtils.SetString.t ref -> OASISUtils.SetString.t -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2203 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2216
type(
  OASISUtils.SetString.elt ->
  OASISUtils.SetString.t -> OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.add "set.mli" 83 3129 3133 "set.mli" 83 3129 3155
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2218 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2233
type(
  Buffer.t -> OASISUtils.SetString.elt
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2234 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2235
type(
  Buffer.t
)
ident(
  int_ref b "src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2179 "src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2180
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2217 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2236
type(
  OASISUtils.SetString.elt
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2237 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2238
type(
  OASISUtils.SetString.t ref -> OASISUtils.SetString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2238 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2244
type(
  OASISUtils.SetString.t ref
)
ident(
  int_ref errors "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2237 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2244
type(
  OASISUtils.SetString.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2203 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2244
type(
  OASISUtils.SetString.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2193 "src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2244
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2255 "src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2267
type(
  Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.clear "buffer.mli" 83 3483 3483 "buffer.mli" 83 3483 3504
)
"src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2268 "src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2269
type(
  Buffer.t
)
ident(
  int_ref b "src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2179 "src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2180
)
"src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2255 "src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2269
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 47 2184 2193 "src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2269
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 46 2168 2174 "src/plugins/internal/InternalConfigurePlugin.ml" 48 2246 2270
type(
  Buffer.t -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 49 2271 2277 "src/plugins/internal/InternalConfigurePlugin.ml" 49 2271 2281
type(
  Buffer.t
)
ident(
  int_ref buff "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2097 "src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2101
)
"src/plugins/internal/InternalConfigurePlugin.ml" 50 2282 2288 "src/plugins/internal/InternalConfigurePlugin.ml" 50 2282 2291
type(
  ('b, Buffer.t, unit, unit) format4
)
ident(
  int_ref fmt "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2142 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2145
)
"src/plugins/internal/InternalConfigurePlugin.ml" 45 2148 2152 "src/plugins/internal/InternalConfigurePlugin.ml" 50 2282 2291
type(
  'b
)
"src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
type(
  exn -> unit
)
ident(
  def warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2391 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2319 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2320
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2327 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2362
)
"src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2327 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2334
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref BaseMessage.warning "src/base/BaseMessage.mli" 45 2066 2066 "src/base/BaseMessage.mli" 45 2066 2117
)
"src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2335 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2339
type(
  (string -> unit, unit, string, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2341 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2359
type(
  exn -> string
)
ident(
  int_ref Stdlib.Printexc.to_string "printexc.mli" 21 1213 1213 "printexc.mli" 21 1213 1241
)
"src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2360 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2361
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2319 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2320
)
"src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2340 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2362
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2327 "src/plugins/internal/InternalConfigurePlugin.ml" 54 2323 2362
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2395 "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2406
type(
  OASISTypes.tool list -> unit
)
ident(
  def check_tools "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3274 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2407 "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2410
type(
  OASISTypes.tool list
)
ident(
  def lst "src/plugins/internal/InternalConfigurePlugin.ml" 59 2413 2417 "src/plugins/internal/InternalConfigurePlugin.ml" 84 3256 3265
)
"src/plugins/internal/InternalConfigurePlugin.ml" 59 2413 2417 "src/plugins/internal/InternalConfigurePlugin.ml" 59 2413 2426
type(
  (OASISTypes.tool -> unit) -> OASISTypes.tool list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2466 "src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2470
type(
  OASISTypes.name
)
ident(
  def tool "src/plugins/internal/InternalConfigurePlugin.ml" 62 2474 2484 "src/plugins/internal/InternalConfigurePlugin.ml" 68 2680 2693
)
"src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2453 "src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2470
type(
  OASISTypes.tool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2520 "src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2535
type(
  (unit -> OASISTypes.host_filename) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2537 "src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2551
type(
  OASISTypes.prog -> unit -> OASISTypes.host_filename
)
ident(
  int_ref BaseCheck.prog "src/base/BaseCheck.mli" 40 1993 1993 "src/base/BaseCheck.mli" 40 1993 2032
)
"src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2552 "src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2556
type(
  OASISTypes.name
)
ident(
  int_ref tool "src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2466 "src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2470
)
"src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2536 "src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2557
type(
  unit -> OASISTypes.host_filename
)
"src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2520 "src/plugins/internal/InternalConfigurePlugin.ml" 64 2506 2557
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 65 2558 2575 "src/plugins/internal/InternalConfigurePlugin.ml" 65 2558 2576
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2594 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2679
)
"src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2594 "src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2608
type(
  exn -> unit
)
ident(
  int_ref warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
)
"src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2609 "src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2610
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 65 2558 2575 "src/plugins/internal/InternalConfigurePlugin.ml" 65 2558 2576
)
"src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2594 "src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2610
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2626 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2636
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2638 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2640
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4 ->
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2641 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2673
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2637 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2674
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2675 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2679
type(
  OASISTypes.name
)
ident(
  int_ref tool "src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2466 "src/plugins/internal/InternalConfigurePlugin.ml" 61 2443 2470
)
"src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2626 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2679
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 66 2580 2594 "src/plugins/internal/InternalConfigurePlugin.ml" 67 2612 2679
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 62 2474 2484 "src/plugins/internal/InternalConfigurePlugin.ml" 68 2680 2693
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2723 "src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2726
type(
  OASISTypes.name
)
ident(
  def nm1 "src/plugins/internal/InternalConfigurePlugin.ml" 71 2780 2790 "src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3254
)
"src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2704 "src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2726
type(
  OASISTypes.tool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 71 2780 2790 "src/plugins/internal/InternalConfigurePlugin.ml" 71 2780 2799
type(
  (OASISTypes.section -> unit) -> OASISTypes.section list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2861 "src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2864
type(
  OASISTypes.name
)
ident(
  def nm2 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2947 "src/plugins/internal/InternalConfigurePlugin.ml" 80 3165 3188
)
"src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2850 "src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2868
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 74 2870 2910 "src/plugins/internal/InternalConfigurePlugin.ml" 74 2870 2915
type(
  bool OASISTypes.conditional
)
ident(
  def build "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2947 "src/plugins/internal/InternalConfigurePlugin.ml" 80 3165 3188
)
"src/plugins/internal/InternalConfigurePlugin.ml" 74 2870 2898 "src/plugins/internal/InternalConfigurePlugin.ml" 74 2870 2919
type(
  OASISTypes.build_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2939 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2940
type(
  OASISTypes.executable
)
"src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2838 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2941
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2947 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2950
type(
  OASISTypes.name
)
ident(
  int_ref nm1 "src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2723 "src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2726
)
"src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2951 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2952
type(
  OASISTypes.name -> OASISTypes.name -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2953 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2956
type(
  OASISTypes.name
)
ident(
  int_ref nm2 "src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2861 "src/plugins/internal/InternalConfigurePlugin.ml" 73 2822 2864
)
"src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2947 "src/plugins/internal/InternalConfigurePlugin.ml" 75 2921 2956
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2979 "src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2982
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2984 "src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2994
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2995 "src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 3000
type(
  bool OASISTypes.conditional
)
ident(
  int_ref build "src/plugins/internal/InternalConfigurePlugin.ml" 74 2870 2910 "src/plugins/internal/InternalConfigurePlugin.ml" 74 2870 2915
)
"src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2983 "src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 3001
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2979 "src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 3001
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 77 3007 3025 "src/plugins/internal/InternalConfigurePlugin.ml" 77 3007 3035
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 78 3036 3057 "src/plugins/internal/InternalConfigurePlugin.ml" 78 3036 3059
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4 ->
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 78 3036 3060 "src/plugins/internal/InternalConfigurePlugin.ml" 79 3105 3163
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 78 3036 3056 "src/plugins/internal/InternalConfigurePlugin.ml" 79 3105 3164
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 80 3165 3185 "src/plugins/internal/InternalConfigurePlugin.ml" 80 3165 3188
type(
  OASISTypes.name
)
ident(
  int_ref nm1 "src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2723 "src/plugins/internal/InternalConfigurePlugin.ml" 69 2694 2726
)
"src/plugins/internal/InternalConfigurePlugin.ml" 77 3007 3025 "src/plugins/internal/InternalConfigurePlugin.ml" 80 3165 3188
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 76 2960 2976 "src/plugins/internal/InternalConfigurePlugin.ml" 80 3165 3188
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 81 3189 3205 "src/plugins/internal/InternalConfigurePlugin.ml" 81 3189 3206
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 82 3210 3226 "src/plugins/internal/InternalConfigurePlugin.ml" 82 3210 3228
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 72 2800 2812 "src/plugins/internal/InternalConfigurePlugin.ml" 82 3210 3229
type(
  OASISTypes.section -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3242 "src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3245
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
)
"src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3242 "src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3254
type(
  OASISTypes.section list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 71 2780 2790 "src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3254
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 60 2427 2433 "src/plugins/internal/InternalConfigurePlugin.ml" 83 3230 3255
type(
  OASISTypes.tool -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 84 3256 3262 "src/plugins/internal/InternalConfigurePlugin.ml" 84 3256 3265
type(
  OASISTypes.tool list
)
ident(
  int_ref lst "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2407 "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2410
)
"src/plugins/internal/InternalConfigurePlugin.ml" 59 2413 2417 "src/plugins/internal/InternalConfigurePlugin.ml" 84 3256 3265
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3278 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3290
type(
  OASISTypes.section -> OASISTypes.build_section -> unit
)
ident(
  def build_checks "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5254 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3291 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3294
type(
  OASISTypes.section
)
ident(
  def sct "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3295 "src/plugins/internal/InternalConfigurePlugin.ml" 141 5209 5218
)
"src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3295 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3297
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3304 "src/plugins/internal/InternalConfigurePlugin.ml" 141 5209 5218
)
"src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3307 "src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3317
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3318 "src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3320
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3295 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3297
)
"src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3318 "src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3329
type(
  bool OASISTypes.conditional
)
"src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3307 "src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3329
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3358 "src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3360
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3295 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3297
)
"src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3358 "src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3379
type(
  OASISTypes.compiled_object
)
"src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3380 "src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3381
type(
  OASISTypes.compiled_object -> OASISTypes.compiled_object -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3382 "src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3388
type(
  OASISTypes.compiled_object
)
"src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3358 "src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3388
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 93 3426 3440 "src/plugins/internal/InternalConfigurePlugin.ml" 93 3426 3455
type(
  (unit -> OASISTypes.host_filename) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 93 3426 3456 "src/plugins/internal/InternalConfigurePlugin.ml" 93 3426 3480
type(
  unit -> OASISTypes.host_filename
)
ident(
  int_ref BaseStandardVar.ocamlopt "src/base/BaseStandardVar.mli" 37 1875 1875 "src/base/BaseStandardVar.mli" 37 1875 1912
)
"src/plugins/internal/InternalConfigurePlugin.ml" 93 3426 3440 "src/plugins/internal/InternalConfigurePlugin.ml" 93 3426 3480
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 94 3481 3498 "src/plugins/internal/InternalConfigurePlugin.ml" 94 3481 3499
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3517 "src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3674
)
"src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3517 "src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3531
type(
  exn -> unit
)
ident(
  int_ref warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
)
"src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3532 "src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3533
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 94 3481 3498 "src/plugins/internal/InternalConfigurePlugin.ml" 94 3481 3499
)
"src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3517 "src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3533
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 96 3535 3549 "src/plugins/internal/InternalConfigurePlugin.ml" 96 3535 3559
type(
  (string -> unit, Buffer.t, unit, unit) format4 -> string -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 97 3560 3577 "src/plugins/internal/InternalConfigurePlugin.ml" 97 3560 3579
type(
  (string -> unit, Buffer.t, unit, unit) format4 ->
  (string -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 97 3560 3580 "src/plugins/internal/InternalConfigurePlugin.ml" 97 3560 3620
type(
  (string -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 97 3560 3576 "src/plugins/internal/InternalConfigurePlugin.ml" 97 3560 3621
type(
  (string -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3639 "src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3669
type(
  OASISTypes.section -> string
)
ident(
  int_ref OASISSection.string_of_section "src/oasis/OASISSection.mli" 61 2373 2373 "src/oasis/OASISSection.mli" 61 2373 2413
)
"src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3670 "src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3673
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3291 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3294
)
"src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3638 "src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3674
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 96 3535 3549 "src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3674
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 95 3503 3517 "src/plugins/internal/InternalConfigurePlugin.ml" 98 3622 3674
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 91 3394 3404 "src/plugins/internal/InternalConfigurePlugin.ml" 99 3675 3688
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 90 3347 3355 "src/plugins/internal/InternalConfigurePlugin.ml" 99 3675 3688
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3725 "src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3736
type(
  OASISTypes.tool list -> unit
)
ident(
  int_ref check_tools "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2395 "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2406
)
"src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3737 "src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3739
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3295 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3297
)
"src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3737 "src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3754
type(
  OASISTypes.tool list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3725 "src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3754
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 105 3785 3793 "src/plugins/internal/InternalConfigurePlugin.ml" 105 3785 3802
type(
  (OASISTypes.dependency -> unit) -> OASISTypes.dependency list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3853 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3864
type(
  OASISTypes.findlib_full
)
ident(
  def findlib_pkg "src/plugins/internal/InternalConfigurePlugin.ml" 108 3889 3903 "src/plugins/internal/InternalConfigurePlugin.ml" 124 4548 4565
)
"src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3866 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3884
type(
  OASISVersion.comparator option
)
ident(
  def version_comparator "src/plugins/internal/InternalConfigurePlugin.ml" 108 3889 3903 "src/plugins/internal/InternalConfigurePlugin.ml" 124 4548 4565
)
"src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3837 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3885
type(
  OASISTypes.dependency
)
"src/plugins/internal/InternalConfigurePlugin.ml" 110 3929 3947 "src/plugins/internal/InternalConfigurePlugin.ml" 110 3929 3962
type(
  (unit -> OASISTypes.host_dirname) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 3984 "src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4001
type(
  ?version_comparator:OASISVersion.comparator ->
  OASISTypes.findlib_full -> unit -> OASISTypes.host_dirname
)
ident(
  int_ref BaseCheck.package "src/base/BaseCheck.mli" 73 2880 2880 "src/base/BaseCheck.mli" 75 2966 2980
)
"src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4003 "src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4021
type(
  OASISVersion.comparator option
)
ident(
  int_ref version_comparator "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3866 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3884
)
"src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4022 "src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4033
type(
  OASISTypes.findlib_full
)
ident(
  int_ref findlib_pkg "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3853 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3864
)
"src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 3983 "src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4034
type(
  unit -> OASISTypes.host_dirname
)
"src/plugins/internal/InternalConfigurePlugin.ml" 110 3929 3947 "src/plugins/internal/InternalConfigurePlugin.ml" 111 3963 4034
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 112 4035 4056 "src/plugins/internal/InternalConfigurePlugin.ml" 112 4035 4057
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4079 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4547
)
"src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4079 "src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4093
type(
  exn -> unit
)
ident(
  int_ref warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
)
"src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4094 "src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4095
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 112 4035 4056 "src/plugins/internal/InternalConfigurePlugin.ml" 112 4035 4057
)
"src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4079 "src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4095
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 114 4097 4121 "src/plugins/internal/InternalConfigurePlugin.ml" 114 4097 4139
type(
  OASISVersion.comparator option
)
ident(
  int_ref version_comparator "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3866 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3884
)
"src/plugins/internal/InternalConfigurePlugin.ml" 115 4145 4167 "src/plugins/internal/InternalConfigurePlugin.ml" 115 4145 4171
type(
  OASISVersion.comparator option
)
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 116 4175 4197 "src/plugins/internal/InternalConfigurePlugin.ml" 116 4175 4207
type(
  (OASISTypes.findlib_full -> unit, Buffer.t, unit, unit) format4 ->
  OASISTypes.findlib_full -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 117 4208 4233 "src/plugins/internal/InternalConfigurePlugin.ml" 117 4208 4235
type(
  (OASISTypes.findlib_full -> unit, Buffer.t, unit, unit) format4 ->
  (OASISTypes.findlib_full -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 117 4208 4236 "src/plugins/internal/InternalConfigurePlugin.ml" 117 4208 4268
type(
  (OASISTypes.findlib_full -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 117 4208 4232 "src/plugins/internal/InternalConfigurePlugin.ml" 117 4208 4269
type(
  (OASISTypes.findlib_full -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 118 4270 4294 "src/plugins/internal/InternalConfigurePlugin.ml" 118 4270 4305
type(
  OASISTypes.findlib_full
)
ident(
  int_ref findlib_pkg "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3853 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3864
)
"src/plugins/internal/InternalConfigurePlugin.ml" 116 4175 4197 "src/plugins/internal/InternalConfigurePlugin.ml" 118 4270 4305
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 119 4306 4333 "src/plugins/internal/InternalConfigurePlugin.ml" 119 4306 4340
type(
  OASISVersion.comparator
)
ident(
  def ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 120 4344 4366 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4547
)
"src/plugins/internal/InternalConfigurePlugin.ml" 119 4306 4328 "src/plugins/internal/InternalConfigurePlugin.ml" 119 4306 4340
type(
  OASISVersion.comparator option
)
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 120 4344 4366 "src/plugins/internal/InternalConfigurePlugin.ml" 120 4344 4376
type(
  (OASISTypes.findlib_full -> string -> unit, Buffer.t, unit, unit) format4 ->
  OASISTypes.findlib_full -> string -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 121 4377 4402 "src/plugins/internal/InternalConfigurePlugin.ml" 121 4377 4404
type(
  (OASISTypes.findlib_full -> string -> unit, Buffer.t, unit, unit) format4 ->
  (OASISTypes.findlib_full -> string -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 121 4377 4405 "src/plugins/internal/InternalConfigurePlugin.ml" 121 4377 4442
type(
  (OASISTypes.findlib_full -> string -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 121 4377 4401 "src/plugins/internal/InternalConfigurePlugin.ml" 121 4377 4443
type(
  (OASISTypes.findlib_full -> string -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 122 4444 4468 "src/plugins/internal/InternalConfigurePlugin.ml" 122 4444 4479
type(
  OASISTypes.findlib_full
)
ident(
  int_ref findlib_pkg "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3853 "src/plugins/internal/InternalConfigurePlugin.ml" 107 3823 3864
)
"src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4505 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4538
type(
  OASISVersion.comparator -> string
)
ident(
  int_ref OASISVersion.string_of_comparator "src/oasis/OASISVersion.mli" 96 3166 3166 "src/oasis/OASISVersion.mli" 96 3166 3212
)
"src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4539 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4546
type(
  OASISVersion.comparator
)
ident(
  int_ref ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 119 4306 4333 "src/plugins/internal/InternalConfigurePlugin.ml" 119 4306 4340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4504 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4547
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 120 4344 4366 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4547
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 114 4097 4115 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4547
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 113 4061 4079 "src/plugins/internal/InternalConfigurePlugin.ml" 123 4480 4547
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 108 3889 3903 "src/plugins/internal/InternalConfigurePlugin.ml" 124 4548 4565
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4596 "src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4599
type(
  OASISTypes.name
)
ident(
  def nm1 "src/plugins/internal/InternalConfigurePlugin.ml" 127 4660 4674 "src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5177
)
"src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4580 "src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4599
type(
  OASISTypes.dependency
)
"src/plugins/internal/InternalConfigurePlugin.ml" 127 4660 4674 "src/plugins/internal/InternalConfigurePlugin.ml" 127 4660 4683
type(
  (OASISTypes.section -> unit) -> OASISTypes.section list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4750 "src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4753
type(
  OASISTypes.name
)
ident(
  def nm2 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4841 "src/plugins/internal/InternalConfigurePlugin.ml" 136 5072 5099
)
"src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4739 "src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4757
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 130 4759 4800 "src/plugins/internal/InternalConfigurePlugin.ml" 130 4759 4805
type(
  bool OASISTypes.conditional
)
ident(
  def build "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4841 "src/plugins/internal/InternalConfigurePlugin.ml" 136 5072 5099
)
"src/plugins/internal/InternalConfigurePlugin.ml" 130 4759 4788 "src/plugins/internal/InternalConfigurePlugin.ml" 130 4759 4809
type(
  OASISTypes.build_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4833 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4834
type(
  OASISTypes.library
)
"src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4730 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4835
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4841 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4844
type(
  OASISTypes.name
)
ident(
  int_ref nm1 "src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4596 "src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4599
)
"src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4845 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4846
type(
  OASISTypes.name -> OASISTypes.name -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4847 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4850
type(
  OASISTypes.name
)
ident(
  int_ref nm2 "src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4750 "src/plugins/internal/InternalConfigurePlugin.ml" 129 4710 4753
)
"src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4841 "src/plugins/internal/InternalConfigurePlugin.ml" 131 4811 4850
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4877 "src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4880
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4882 "src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4892
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4893 "src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4898
type(
  bool OASISTypes.conditional
)
ident(
  int_ref build "src/plugins/internal/InternalConfigurePlugin.ml" 130 4759 4800 "src/plugins/internal/InternalConfigurePlugin.ml" 130 4759 4805
)
"src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4881 "src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4899
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4877 "src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4899
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 133 4905 4927 "src/plugins/internal/InternalConfigurePlugin.ml" 133 4905 4937
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 134 4938 4963 "src/plugins/internal/InternalConfigurePlugin.ml" 134 4938 4965
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4 ->
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 134 4938 4966 "src/plugins/internal/InternalConfigurePlugin.ml" 135 5008 5070
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 134 4938 4962 "src/plugins/internal/InternalConfigurePlugin.ml" 135 5008 5071
type(
  (OASISTypes.name -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 136 5072 5096 "src/plugins/internal/InternalConfigurePlugin.ml" 136 5072 5099
type(
  OASISTypes.name
)
ident(
  int_ref nm1 "src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4596 "src/plugins/internal/InternalConfigurePlugin.ml" 125 4566 4599
)
"src/plugins/internal/InternalConfigurePlugin.ml" 133 4905 4927 "src/plugins/internal/InternalConfigurePlugin.ml" 136 5072 5099
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 132 4854 4874 "src/plugins/internal/InternalConfigurePlugin.ml" 136 5072 5099
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 137 5100 5120 "src/plugins/internal/InternalConfigurePlugin.ml" 137 5100 5121
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 138 5125 5145 "src/plugins/internal/InternalConfigurePlugin.ml" 138 5125 5147
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 128 4684 4700 "src/plugins/internal/InternalConfigurePlugin.ml" 138 5125 5148
type(
  OASISTypes.section -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5165 "src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5168
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
)
"src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5165 "src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5177
type(
  OASISTypes.section list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 127 4660 4674 "src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5177
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 106 3803 3813 "src/plugins/internal/InternalConfigurePlugin.ml" 139 5149 5178
type(
  OASISTypes.dependency -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 140 5179 5189 "src/plugins/internal/InternalConfigurePlugin.ml" 140 5179 5191
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3295 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3297
)
"src/plugins/internal/InternalConfigurePlugin.ml" 140 5179 5189 "src/plugins/internal/InternalConfigurePlugin.ml" 140 5179 5208
type(
  OASISTypes.dependency list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 105 3785 3793 "src/plugins/internal/InternalConfigurePlugin.ml" 140 5179 5208
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 102 3717 3725 "src/plugins/internal/InternalConfigurePlugin.ml" 140 5179 5208
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 89 3335 3341 "src/plugins/internal/InternalConfigurePlugin.ml" 141 5209 5218
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 88 3300 3304 "src/plugins/internal/InternalConfigurePlugin.ml" 141 5209 5218
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5254 "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5270
type(
  string array -> (Arg.key * Arg.spec * Arg.doc) list -> unit
)
ident(
  int_ref BaseArgExt.parse "src/base/BaseArgExt.mli" 32 1864 1864 "src/base/BaseArgExt.mli" 32 1864 1934
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5271 "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5275
type(
  string array
)
ident(
  int_ref argv "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1985 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1989
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5277 "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5289
type(
  unit -> (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref BaseEnv.args "src/base/BaseEnv.mli" 164 4707 4707 "src/base/BaseEnv.mli" 164 4707 4760
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5290 "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5292
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5276 "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5293
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5254 "src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5293
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 149 5326 5336 "src/plugins/internal/InternalConfigurePlugin.ml" 149 5326 5339
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
)
"src/plugins/internal/InternalConfigurePlugin.ml" 149 5326 5336 "src/plugins/internal/InternalConfigurePlugin.ml" 149 5326 5353
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5372 "src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5379
type(
  OASISVersion.comparator
)
ident(
  def ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 151 5383 5391 "src/plugins/internal/InternalConfigurePlugin.ml" 164 5824 5835
)
"src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5367 "src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5379
type(
  OASISVersion.comparator option
)
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 153 5411 5423 "src/plugins/internal/InternalConfigurePlugin.ml" 153 5411 5438
type(
  (unit -> OASISVersion.StringVersion.t) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 154 5439 5454 "src/plugins/internal/InternalConfigurePlugin.ml" 154 5439 5471
type(
  string ->
  OASISVersion.comparator ->
  (unit -> OASISVersion.StringVersion.t) ->
  unit -> OASISVersion.StringVersion.t
)
ident(
  int_ref BaseCheck.version "src/base/BaseCheck.mli" 59 2564 2564 "src/base/BaseCheck.mli" 63 2670 2700
)
"src/plugins/internal/InternalConfigurePlugin.ml" 155 5472 5489 "src/plugins/internal/InternalConfigurePlugin.ml" 155 5472 5496
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 156 5497 5514 "src/plugins/internal/InternalConfigurePlugin.ml" 156 5497 5521
type(
  OASISVersion.comparator
)
ident(
  int_ref ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5372 "src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5379
)
"src/plugins/internal/InternalConfigurePlugin.ml" 157 5522 5539 "src/plugins/internal/InternalConfigurePlugin.ml" 157 5522 5568
type(
  unit -> OASISVersion.StringVersion.t
)
ident(
  int_ref BaseStandardVar.ocaml_version "src/base/BaseStandardVar.mli" 61 2426 2426 "src/base/BaseStandardVar.mli" 61 2426 2470
)
"src/plugins/internal/InternalConfigurePlugin.ml" 154 5439 5453 "src/plugins/internal/InternalConfigurePlugin.ml" 157 5522 5569
type(
  unit -> OASISVersion.StringVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 153 5411 5423 "src/plugins/internal/InternalConfigurePlugin.ml" 157 5522 5569
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 158 5570 5585 "src/plugins/internal/InternalConfigurePlugin.ml" 158 5570 5586
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5602 "src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5823
)
"src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5602 "src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5616
type(
  exn -> unit
)
ident(
  int_ref warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
)
"src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5617 "src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5618
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 158 5570 5585 "src/plugins/internal/InternalConfigurePlugin.ml" 158 5570 5586
)
"src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5602 "src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5618
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 160 5620 5632 "src/plugins/internal/InternalConfigurePlugin.ml" 160 5620 5642
type(
  (string -> string -> unit, Buffer.t, unit, unit) format4 ->
  string -> string -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 161 5643 5658 "src/plugins/internal/InternalConfigurePlugin.ml" 161 5643 5660
type(
  (string -> string -> unit, Buffer.t, unit, unit) format4 ->
  (string -> string -> unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 161 5643 5661 "src/plugins/internal/InternalConfigurePlugin.ml" 161 5643 5715
type(
  (string -> string -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 161 5643 5657 "src/plugins/internal/InternalConfigurePlugin.ml" 161 5643 5716
type(
  (string -> string -> unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 162 5717 5732 "src/plugins/internal/InternalConfigurePlugin.ml" 162 5717 5761
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.ocaml_version "src/base/BaseStandardVar.mli" 61 2426 2426 "src/base/BaseStandardVar.mli" 61 2426 2470
)
"src/plugins/internal/InternalConfigurePlugin.ml" 162 5717 5762 "src/plugins/internal/InternalConfigurePlugin.ml" 162 5717 5764
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 162 5717 5731 "src/plugins/internal/InternalConfigurePlugin.ml" 162 5717 5765
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5781 "src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5814
type(
  OASISVersion.comparator -> string
)
ident(
  int_ref OASISVersion.string_of_comparator "src/oasis/OASISVersion.mli" 96 3166 3166 "src/oasis/OASISVersion.mli" 96 3166 3212
)
"src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5815 "src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5822
type(
  OASISVersion.comparator
)
ident(
  int_ref ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5372 "src/plugins/internal/InternalConfigurePlugin.ml" 150 5359 5379
)
"src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5780 "src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5823
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 160 5620 5632 "src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5823
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 159 5590 5602 "src/plugins/internal/InternalConfigurePlugin.ml" 163 5766 5823
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 151 5383 5391 "src/plugins/internal/InternalConfigurePlugin.ml" 164 5824 5835
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 165 5836 5844 "src/plugins/internal/InternalConfigurePlugin.ml" 165 5836 5848
type(
  OASISVersion.comparator option
)
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 166 5852 5860 "src/plugins/internal/InternalConfigurePlugin.ml" 166 5852 5862
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 148 5318 5320 "src/plugins/internal/InternalConfigurePlugin.ml" 167 5863 5868
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 171 5903 5913 "src/plugins/internal/InternalConfigurePlugin.ml" 171 5903 5916
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
)
"src/plugins/internal/InternalConfigurePlugin.ml" 171 5903 5913 "src/plugins/internal/InternalConfigurePlugin.ml" 171 5903 5932
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5951 "src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5958
type(
  OASISVersion.comparator
)
ident(
  def ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 173 5962 5970 "src/plugins/internal/InternalConfigurePlugin.ml" 186 6411 6422
)
"src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5946 "src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5958
type(
  OASISVersion.comparator option
)
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 175 5990 6002 "src/plugins/internal/InternalConfigurePlugin.ml" 175 5990 6017
type(
  (unit -> OASISVersion.StringVersion.t) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 176 6018 6033 "src/plugins/internal/InternalConfigurePlugin.ml" 176 6018 6050
type(
  string ->
  OASISVersion.comparator ->
  (unit -> OASISVersion.StringVersion.t) ->
  unit -> OASISVersion.StringVersion.t
)
ident(
  int_ref BaseCheck.version "src/base/BaseCheck.mli" 59 2564 2564 "src/base/BaseCheck.mli" 63 2670 2700
)
"src/plugins/internal/InternalConfigurePlugin.ml" 177 6051 6068 "src/plugins/internal/InternalConfigurePlugin.ml" 177 6051 6077
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 178 6078 6095 "src/plugins/internal/InternalConfigurePlugin.ml" 178 6078 6102
type(
  OASISVersion.comparator
)
ident(
  int_ref ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5951 "src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5958
)
"src/plugins/internal/InternalConfigurePlugin.ml" 179 6103 6120 "src/plugins/internal/InternalConfigurePlugin.ml" 179 6103 6151
type(
  unit -> OASISVersion.StringVersion.t
)
ident(
  int_ref BaseStandardVar.findlib_version "src/base/BaseStandardVar.mli" 110 4017 4017 "src/base/BaseStandardVar.mli" 110 4017 4074
)
"src/plugins/internal/InternalConfigurePlugin.ml" 176 6018 6032 "src/plugins/internal/InternalConfigurePlugin.ml" 179 6103 6152
type(
  unit -> OASISVersion.StringVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 175 5990 6002 "src/plugins/internal/InternalConfigurePlugin.ml" 179 6103 6152
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 180 6153 6168 "src/plugins/internal/InternalConfigurePlugin.ml" 180 6153 6169
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6185 "src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6410
)
"src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6185 "src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6199
type(
  exn -> unit
)
ident(
  int_ref warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
)
"src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6200 "src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6201
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 180 6153 6168 "src/plugins/internal/InternalConfigurePlugin.ml" 180 6153 6169
)
"src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6185 "src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6201
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 182 6203 6215 "src/plugins/internal/InternalConfigurePlugin.ml" 182 6203 6225
type(
  (OASISVersion.StringVersion.t -> string -> unit, Buffer.t, unit, unit)
  format4 -> OASISVersion.StringVersion.t -> string -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 183 6226 6241 "src/plugins/internal/InternalConfigurePlugin.ml" 183 6226 6243
type(
  (OASISVersion.StringVersion.t -> string -> unit, Buffer.t, unit, unit)
  format4 ->
  (OASISVersion.StringVersion.t -> string -> unit, Buffer.t, unit, unit)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 183 6226 6244 "src/plugins/internal/InternalConfigurePlugin.ml" 183 6226 6300
type(
  (OASISVersion.StringVersion.t -> string -> unit, Buffer.t, unit, unit)
  format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 183 6226 6240 "src/plugins/internal/InternalConfigurePlugin.ml" 183 6226 6301
type(
  (OASISVersion.StringVersion.t -> string -> unit, Buffer.t, unit, unit)
  format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 184 6302 6317 "src/plugins/internal/InternalConfigurePlugin.ml" 184 6302 6348
type(
  unit -> OASISVersion.StringVersion.t
)
ident(
  int_ref BaseStandardVar.findlib_version "src/base/BaseStandardVar.mli" 110 4017 4017 "src/base/BaseStandardVar.mli" 110 4017 4074
)
"src/plugins/internal/InternalConfigurePlugin.ml" 184 6302 6349 "src/plugins/internal/InternalConfigurePlugin.ml" 184 6302 6351
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 184 6302 6316 "src/plugins/internal/InternalConfigurePlugin.ml" 184 6302 6352
type(
  OASISVersion.StringVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6368 "src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6401
type(
  OASISVersion.comparator -> string
)
ident(
  int_ref OASISVersion.string_of_comparator "src/oasis/OASISVersion.mli" 96 3166 3166 "src/oasis/OASISVersion.mli" 96 3166 3212
)
"src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6402 "src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6409
type(
  OASISVersion.comparator
)
ident(
  int_ref ver_cmp "src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5951 "src/plugins/internal/InternalConfigurePlugin.ml" 172 5938 5958
)
"src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6367 "src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6410
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 182 6203 6215 "src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6410
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 181 6173 6185 "src/plugins/internal/InternalConfigurePlugin.ml" 185 6353 6410
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 173 5962 5970 "src/plugins/internal/InternalConfigurePlugin.ml" 186 6411 6422
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 187 6423 6431 "src/plugins/internal/InternalConfigurePlugin.ml" 187 6423 6435
type(
  OASISVersion.comparator option
)
type(
  OASISVersion.comparator option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 188 6439 6447 "src/plugins/internal/InternalConfigurePlugin.ml" 188 6439 6449
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 170 5895 5897 "src/plugins/internal/InternalConfigurePlugin.ml" 189 6450 6455
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 192 6535 6543 "src/plugins/internal/InternalConfigurePlugin.ml" 192 6535 6552
type(
  bool
)
ident(
  def ocaml_ge4 "src/plugins/internal/InternalConfigurePlugin.ml" 196 6723 6727 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
)
"src/plugins/internal/InternalConfigurePlugin.ml" 193 6555 6561 "src/plugins/internal/InternalConfigurePlugin.ml" 193 6555 6589
type(
  OASISVersion.t -> OASISVersion.t -> int
)
ident(
  int_ref OASISVersion.version_compare "src/oasis/OASISVersion.mli" 47 2317 2317 "src/oasis/OASISVersion.mli" 47 2317 2351
)
"src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6599 "src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6629
type(
  string -> OASISVersion.t
)
ident(
  int_ref OASISVersion.version_of_string "src/oasis/OASISVersion.mli" 52 2390 2390 "src/oasis/OASISVersion.mli" 52 2390 2424
)
"src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6631 "src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6660
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.ocaml_version "src/base/BaseStandardVar.mli" 61 2426 2426 "src/base/BaseStandardVar.mli" 61 2426 2470
)
"src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6661 "src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6663
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6630 "src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6664
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6598 "src/plugins/internal/InternalConfigurePlugin.ml" 194 6590 6665
type(
  OASISVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6675 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6705
type(
  string -> OASISVersion.t
)
ident(
  int_ref OASISVersion.version_of_string "src/oasis/OASISVersion.mli" 52 2390 2390 "src/oasis/OASISVersion.mli" 52 2390 2424
)
"src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6706 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6713
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6674 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6714
type(
  OASISVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 193 6555 6561 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6714
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6715 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6717
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 150 6190 6190 "stdlib.mli" 150 6190 6242
)
"src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6718 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6719
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 193 6555 6561 "src/plugins/internal/InternalConfigurePlugin.ml" 195 6666 6719
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 196 6723 6730 "src/plugins/internal/InternalConfigurePlugin.ml" 196 6723 6739
type(
  bool
)
ident(
  int_ref ocaml_ge4 "src/plugins/internal/InternalConfigurePlugin.ml" 192 6535 6543 "src/plugins/internal/InternalConfigurePlugin.ml" 192 6535 6552
)
"src/plugins/internal/InternalConfigurePlugin.ml" 197 6745 6755 "src/plugins/internal/InternalConfigurePlugin.ml" 197 6745 6768
type(
  bool
)
ident(
  def findlib_lt132 "src/plugins/internal/InternalConfigurePlugin.ml" 201 6945 6951 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
)
"src/plugins/internal/InternalConfigurePlugin.ml" 198 6771 6779 "src/plugins/internal/InternalConfigurePlugin.ml" 198 6771 6807
type(
  OASISVersion.t -> OASISVersion.t -> int
)
ident(
  int_ref OASISVersion.version_compare "src/oasis/OASISVersion.mli" 47 2317 2317 "src/oasis/OASISVersion.mli" 47 2317 2351
)
"src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6819 "src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6849
type(
  OASISVersion.StringVersion.t -> OASISVersion.t
)
ident(
  int_ref OASISVersion.version_of_string "src/oasis/OASISVersion.mli" 52 2390 2390 "src/oasis/OASISVersion.mli" 52 2390 2424
)
"src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6851 "src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6882
type(
  unit -> OASISVersion.StringVersion.t
)
ident(
  int_ref BaseStandardVar.findlib_version "src/base/BaseStandardVar.mli" 110 4017 4017 "src/base/BaseStandardVar.mli" 110 4017 4074
)
"src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6882 "src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6884
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6850 "src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6885
type(
  OASISVersion.StringVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6818 "src/plugins/internal/InternalConfigurePlugin.ml" 199 6808 6886
type(
  OASISVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6898 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6928
type(
  string -> OASISVersion.t
)
ident(
  int_ref OASISVersion.version_of_string "src/oasis/OASISVersion.mli" 52 2390 2390 "src/oasis/OASISVersion.mli" 52 2390 2424
)
"src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6929 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6936
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6897 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6937
type(
  OASISVersion.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 198 6771 6779 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6937
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6938 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6939
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6940 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6941
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 198 6771 6779 "src/plugins/internal/InternalConfigurePlugin.ml" 200 6887 6941
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 201 6945 6954 "src/plugins/internal/InternalConfigurePlugin.ml" 201 6945 6967
type(
  bool
)
ident(
  int_ref findlib_lt132 "src/plugins/internal/InternalConfigurePlugin.ml" 197 6745 6755 "src/plugins/internal/InternalConfigurePlugin.ml" 197 6745 6768
)
"src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 6981 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 6991
type(
  (unit, Buffer.t, unit, unit) format4 -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 6992 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
type(
  (unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 6981 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 201 6945 6951 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 197 6745 6751 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 196 6723 6727 "src/plugins/internal/InternalConfigurePlugin.ml" 202 6973 7042
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 191 6527 6529 "src/plugins/internal/InternalConfigurePlugin.ml" 203 7043 7048
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7072 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7095
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.os_type "src/base/BaseStandardVar.mli" 57 2246 2246 "src/base/BaseStandardVar.mli" 57 2246 2290
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7096 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7098
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7072 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7098
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7099 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7100
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7101 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7108
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7072 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7108
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7109 "src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7111
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7117 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7140
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.os_type "src/base/BaseStandardVar.mli" 57 2246 2246 "src/base/BaseStandardVar.mli" 57 2246 2290
)
"src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7141 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7143
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7117 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7143
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7144 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7145
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7146 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7154
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7117 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7154
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7072 "src/plugins/internal/InternalConfigurePlugin.ml" 207 7112 7154
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 210 7180 7188 "src/plugins/internal/InternalConfigurePlugin.ml" 210 7180 7203
type(
  (unit -> OASISTypes.host_filename) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 210 7180 7204 "src/plugins/internal/InternalConfigurePlugin.ml" 210 7180 7228
type(
  unit -> OASISTypes.host_filename
)
ident(
  int_ref BaseStandardVar.flexlink "src/base/BaseStandardVar.mli" 39 1951 1951 "src/base/BaseStandardVar.mli" 39 1951 1988
)
"src/plugins/internal/InternalConfigurePlugin.ml" 210 7180 7188 "src/plugins/internal/InternalConfigurePlugin.ml" 210 7180 7228
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 211 7229 7240 "src/plugins/internal/InternalConfigurePlugin.ml" 211 7229 7241
type(
  exn
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7253 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7319
)
"src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7253 "src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7267
type(
  exn -> unit
)
ident(
  int_ref warn_exception "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2304 "src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2318
)
"src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7268 "src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7269
type(
  exn
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 211 7229 7240 "src/plugins/internal/InternalConfigurePlugin.ml" 211 7229 7241
)
"src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7253 "src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7269
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7279 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7289
type(
  (unit, Buffer.t, unit, unit) format4 -> unit
)
ident(
  int_ref add_errors "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2131 "src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2141
)
"src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7291 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7293
type(
  (unit, Buffer.t, unit, unit) format4 ->
  (unit, Buffer.t, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7294 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7318
type(
  (unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7290 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7319
type(
  (unit, Buffer.t, unit, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7279 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7319
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 212 7245 7253 "src/plugins/internal/InternalConfigurePlugin.ml" 213 7271 7319
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 208 7160 7164 "src/plugins/internal/InternalConfigurePlugin.ml" 214 7320 7327
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7069 "src/plugins/internal/InternalConfigurePlugin.ml" 214 7320 7327
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 217 7358 7360 "src/plugins/internal/InternalConfigurePlugin.ml" 217 7358 7369
type(
  (OASISTypes.section -> unit) -> OASISTypes.section list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7404 "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7405
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7407 "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7409
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7459 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7478
)
"src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7411 "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7412
type(
  OASISTypes.executable
)
"src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7392 "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7413
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7431 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7432
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7434 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7436
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7459 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7478
)
"src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7438 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7439
type(
  OASISTypes.library
)
"src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7422 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7440
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7392 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7440
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7392 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7447
type(
  OASISTypes.section
)
ident(
  def sct "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7459 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7478
)
"src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7459 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7471
type(
  OASISTypes.section -> OASISTypes.build_section -> unit
)
ident(
  int_ref build_checks "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3278 "src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3290
)
"src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7472 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7475
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7392 "src/plugins/internal/InternalConfigurePlugin.ml" 220 7414 7447
)
"src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7476 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7478
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7407 "src/plugins/internal/InternalConfigurePlugin.ml" 219 7384 7409
)
"src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7459 "src/plugins/internal/InternalConfigurePlugin.ml" 221 7451 7478
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7492 "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7493
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7495 "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7498
type(
  OASISTypes.doc
)
ident(
  def doc "src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7511 "src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7585
)
"src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7487 "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7499
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7514 "src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7524
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7525 "src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7528
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7495 "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7498
)
"src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7525 "src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7538
type(
  bool OASISTypes.conditional
)
"src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7514 "src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7538
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7554 "src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7565
type(
  OASISTypes.tool list -> unit
)
ident(
  int_ref check_tools "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2395 "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2406
)
"src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7566 "src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7569
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7495 "src/plugins/internal/InternalConfigurePlugin.ml" 222 7479 7498
)
"src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7566 "src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7585
type(
  OASISTypes.tool list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7554 "src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7585
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 223 7503 7511 "src/plugins/internal/InternalConfigurePlugin.ml" 224 7544 7585
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7600 "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7601
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7603 "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7607
type(
  OASISTypes.test
)
ident(
  def test "src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7620 "src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7690
)
"src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7594 "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7608
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7623 "src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7633
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7634 "src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7638
type(
  OASISTypes.test
)
ident(
  int_ref test "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7603 "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7634 "src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7647
type(
  bool OASISTypes.conditional
)
"src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7623 "src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7647
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7663 "src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7674
type(
  OASISTypes.tool list -> unit
)
ident(
  int_ref check_tools "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2395 "src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2406
)
"src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7675 "src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7679
type(
  OASISTypes.test
)
ident(
  int_ref test "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7603 "src/plugins/internal/InternalConfigurePlugin.ml" 225 7586 7607
)
"src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7675 "src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7690
type(
  OASISTypes.tool list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7663 "src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7690
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 226 7612 7620 "src/plugins/internal/InternalConfigurePlugin.ml" 227 7653 7690
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 228 7691 7699 "src/plugins/internal/InternalConfigurePlugin.ml" 228 7691 7700
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 229 7704 7712 "src/plugins/internal/InternalConfigurePlugin.ml" 229 7704 7714
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 218 7370 7374 "src/plugins/internal/InternalConfigurePlugin.ml" 229 7704 7715
type(
  OASISTypes.section -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 230 7716 7720 "src/plugins/internal/InternalConfigurePlugin.ml" 230 7716 7723
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
)
"src/plugins/internal/InternalConfigurePlugin.ml" 230 7716 7720 "src/plugins/internal/InternalConfigurePlugin.ml" 230 7716 7732
type(
  OASISTypes.section list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 217 7358 7360 "src/plugins/internal/InternalConfigurePlugin.ml" 230 7716 7732
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 236 7837 7845 "src/plugins/internal/InternalConfigurePlugin.ml" 236 7837 7853
type(
  bool
)
ident(
  def has_cmxa "src/plugins/internal/InternalConfigurePlugin.ml" 248 8184 8188 "src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8257
)
"src/plugins/internal/InternalConfigurePlugin.ml" 237 7856 7862 "src/plugins/internal/InternalConfigurePlugin.ml" 237 7856 7873
type(
  (OASISTypes.section -> bool) -> OASISTypes.section list -> bool
)
ident(
  int_ref Stdlib.List.exists "list.mli" 272 9272 9272 "list.mli" 272 9272 9316
)
"src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7913 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7914
type(
  OASISTypes.common_section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7916 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7918
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7938 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8118
)
"src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7920 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7921
type(
  OASISTypes.library
)
"src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7904 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7922
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7938 "src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7948
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7949 "src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7951
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7916 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7918
)
"src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7949 "src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7960
type(
  bool OASISTypes.conditional
)
"src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7938 "src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7960
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7961 "src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7963
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7977 "src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7979
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7916 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7918
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7977 "src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7998
type(
  OASISTypes.compiled_object
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7999 "src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 8000
type(
  OASISTypes.compiled_object -> OASISTypes.compiled_object -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 8001 "src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 8007
type(
  OASISTypes.compiled_object
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7977 "src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 8007
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 8008 "src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 8010
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8025 "src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8027
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7916 "src/plugins/internal/InternalConfigurePlugin.ml" 239 7892 7918
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8025 "src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8046
type(
  OASISTypes.compiled_object
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8047 "src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8048
type(
  OASISTypes.compiled_object -> OASISTypes.compiled_object -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8049 "src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8053
type(
  OASISTypes.compiled_object
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8025 "src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8053
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8054 "src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8056
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8071 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8085
type(
  string -> bool
)
ident(
  int_ref Stdlib.bool_of_string "stdlib.mli" 746 27737 27737 "stdlib.mli" 746 27737 27772
)
"src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8087 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8112
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.is_native "src/base/BaseStandardVar.mli" 116 4168 4168 "src/base/BaseStandardVar.mli" 116 4168 4197
)
"src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8113 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8115
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8086 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8116
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8071 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8116
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 242 8011 8024 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8117
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 241 7964 7976 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8118
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 240 7926 7938 "src/plugins/internal/InternalConfigurePlugin.ml" 243 8057 8118
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 244 8119 8131 "src/plugins/internal/InternalConfigurePlugin.ml" 244 8119 8132
type(
  OASISTypes.section
)
"src/plugins/internal/InternalConfigurePlugin.ml" 245 8137 8149 "src/plugins/internal/InternalConfigurePlugin.ml" 245 8137 8154
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 238 7874 7882 "src/plugins/internal/InternalConfigurePlugin.ml" 245 8137 8155
type(
  OASISTypes.section -> bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 246 8156 8164 "src/plugins/internal/InternalConfigurePlugin.ml" 246 8156 8167
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1981 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1984
)
"src/plugins/internal/InternalConfigurePlugin.ml" 246 8156 8164 "src/plugins/internal/InternalConfigurePlugin.ml" 246 8156 8176
type(
  OASISTypes.section list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 237 7856 7862 "src/plugins/internal/InternalConfigurePlugin.ml" 246 8156 8176
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 248 8184 8191 "src/plugins/internal/InternalConfigurePlugin.ml" 248 8184 8199
type(
  bool
)
ident(
  int_ref has_cmxa "src/plugins/internal/InternalConfigurePlugin.ml" 236 7837 7845 "src/plugins/internal/InternalConfigurePlugin.ml" 236 7837 7853
)
"src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8211 "src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8226
type(
  (unit -> string) -> unit
)
ident(
  int_ref var_ignore_eval "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1998 "src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 2013
)
"src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8227 "src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8257
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.native_dynlink "src/base/BaseStandardVar.mli" 156 4678 4678 "src/base/BaseStandardVar.mli" 156 4678 4712
)
"src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8211 "src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8257
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 248 8184 8188 "src/plugins/internal/InternalConfigurePlugin.ml" 249 8205 8257
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 235 7829 7831 "src/plugins/internal/InternalConfigurePlugin.ml" 250 8258 8263
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8292 "src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8307
type(
  OASISUtils.SetString.t
)
ident(
  int_ref OASISUtils.SetString.empty "set.mli" 74 2915 2919 "set.mli" 74 2915 2931
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8308 "src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8310
type(
  OASISUtils.SetString.t -> OASISUtils.SetString.t -> bool
)
ident(
  int_ref Stdlib.( != ) "stdlib.mli" 203 8696 8696 "stdlib.mli" 203 8696 8741
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8311 "src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8312
type(
  OASISUtils.SetString.t ref -> OASISUtils.SetString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8312 "src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8318
type(
  OASISUtils.SetString.t ref
)
ident(
  int_ref errors "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8311 "src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8318
type(
  OASISUtils.SetString.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8292 "src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8318
type(
  bool
)
"src/plugins/internal/InternalConfigurePlugin.ml" 255 8334 8340 "src/plugins/internal/InternalConfigurePlugin.ml" 255 8334 8349
type(
  (OASISUtils.SetString.elt -> unit) -> OASISUtils.SetString.elt list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8363 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8364
type(
  OASISUtils.SetString.elt
)
ident(
  def e "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8368 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8380
)
"src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8368 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8373
type(
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4 ->
  OASISUtils.SetString.elt -> unit
)
ident(
  int_ref BaseMessage.error "src/base/BaseMessage.mli" 50 2154 2154 "src/base/BaseMessage.mli" 50 2154 2203
)
"src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8374 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8378
type(
  (OASISUtils.SetString.elt -> unit, unit, string, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8379 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8380
type(
  OASISUtils.SetString.elt
)
ident(
  int_ref e "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8363 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8364
)
"src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8368 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8380
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8358 "src/plugins/internal/InternalConfigurePlugin.ml" 256 8350 8381
type(
  OASISUtils.SetString.elt -> unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8391 "src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8409
type(
  OASISUtils.SetString.t -> OASISUtils.SetString.elt list
)
ident(
  int_ref OASISUtils.SetString.elements "set.mli" 185 7039 7043 "set.mli" 185 7039 7070
)
"src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8410 "src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8411
type(
  OASISUtils.SetString.t ref -> OASISUtils.SetString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8411 "src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8417
type(
  OASISUtils.SetString.t ref
)
ident(
  int_ref errors "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8410 "src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8417
type(
  OASISUtils.SetString.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8390 "src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8418
type(
  OASISUtils.SetString.elt list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 255 8334 8340 "src/plugins/internal/InternalConfigurePlugin.ml" 257 8382 8418
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 258 8420 8426 "src/plugins/internal/InternalConfigurePlugin.ml" 258 8420 8435
type(
  (int -> unit, unit, string, unit) format4 -> int -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/plugins/internal/InternalConfigurePlugin.ml" 259 8436 8445 "src/plugins/internal/InternalConfigurePlugin.ml" 259 8436 8448
type(
  (int -> unit, unit, string, unit) format4 ->
  (int -> unit, unit, string, unit) format4 ->
  int -> (int -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.fn_ "src/oasis/OASISGettext.mli" 52 2530 2530 "src/oasis/OASISGettext.mli" 55 2599 2632
)
"src/plugins/internal/InternalConfigurePlugin.ml" 260 8449 8460 "src/plugins/internal/InternalConfigurePlugin.ml" 260 8449 8484
type(
  (int -> unit, unit, string, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 261 8485 8496 "src/plugins/internal/InternalConfigurePlugin.ml" 261 8485 8521
type(
  (int -> unit, unit, string, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8534 "src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8552
type(
  OASISUtils.SetString.t -> int
)
ident(
  int_ref OASISUtils.SetString.cardinal "set.mli" 182 6960 6964 "set.mli" 182 6960 6986
)
"src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8553 "src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8554
type(
  OASISUtils.SetString.t ref -> OASISUtils.SetString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8554 "src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8560
type(
  OASISUtils.SetString.t ref
)
ident(
  int_ref errors "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8553 "src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8560
type(
  OASISUtils.SetString.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8533 "src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8561
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 259 8436 8444 "src/plugins/internal/InternalConfigurePlugin.ml" 262 8522 8562
type(
  (int -> unit, unit, string, unit) format4
)
"src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8572 "src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8590
type(
  OASISUtils.SetString.t -> int
)
ident(
  int_ref OASISUtils.SetString.cardinal "set.mli" 182 6960 6964 "set.mli" 182 6960 6986
)
"src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8591 "src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8592
type(
  OASISUtils.SetString.t ref -> OASISUtils.SetString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8592 "src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8598
type(
  OASISUtils.SetString.t ref
)
ident(
  int_ref errors "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2059 "src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8591 "src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8598
type(
  OASISUtils.SetString.t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8571 "src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8599
type(
  int
)
"src/plugins/internal/InternalConfigurePlugin.ml" 258 8420 8426 "src/plugins/internal/InternalConfigurePlugin.ml" 263 8563 8599
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 254 8324 8328 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 253 8287 8289 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 235 7829 7831 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 217 7358 7360 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 206 7067 7069 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 191 6527 6529 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 170 5895 5897 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 148 5318 5320 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 145 5252 5254 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 87 3272 3274 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 58 2389 2391 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 53 2298 2300 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 44 2125 2127 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 42 2091 2093 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 41 2053 2055 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 40 1992 1994 "src/plugins/internal/InternalConfigurePlugin.ml" 264 8600 8607
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 274 8664 8668 "src/plugins/internal/InternalConfigurePlugin.ml" 274 8664 8674
type(
  [> `Configure ] * string * OASISVersion.t option
)
ident(
  def plugin "src/plugins/internal/InternalConfigurePlugin.ml" 278 8712 8712 "src/plugins/internal/InternalConfigurePlugin.ml" 0 0 -1
)
"src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8679 "src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8689
type(
  [> `Configure ] as 'a
)
"src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8691 "src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8695
type(
  string
)
ident(
  int_ref InternalId.name "src/plugins/internal/InternalId.ml" 29 1771 1775 "src/plugins/internal/InternalId.ml" 29 1771 1779
)
"src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8702 "src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8709
type(
  OASISVersion.t
)
ident(
  int_ref InternalId.version "src/plugins/internal/InternalId.ml" 32 1795 1799 "src/plugins/internal/InternalId.ml" 32 1795 1806
)
"src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8697 "src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8709
type(
  OASISVersion.t option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8679 "src/plugins/internal/InternalConfigurePlugin.ml" 275 8677 8709
type(
  'a * string * OASISVersion.t option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 278 8712 8716 "src/plugins/internal/InternalConfigurePlugin.ml" 278 8712 8720
type(
  unit -> unit
)
ident(
  def init "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130 "src/plugins/internal/InternalConfigurePlugin.ml" 0 0 -1
)
"src/plugins/internal/InternalConfigurePlugin.ml" 278 8712 8721 "src/plugins/internal/InternalConfigurePlugin.ml" 278 8712 8723
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8732 "src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8739
type(
  OASISPlugin.Configure.self_t
)
ident(
  def self_id "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8780 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
)
"src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8741 "src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8742
type(
  OASISPlugin.all_t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8732 "src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8742
type(
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 280 8745 8749 "src/plugins/internal/InternalConfigurePlugin.ml" 280 8745 8765
type(
  OASISPlugin.Configure.self_plugin ->
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Configure.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/internal/InternalConfigurePlugin.ml" 280 8745 8766 "src/plugins/internal/InternalConfigurePlugin.ml" 280 8745 8772
type(
  OASISPlugin.Configure.self_plugin
)
ident(
  int_ref plugin "src/plugins/internal/InternalConfigurePlugin.ml" 274 8664 8668 "src/plugins/internal/InternalConfigurePlugin.ml" 274 8664 8674
)
"src/plugins/internal/InternalConfigurePlugin.ml" 280 8745 8749 "src/plugins/internal/InternalConfigurePlugin.ml" 280 8745 8772
type(
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
"src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8784 "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8788
type(
  'a ->
  'b ->
  'a *
  (ctxt:'c -> OASISTypes.package -> string array -> unit, 'd)
  OASISPlugin.setup_changes
)
ident(
  def doit "src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9073 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
)
"src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8789 "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8800
type(
  'a
)
ident(
  def plugin_ctxt "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8801 "src/plugins/internal/InternalConfigurePlugin.ml" 292 9060 9065
)
"src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8801 "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8802
type(
  'b
)
"src/plugins/internal/InternalConfigurePlugin.ml" 283 8805 8809 "src/plugins/internal/InternalConfigurePlugin.ml" 283 8805 8820
type(
  'a
)
ident(
  int_ref plugin_ctxt "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8789 "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8800
)
"src/plugins/internal/InternalConfigurePlugin.ml" 285 8828 8852 "src/plugins/internal/InternalConfigurePlugin.ml" 285 8828 8879
type(
  OASISPlugin.modul
)
ident(
  int_ref InternalData.internalsys_ml "src/plugins/internal/InternalData.ml" 2 50 54 "src/plugins/internal/InternalData.ml" 2 50 68
)
"src/plugins/internal/InternalConfigurePlugin.ml" 285 8828 8851 "src/plugins/internal/InternalConfigurePlugin.ml" 285 8828 8880
type(
  OASISPlugin.modul list
)
"src/plugins/internal/InternalConfigurePlugin.ml" 286 8882 8905 "src/plugins/internal/InternalConfigurePlugin.ml" 286 8882 8909
type(
  'd OASISDataNotation.func option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 287 8911 8934 "src/plugins/internal/InternalConfigurePlugin.ml" 287 8911 8938
type(
  'd OASISDataNotation.func option
)
"src/plugins/internal/InternalConfigurePlugin.ml" 289 8958 8967 "src/plugins/internal/InternalConfigurePlugin.ml" 289 8958 8989
type(
  (ctxt:'c -> OASISTypes.package -> string array -> unit) ->
  string ->
  (ctxt:'c -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func "src/oasis/OASISDataNotation.ml" 92 2944 2948 "src/oasis/OASISDataNotation.ml" 92 2944 2952
)
"src/plugins/internal/InternalConfigurePlugin.ml" 290 8990 9001 "src/plugins/internal/InternalConfigurePlugin.ml" 290 8990 9010
type(
  ctxt:'c -> OASISTypes.package -> string array -> unit
)
ident(
  int_ref configure "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1963 "src/plugins/internal/InternalConfigurePlugin.ml" 39 1959 1972
)
"src/plugins/internal/InternalConfigurePlugin.ml" 291 9011 9022 "src/plugins/internal/InternalConfigurePlugin.ml" 291 9011 9057
type(
  string
)
"src/plugins/internal/InternalConfigurePlugin.ml" 289 8958 8966 "src/plugins/internal/InternalConfigurePlugin.ml" 291 9011 9058
type(
  (ctxt:'c -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/internal/InternalConfigurePlugin.ml" 284 8822 8826 "src/plugins/internal/InternalConfigurePlugin.ml" 292 9060 9065
type(
  (ctxt:'c -> OASISTypes.package -> string array -> unit, 'd)
  OASISPlugin.setup_changes
)
"src/plugins/internal/InternalConfigurePlugin.ml" 283 8805 8809 "src/plugins/internal/InternalConfigurePlugin.ml" 292 9060 9065
type(
  'a *
  (ctxt:'c -> OASISTypes.package -> string array -> unit, 'd)
  OASISPlugin.setup_changes
)
"src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9073 "src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9088
type(
  unit -> unit
)
ident(
  int_ref InternalId.init "src/plugins/internal/InternalId.ml" 41 1873 1877 "src/plugins/internal/InternalId.ml" 41 1873 1881
)
"src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9089 "src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9091
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9073 "src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9091
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9095 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9117
type(
  OASISPlugin.Configure.self_t -> OASISPlugin.Configure.act -> unit
)
ident(
  int_ref OASISPlugin.Configure.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9118 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9125
type(
  OASISPlugin.Configure.self_t
)
ident(
  int_ref self_id "src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8732 "src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8739
)
"src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9126 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
type(
  OASISPlugin.Configure.act
)
ident(
  int_ref doit "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8784 "src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8788
)
"src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9095 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 294 9071 9073 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 282 8778 8780 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
type(
  unit
)
"src/plugins/internal/InternalConfigurePlugin.ml" 279 8726 8728 "src/plugins/internal/InternalConfigurePlugin.ml" 295 9093 9130
type(
  unit
)
