"src/plugins/custom/CustomPlugin.ml" 41 2000 2004 "src/plugins/custom/CustomPlugin.ml" 41 2000 2007
type(
  OASISTypes.prog -> OASISTypes.args -> string array -> unit
)
ident(
  def run "src/plugins/custom/CustomPlugin.ml" 44 2028 2028 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 41 2000 2011 "src/plugins/custom/CustomPlugin.ml" 41 2000 2025
type(
  OASISTypes.prog -> OASISTypes.args -> string array -> unit
)
ident(
  int_ref BaseCustom.run "src/base/BaseCustom.mli" 33 1852 1852 "src/base/BaseCustom.mli" 33 1852 1897
)
"src/plugins/custom/CustomPlugin.ml" 44 2028 2032 "src/plugins/custom/CustomPlugin.ml" 44 2028 2036
type(
  ctxt:'a -> t -> 'b -> string array -> unit
)
ident(
  def main "src/plugins/custom/CustomPlugin.ml" 49 2159 2159 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 44 2028 2043 "src/plugins/custom/CustomPlugin.ml" 44 2028 2044
type(
  'a
)
"src/plugins/custom/CustomPlugin.ml" 44 2028 2045 "src/plugins/custom/CustomPlugin.ml" 44 2028 2046
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 44 2028 2047 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
)
"src/plugins/custom/CustomPlugin.ml" 44 2028 2047 "src/plugins/custom/CustomPlugin.ml" 44 2028 2048
type(
  'b
)
"src/plugins/custom/CustomPlugin.ml" 44 2028 2049 "src/plugins/custom/CustomPlugin.ml" 44 2028 2059
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 45 2062 2064 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2068 "src/plugins/custom/CustomPlugin.ml" 45 2062 2071
type(
  OASISTypes.prog
)
ident(
  def cmd "src/plugins/custom/CustomPlugin.ml" 46 2131 2133 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2073 "src/plugins/custom/CustomPlugin.ml" 45 2062 2077
type(
  OASISTypes.args
)
ident(
  def args "src/plugins/custom/CustomPlugin.ml" 46 2131 2133 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2068 "src/plugins/custom/CustomPlugin.ml" 45 2062 2077
type(
  OASISTypes.command_line
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2080 "src/plugins/custom/CustomPlugin.ml" 45 2062 2090
type(
  ?printer:(OASISTypes.command_line -> string) ->
  ?name:string ->
  OASISTypes.command_line OASISExpr.choices -> OASISTypes.command_line
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2098 "src/plugins/custom/CustomPlugin.ml" 45 2062 2100
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2101 "src/plugins/custom/CustomPlugin.ml" 45 2062 2115
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2097 "src/plugins/custom/CustomPlugin.ml" 45 2062 2116
type(
  string
)
type(
  string option
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2117 "src/plugins/custom/CustomPlugin.ml" 45 2062 2118
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 44 2028 2045 "src/plugins/custom/CustomPlugin.ml" 44 2028 2046
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2117 "src/plugins/custom/CustomPlugin.ml" 45 2062 2127
type(
  OASISTypes.command_line OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2080 "src/plugins/custom/CustomPlugin.ml" 45 2062 2127
type(
  OASISTypes.command_line
)
"src/plugins/custom/CustomPlugin.ml" 46 2131 2133 "src/plugins/custom/CustomPlugin.ml" 46 2131 2136
type(
  OASISTypes.prog -> OASISTypes.args -> string array -> unit
)
ident(
  int_ref run "src/plugins/custom/CustomPlugin.ml" 41 2000 2004 "src/plugins/custom/CustomPlugin.ml" 41 2000 2007
)
"src/plugins/custom/CustomPlugin.ml" 46 2131 2137 "src/plugins/custom/CustomPlugin.ml" 46 2131 2140
type(
  OASISTypes.prog
)
ident(
  int_ref cmd "src/plugins/custom/CustomPlugin.ml" 45 2062 2068 "src/plugins/custom/CustomPlugin.ml" 45 2062 2071
)
"src/plugins/custom/CustomPlugin.ml" 46 2131 2141 "src/plugins/custom/CustomPlugin.ml" 46 2131 2145
type(
  OASISTypes.args
)
ident(
  int_ref args "src/plugins/custom/CustomPlugin.ml" 45 2062 2073 "src/plugins/custom/CustomPlugin.ml" 45 2062 2077
)
"src/plugins/custom/CustomPlugin.ml" 46 2131 2146 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 44 2028 2049 "src/plugins/custom/CustomPlugin.ml" 44 2028 2059
)
"src/plugins/custom/CustomPlugin.ml" 46 2131 2133 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 45 2062 2064 "src/plugins/custom/CustomPlugin.ml" 46 2131 2156
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 49 2159 2163 "src/plugins/custom/CustomPlugin.ml" 49 2159 2168
type(
  ctxt:'a -> t -> 'b -> string array -> unit
)
ident(
  def clean "src/plugins/custom/CustomPlugin.ml" 55 2292 2292 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 49 2159 2175 "src/plugins/custom/CustomPlugin.ml" 49 2159 2176
type(
  'a
)
"src/plugins/custom/CustomPlugin.ml" 49 2159 2177 "src/plugins/custom/CustomPlugin.ml" 49 2159 2178
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 49 2159 2179 "src/plugins/custom/CustomPlugin.ml" 52 2278 2289
)
"src/plugins/custom/CustomPlugin.ml" 49 2159 2179 "src/plugins/custom/CustomPlugin.ml" 49 2159 2180
type(
  'b
)
"src/plugins/custom/CustomPlugin.ml" 49 2159 2181 "src/plugins/custom/CustomPlugin.ml" 49 2159 2191
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 50 2194 2196 "src/plugins/custom/CustomPlugin.ml" 52 2278 2289
)
"src/plugins/custom/CustomPlugin.ml" 50 2194 2202 "src/plugins/custom/CustomPlugin.ml" 50 2194 2212
type(
  ?printer:(OASISTypes.command_line option -> string) ->
  ?name:string ->
  OASISTypes.command_line option OASISExpr.choices ->
  OASISTypes.command_line option
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/custom/CustomPlugin.ml" 50 2194 2213 "src/plugins/custom/CustomPlugin.ml" 50 2194 2214
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 49 2159 2177 "src/plugins/custom/CustomPlugin.ml" 49 2159 2178
)
"src/plugins/custom/CustomPlugin.ml" 50 2194 2213 "src/plugins/custom/CustomPlugin.ml" 50 2194 2224
type(
  OASISTypes.command_line option OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 50 2194 2202 "src/plugins/custom/CustomPlugin.ml" 50 2194 2224
type(
  OASISTypes.command_line option
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2240 "src/plugins/custom/CustomPlugin.ml" 51 2230 2243
type(
  OASISTypes.prog
)
ident(
  def cmd "src/plugins/custom/CustomPlugin.ml" 51 2230 2254 "src/plugins/custom/CustomPlugin.ml" 51 2230 2277
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2245 "src/plugins/custom/CustomPlugin.ml" 51 2230 2249
type(
  OASISTypes.args
)
ident(
  def args "src/plugins/custom/CustomPlugin.ml" 51 2230 2254 "src/plugins/custom/CustomPlugin.ml" 51 2230 2277
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2239 "src/plugins/custom/CustomPlugin.ml" 51 2230 2250
type(
  OASISTypes.prog * OASISTypes.args
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2234 "src/plugins/custom/CustomPlugin.ml" 51 2230 2250
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2254 "src/plugins/custom/CustomPlugin.ml" 51 2230 2257
type(
  OASISTypes.prog -> OASISTypes.args -> string array -> unit
)
ident(
  int_ref run "src/plugins/custom/CustomPlugin.ml" 41 2000 2004 "src/plugins/custom/CustomPlugin.ml" 41 2000 2007
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2258 "src/plugins/custom/CustomPlugin.ml" 51 2230 2261
type(
  OASISTypes.prog
)
ident(
  int_ref cmd "src/plugins/custom/CustomPlugin.ml" 51 2230 2240 "src/plugins/custom/CustomPlugin.ml" 51 2230 2243
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2262 "src/plugins/custom/CustomPlugin.ml" 51 2230 2266
type(
  OASISTypes.args
)
ident(
  int_ref args "src/plugins/custom/CustomPlugin.ml" 51 2230 2245 "src/plugins/custom/CustomPlugin.ml" 51 2230 2249
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2267 "src/plugins/custom/CustomPlugin.ml" 51 2230 2277
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 49 2159 2181 "src/plugins/custom/CustomPlugin.ml" 49 2159 2191
)
"src/plugins/custom/CustomPlugin.ml" 51 2230 2254 "src/plugins/custom/CustomPlugin.ml" 51 2230 2277
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 52 2278 2282 "src/plugins/custom/CustomPlugin.ml" 52 2278 2283
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option
)
"src/plugins/custom/CustomPlugin.ml" 52 2278 2287 "src/plugins/custom/CustomPlugin.ml" 52 2278 2289
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 50 2194 2196 "src/plugins/custom/CustomPlugin.ml" 52 2278 2289
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 55 2292 2296 "src/plugins/custom/CustomPlugin.ml" 55 2292 2305
type(
  ctxt:'a -> t -> 'b -> string array -> unit
)
ident(
  def distclean "src/plugins/custom/CustomPlugin.ml" 61 2433 2433 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 55 2292 2312 "src/plugins/custom/CustomPlugin.ml" 55 2292 2313
type(
  'a
)
"src/plugins/custom/CustomPlugin.ml" 55 2292 2314 "src/plugins/custom/CustomPlugin.ml" 55 2292 2315
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 55 2292 2316 "src/plugins/custom/CustomPlugin.ml" 58 2419 2430
)
"src/plugins/custom/CustomPlugin.ml" 55 2292 2316 "src/plugins/custom/CustomPlugin.ml" 55 2292 2317
type(
  'b
)
"src/plugins/custom/CustomPlugin.ml" 55 2292 2318 "src/plugins/custom/CustomPlugin.ml" 55 2292 2328
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 56 2331 2333 "src/plugins/custom/CustomPlugin.ml" 58 2419 2430
)
"src/plugins/custom/CustomPlugin.ml" 56 2331 2339 "src/plugins/custom/CustomPlugin.ml" 56 2331 2349
type(
  ?printer:(OASISTypes.command_line option -> string) ->
  ?name:string ->
  OASISTypes.command_line option OASISExpr.choices ->
  OASISTypes.command_line option
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/plugins/custom/CustomPlugin.ml" 56 2331 2350 "src/plugins/custom/CustomPlugin.ml" 56 2331 2351
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 55 2292 2314 "src/plugins/custom/CustomPlugin.ml" 55 2292 2315
)
"src/plugins/custom/CustomPlugin.ml" 56 2331 2350 "src/plugins/custom/CustomPlugin.ml" 56 2331 2365
type(
  OASISTypes.command_line option OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 56 2331 2339 "src/plugins/custom/CustomPlugin.ml" 56 2331 2365
type(
  OASISTypes.command_line option
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2381 "src/plugins/custom/CustomPlugin.ml" 57 2371 2384
type(
  OASISTypes.prog
)
ident(
  def cmd "src/plugins/custom/CustomPlugin.ml" 57 2371 2395 "src/plugins/custom/CustomPlugin.ml" 57 2371 2418
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2386 "src/plugins/custom/CustomPlugin.ml" 57 2371 2390
type(
  OASISTypes.args
)
ident(
  def args "src/plugins/custom/CustomPlugin.ml" 57 2371 2395 "src/plugins/custom/CustomPlugin.ml" 57 2371 2418
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2380 "src/plugins/custom/CustomPlugin.ml" 57 2371 2391
type(
  OASISTypes.prog * OASISTypes.args
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2375 "src/plugins/custom/CustomPlugin.ml" 57 2371 2391
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2395 "src/plugins/custom/CustomPlugin.ml" 57 2371 2398
type(
  OASISTypes.prog -> OASISTypes.args -> string array -> unit
)
ident(
  int_ref run "src/plugins/custom/CustomPlugin.ml" 41 2000 2004 "src/plugins/custom/CustomPlugin.ml" 41 2000 2007
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2399 "src/plugins/custom/CustomPlugin.ml" 57 2371 2402
type(
  OASISTypes.prog
)
ident(
  int_ref cmd "src/plugins/custom/CustomPlugin.ml" 57 2371 2381 "src/plugins/custom/CustomPlugin.ml" 57 2371 2384
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2403 "src/plugins/custom/CustomPlugin.ml" 57 2371 2407
type(
  OASISTypes.args
)
ident(
  int_ref args "src/plugins/custom/CustomPlugin.ml" 57 2371 2386 "src/plugins/custom/CustomPlugin.ml" 57 2371 2390
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2408 "src/plugins/custom/CustomPlugin.ml" 57 2371 2418
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 55 2292 2318 "src/plugins/custom/CustomPlugin.ml" 55 2292 2328
)
"src/plugins/custom/CustomPlugin.ml" 57 2371 2395 "src/plugins/custom/CustomPlugin.ml" 57 2371 2418
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 58 2419 2423 "src/plugins/custom/CustomPlugin.ml" 58 2419 2424
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option
)
"src/plugins/custom/CustomPlugin.ml" 58 2419 2428 "src/plugins/custom/CustomPlugin.ml" 58 2419 2430
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 56 2331 2333 "src/plugins/custom/CustomPlugin.ml" 58 2419 2430
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 61 2433 2440 "src/plugins/custom/CustomPlugin.ml" 61 2433 2445
ident(
  def Build "src/plugins/custom/CustomPlugin.ml" 112 3994 3997 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 63 2455 2461 "src/plugins/custom/CustomPlugin.ml" 63 2455 2465
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  def main "src/plugins/custom/CustomPlugin.ml" 95 3382 3384 "src/plugins/custom/CustomPlugin.ml" 112 3994 3997
)
"src/plugins/custom/CustomPlugin.ml" 63 2455 2467 "src/plugins/custom/CustomPlugin.ml" 63 2455 2471
type(
  OASISContext.t
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 63 2455 2472 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
)
"src/plugins/custom/CustomPlugin.ml" 63 2455 2472 "src/plugins/custom/CustomPlugin.ml" 63 2455 2473
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 63 2455 2474 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
)
"src/plugins/custom/CustomPlugin.ml" 63 2455 2474 "src/plugins/custom/CustomPlugin.ml" 63 2455 2477
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 63 2455 2478 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
)
"src/plugins/custom/CustomPlugin.ml" 63 2455 2478 "src/plugins/custom/CustomPlugin.ml" 63 2455 2488
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 64 2491 2495 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2495 "src/plugins/custom/CustomPlugin.ml" 64 2491 2499
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  int_ref main "src/plugins/custom/CustomPlugin.ml" 44 2028 2032 "src/plugins/custom/CustomPlugin.ml" 44 2028 2036
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2501 "src/plugins/custom/CustomPlugin.ml" 64 2491 2505
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 63 2455 2467 "src/plugins/custom/CustomPlugin.ml" 63 2455 2471
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2506 "src/plugins/custom/CustomPlugin.ml" 64 2491 2507
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 63 2455 2472 "src/plugins/custom/CustomPlugin.ml" 63 2455 2473
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2508 "src/plugins/custom/CustomPlugin.ml" 64 2491 2511
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 63 2455 2474 "src/plugins/custom/CustomPlugin.ml" 63 2455 2477
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2512 "src/plugins/custom/CustomPlugin.ml" 64 2491 2522
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 63 2455 2478 "src/plugins/custom/CustomPlugin.ml" 63 2455 2488
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2495 "src/plugins/custom/CustomPlugin.ml" 64 2491 2522
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 65 2524 2528 "src/plugins/custom/CustomPlugin.ml" 65 2524 2537
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/custom/CustomPlugin.ml" 66 2538 2549 "src/plugins/custom/CustomPlugin.ml" 66 2538 2552
type(
  OASISTypes.section
)
ident(
  def sct "src/plugins/custom/CustomPlugin.ml" 67 2556 2565 "src/plugins/custom/CustomPlugin.ml" 92 3346 3360
)
"src/plugins/custom/CustomPlugin.ml" 67 2556 2569 "src/plugins/custom/CustomPlugin.ml" 67 2556 2572
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
ident(
  def evs "src/plugins/custom/CustomPlugin.ml" 90 3256 3265 "src/plugins/custom/CustomPlugin.ml" 92 3346 3360
)
"src/plugins/custom/CustomPlugin.ml" 68 2575 2592 "src/plugins/custom/CustomPlugin.ml" 68 2575 2595
type(
  OASISTypes.section
)
ident(
  int_ref sct "src/plugins/custom/CustomPlugin.ml" 66 2538 2549 "src/plugins/custom/CustomPlugin.ml" 66 2538 2552
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2625 "src/plugins/custom/CustomPlugin.ml" 69 2601 2627
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 69 2601 2643 "src/plugins/custom/CustomPlugin.ml" 77 2879 2897
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2629 "src/plugins/custom/CustomPlugin.ml" 69 2601 2631
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/custom/CustomPlugin.ml" 69 2601 2643 "src/plugins/custom/CustomPlugin.ml" 77 2879 2897
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2633 "src/plugins/custom/CustomPlugin.ml" 69 2601 2636
type(
  OASISTypes.library
)
ident(
  def lib "src/plugins/custom/CustomPlugin.ml" 69 2601 2643 "src/plugins/custom/CustomPlugin.ml" 77 2879 2897
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2616 "src/plugins/custom/CustomPlugin.ml" 69 2601 2637
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2643 "src/plugins/custom/CustomPlugin.ml" 69 2601 2653
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/custom/CustomPlugin.ml" 69 2601 2654 "src/plugins/custom/CustomPlugin.ml" 69 2601 2656
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/custom/CustomPlugin.ml" 69 2601 2629 "src/plugins/custom/CustomPlugin.ml" 69 2601 2631
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2654 "src/plugins/custom/CustomPlugin.ml" 69 2601 2665
type(
  bool OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 69 2601 2643 "src/plugins/custom/CustomPlugin.ml" 69 2601 2665
type(
  bool
)
"src/plugins/custom/CustomPlugin.ml" 71 2690 2711 "src/plugins/custom/CustomPlugin.ml" 71 2690 2714
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
ident(
  def evs "src/plugins/custom/CustomPlugin.ml" 76 2858 2875 "src/plugins/custom/CustomPlugin.ml" 76 2858 2878
)
"src/plugins/custom/CustomPlugin.ml" 71 2690 2716 "src/plugins/custom/CustomPlugin.ml" 71 2690 2717
type(
  OASISTypes.unix_filename list list
)
"src/plugins/custom/CustomPlugin.ml" 71 2690 2711 "src/plugins/custom/CustomPlugin.ml" 71 2690 2717
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list *
  OASISTypes.unix_filename list list
)
"src/plugins/custom/CustomPlugin.ml" 72 2720 2739 "src/plugins/custom/CustomPlugin.ml" 72 2720 2759
type(
  (OASISTypes.unix_filename -> OASISTypes.host_filename) ->
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library ->
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list *
  OASISTypes.unix_filename list list
)
ident(
  int_ref BaseBuilt.of_library "src/base/BaseBuilt.mli" 93 3372 3372 "src/base/BaseBuilt.mli" 96 3472 3541
)
"src/plugins/custom/CustomPlugin.ml" 73 2760 2781 "src/plugins/custom/CustomPlugin.ml" 73 2760 2802
type(
  OASISTypes.unix_filename -> OASISTypes.host_filename
)
ident(
  int_ref OASISHostPath.of_unix "src/oasis/OASISHostPath.mli" 39 1931 1931 "src/oasis/OASISHostPath.mli" 39 1931 1974
)
"src/plugins/custom/CustomPlugin.ml" 74 2803 2825 "src/plugins/custom/CustomPlugin.ml" 74 2803 2827
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 69 2601 2625 "src/plugins/custom/CustomPlugin.ml" 69 2601 2627
)
"src/plugins/custom/CustomPlugin.ml" 74 2803 2829 "src/plugins/custom/CustomPlugin.ml" 74 2803 2831
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/custom/CustomPlugin.ml" 69 2601 2629 "src/plugins/custom/CustomPlugin.ml" 69 2601 2631
)
"src/plugins/custom/CustomPlugin.ml" 74 2803 2833 "src/plugins/custom/CustomPlugin.ml" 74 2803 2836
type(
  OASISTypes.library
)
ident(
  int_ref lib "src/plugins/custom/CustomPlugin.ml" 69 2601 2633 "src/plugins/custom/CustomPlugin.ml" 69 2601 2636
)
"src/plugins/custom/CustomPlugin.ml" 74 2803 2824 "src/plugins/custom/CustomPlugin.ml" 74 2803 2837
type(
  OASISTypes.common_section * OASISTypes.build_section * OASISTypes.library
)
"src/plugins/custom/CustomPlugin.ml" 72 2720 2739 "src/plugins/custom/CustomPlugin.ml" 74 2803 2837
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list *
  OASISTypes.unix_filename list list
)
"src/plugins/custom/CustomPlugin.ml" 76 2858 2875 "src/plugins/custom/CustomPlugin.ml" 76 2858 2878
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
ident(
  int_ref evs "src/plugins/custom/CustomPlugin.ml" 71 2690 2711 "src/plugins/custom/CustomPlugin.ml" 71 2690 2714
)
"src/plugins/custom/CustomPlugin.ml" 70 2669 2684 "src/plugins/custom/CustomPlugin.ml" 77 2879 2897
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2925 "src/plugins/custom/CustomPlugin.ml" 78 2898 2927
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 78 2898 2944 "src/plugins/custom/CustomPlugin.ml" 86 3187 3205
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2929 "src/plugins/custom/CustomPlugin.ml" 78 2898 2931
type(
  OASISTypes.build_section
)
ident(
  def bs "src/plugins/custom/CustomPlugin.ml" 78 2898 2944 "src/plugins/custom/CustomPlugin.ml" 86 3187 3205
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2933 "src/plugins/custom/CustomPlugin.ml" 78 2898 2937
type(
  OASISTypes.executable
)
ident(
  def exec "src/plugins/custom/CustomPlugin.ml" 78 2898 2944 "src/plugins/custom/CustomPlugin.ml" 86 3187 3205
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2913 "src/plugins/custom/CustomPlugin.ml" 78 2898 2938
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2944 "src/plugins/custom/CustomPlugin.ml" 78 2898 2954
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/custom/CustomPlugin.ml" 78 2898 2955 "src/plugins/custom/CustomPlugin.ml" 78 2898 2957
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/custom/CustomPlugin.ml" 78 2898 2929 "src/plugins/custom/CustomPlugin.ml" 78 2898 2931
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2955 "src/plugins/custom/CustomPlugin.ml" 78 2898 2966
type(
  bool OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 78 2898 2944 "src/plugins/custom/CustomPlugin.ml" 78 2898 2966
type(
  bool
)
"src/plugins/custom/CustomPlugin.ml" 80 2991 3012 "src/plugins/custom/CustomPlugin.ml" 80 2991 3015
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
ident(
  def evs "src/plugins/custom/CustomPlugin.ml" 85 3166 3183 "src/plugins/custom/CustomPlugin.ml" 85 3166 3186
)
"src/plugins/custom/CustomPlugin.ml" 80 2991 3017 "src/plugins/custom/CustomPlugin.ml" 80 2991 3018
type(
  OASISTypes.unix_filename
)
"src/plugins/custom/CustomPlugin.ml" 80 2991 3020 "src/plugins/custom/CustomPlugin.ml" 80 2991 3021
type(
  OASISTypes.unix_filename option
)
"src/plugins/custom/CustomPlugin.ml" 80 2991 3012 "src/plugins/custom/CustomPlugin.ml" 80 2991 3021
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list *
  OASISTypes.unix_filename * OASISTypes.unix_filename option
)
"src/plugins/custom/CustomPlugin.ml" 81 3024 3043 "src/plugins/custom/CustomPlugin.ml" 81 3024 3066
type(
  (OASISTypes.unix_filename -> OASISTypes.host_filename) ->
  OASISTypes.common_section * OASISTypes.build_section *
  OASISTypes.executable ->
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list *
  OASISTypes.unix_filename * OASISTypes.unix_filename option
)
ident(
  int_ref BaseBuilt.of_executable "src/base/BaseBuilt.mli" 82 3053 3053 "src/base/BaseBuilt.mli" 87 3209 3249
)
"src/plugins/custom/CustomPlugin.ml" 82 3067 3088 "src/plugins/custom/CustomPlugin.ml" 82 3067 3109
type(
  OASISTypes.unix_filename -> OASISTypes.host_filename
)
ident(
  int_ref OASISHostPath.of_unix "src/oasis/OASISHostPath.mli" 39 1931 1931 "src/oasis/OASISHostPath.mli" 39 1931 1974
)
"src/plugins/custom/CustomPlugin.ml" 83 3110 3132 "src/plugins/custom/CustomPlugin.ml" 83 3110 3134
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 78 2898 2925 "src/plugins/custom/CustomPlugin.ml" 78 2898 2927
)
"src/plugins/custom/CustomPlugin.ml" 83 3110 3136 "src/plugins/custom/CustomPlugin.ml" 83 3110 3138
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/plugins/custom/CustomPlugin.ml" 78 2898 2929 "src/plugins/custom/CustomPlugin.ml" 78 2898 2931
)
"src/plugins/custom/CustomPlugin.ml" 83 3110 3140 "src/plugins/custom/CustomPlugin.ml" 83 3110 3144
type(
  OASISTypes.executable
)
ident(
  int_ref exec "src/plugins/custom/CustomPlugin.ml" 78 2898 2933 "src/plugins/custom/CustomPlugin.ml" 78 2898 2937
)
"src/plugins/custom/CustomPlugin.ml" 83 3110 3131 "src/plugins/custom/CustomPlugin.ml" 83 3110 3145
type(
  OASISTypes.common_section * OASISTypes.build_section *
  OASISTypes.executable
)
"src/plugins/custom/CustomPlugin.ml" 81 3024 3043 "src/plugins/custom/CustomPlugin.ml" 83 3110 3145
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list *
  OASISTypes.unix_filename * OASISTypes.unix_filename option
)
"src/plugins/custom/CustomPlugin.ml" 85 3166 3183 "src/plugins/custom/CustomPlugin.ml" 85 3166 3186
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
ident(
  int_ref evs "src/plugins/custom/CustomPlugin.ml" 80 2991 3012 "src/plugins/custom/CustomPlugin.ml" 80 2991 3015
)
"src/plugins/custom/CustomPlugin.ml" 79 2970 2985 "src/plugins/custom/CustomPlugin.ml" 86 3187 3205
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
"src/plugins/custom/CustomPlugin.ml" 87 3206 3221 "src/plugins/custom/CustomPlugin.ml" 87 3206 3222
type(
  OASISTypes.section
)
type(
  OASISTypes.section
)
"src/plugins/custom/CustomPlugin.ml" 88 3226 3241 "src/plugins/custom/CustomPlugin.ml" 88 3226 3243
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
"src/plugins/custom/CustomPlugin.ml" 68 2575 2586 "src/plugins/custom/CustomPlugin.ml" 88 3226 3243
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
"src/plugins/custom/CustomPlugin.ml" 90 3256 3265 "src/plugins/custom/CustomPlugin.ml" 90 3256 3274
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list -> unit) ->
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list ->
  unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3292 "src/plugins/custom/CustomPlugin.ml" 91 3275 3294
type(
  BaseBuilt.t
)
ident(
  def bt "src/plugins/custom/CustomPlugin.ml" 91 3275 3309 "src/plugins/custom/CustomPlugin.ml" 91 3275 3344
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3296 "src/plugins/custom/CustomPlugin.ml" 91 3275 3299
type(
  OASISTypes.name
)
ident(
  def bnm "src/plugins/custom/CustomPlugin.ml" 91 3275 3309 "src/plugins/custom/CustomPlugin.ml" 91 3275 3344
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3301 "src/plugins/custom/CustomPlugin.ml" 91 3275 3304
type(
  OASISTypes.host_filename list list
)
ident(
  def lst "src/plugins/custom/CustomPlugin.ml" 91 3275 3309 "src/plugins/custom/CustomPlugin.ml" 91 3275 3344
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3291 "src/plugins/custom/CustomPlugin.ml" 91 3275 3305
type(
  BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3309 "src/plugins/custom/CustomPlugin.ml" 91 3275 3327
type(
  ctxt:OASISContext.t ->
  BaseBuilt.t ->
  OASISTypes.name -> OASISTypes.host_filename list list -> unit
)
ident(
  int_ref BaseBuilt.register "src/base/BaseBuilt.mli" 47 2277 2277 "src/base/BaseBuilt.mli" 52 2362 2368
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3329 "src/plugins/custom/CustomPlugin.ml" 91 3275 3333
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 63 2455 2467 "src/plugins/custom/CustomPlugin.ml" 63 2455 2471
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3334 "src/plugins/custom/CustomPlugin.ml" 91 3275 3336
type(
  BaseBuilt.t
)
ident(
  int_ref bt "src/plugins/custom/CustomPlugin.ml" 91 3275 3292 "src/plugins/custom/CustomPlugin.ml" 91 3275 3294
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3337 "src/plugins/custom/CustomPlugin.ml" 91 3275 3340
type(
  OASISTypes.name
)
ident(
  int_ref bnm "src/plugins/custom/CustomPlugin.ml" 91 3275 3296 "src/plugins/custom/CustomPlugin.ml" 91 3275 3299
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3341 "src/plugins/custom/CustomPlugin.ml" 91 3275 3344
type(
  OASISTypes.host_filename list list
)
ident(
  int_ref lst "src/plugins/custom/CustomPlugin.ml" 91 3275 3301 "src/plugins/custom/CustomPlugin.ml" 91 3275 3304
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3309 "src/plugins/custom/CustomPlugin.ml" 91 3275 3344
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 91 3275 3286 "src/plugins/custom/CustomPlugin.ml" 91 3275 3345
type(
  BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list -> unit
)
"src/plugins/custom/CustomPlugin.ml" 92 3346 3357 "src/plugins/custom/CustomPlugin.ml" 92 3346 3360
type(
  (BaseBuilt.t * OASISTypes.name * OASISTypes.host_filename list list) list
)
ident(
  int_ref evs "src/plugins/custom/CustomPlugin.ml" 67 2556 2569 "src/plugins/custom/CustomPlugin.ml" 67 2556 2572
)
"src/plugins/custom/CustomPlugin.ml" 90 3256 3265 "src/plugins/custom/CustomPlugin.ml" 92 3346 3360
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 67 2556 2565 "src/plugins/custom/CustomPlugin.ml" 92 3346 3360
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 66 2538 2544 "src/plugins/custom/CustomPlugin.ml" 92 3346 3361
type(
  OASISTypes.section -> unit
)
"src/plugins/custom/CustomPlugin.ml" 93 3362 3368 "src/plugins/custom/CustomPlugin.ml" 93 3362 3371
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 63 2455 2474 "src/plugins/custom/CustomPlugin.ml" 63 2455 2477
)
"src/plugins/custom/CustomPlugin.ml" 93 3362 3368 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
type(
  OASISTypes.section list
)
"src/plugins/custom/CustomPlugin.ml" 65 2524 2528 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 64 2491 2495 "src/plugins/custom/CustomPlugin.ml" 93 3362 3380
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 95 3382 3388 "src/plugins/custom/CustomPlugin.ml" 95 3382 3393
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  def clean "src/plugins/custom/CustomPlugin.ml" 111 3920 3922 "src/plugins/custom/CustomPlugin.ml" 112 3994 3997
)
"src/plugins/custom/CustomPlugin.ml" 95 3382 3395 "src/plugins/custom/CustomPlugin.ml" 95 3382 3399
type(
  OASISContext.t
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 95 3382 3400 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
)
"src/plugins/custom/CustomPlugin.ml" 95 3382 3400 "src/plugins/custom/CustomPlugin.ml" 95 3382 3401
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 95 3382 3402 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
)
"src/plugins/custom/CustomPlugin.ml" 95 3382 3402 "src/plugins/custom/CustomPlugin.ml" 95 3382 3405
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 95 3382 3406 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
)
"src/plugins/custom/CustomPlugin.ml" 95 3382 3406 "src/plugins/custom/CustomPlugin.ml" 95 3382 3416
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 96 3419 3423 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3423 "src/plugins/custom/CustomPlugin.ml" 96 3419 3428
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  int_ref clean "src/plugins/custom/CustomPlugin.ml" 49 2159 2163 "src/plugins/custom/CustomPlugin.ml" 49 2159 2168
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3430 "src/plugins/custom/CustomPlugin.ml" 96 3419 3434
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 95 3382 3395 "src/plugins/custom/CustomPlugin.ml" 95 3382 3399
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3435 "src/plugins/custom/CustomPlugin.ml" 96 3419 3436
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 95 3382 3400 "src/plugins/custom/CustomPlugin.ml" 95 3382 3401
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3437 "src/plugins/custom/CustomPlugin.ml" 96 3419 3440
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 95 3382 3402 "src/plugins/custom/CustomPlugin.ml" 95 3382 3405
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3441 "src/plugins/custom/CustomPlugin.ml" 96 3419 3451
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 95 3382 3406 "src/plugins/custom/CustomPlugin.ml" 95 3382 3416
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3423 "src/plugins/custom/CustomPlugin.ml" 96 3419 3451
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 100 3579 3583 "src/plugins/custom/CustomPlugin.ml" 100 3579 3592
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/custom/CustomPlugin.ml" 102 3609 3628 "src/plugins/custom/CustomPlugin.ml" 102 3609 3630
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 103 3641 3651 "src/plugins/custom/CustomPlugin.ml" 103 3641 3703
)
"src/plugins/custom/CustomPlugin.ml" 102 3609 3632 "src/plugins/custom/CustomPlugin.ml" 102 3609 3633
type(
  OASISTypes.build_section
)
"src/plugins/custom/CustomPlugin.ml" 102 3609 3635 "src/plugins/custom/CustomPlugin.ml" 102 3609 3636
type(
  OASISTypes.library
)
"src/plugins/custom/CustomPlugin.ml" 102 3609 3619 "src/plugins/custom/CustomPlugin.ml" 102 3609 3637
type(
  OASISTypes.section
)
"src/plugins/custom/CustomPlugin.ml" 103 3641 3651 "src/plugins/custom/CustomPlugin.ml" 103 3641 3671
type(
  ctxt:OASISContext.t -> BaseBuilt.t -> OASISTypes.name -> unit
)
ident(
  int_ref BaseBuilt.unregister "src/base/BaseBuilt.mli" 56 2406 2406 "src/base/BaseBuilt.mli" 56 2406 2462
)
"src/plugins/custom/CustomPlugin.ml" 103 3641 3673 "src/plugins/custom/CustomPlugin.ml" 103 3641 3677
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 95 3382 3395 "src/plugins/custom/CustomPlugin.ml" 95 3382 3399
)
"src/plugins/custom/CustomPlugin.ml" 103 3641 3678 "src/plugins/custom/CustomPlugin.ml" 103 3641 3692
type(
  BaseBuilt.t
)
"src/plugins/custom/CustomPlugin.ml" 103 3641 3693 "src/plugins/custom/CustomPlugin.ml" 103 3641 3695
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 102 3609 3628 "src/plugins/custom/CustomPlugin.ml" 102 3609 3630
)
"src/plugins/custom/CustomPlugin.ml" 103 3641 3693 "src/plugins/custom/CustomPlugin.ml" 103 3641 3703
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 103 3641 3651 "src/plugins/custom/CustomPlugin.ml" 103 3641 3703
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 104 3704 3726 "src/plugins/custom/CustomPlugin.ml" 104 3704 3728
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 105 3739 3749 "src/plugins/custom/CustomPlugin.ml" 106 3804 3870
)
"src/plugins/custom/CustomPlugin.ml" 104 3704 3730 "src/plugins/custom/CustomPlugin.ml" 104 3704 3731
type(
  OASISTypes.build_section
)
"src/plugins/custom/CustomPlugin.ml" 104 3704 3733 "src/plugins/custom/CustomPlugin.ml" 104 3704 3734
type(
  OASISTypes.executable
)
"src/plugins/custom/CustomPlugin.ml" 104 3704 3714 "src/plugins/custom/CustomPlugin.ml" 104 3704 3735
type(
  OASISTypes.section
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3749 "src/plugins/custom/CustomPlugin.ml" 105 3739 3769
type(
  ctxt:OASISContext.t -> BaseBuilt.t -> OASISTypes.name -> unit
)
ident(
  int_ref BaseBuilt.unregister "src/base/BaseBuilt.mli" 56 2406 2406 "src/base/BaseBuilt.mli" 56 2406 2462
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3771 "src/plugins/custom/CustomPlugin.ml" 105 3739 3775
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 95 3382 3395 "src/plugins/custom/CustomPlugin.ml" 95 3382 3399
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3776 "src/plugins/custom/CustomPlugin.ml" 105 3739 3791
type(
  BaseBuilt.t
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3792 "src/plugins/custom/CustomPlugin.ml" 105 3739 3794
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 104 3704 3726 "src/plugins/custom/CustomPlugin.ml" 104 3704 3728
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3792 "src/plugins/custom/CustomPlugin.ml" 105 3739 3802
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3749 "src/plugins/custom/CustomPlugin.ml" 105 3739 3802
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 106 3804 3814 "src/plugins/custom/CustomPlugin.ml" 106 3804 3834
type(
  ctxt:OASISContext.t -> BaseBuilt.t -> OASISTypes.name -> unit
)
ident(
  int_ref BaseBuilt.unregister "src/base/BaseBuilt.mli" 56 2406 2406 "src/base/BaseBuilt.mli" 56 2406 2462
)
"src/plugins/custom/CustomPlugin.ml" 106 3804 3836 "src/plugins/custom/CustomPlugin.ml" 106 3804 3840
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 95 3382 3395 "src/plugins/custom/CustomPlugin.ml" 95 3382 3399
)
"src/plugins/custom/CustomPlugin.ml" 106 3804 3841 "src/plugins/custom/CustomPlugin.ml" 106 3804 3859
type(
  BaseBuilt.t
)
"src/plugins/custom/CustomPlugin.ml" 106 3804 3860 "src/plugins/custom/CustomPlugin.ml" 106 3804 3862
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 104 3704 3726 "src/plugins/custom/CustomPlugin.ml" 104 3704 3728
)
"src/plugins/custom/CustomPlugin.ml" 106 3804 3860 "src/plugins/custom/CustomPlugin.ml" 106 3804 3870
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 106 3804 3814 "src/plugins/custom/CustomPlugin.ml" 106 3804 3870
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 105 3739 3749 "src/plugins/custom/CustomPlugin.ml" 106 3804 3870
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 107 3871 3881 "src/plugins/custom/CustomPlugin.ml" 107 3871 3882
type(
  OASISTypes.section
)
"src/plugins/custom/CustomPlugin.ml" 108 3886 3896 "src/plugins/custom/CustomPlugin.ml" 108 3886 3898
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 101 3593 3599 "src/plugins/custom/CustomPlugin.ml" 108 3886 3899
type(
  OASISTypes.section -> unit
)
"src/plugins/custom/CustomPlugin.ml" 109 3900 3906 "src/plugins/custom/CustomPlugin.ml" 109 3900 3909
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 95 3382 3402 "src/plugins/custom/CustomPlugin.ml" 95 3382 3405
)
"src/plugins/custom/CustomPlugin.ml" 109 3900 3906 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
type(
  OASISTypes.section list
)
"src/plugins/custom/CustomPlugin.ml" 100 3579 3583 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 96 3419 3423 "src/plugins/custom/CustomPlugin.ml" 109 3900 3918
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3926 "src/plugins/custom/CustomPlugin.ml" 111 3920 3935
type(
  ctxt:'a -> t -> 'b -> string array -> unit
)
ident(
  def distclean "src/plugins/custom/CustomPlugin.ml" 111 3920 3993 "src/plugins/custom/CustomPlugin.ml" 112 3994 3997
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3937 "src/plugins/custom/CustomPlugin.ml" 111 3920 3941
type(
  'a
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 111 3920 3942 "src/plugins/custom/CustomPlugin.ml" 111 3920 3993
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3942 "src/plugins/custom/CustomPlugin.ml" 111 3920 3943
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 111 3920 3944 "src/plugins/custom/CustomPlugin.ml" 111 3920 3993
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3944 "src/plugins/custom/CustomPlugin.ml" 111 3920 3947
type(
  'b
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 111 3920 3948 "src/plugins/custom/CustomPlugin.ml" 111 3920 3993
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3948 "src/plugins/custom/CustomPlugin.ml" 111 3920 3958
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 111 3920 3961 "src/plugins/custom/CustomPlugin.ml" 111 3920 3993
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3961 "src/plugins/custom/CustomPlugin.ml" 111 3920 3970
type(
  ctxt:'a -> t -> 'b -> string array -> unit
)
ident(
  int_ref distclean "src/plugins/custom/CustomPlugin.ml" 55 2292 2296 "src/plugins/custom/CustomPlugin.ml" 55 2292 2305
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3972 "src/plugins/custom/CustomPlugin.ml" 111 3920 3976
type(
  'a
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 111 3920 3937 "src/plugins/custom/CustomPlugin.ml" 111 3920 3941
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3977 "src/plugins/custom/CustomPlugin.ml" 111 3920 3978
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 111 3920 3942 "src/plugins/custom/CustomPlugin.ml" 111 3920 3943
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3979 "src/plugins/custom/CustomPlugin.ml" 111 3920 3982
type(
  'b
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 111 3920 3944 "src/plugins/custom/CustomPlugin.ml" 111 3920 3947
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3983 "src/plugins/custom/CustomPlugin.ml" 111 3920 3993
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 111 3920 3948 "src/plugins/custom/CustomPlugin.ml" 111 3920 3958
)
"src/plugins/custom/CustomPlugin.ml" 111 3920 3961 "src/plugins/custom/CustomPlugin.ml" 111 3920 3993
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 115 4000 4007 "src/plugins/custom/CustomPlugin.ml" 115 4000 4011
ident(
  def Test "src/plugins/custom/CustomPlugin.ml" 131 4387 4390 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4027 "src/plugins/custom/CustomPlugin.ml" 117 4021 4031
type(
  ctxt:'a ->
  t -> 'b -> OASISTypes.common_section * 'c -> string array -> float
)
ident(
  def main "src/plugins/custom/CustomPlugin.ml" 128 4242 4244 "src/plugins/custom/CustomPlugin.ml" 131 4387 4390
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4033 "src/plugins/custom/CustomPlugin.ml" 117 4021 4037
type(
  'a
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 117 4021 4038 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4038 "src/plugins/custom/CustomPlugin.ml" 117 4021 4039
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 117 4021 4040 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4040 "src/plugins/custom/CustomPlugin.ml" 117 4021 4043
type(
  'b
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 117 4021 4044 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4045 "src/plugins/custom/CustomPlugin.ml" 117 4021 4047
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 117 4021 4052 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4049 "src/plugins/custom/CustomPlugin.ml" 117 4021 4050
type(
  'c
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4044 "src/plugins/custom/CustomPlugin.ml" 117 4021 4051
type(
  OASISTypes.common_section * 'c
)
"src/plugins/custom/CustomPlugin.ml" 117 4021 4052 "src/plugins/custom/CustomPlugin.ml" 117 4021 4062
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 118 4065 4069 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4079 "src/plugins/custom/CustomPlugin.ml" 119 4073 4083
type(
  ctxt:'a -> t -> 'b -> string array -> unit
)
ident(
  int_ref main "src/plugins/custom/CustomPlugin.ml" 44 2028 2032 "src/plugins/custom/CustomPlugin.ml" 44 2028 2036
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4085 "src/plugins/custom/CustomPlugin.ml" 119 4073 4089
type(
  'a
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 117 4021 4033 "src/plugins/custom/CustomPlugin.ml" 117 4021 4037
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4090 "src/plugins/custom/CustomPlugin.ml" 119 4073 4091
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 117 4021 4038 "src/plugins/custom/CustomPlugin.ml" 117 4021 4039
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4092 "src/plugins/custom/CustomPlugin.ml" 119 4073 4095
type(
  'b
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 117 4021 4040 "src/plugins/custom/CustomPlugin.ml" 117 4021 4043
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4096 "src/plugins/custom/CustomPlugin.ml" 119 4073 4106
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 117 4021 4052 "src/plugins/custom/CustomPlugin.ml" 117 4021 4062
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4079 "src/plugins/custom/CustomPlugin.ml" 119 4073 4106
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 120 4108 4114 "src/plugins/custom/CustomPlugin.ml" 120 4108 4117
type(
  float
)
"src/plugins/custom/CustomPlugin.ml" 119 4073 4079 "src/plugins/custom/CustomPlugin.ml" 120 4108 4117
type(
  float
)
"src/plugins/custom/CustomPlugin.ml" 121 4118 4135 "src/plugins/custom/CustomPlugin.ml" 121 4118 4136
type(
  string
)
ident(
  def s "src/plugins/custom/CustomPlugin.ml" 122 4140 4146 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
)
"src/plugins/custom/CustomPlugin.ml" 121 4118 4127 "src/plugins/custom/CustomPlugin.ml" 121 4118 4136
type(
  exn
)
"src/plugins/custom/CustomPlugin.ml" 122 4140 4146 "src/plugins/custom/CustomPlugin.ml" 122 4140 4165
type(
  (OASISTypes.name -> string -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> string -> unit
)
ident(
  int_ref BaseMessage.warning "src/base/BaseMessage.mli" 45 2066 2066 "src/base/BaseMessage.mli" 45 2066 2117
)
"src/plugins/custom/CustomPlugin.ml" 123 4166 4175 "src/plugins/custom/CustomPlugin.ml" 123 4166 4177
type(
  (OASISTypes.name -> string -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/plugins/custom/CustomPlugin.ml" 123 4166 4178 "src/plugins/custom/CustomPlugin.ml" 123 4166 4199
type(
  (OASISTypes.name -> string -> unit, unit, string, unit) format4
)
"src/plugins/custom/CustomPlugin.ml" 123 4166 4174 "src/plugins/custom/CustomPlugin.ml" 123 4166 4200
type(
  (OASISTypes.name -> string -> unit, unit, string, unit) format4
)
"src/plugins/custom/CustomPlugin.ml" 124 4201 4209 "src/plugins/custom/CustomPlugin.ml" 124 4201 4211
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 117 4021 4045 "src/plugins/custom/CustomPlugin.ml" 117 4021 4047
)
"src/plugins/custom/CustomPlugin.ml" 124 4201 4209 "src/plugins/custom/CustomPlugin.ml" 124 4201 4219
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 125 4220 4228 "src/plugins/custom/CustomPlugin.ml" 125 4220 4229
type(
  string
)
ident(
  int_ref s "src/plugins/custom/CustomPlugin.ml" 121 4118 4135 "src/plugins/custom/CustomPlugin.ml" 121 4118 4136
)
"src/plugins/custom/CustomPlugin.ml" 122 4140 4146 "src/plugins/custom/CustomPlugin.ml" 125 4220 4229
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 126 4231 4237 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
type(
  float
)
"src/plugins/custom/CustomPlugin.ml" 122 4140 4146 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
type(
  float
)
"src/plugins/custom/CustomPlugin.ml" 118 4065 4069 "src/plugins/custom/CustomPlugin.ml" 126 4231 4240
type(
  float
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4248 "src/plugins/custom/CustomPlugin.ml" 128 4242 4253
type(
  ctxt:'d -> t -> 'e -> 'f -> string array -> unit
)
ident(
  def clean "src/plugins/custom/CustomPlugin.ml" 130 4311 4313 "src/plugins/custom/CustomPlugin.ml" 131 4387 4390
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4255 "src/plugins/custom/CustomPlugin.ml" 128 4242 4259
type(
  'd
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 128 4242 4260 "src/plugins/custom/CustomPlugin.ml" 128 4242 4309
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4260 "src/plugins/custom/CustomPlugin.ml" 128 4242 4261
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 128 4242 4262 "src/plugins/custom/CustomPlugin.ml" 128 4242 4309
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4262 "src/plugins/custom/CustomPlugin.ml" 128 4242 4265
type(
  'e
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 128 4242 4266 "src/plugins/custom/CustomPlugin.ml" 128 4242 4309
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4266 "src/plugins/custom/CustomPlugin.ml" 128 4242 4267
type(
  'f
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4268 "src/plugins/custom/CustomPlugin.ml" 128 4242 4278
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 128 4242 4281 "src/plugins/custom/CustomPlugin.ml" 128 4242 4309
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4281 "src/plugins/custom/CustomPlugin.ml" 128 4242 4286
type(
  ctxt:'d -> t -> 'e -> string array -> unit
)
ident(
  int_ref clean "src/plugins/custom/CustomPlugin.ml" 49 2159 2163 "src/plugins/custom/CustomPlugin.ml" 49 2159 2168
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4288 "src/plugins/custom/CustomPlugin.ml" 128 4242 4292
type(
  'd
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 128 4242 4255 "src/plugins/custom/CustomPlugin.ml" 128 4242 4259
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4293 "src/plugins/custom/CustomPlugin.ml" 128 4242 4294
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 128 4242 4260 "src/plugins/custom/CustomPlugin.ml" 128 4242 4261
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4295 "src/plugins/custom/CustomPlugin.ml" 128 4242 4298
type(
  'e
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 128 4242 4262 "src/plugins/custom/CustomPlugin.ml" 128 4242 4265
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4299 "src/plugins/custom/CustomPlugin.ml" 128 4242 4309
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 128 4242 4268 "src/plugins/custom/CustomPlugin.ml" 128 4242 4278
)
"src/plugins/custom/CustomPlugin.ml" 128 4242 4281 "src/plugins/custom/CustomPlugin.ml" 128 4242 4309
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4317 "src/plugins/custom/CustomPlugin.ml" 130 4311 4326
type(
  ctxt:'g -> t -> 'h -> 'i -> string array -> unit
)
ident(
  def distclean "src/plugins/custom/CustomPlugin.ml" 130 4311 4386 "src/plugins/custom/CustomPlugin.ml" 131 4387 4390
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4328 "src/plugins/custom/CustomPlugin.ml" 130 4311 4332
type(
  'g
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 130 4311 4333 "src/plugins/custom/CustomPlugin.ml" 130 4311 4386
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4333 "src/plugins/custom/CustomPlugin.ml" 130 4311 4334
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 130 4311 4335 "src/plugins/custom/CustomPlugin.ml" 130 4311 4386
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4335 "src/plugins/custom/CustomPlugin.ml" 130 4311 4338
type(
  'h
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 130 4311 4339 "src/plugins/custom/CustomPlugin.ml" 130 4311 4386
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4339 "src/plugins/custom/CustomPlugin.ml" 130 4311 4340
type(
  'i
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4341 "src/plugins/custom/CustomPlugin.ml" 130 4311 4351
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 130 4311 4354 "src/plugins/custom/CustomPlugin.ml" 130 4311 4386
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4354 "src/plugins/custom/CustomPlugin.ml" 130 4311 4363
type(
  ctxt:'g -> t -> 'h -> string array -> unit
)
ident(
  int_ref distclean "src/plugins/custom/CustomPlugin.ml" 55 2292 2296 "src/plugins/custom/CustomPlugin.ml" 55 2292 2305
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4365 "src/plugins/custom/CustomPlugin.ml" 130 4311 4369
type(
  'g
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 130 4311 4328 "src/plugins/custom/CustomPlugin.ml" 130 4311 4332
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4370 "src/plugins/custom/CustomPlugin.ml" 130 4311 4371
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 130 4311 4333 "src/plugins/custom/CustomPlugin.ml" 130 4311 4334
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4372 "src/plugins/custom/CustomPlugin.ml" 130 4311 4375
type(
  'h
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 130 4311 4335 "src/plugins/custom/CustomPlugin.ml" 130 4311 4338
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4376 "src/plugins/custom/CustomPlugin.ml" 130 4311 4386
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 130 4311 4341 "src/plugins/custom/CustomPlugin.ml" 130 4311 4351
)
"src/plugins/custom/CustomPlugin.ml" 130 4311 4354 "src/plugins/custom/CustomPlugin.ml" 130 4311 4386
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 134 4393 4400 "src/plugins/custom/CustomPlugin.ml" 134 4393 4403
ident(
  def Doc "src/plugins/custom/CustomPlugin.ml" 145 4762 4765 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4419 "src/plugins/custom/CustomPlugin.ml" 136 4413 4423
type(
  ctxt:OASISContext.t ->
  t -> 'a -> OASISTypes.common_section * 'b -> string array -> unit
)
ident(
  def main "src/plugins/custom/CustomPlugin.ml" 140 4549 4551 "src/plugins/custom/CustomPlugin.ml" 145 4762 4765
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4425 "src/plugins/custom/CustomPlugin.ml" 136 4413 4429
type(
  OASISContext.t
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 136 4413 4430 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4430 "src/plugins/custom/CustomPlugin.ml" 136 4413 4431
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 136 4413 4432 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4432 "src/plugins/custom/CustomPlugin.ml" 136 4413 4435
type(
  'a
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 136 4413 4436 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4437 "src/plugins/custom/CustomPlugin.ml" 136 4413 4439
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 136 4413 4444 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4441 "src/plugins/custom/CustomPlugin.ml" 136 4413 4442
type(
  'b
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4436 "src/plugins/custom/CustomPlugin.ml" 136 4413 4443
type(
  OASISTypes.common_section * 'b
)
"src/plugins/custom/CustomPlugin.ml" 136 4413 4444 "src/plugins/custom/CustomPlugin.ml" 136 4413 4454
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 137 4457 4461 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4461 "src/plugins/custom/CustomPlugin.ml" 137 4457 4465
type(
  ctxt:OASISContext.t -> t -> 'a -> string array -> unit
)
ident(
  int_ref main "src/plugins/custom/CustomPlugin.ml" 44 2028 2032 "src/plugins/custom/CustomPlugin.ml" 44 2028 2036
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4467 "src/plugins/custom/CustomPlugin.ml" 137 4457 4471
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 136 4413 4425 "src/plugins/custom/CustomPlugin.ml" 136 4413 4429
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4472 "src/plugins/custom/CustomPlugin.ml" 137 4457 4473
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 136 4413 4430 "src/plugins/custom/CustomPlugin.ml" 136 4413 4431
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4474 "src/plugins/custom/CustomPlugin.ml" 137 4457 4477
type(
  'a
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 136 4413 4432 "src/plugins/custom/CustomPlugin.ml" 136 4413 4435
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4478 "src/plugins/custom/CustomPlugin.ml" 137 4457 4488
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 136 4413 4444 "src/plugins/custom/CustomPlugin.ml" 136 4413 4454
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4461 "src/plugins/custom/CustomPlugin.ml" 137 4457 4488
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4494 "src/plugins/custom/CustomPlugin.ml" 138 4490 4512
type(
  ctxt:OASISContext.t ->
  BaseBuilt.t ->
  OASISTypes.name -> OASISTypes.host_filename list list -> unit
)
ident(
  int_ref BaseBuilt.register "src/base/BaseBuilt.mli" 47 2277 2277 "src/base/BaseBuilt.mli" 52 2362 2368
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4514 "src/plugins/custom/CustomPlugin.ml" 138 4490 4518
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 136 4413 4425 "src/plugins/custom/CustomPlugin.ml" 136 4413 4429
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4519 "src/plugins/custom/CustomPlugin.ml" 138 4490 4533
type(
  BaseBuilt.t
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4534 "src/plugins/custom/CustomPlugin.ml" 138 4490 4536
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 136 4413 4437 "src/plugins/custom/CustomPlugin.ml" 136 4413 4439
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4534 "src/plugins/custom/CustomPlugin.ml" 138 4490 4544
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4545 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
type(
  OASISTypes.host_filename list list
)
"src/plugins/custom/CustomPlugin.ml" 138 4490 4494 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 137 4457 4461 "src/plugins/custom/CustomPlugin.ml" 138 4490 4547
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4555 "src/plugins/custom/CustomPlugin.ml" 140 4549 4560
type(
  ctxt:OASISContext.t ->
  t -> 'c -> OASISTypes.common_section * 'd -> string array -> unit
)
ident(
  def clean "src/plugins/custom/CustomPlugin.ml" 144 4686 4688 "src/plugins/custom/CustomPlugin.ml" 145 4762 4765
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4562 "src/plugins/custom/CustomPlugin.ml" 140 4549 4566
type(
  OASISContext.t
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 140 4549 4567 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4567 "src/plugins/custom/CustomPlugin.ml" 140 4549 4568
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 140 4549 4569 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4569 "src/plugins/custom/CustomPlugin.ml" 140 4549 4572
type(
  'c
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 140 4549 4573 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4574 "src/plugins/custom/CustomPlugin.ml" 140 4549 4576
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 140 4549 4581 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4578 "src/plugins/custom/CustomPlugin.ml" 140 4549 4579
type(
  'd
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4573 "src/plugins/custom/CustomPlugin.ml" 140 4549 4580
type(
  OASISTypes.common_section * 'd
)
"src/plugins/custom/CustomPlugin.ml" 140 4549 4581 "src/plugins/custom/CustomPlugin.ml" 140 4549 4591
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 141 4594 4598 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4598 "src/plugins/custom/CustomPlugin.ml" 141 4594 4603
type(
  ctxt:OASISContext.t -> t -> 'c -> string array -> unit
)
ident(
  int_ref clean "src/plugins/custom/CustomPlugin.ml" 49 2159 2163 "src/plugins/custom/CustomPlugin.ml" 49 2159 2168
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4605 "src/plugins/custom/CustomPlugin.ml" 141 4594 4609
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 140 4549 4562 "src/plugins/custom/CustomPlugin.ml" 140 4549 4566
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4610 "src/plugins/custom/CustomPlugin.ml" 141 4594 4611
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 140 4549 4567 "src/plugins/custom/CustomPlugin.ml" 140 4549 4568
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4612 "src/plugins/custom/CustomPlugin.ml" 141 4594 4615
type(
  'c
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 140 4549 4569 "src/plugins/custom/CustomPlugin.ml" 140 4549 4572
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4616 "src/plugins/custom/CustomPlugin.ml" 141 4594 4626
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 140 4549 4581 "src/plugins/custom/CustomPlugin.ml" 140 4549 4591
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4598 "src/plugins/custom/CustomPlugin.ml" 141 4594 4626
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 142 4628 4632 "src/plugins/custom/CustomPlugin.ml" 142 4628 4652
type(
  ctxt:OASISContext.t -> BaseBuilt.t -> OASISTypes.name -> unit
)
ident(
  int_ref BaseBuilt.unregister "src/base/BaseBuilt.mli" 56 2406 2406 "src/base/BaseBuilt.mli" 56 2406 2462
)
"src/plugins/custom/CustomPlugin.ml" 142 4628 4654 "src/plugins/custom/CustomPlugin.ml" 142 4628 4658
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 140 4549 4562 "src/plugins/custom/CustomPlugin.ml" 140 4549 4566
)
"src/plugins/custom/CustomPlugin.ml" 142 4628 4659 "src/plugins/custom/CustomPlugin.ml" 142 4628 4673
type(
  BaseBuilt.t
)
"src/plugins/custom/CustomPlugin.ml" 142 4628 4674 "src/plugins/custom/CustomPlugin.ml" 142 4628 4676
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 140 4549 4574 "src/plugins/custom/CustomPlugin.ml" 140 4549 4576
)
"src/plugins/custom/CustomPlugin.ml" 142 4628 4674 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 142 4628 4632 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 141 4594 4598 "src/plugins/custom/CustomPlugin.ml" 142 4628 4684
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4692 "src/plugins/custom/CustomPlugin.ml" 144 4686 4701
type(
  ctxt:'e -> t -> 'f -> 'g -> string array -> unit
)
ident(
  def distclean "src/plugins/custom/CustomPlugin.ml" 144 4686 4761 "src/plugins/custom/CustomPlugin.ml" 145 4762 4765
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4703 "src/plugins/custom/CustomPlugin.ml" 144 4686 4707
type(
  'e
)
ident(
  def ctxt "src/plugins/custom/CustomPlugin.ml" 144 4686 4708 "src/plugins/custom/CustomPlugin.ml" 144 4686 4761
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4708 "src/plugins/custom/CustomPlugin.ml" 144 4686 4709
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 144 4686 4710 "src/plugins/custom/CustomPlugin.ml" 144 4686 4761
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4710 "src/plugins/custom/CustomPlugin.ml" 144 4686 4713
type(
  'f
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 144 4686 4714 "src/plugins/custom/CustomPlugin.ml" 144 4686 4761
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4714 "src/plugins/custom/CustomPlugin.ml" 144 4686 4715
type(
  'g
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4716 "src/plugins/custom/CustomPlugin.ml" 144 4686 4726
type(
  string array
)
ident(
  def extra_args "src/plugins/custom/CustomPlugin.ml" 144 4686 4729 "src/plugins/custom/CustomPlugin.ml" 144 4686 4761
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4729 "src/plugins/custom/CustomPlugin.ml" 144 4686 4738
type(
  ctxt:'e -> t -> 'f -> string array -> unit
)
ident(
  int_ref distclean "src/plugins/custom/CustomPlugin.ml" 55 2292 2296 "src/plugins/custom/CustomPlugin.ml" 55 2292 2305
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4740 "src/plugins/custom/CustomPlugin.ml" 144 4686 4744
type(
  'e
)
ident(
  int_ref ctxt "src/plugins/custom/CustomPlugin.ml" 144 4686 4703 "src/plugins/custom/CustomPlugin.ml" 144 4686 4707
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4745 "src/plugins/custom/CustomPlugin.ml" 144 4686 4746
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 144 4686 4708 "src/plugins/custom/CustomPlugin.ml" 144 4686 4709
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4747 "src/plugins/custom/CustomPlugin.ml" 144 4686 4750
type(
  'f
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 144 4686 4710 "src/plugins/custom/CustomPlugin.ml" 144 4686 4713
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4751 "src/plugins/custom/CustomPlugin.ml" 144 4686 4761
type(
  string array
)
ident(
  int_ref extra_args "src/plugins/custom/CustomPlugin.ml" 144 4686 4716 "src/plugins/custom/CustomPlugin.ml" 144 4686 4726
)
"src/plugins/custom/CustomPlugin.ml" 144 4686 4729 "src/plugins/custom/CustomPlugin.ml" 144 4686 4761
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 151 4787 4794 "src/plugins/custom/CustomPlugin.ml" 151 4787 4806
ident(
  def BuildRuntime "src/plugins/custom/CustomPlugin.ml" 151 4787 4814 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 152 4815 4822 "src/plugins/custom/CustomPlugin.ml" 152 4815 4833
ident(
  def TestRuntime "src/plugins/custom/CustomPlugin.ml" 152 4815 4841 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 153 4842 4849 "src/plugins/custom/CustomPlugin.ml" 153 4842 4859
ident(
  def DocRuntime "src/plugins/custom/CustomPlugin.ml" 153 4842 4867 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4963
type(
  string
)
ident(
  def nm "src/plugins/custom/CustomPlugin.ml" 167 5014 5014 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 163 4957 4965 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
type(
  OASISVersion.t option
)
ident(
  def ver "src/plugins/custom/CustomPlugin.ml" 167 5014 5014 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
type(
  string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 164 4971 4973 "src/plugins/custom/CustomPlugin.ml" 164 4971 4981
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 164 4971 4988 "src/plugins/custom/CustomPlugin.ml" 164 4971 5011
type(
  OASISVersion.t
)
ident(
  int_ref OASISConf.version_short "src/oasis/OASISConf.ml" 25 1762 1766 "src/oasis/OASISConf.ml" 25 1762 1779
)
"src/plugins/custom/CustomPlugin.ml" 164 4971 4983 "src/plugins/custom/CustomPlugin.ml" 164 4971 5011
type(
  OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 164 4971 4973 "src/plugins/custom/CustomPlugin.ml" 164 4971 5011
type(
  string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 167 5014 5018 "src/plugins/custom/CustomPlugin.ml" 167 5014 5029
type(
  [> `Configure ] * string * OASISVersion.t option
)
ident(
  def conf_plugin "src/plugins/custom/CustomPlugin.ml" 168 5052 5052 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 167 5014 5032 "src/plugins/custom/CustomPlugin.ml" 167 5014 5042
type(
  [> `Configure ] as 'a
)
"src/plugins/custom/CustomPlugin.ml" 167 5014 5044 "src/plugins/custom/CustomPlugin.ml" 167 5014 5046
type(
  string
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4963
)
"src/plugins/custom/CustomPlugin.ml" 167 5014 5048 "src/plugins/custom/CustomPlugin.ml" 167 5014 5051
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/custom/CustomPlugin.ml" 163 4957 4965 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
)
"src/plugins/custom/CustomPlugin.ml" 167 5014 5032 "src/plugins/custom/CustomPlugin.ml" 167 5014 5051
type(
  'a * string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 168 5052 5056 "src/plugins/custom/CustomPlugin.ml" 168 5052 5065
type(
  t OASISPlugin.prop
)
ident(
  def conf_data "src/plugins/custom/CustomPlugin.ml" 171 5102 5102 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 168 5052 5070 "src/plugins/custom/CustomPlugin.ml" 168 5052 5087
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/custom/CustomPlugin.ml" 168 5052 5088 "src/plugins/custom/CustomPlugin.ml" 168 5052 5099
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref conf_plugin "src/plugins/custom/CustomPlugin.ml" 167 5014 5018 "src/plugins/custom/CustomPlugin.ml" 167 5014 5029
)
"src/plugins/custom/CustomPlugin.ml" 168 5052 5070 "src/plugins/custom/CustomPlugin.ml" 168 5052 5099
type(
  t OASISPlugin.prop
)
"src/plugins/custom/CustomPlugin.ml" 171 5102 5106 "src/plugins/custom/CustomPlugin.ml" 171 5102 5118
type(
  [> `Build ] * string * OASISVersion.t option
)
ident(
  def build_plugin "src/plugins/custom/CustomPlugin.ml" 172 5137 5137 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 171 5102 5121 "src/plugins/custom/CustomPlugin.ml" 171 5102 5127
type(
  [> `Build ] as 'a
)
"src/plugins/custom/CustomPlugin.ml" 171 5102 5129 "src/plugins/custom/CustomPlugin.ml" 171 5102 5131
type(
  string
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4963
)
"src/plugins/custom/CustomPlugin.ml" 171 5102 5133 "src/plugins/custom/CustomPlugin.ml" 171 5102 5136
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/custom/CustomPlugin.ml" 163 4957 4965 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
)
"src/plugins/custom/CustomPlugin.ml" 171 5102 5121 "src/plugins/custom/CustomPlugin.ml" 171 5102 5136
type(
  'a * string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 172 5137 5141 "src/plugins/custom/CustomPlugin.ml" 172 5137 5151
type(
  t OASISPlugin.prop
)
ident(
  def build_data "src/plugins/custom/CustomPlugin.ml" 175 5189 5189 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 172 5137 5156 "src/plugins/custom/CustomPlugin.ml" 172 5137 5173
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/custom/CustomPlugin.ml" 172 5137 5174 "src/plugins/custom/CustomPlugin.ml" 172 5137 5186
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref build_plugin "src/plugins/custom/CustomPlugin.ml" 171 5102 5106 "src/plugins/custom/CustomPlugin.ml" 171 5102 5118
)
"src/plugins/custom/CustomPlugin.ml" 172 5137 5156 "src/plugins/custom/CustomPlugin.ml" 172 5137 5186
type(
  t OASISPlugin.prop
)
"src/plugins/custom/CustomPlugin.ml" 175 5189 5193 "src/plugins/custom/CustomPlugin.ml" 175 5189 5207
type(
  [> `Install ] * string * OASISVersion.t option
)
ident(
  def install_plugin "src/plugins/custom/CustomPlugin.ml" 176 5228 5228 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 175 5189 5210 "src/plugins/custom/CustomPlugin.ml" 175 5189 5218
type(
  [> `Install ] as 'a
)
"src/plugins/custom/CustomPlugin.ml" 175 5189 5220 "src/plugins/custom/CustomPlugin.ml" 175 5189 5222
type(
  string
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4963
)
"src/plugins/custom/CustomPlugin.ml" 175 5189 5224 "src/plugins/custom/CustomPlugin.ml" 175 5189 5227
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/custom/CustomPlugin.ml" 163 4957 4965 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
)
"src/plugins/custom/CustomPlugin.ml" 175 5189 5210 "src/plugins/custom/CustomPlugin.ml" 175 5189 5227
type(
  'a * string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 176 5228 5232 "src/plugins/custom/CustomPlugin.ml" 176 5228 5244
type(
  t OASISPlugin.prop
)
ident(
  def install_data "src/plugins/custom/CustomPlugin.ml" 177 5282 5282 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 176 5228 5249 "src/plugins/custom/CustomPlugin.ml" 176 5228 5266
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/custom/CustomPlugin.ml" 176 5228 5267 "src/plugins/custom/CustomPlugin.ml" 176 5228 5281
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref install_plugin "src/plugins/custom/CustomPlugin.ml" 175 5189 5193 "src/plugins/custom/CustomPlugin.ml" 175 5189 5207
)
"src/plugins/custom/CustomPlugin.ml" 176 5228 5249 "src/plugins/custom/CustomPlugin.ml" 176 5228 5281
type(
  t OASISPlugin.prop
)
"src/plugins/custom/CustomPlugin.ml" 177 5282 5286 "src/plugins/custom/CustomPlugin.ml" 177 5282 5300
type(
  t OASISPlugin.prop
)
ident(
  def uninstall_data "src/plugins/custom/CustomPlugin.ml" 180 5358 5358 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 177 5282 5303 "src/plugins/custom/CustomPlugin.ml" 177 5282 5320
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/custom/CustomPlugin.ml" 177 5282 5330 "src/plugins/custom/CustomPlugin.ml" 177 5282 5340
type(
  OASISTypes.plugin_data_purpose
)
type(
  OASISTypes.plugin_data_purpose option
)
"src/plugins/custom/CustomPlugin.ml" 177 5282 5341 "src/plugins/custom/CustomPlugin.ml" 177 5282 5355
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref install_plugin "src/plugins/custom/CustomPlugin.ml" 175 5189 5193 "src/plugins/custom/CustomPlugin.ml" 175 5189 5207
)
"src/plugins/custom/CustomPlugin.ml" 177 5282 5303 "src/plugins/custom/CustomPlugin.ml" 177 5282 5355
type(
  t OASISPlugin.prop
)
"src/plugins/custom/CustomPlugin.ml" 180 5358 5362 "src/plugins/custom/CustomPlugin.ml" 180 5358 5373
type(
  [> `Test ] * string * OASISVersion.t option
)
ident(
  def test_plugin "src/plugins/custom/CustomPlugin.ml" 181 5391 5391 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 180 5358 5376 "src/plugins/custom/CustomPlugin.ml" 180 5358 5381
type(
  [> `Test ] as 'a
)
"src/plugins/custom/CustomPlugin.ml" 180 5358 5383 "src/plugins/custom/CustomPlugin.ml" 180 5358 5385
type(
  string
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4963
)
"src/plugins/custom/CustomPlugin.ml" 180 5358 5387 "src/plugins/custom/CustomPlugin.ml" 180 5358 5390
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/custom/CustomPlugin.ml" 163 4957 4965 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
)
"src/plugins/custom/CustomPlugin.ml" 180 5358 5376 "src/plugins/custom/CustomPlugin.ml" 180 5358 5390
type(
  'a * string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 181 5391 5395 "src/plugins/custom/CustomPlugin.ml" 181 5391 5404
type(
  t OASISPlugin.prop
)
ident(
  def test_data "src/plugins/custom/CustomPlugin.ml" 184 5441 5441 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 181 5391 5409 "src/plugins/custom/CustomPlugin.ml" 181 5391 5426
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/custom/CustomPlugin.ml" 181 5391 5427 "src/plugins/custom/CustomPlugin.ml" 181 5391 5438
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref test_plugin "src/plugins/custom/CustomPlugin.ml" 180 5358 5362 "src/plugins/custom/CustomPlugin.ml" 180 5358 5373
)
"src/plugins/custom/CustomPlugin.ml" 181 5391 5409 "src/plugins/custom/CustomPlugin.ml" 181 5391 5438
type(
  t OASISPlugin.prop
)
"src/plugins/custom/CustomPlugin.ml" 184 5441 5445 "src/plugins/custom/CustomPlugin.ml" 184 5441 5455
type(
  [> `Doc ] * string * OASISVersion.t option
)
ident(
  def doc_plugin "src/plugins/custom/CustomPlugin.ml" 185 5472 5472 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 184 5441 5458 "src/plugins/custom/CustomPlugin.ml" 184 5441 5462
type(
  [> `Doc ] as 'a
)
"src/plugins/custom/CustomPlugin.ml" 184 5441 5464 "src/plugins/custom/CustomPlugin.ml" 184 5441 5466
type(
  string
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 163 4957 4961 "src/plugins/custom/CustomPlugin.ml" 163 4957 4963
)
"src/plugins/custom/CustomPlugin.ml" 184 5441 5468 "src/plugins/custom/CustomPlugin.ml" 184 5441 5471
type(
  OASISVersion.t option
)
ident(
  int_ref ver "src/plugins/custom/CustomPlugin.ml" 163 4957 4965 "src/plugins/custom/CustomPlugin.ml" 163 4957 4968
)
"src/plugins/custom/CustomPlugin.ml" 184 5441 5458 "src/plugins/custom/CustomPlugin.ml" 184 5441 5471
type(
  'a * string * OASISVersion.t option
)
"src/plugins/custom/CustomPlugin.ml" 185 5472 5476 "src/plugins/custom/CustomPlugin.ml" 185 5472 5484
type(
  t OASISPlugin.prop
)
ident(
  def doc_data "src/plugins/custom/CustomPlugin.ml" 190 5545 5545 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 185 5472 5487 "src/plugins/custom/CustomPlugin.ml" 185 5472 5504
type(
  ?purpose:OASISTypes.plugin_data_purpose ->
  OASISTypes.plugin_kind OASISTypes.plugin -> t OASISPlugin.prop
)
ident(
  int_ref OASISPlugin.data_new_property "src/oasis/OASISPlugin.mli" 330 9217 9217 "src/oasis/OASISPlugin.mli" 331 9240 9303
)
"src/plugins/custom/CustomPlugin.ml" 185 5472 5505 "src/plugins/custom/CustomPlugin.ml" 185 5472 5515
type(
  OASISTypes.plugin_kind OASISTypes.plugin
)
ident(
  int_ref doc_plugin "src/plugins/custom/CustomPlugin.ml" 184 5441 5445 "src/plugins/custom/CustomPlugin.ml" 184 5441 5455
)
"src/plugins/custom/CustomPlugin.ml" 185 5472 5487 "src/plugins/custom/CustomPlugin.ml" 185 5472 5515
type(
  t OASISPlugin.prop
)
"src/plugins/custom/CustomPlugin.ml" 190 5545 5549 "src/plugins/custom/CustomPlugin.ml" 190 5545 5559
type(
  schema:'a OASISSchema.t ->
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
ident(
  def add_fields "src/plugins/custom/CustomPlugin.ml" 239 6586 6586 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 191 5560 5565 "src/plugins/custom/CustomPlugin.ml" 191 5560 5571
type(
  'a OASISSchema.t
)
ident(
  def schema "src/plugins/custom/CustomPlugin.ml" 192 5572 5576 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 192 5572 5576 "src/plugins/custom/CustomPlugin.ml" 192 5572 5578
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 193 5579 5583 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 193 5579 5583 "src/plugins/custom/CustomPlugin.ml" 193 5579 5587
type(
  t OASISPlugin.prop
)
ident(
  def data "src/plugins/custom/CustomPlugin.ml" 194 5588 5592 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 194 5588 5592 "src/plugins/custom/CustomPlugin.ml" 194 5588 5594
type(
  OASISTypes.name
)
ident(
  def nm "src/plugins/custom/CustomPlugin.ml" 195 5595 5599 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 195 5595 5599 "src/plugins/custom/CustomPlugin.ml" 195 5595 5602
type(
  string
)
ident(
  def hlp "src/plugins/custom/CustomPlugin.ml" 196 5603 5607 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 196 5603 5607 "src/plugins/custom/CustomPlugin.ml" 196 5603 5616
type(
  string
)
ident(
  def hlp_clean "src/plugins/custom/CustomPlugin.ml" 197 5617 5621 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 197 5617 5621 "src/plugins/custom/CustomPlugin.ml" 197 5617 5634
type(
  string
)
ident(
  def hlp_distclean "src/plugins/custom/CustomPlugin.ml" 198 5637 5639 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 198 5637 5643 "src/plugins/custom/CustomPlugin.ml" 198 5637 5651
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
ident(
  def cmd_main "src/plugins/custom/CustomPlugin.ml" 208 5850 5852 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 199 5654 5658 "src/plugins/custom/CustomPlugin.ml" 199 5654 5679
type(
  'a OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default_cond:OASISTypes.command_line OASISExpr.choices ->
  ?default:OASISTypes.command_line ->
  ?feature:OASISFeatures.t ->
  OASISTypes.command_line OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  ('a -> t -> OASISTypes.command_line OASISExpr.choices) ->
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
ident(
  int_ref OASISSchema.new_field_conditional "src/oasis/OASISSchema.mli" 65 3077 3077 "src/oasis/OASISSchema.mli" 76 3366 3388
)
"src/plugins/custom/CustomPlugin.ml" 200 5680 5686 "src/plugins/custom/CustomPlugin.ml" 200 5680 5692
type(
  'a OASISSchema.t
)
ident(
  int_ref schema "src/plugins/custom/CustomPlugin.ml" 191 5560 5565 "src/plugins/custom/CustomPlugin.ml" 191 5560 5571
)
"src/plugins/custom/CustomPlugin.ml" 201 5693 5699 "src/plugins/custom/CustomPlugin.ml" 201 5693 5701
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 192 5572 5576 "src/plugins/custom/CustomPlugin.ml" 192 5572 5578
)
"src/plugins/custom/CustomPlugin.ml" 202 5702 5708 "src/plugins/custom/CustomPlugin.ml" 202 5702 5710
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 194 5588 5592 "src/plugins/custom/CustomPlugin.ml" 194 5588 5594
)
"src/plugins/custom/CustomPlugin.ml" 203 5711 5717 "src/plugins/custom/CustomPlugin.ml" 203 5711 5729
type(
  OASISTypes.command_line OASISValues.t
)
ident(
  int_ref OASISValues.command_line "src/oasis/OASISValues.mli" 183 5012 5012 "src/oasis/OASISValues.mli" 183 5012 5054
)
"src/plugins/custom/CustomPlugin.ml" 205 5785 5796 "src/plugins/custom/CustomPlugin.ml" 205 5785 5798
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 205 5785 5802 "src/plugins/custom/CustomPlugin.ml" 205 5785 5804
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/custom/CustomPlugin.ml" 205 5785 5805 "src/plugins/custom/CustomPlugin.ml" 205 5785 5808
type(
  string
)
ident(
  int_ref hlp "src/plugins/custom/CustomPlugin.ml" 195 5595 5599 "src/plugins/custom/CustomPlugin.ml" 195 5595 5602
)
"src/plugins/custom/CustomPlugin.ml" 205 5785 5802 "src/plugins/custom/CustomPlugin.ml" 205 5785 5808
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 205 5785 5791 "src/plugins/custom/CustomPlugin.ml" 205 5785 5809
type(
  unit -> string
)
"src/plugins/custom/CustomPlugin.ml" 206 5810 5816 "src/plugins/custom/CustomPlugin.ml" 206 5810 5820
type(
  t OASISPlugin.prop
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 193 5579 5583 "src/plugins/custom/CustomPlugin.ml" 193 5579 5587
)
"src/plugins/custom/CustomPlugin.ml" 206 5810 5826 "src/plugins/custom/CustomPlugin.ml" 206 5810 5827
type(
  'a
)
"src/plugins/custom/CustomPlugin.ml" 206 5810 5828 "src/plugins/custom/CustomPlugin.ml" 206 5810 5829
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 206 5810 5833 "src/plugins/custom/CustomPlugin.ml" 206 5810 5843
)
"src/plugins/custom/CustomPlugin.ml" 206 5810 5833 "src/plugins/custom/CustomPlugin.ml" 206 5810 5834
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 206 5810 5828 "src/plugins/custom/CustomPlugin.ml" 206 5810 5829
)
"src/plugins/custom/CustomPlugin.ml" 206 5810 5833 "src/plugins/custom/CustomPlugin.ml" 206 5810 5843
type(
  OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 206 5810 5821 "src/plugins/custom/CustomPlugin.ml" 206 5810 5844
type(
  'a -> t -> OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 199 5654 5658 "src/plugins/custom/CustomPlugin.ml" 206 5810 5844
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 208 5850 5856 "src/plugins/custom/CustomPlugin.ml" 208 5850 5865
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  def cmd_clean "src/plugins/custom/CustomPlugin.ml" 219 6107 6109 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 209 5868 5872 "src/plugins/custom/CustomPlugin.ml" 209 5868 5893
type(
  'a OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default_cond:OASISTypes.command_line option OASISExpr.choices ->
  ?default:OASISTypes.command_line option ->
  ?feature:OASISFeatures.t ->
  OASISTypes.command_line option OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  ('a -> t -> OASISTypes.command_line option OASISExpr.choices) ->
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref OASISSchema.new_field_conditional "src/oasis/OASISSchema.mli" 65 3077 3077 "src/oasis/OASISSchema.mli" 76 3366 3388
)
"src/plugins/custom/CustomPlugin.ml" 210 5894 5900 "src/plugins/custom/CustomPlugin.ml" 210 5894 5906
type(
  'a OASISSchema.t
)
ident(
  int_ref schema "src/plugins/custom/CustomPlugin.ml" 191 5560 5565 "src/plugins/custom/CustomPlugin.ml" 191 5560 5571
)
"src/plugins/custom/CustomPlugin.ml" 211 5907 5913 "src/plugins/custom/CustomPlugin.ml" 211 5907 5915
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 192 5572 5576 "src/plugins/custom/CustomPlugin.ml" 192 5572 5578
)
"src/plugins/custom/CustomPlugin.ml" 212 5916 5923 "src/plugins/custom/CustomPlugin.ml" 212 5916 5925
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 194 5588 5592 "src/plugins/custom/CustomPlugin.ml" 194 5588 5594
)
"src/plugins/custom/CustomPlugin.ml" 212 5916 5925 "src/plugins/custom/CustomPlugin.ml" 212 5916 5926
type(
  OASISTypes.name -> string -> OASISTypes.name
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/custom/CustomPlugin.ml" 212 5916 5926 "src/plugins/custom/CustomPlugin.ml" 212 5916 5933
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 212 5916 5922 "src/plugins/custom/CustomPlugin.ml" 212 5916 5934
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 213 5935 5950 "src/plugins/custom/CustomPlugin.ml" 213 5935 5954
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option option
)
"src/plugins/custom/CustomPlugin.ml" 214 5955 5962 "src/plugins/custom/CustomPlugin.ml" 214 5955 5965
type(
  OASISTypes.command_line OASISValues.t ->
  OASISTypes.command_line option OASISValues.t
)
ident(
  int_ref OASISValues.opt "src/oasis/OASISValues.mli" 124 3996 3996 "src/oasis/OASISValues.mli" 124 3996 4024
)
"src/plugins/custom/CustomPlugin.ml" 214 5955 5966 "src/plugins/custom/CustomPlugin.ml" 214 5955 5978
type(
  OASISTypes.command_line OASISValues.t
)
ident(
  int_ref OASISValues.command_line "src/oasis/OASISValues.mli" 183 5012 5012 "src/oasis/OASISValues.mli" 183 5012 5054
)
"src/plugins/custom/CustomPlugin.ml" 214 5955 5961 "src/plugins/custom/CustomPlugin.ml" 214 5955 5979
type(
  OASISTypes.command_line option OASISValues.t
)
"src/plugins/custom/CustomPlugin.ml" 216 6035 6046 "src/plugins/custom/CustomPlugin.ml" 216 6035 6048
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 216 6035 6052 "src/plugins/custom/CustomPlugin.ml" 216 6035 6054
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/custom/CustomPlugin.ml" 216 6035 6055 "src/plugins/custom/CustomPlugin.ml" 216 6035 6064
type(
  string
)
ident(
  int_ref hlp_clean "src/plugins/custom/CustomPlugin.ml" 196 5603 5607 "src/plugins/custom/CustomPlugin.ml" 196 5603 5616
)
"src/plugins/custom/CustomPlugin.ml" 216 6035 6052 "src/plugins/custom/CustomPlugin.ml" 216 6035 6064
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 216 6035 6041 "src/plugins/custom/CustomPlugin.ml" 216 6035 6065
type(
  unit -> string
)
"src/plugins/custom/CustomPlugin.ml" 217 6066 6072 "src/plugins/custom/CustomPlugin.ml" 217 6066 6076
type(
  t OASISPlugin.prop
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 193 5579 5583 "src/plugins/custom/CustomPlugin.ml" 193 5579 5587
)
"src/plugins/custom/CustomPlugin.ml" 217 6066 6082 "src/plugins/custom/CustomPlugin.ml" 217 6066 6083
type(
  'a
)
"src/plugins/custom/CustomPlugin.ml" 217 6066 6084 "src/plugins/custom/CustomPlugin.ml" 217 6066 6085
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 217 6066 6089 "src/plugins/custom/CustomPlugin.ml" 217 6066 6100
)
"src/plugins/custom/CustomPlugin.ml" 217 6066 6089 "src/plugins/custom/CustomPlugin.ml" 217 6066 6090
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 217 6066 6084 "src/plugins/custom/CustomPlugin.ml" 217 6066 6085
)
"src/plugins/custom/CustomPlugin.ml" 217 6066 6089 "src/plugins/custom/CustomPlugin.ml" 217 6066 6100
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 217 6066 6077 "src/plugins/custom/CustomPlugin.ml" 217 6066 6101
type(
  'a -> t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 209 5868 5872 "src/plugins/custom/CustomPlugin.ml" 217 6066 6101
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 219 6107 6113 "src/plugins/custom/CustomPlugin.ml" 219 6107 6126
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  def cmd_distclean "src/plugins/custom/CustomPlugin.ml" 230 6380 6382 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 220 6129 6133 "src/plugins/custom/CustomPlugin.ml" 220 6129 6154
type(
  'a OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default_cond:OASISTypes.command_line option OASISExpr.choices ->
  ?default:OASISTypes.command_line option ->
  ?feature:OASISFeatures.t ->
  OASISTypes.command_line option OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  ('a -> t -> OASISTypes.command_line option OASISExpr.choices) ->
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref OASISSchema.new_field_conditional "src/oasis/OASISSchema.mli" 65 3077 3077 "src/oasis/OASISSchema.mli" 76 3366 3388
)
"src/plugins/custom/CustomPlugin.ml" 221 6155 6161 "src/plugins/custom/CustomPlugin.ml" 221 6155 6167
type(
  'a OASISSchema.t
)
ident(
  int_ref schema "src/plugins/custom/CustomPlugin.ml" 191 5560 5565 "src/plugins/custom/CustomPlugin.ml" 191 5560 5571
)
"src/plugins/custom/CustomPlugin.ml" 222 6168 6174 "src/plugins/custom/CustomPlugin.ml" 222 6168 6176
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 192 5572 5576 "src/plugins/custom/CustomPlugin.ml" 192 5572 5578
)
"src/plugins/custom/CustomPlugin.ml" 223 6177 6184 "src/plugins/custom/CustomPlugin.ml" 223 6177 6186
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 194 5588 5592 "src/plugins/custom/CustomPlugin.ml" 194 5588 5594
)
"src/plugins/custom/CustomPlugin.ml" 223 6177 6186 "src/plugins/custom/CustomPlugin.ml" 223 6177 6187
type(
  OASISTypes.name -> string -> OASISTypes.name
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/plugins/custom/CustomPlugin.ml" 223 6177 6187 "src/plugins/custom/CustomPlugin.ml" 223 6177 6198
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 223 6177 6183 "src/plugins/custom/CustomPlugin.ml" 223 6177 6199
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 224 6200 6215 "src/plugins/custom/CustomPlugin.ml" 224 6200 6219
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option option
)
"src/plugins/custom/CustomPlugin.ml" 225 6220 6227 "src/plugins/custom/CustomPlugin.ml" 225 6220 6230
type(
  OASISTypes.command_line OASISValues.t ->
  OASISTypes.command_line option OASISValues.t
)
ident(
  int_ref OASISValues.opt "src/oasis/OASISValues.mli" 124 3996 3996 "src/oasis/OASISValues.mli" 124 3996 4024
)
"src/plugins/custom/CustomPlugin.ml" 225 6220 6231 "src/plugins/custom/CustomPlugin.ml" 225 6220 6243
type(
  OASISTypes.command_line OASISValues.t
)
ident(
  int_ref OASISValues.command_line "src/oasis/OASISValues.mli" 183 5012 5012 "src/oasis/OASISValues.mli" 183 5012 5054
)
"src/plugins/custom/CustomPlugin.ml" 225 6220 6226 "src/plugins/custom/CustomPlugin.ml" 225 6220 6244
type(
  OASISTypes.command_line option OASISValues.t
)
"src/plugins/custom/CustomPlugin.ml" 227 6300 6311 "src/plugins/custom/CustomPlugin.ml" 227 6300 6313
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 227 6300 6317 "src/plugins/custom/CustomPlugin.ml" 227 6300 6319
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/custom/CustomPlugin.ml" 227 6300 6320 "src/plugins/custom/CustomPlugin.ml" 227 6300 6333
type(
  string
)
ident(
  int_ref hlp_distclean "src/plugins/custom/CustomPlugin.ml" 197 5617 5621 "src/plugins/custom/CustomPlugin.ml" 197 5617 5634
)
"src/plugins/custom/CustomPlugin.ml" 227 6300 6317 "src/plugins/custom/CustomPlugin.ml" 227 6300 6333
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 227 6300 6306 "src/plugins/custom/CustomPlugin.ml" 227 6300 6334
type(
  unit -> string
)
"src/plugins/custom/CustomPlugin.ml" 228 6335 6341 "src/plugins/custom/CustomPlugin.ml" 228 6335 6345
type(
  t OASISPlugin.prop
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 193 5579 5583 "src/plugins/custom/CustomPlugin.ml" 193 5579 5587
)
"src/plugins/custom/CustomPlugin.ml" 228 6335 6351 "src/plugins/custom/CustomPlugin.ml" 228 6335 6352
type(
  'a
)
"src/plugins/custom/CustomPlugin.ml" 228 6335 6353 "src/plugins/custom/CustomPlugin.ml" 228 6335 6354
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 228 6335 6358 "src/plugins/custom/CustomPlugin.ml" 228 6335 6373
)
"src/plugins/custom/CustomPlugin.ml" 228 6335 6358 "src/plugins/custom/CustomPlugin.ml" 228 6335 6359
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 228 6335 6353 "src/plugins/custom/CustomPlugin.ml" 228 6335 6354
)
"src/plugins/custom/CustomPlugin.ml" 228 6335 6358 "src/plugins/custom/CustomPlugin.ml" 228 6335 6373
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 228 6335 6346 "src/plugins/custom/CustomPlugin.ml" 228 6335 6374
type(
  'a -> t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 220 6129 6133 "src/plugins/custom/CustomPlugin.ml" 228 6335 6374
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 230 6380 6386 "src/plugins/custom/CustomPlugin.ml" 230 6380 6395
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/custom/CustomPlugin.ml" 237 6537 6539 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
)
"src/plugins/custom/CustomPlugin.ml" 230 6380 6396 "src/plugins/custom/CustomPlugin.ml" 230 6380 6400
type(
  PropList.Data.t
)
ident(
  def data "src/plugins/custom/CustomPlugin.ml" 231 6403 6407 "src/plugins/custom/CustomPlugin.ml" 235 6526 6531
)
"src/plugins/custom/CustomPlugin.ml" 232 6409 6431 "src/plugins/custom/CustomPlugin.ml" 232 6409 6439
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
ident(
  int_ref cmd_main "src/plugins/custom/CustomPlugin.ml" 198 5637 5643 "src/plugins/custom/CustomPlugin.ml" 198 5637 5651
)
"src/plugins/custom/CustomPlugin.ml" 232 6409 6440 "src/plugins/custom/CustomPlugin.ml" 232 6409 6444
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 230 6380 6396 "src/plugins/custom/CustomPlugin.ml" 230 6380 6400
)
"src/plugins/custom/CustomPlugin.ml" 232 6409 6431 "src/plugins/custom/CustomPlugin.ml" 232 6409 6444
type(
  OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 233 6446 6468 "src/plugins/custom/CustomPlugin.ml" 233 6446 6477
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref cmd_clean "src/plugins/custom/CustomPlugin.ml" 208 5850 5856 "src/plugins/custom/CustomPlugin.ml" 208 5850 5865
)
"src/plugins/custom/CustomPlugin.ml" 233 6446 6478 "src/plugins/custom/CustomPlugin.ml" 233 6446 6482
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 230 6380 6396 "src/plugins/custom/CustomPlugin.ml" 230 6380 6400
)
"src/plugins/custom/CustomPlugin.ml" 233 6446 6468 "src/plugins/custom/CustomPlugin.ml" 233 6446 6482
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 234 6484 6506 "src/plugins/custom/CustomPlugin.ml" 234 6484 6519
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref cmd_distclean "src/plugins/custom/CustomPlugin.ml" 219 6107 6113 "src/plugins/custom/CustomPlugin.ml" 219 6107 6126
)
"src/plugins/custom/CustomPlugin.ml" 234 6484 6520 "src/plugins/custom/CustomPlugin.ml" 234 6484 6524
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 230 6380 6396 "src/plugins/custom/CustomPlugin.ml" 230 6380 6400
)
"src/plugins/custom/CustomPlugin.ml" 234 6484 6506 "src/plugins/custom/CustomPlugin.ml" 234 6484 6524
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 231 6403 6407 "src/plugins/custom/CustomPlugin.ml" 235 6526 6531
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 237 6537 6539 "src/plugins/custom/CustomPlugin.ml" 237 6537 6547
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
ident(
  int_ref cmd_main "src/plugins/custom/CustomPlugin.ml" 198 5637 5643 "src/plugins/custom/CustomPlugin.ml" 198 5637 5651
)
"src/plugins/custom/CustomPlugin.ml" 237 6537 6549 "src/plugins/custom/CustomPlugin.ml" 237 6537 6558
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref cmd_clean "src/plugins/custom/CustomPlugin.ml" 208 5850 5856 "src/plugins/custom/CustomPlugin.ml" 208 5850 5865
)
"src/plugins/custom/CustomPlugin.ml" 237 6537 6560 "src/plugins/custom/CustomPlugin.ml" 237 6537 6573
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref cmd_distclean "src/plugins/custom/CustomPlugin.ml" 219 6107 6113 "src/plugins/custom/CustomPlugin.ml" 219 6107 6126
)
"src/plugins/custom/CustomPlugin.ml" 237 6537 6575 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 230 6380 6386 "src/plugins/custom/CustomPlugin.ml" 230 6380 6395
)
"src/plugins/custom/CustomPlugin.ml" 237 6537 6539 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 230 6380 6382 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 219 6107 6109 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 208 5850 5852 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 198 5637 5639 "src/plugins/custom/CustomPlugin.ml" 237 6537 6584
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
type(
  t -> OASISDataNotation.t
)
ident(
  def odn_of_t "src/plugins/custom/CustomPlugin.ml" 250 6960 6960 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 239 6586 6599 "src/plugins/custom/CustomPlugin.ml" 239 6586 6600
type(
  t
)
ident(
  def v "src/plugins/custom/CustomPlugin.ml" 240 6603 6605 "src/plugins/custom/CustomPlugin.ml" 247 6848 6925
)
"src/plugins/custom/CustomPlugin.ml" 241 6635 6642 "src/plugins/custom/CustomPlugin.ml" 241 6635 6656
type(
  OASISDataNotation.module_name
)
"src/plugins/custom/CustomPlugin.ml" 242 6658 6663 "src/plugins/custom/CustomPlugin.ml" 242 6658 6673
type(
  OASISDataNotation.field_name
)
"src/plugins/custom/CustomPlugin.ml" 243 6675 6682 "src/plugins/custom/CustomPlugin.ml" 243 6675 6700
type(
  (OASISTypes.command_line -> OASISDataNotation.t) ->
  OASISTypes.command_line OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref OASISTypes.odn_of_conditional "src/oasis/OASISTypes.mli" 501 16137 16137 "src/oasis/OASISTypes.mli" 501 16137 16236
)
"src/plugins/custom/CustomPlugin.ml" 243 6675 6701 "src/plugins/custom/CustomPlugin.ml" 243 6675 6720
type(
  OASISTypes.command_line -> OASISDataNotation.t
)
ident(
  int_ref OASISTypes.odn_of_command_line "src/oasis/OASISTypes.mli" 500 16076 16076 "src/oasis/OASISTypes.mli" 500 16076 16136
)
"src/plugins/custom/CustomPlugin.ml" 243 6675 6721 "src/plugins/custom/CustomPlugin.ml" 243 6675 6722
type(
  t
)
ident(
  int_ref v "src/plugins/custom/CustomPlugin.ml" 239 6586 6599 "src/plugins/custom/CustomPlugin.ml" 239 6586 6600
)
"src/plugins/custom/CustomPlugin.ml" 243 6675 6721 "src/plugins/custom/CustomPlugin.ml" 243 6675 6731
type(
  OASISTypes.command_line OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 243 6675 6681 "src/plugins/custom/CustomPlugin.ml" 243 6675 6732
type(
  OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 242 6658 6662 "src/plugins/custom/CustomPlugin.ml" 243 6675 6733
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 244 6735 6740 "src/plugins/custom/CustomPlugin.ml" 244 6735 6751
type(
  OASISDataNotation.field_name
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6760 "src/plugins/custom/CustomPlugin.ml" 245 6753 6778
type(
  (OASISTypes.command_line option -> OASISDataNotation.t) ->
  OASISTypes.command_line option OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref OASISTypes.odn_of_conditional "src/oasis/OASISTypes.mli" 501 16137 16137 "src/oasis/OASISTypes.mli" 501 16137 16236
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6780 "src/plugins/custom/CustomPlugin.ml" 245 6753 6789
type(
  (OASISTypes.command_line -> OASISDataNotation.t) ->
  OASISTypes.command_line option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6790 "src/plugins/custom/CustomPlugin.ml" 245 6753 6809
type(
  OASISTypes.command_line -> OASISDataNotation.t
)
ident(
  int_ref OASISTypes.odn_of_command_line "src/oasis/OASISTypes.mli" 500 16076 16076 "src/oasis/OASISTypes.mli" 500 16076 16136
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6779 "src/plugins/custom/CustomPlugin.ml" 245 6753 6810
type(
  OASISTypes.command_line option -> OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6811 "src/plugins/custom/CustomPlugin.ml" 245 6753 6812
type(
  t
)
ident(
  int_ref v "src/plugins/custom/CustomPlugin.ml" 239 6586 6599 "src/plugins/custom/CustomPlugin.ml" 239 6586 6600
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6811 "src/plugins/custom/CustomPlugin.ml" 245 6753 6822
type(
  OASISTypes.command_line option OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 245 6753 6759 "src/plugins/custom/CustomPlugin.ml" 245 6753 6823
type(
  OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 244 6735 6739 "src/plugins/custom/CustomPlugin.ml" 245 6753 6824
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 246 6826 6831 "src/plugins/custom/CustomPlugin.ml" 246 6826 6846
type(
  OASISDataNotation.field_name
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6855 "src/plugins/custom/CustomPlugin.ml" 247 6848 6873
type(
  (OASISTypes.command_line option -> OASISDataNotation.t) ->
  OASISTypes.command_line option OASISExpr.choices -> OASISDataNotation.t
)
ident(
  int_ref OASISTypes.odn_of_conditional "src/oasis/OASISTypes.mli" 501 16137 16137 "src/oasis/OASISTypes.mli" 501 16137 16236
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6875 "src/plugins/custom/CustomPlugin.ml" 247 6848 6884
type(
  (OASISTypes.command_line -> OASISDataNotation.t) ->
  OASISTypes.command_line option -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_option "src/oasis/OASISDataNotation.ml" 67 2531 2535 "src/oasis/OASISDataNotation.ml" 67 2531 2544
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6885 "src/plugins/custom/CustomPlugin.ml" 247 6848 6904
type(
  OASISTypes.command_line -> OASISDataNotation.t
)
ident(
  int_ref OASISTypes.odn_of_command_line "src/oasis/OASISTypes.mli" 500 16076 16076 "src/oasis/OASISTypes.mli" 500 16076 16136
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6874 "src/plugins/custom/CustomPlugin.ml" 247 6848 6905
type(
  OASISTypes.command_line option -> OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6906 "src/plugins/custom/CustomPlugin.ml" 247 6848 6907
type(
  t
)
ident(
  int_ref v "src/plugins/custom/CustomPlugin.ml" 239 6586 6599 "src/plugins/custom/CustomPlugin.ml" 239 6586 6600
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6906 "src/plugins/custom/CustomPlugin.ml" 247 6848 6921
type(
  OASISTypes.command_line option OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 247 6848 6854 "src/plugins/custom/CustomPlugin.ml" 247 6848 6922
type(
  OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 246 6826 6830 "src/plugins/custom/CustomPlugin.ml" 247 6848 6923
type(
  OASISDataNotation.field_name * OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 242 6658 6660 "src/plugins/custom/CustomPlugin.ml" 247 6848 6924
type(
  (OASISDataNotation.field_name * OASISDataNotation.t) list
)
"src/plugins/custom/CustomPlugin.ml" 241 6635 6637 "src/plugins/custom/CustomPlugin.ml" 247 6848 6925
type(
  OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 240 6603 6605 "src/plugins/custom/CustomPlugin.ml" 247 6848 6925
type(
  OASISDataNotation.t
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6964 "src/plugins/custom/CustomPlugin.ml" 250 6960 6967
type(
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> t) *
  ('a ->
   OASISTypes.package ->
   'a *
   (ctxt:'b -> 'c -> string array -> unit,
    ctxt:'d -> 'e -> string array -> unit)
   OASISPlugin.setup_changes)
)
ident(
  def std "src/plugins/custom/CustomPlugin.ml" 283 7762 7762 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6968 "src/plugins/custom/CustomPlugin.ml" 250 6960 6970
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 250 6960 6971 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6971 "src/plugins/custom/CustomPlugin.ml" 250 6960 6975
type(
  t OASISPlugin.prop
)
ident(
  def data "src/plugins/custom/CustomPlugin.ml" 250 6960 6976 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6976 "src/plugins/custom/CustomPlugin.ml" 250 6960 6978
type(
  OASISTypes.name
)
ident(
  def nm "src/plugins/custom/CustomPlugin.ml" 250 6960 6979 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6979 "src/plugins/custom/CustomPlugin.ml" 250 6960 6982
type(
  string
)
ident(
  def hlp "src/plugins/custom/CustomPlugin.ml" 250 6960 6983 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6983 "src/plugins/custom/CustomPlugin.ml" 250 6960 6992
type(
  string
)
ident(
  def hlp_clean "src/plugins/custom/CustomPlugin.ml" 250 6960 6993 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 250 6960 6993 "src/plugins/custom/CustomPlugin.ml" 250 6960 7006
type(
  string
)
ident(
  def hlp_distclean "src/plugins/custom/CustomPlugin.ml" 251 7009 7011 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 251 7009 7015 "src/plugins/custom/CustomPlugin.ml" 251 7009 7016
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 251 7009 7018 "src/plugins/custom/CustomPlugin.ml" 251 7009 7019
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 251 7009 7021 "src/plugins/custom/CustomPlugin.ml" 251 7009 7022
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 251 7009 7024 "src/plugins/custom/CustomPlugin.ml" 251 7009 7033
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/custom/CustomPlugin.ml" 255 7129 7131 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 251 7009 7015 "src/plugins/custom/CustomPlugin.ml" 251 7009 7033
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 252 7036 7040 "src/plugins/custom/CustomPlugin.ml" 252 7036 7050
type(
  schema:OASISTypes.package OASISSchema.t ->
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
ident(
  int_ref add_fields "src/plugins/custom/CustomPlugin.ml" 190 5545 5549 "src/plugins/custom/CustomPlugin.ml" 190 5545 5559
)
"src/plugins/custom/CustomPlugin.ml" 252 7036 7059 "src/plugins/custom/CustomPlugin.ml" 252 7036 7078
type(
  OASISTypes.package OASISSchema.t
)
ident(
  int_ref OASISPackage.schema "src/oasis/OASISPackage.mli" 31 1806 1806 "src/oasis/OASISPackage.mli" 31 1806 1850
)
"src/plugins/custom/CustomPlugin.ml" 253 7079 7085 "src/plugins/custom/CustomPlugin.ml" 253 7079 7087
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 250 6960 6968 "src/plugins/custom/CustomPlugin.ml" 250 6960 6970
)
"src/plugins/custom/CustomPlugin.ml" 253 7079 7088 "src/plugins/custom/CustomPlugin.ml" 253 7079 7092
type(
  t OASISPlugin.prop
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 250 6960 6971 "src/plugins/custom/CustomPlugin.ml" 250 6960 6975
)
"src/plugins/custom/CustomPlugin.ml" 253 7079 7093 "src/plugins/custom/CustomPlugin.ml" 253 7079 7095
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/plugins/custom/CustomPlugin.ml" 250 6960 6976 "src/plugins/custom/CustomPlugin.ml" 250 6960 6978
)
"src/plugins/custom/CustomPlugin.ml" 253 7079 7096 "src/plugins/custom/CustomPlugin.ml" 253 7079 7099
type(
  string
)
ident(
  int_ref hlp "src/plugins/custom/CustomPlugin.ml" 250 6960 6979 "src/plugins/custom/CustomPlugin.ml" 250 6960 6982
)
"src/plugins/custom/CustomPlugin.ml" 253 7079 7100 "src/plugins/custom/CustomPlugin.ml" 253 7079 7109
type(
  string
)
ident(
  int_ref hlp_clean "src/plugins/custom/CustomPlugin.ml" 250 6960 6983 "src/plugins/custom/CustomPlugin.ml" 250 6960 6992
)
"src/plugins/custom/CustomPlugin.ml" 253 7079 7110 "src/plugins/custom/CustomPlugin.ml" 253 7079 7123
type(
  string
)
ident(
  int_ref hlp_distclean "src/plugins/custom/CustomPlugin.ml" 250 6960 6993 "src/plugins/custom/CustomPlugin.ml" 250 6960 7006
)
"src/plugins/custom/CustomPlugin.ml" 252 7036 7040 "src/plugins/custom/CustomPlugin.ml" 253 7079 7123
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 255 7129 7131 "src/plugins/custom/CustomPlugin.ml" 255 7129 7140
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 251 7009 7024 "src/plugins/custom/CustomPlugin.ml" 251 7009 7033
)
"src/plugins/custom/CustomPlugin.ml" 256 7142 7148 "src/plugins/custom/CustomPlugin.ml" 256 7142 7159
type(
  'a
)
ident(
  def plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 256 7142 7160 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 256 7142 7160 "src/plugins/custom/CustomPlugin.ml" 256 7142 7163
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 257 7167 7171 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 257 7167 7175 "src/plugins/custom/CustomPlugin.ml" 257 7167 7176
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 258 7208 7212 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
)
"src/plugins/custom/CustomPlugin.ml" 257 7167 7179 "src/plugins/custom/CustomPlugin.ml" 257 7167 7188
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 251 7009 7024 "src/plugins/custom/CustomPlugin.ml" 251 7009 7033
)
"src/plugins/custom/CustomPlugin.ml" 257 7167 7189 "src/plugins/custom/CustomPlugin.ml" 257 7167 7192
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 256 7142 7160 "src/plugins/custom/CustomPlugin.ml" 256 7142 7163
)
"src/plugins/custom/CustomPlugin.ml" 257 7167 7189 "src/plugins/custom/CustomPlugin.ml" 257 7167 7204
type(
  PropList.Data.t
)
"src/plugins/custom/CustomPlugin.ml" 257 7167 7179 "src/plugins/custom/CustomPlugin.ml" 257 7167 7204
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 258 7208 7212 "src/plugins/custom/CustomPlugin.ml" 258 7208 7223
type(
  'a
)
ident(
  int_ref plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 256 7142 7148 "src/plugins/custom/CustomPlugin.ml" 256 7142 7159
)
"src/plugins/custom/CustomPlugin.ml" 261 7263 7272 "src/plugins/custom/CustomPlugin.ml" 261 7263 7295
type(
  OASISPlugin.modul
)
ident(
  int_ref CustomData.customsys_ml "src/plugins/custom/CustomData.ml" 2 46 50 "src/plugins/custom/CustomData.ml" 2 46 62
)
"src/plugins/custom/CustomPlugin.ml" 261 7263 7271 "src/plugins/custom/CustomPlugin.ml" 261 7263 7296
type(
  OASISPlugin.modul list
)
"src/plugins/custom/CustomPlugin.ml" 264 7317 7325 "src/plugins/custom/CustomPlugin.ml" 264 7317 7361
type(
  (ctxt:'b -> t -> 'c -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:'b -> 'c -> string array -> unit) OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 265 7362 7372 "src/plugins/custom/CustomPlugin.ml" 265 7362 7376
type(
  ctxt:'b -> t -> 'c -> string array -> unit
)
ident(
  int_ref main "src/plugins/custom/CustomPlugin.ml" 44 2028 2032 "src/plugins/custom/CustomPlugin.ml" 44 2028 2036
)
"src/plugins/custom/CustomPlugin.ml" 265 7362 7377 "src/plugins/custom/CustomPlugin.ml" 265 7362 7398
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 266 7399 7409 "src/plugins/custom/CustomPlugin.ml" 266 7399 7410
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 257 7167 7175 "src/plugins/custom/CustomPlugin.ml" 257 7167 7176
)
"src/plugins/custom/CustomPlugin.ml" 266 7399 7411 "src/plugins/custom/CustomPlugin.ml" 266 7399 7419
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 264 7317 7325 "src/plugins/custom/CustomPlugin.ml" 266 7399 7419
type(
  (ctxt:'b -> 'c -> string array -> unit) OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 270 7454 7465 "src/plugins/custom/CustomPlugin.ml" 270 7454 7501
type(
  (ctxt:'d -> t -> 'e -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:'d -> 'e -> string array -> unit) OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 271 7502 7515 "src/plugins/custom/CustomPlugin.ml" 271 7502 7520
type(
  ctxt:'d -> t -> 'e -> string array -> unit
)
ident(
  int_ref clean "src/plugins/custom/CustomPlugin.ml" 49 2159 2163 "src/plugins/custom/CustomPlugin.ml" 49 2159 2168
)
"src/plugins/custom/CustomPlugin.ml" 271 7502 7521 "src/plugins/custom/CustomPlugin.ml" 271 7502 7543
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 272 7544 7557 "src/plugins/custom/CustomPlugin.ml" 272 7544 7558
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 257 7167 7175 "src/plugins/custom/CustomPlugin.ml" 257 7167 7176
)
"src/plugins/custom/CustomPlugin.ml" 272 7544 7559 "src/plugins/custom/CustomPlugin.ml" 272 7544 7567
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 270 7454 7464 "src/plugins/custom/CustomPlugin.ml" 272 7544 7568
type(
  (ctxt:'d -> 'e -> string array -> unit) OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 269 7441 7449 "src/plugins/custom/CustomPlugin.ml" 272 7544 7568
type(
  (ctxt:'d -> 'e -> string array -> unit) OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 276 7607 7618 "src/plugins/custom/CustomPlugin.ml" 276 7607 7654
type(
  (ctxt:'d -> t -> 'e -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:'d -> 'e -> string array -> unit) OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 277 7655 7668 "src/plugins/custom/CustomPlugin.ml" 277 7655 7677
type(
  ctxt:'d -> t -> 'e -> string array -> unit
)
ident(
  int_ref distclean "src/plugins/custom/CustomPlugin.ml" 55 2292 2296 "src/plugins/custom/CustomPlugin.ml" 55 2292 2305
)
"src/plugins/custom/CustomPlugin.ml" 277 7655 7678 "src/plugins/custom/CustomPlugin.ml" 277 7655 7704
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 278 7705 7718 "src/plugins/custom/CustomPlugin.ml" 278 7705 7719
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 257 7167 7175 "src/plugins/custom/CustomPlugin.ml" 257 7167 7176
)
"src/plugins/custom/CustomPlugin.ml" 278 7705 7720 "src/plugins/custom/CustomPlugin.ml" 278 7705 7728
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 276 7607 7617 "src/plugins/custom/CustomPlugin.ml" 278 7705 7729
type(
  (ctxt:'d -> 'e -> string array -> unit) OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 275 7594 7602 "src/plugins/custom/CustomPlugin.ml" 278 7705 7729
type(
  (ctxt:'d -> 'e -> string array -> unit) OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 259 7225 7229 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
type(
  (ctxt:'b -> 'c -> string array -> unit,
   ctxt:'d -> 'e -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 258 7208 7212 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
type(
  'a *
  (ctxt:'b -> 'c -> string array -> unit,
   ctxt:'d -> 'e -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 257 7167 7171 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
type(
  'a *
  (ctxt:'b -> 'c -> string array -> unit,
   ctxt:'d -> 'e -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 256 7142 7144 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
type(
  'a ->
  OASISTypes.package ->
  'a *
  (ctxt:'b -> 'c -> string array -> unit,
   ctxt:'d -> 'e -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 255 7129 7131 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
type(
  (PropList.Data.t -> t) *
  ('a ->
   OASISTypes.package ->
   'a *
   (ctxt:'b -> 'c -> string array -> unit,
    ctxt:'d -> 'e -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 251 7009 7011 "src/plugins/custom/CustomPlugin.ml" 279 7731 7736
type(
  (PropList.Data.t -> t) *
  ('a ->
   OASISTypes.package ->
   'a *
   (ctxt:'b -> 'c -> string array -> unit,
    ctxt:'d -> 'e -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 283 7762 7766 "src/plugins/custom/CustomPlugin.ml" 283 7762 7775
type(
  unit -> unit
)
ident(
  def conf_init "src/plugins/custom/CustomPlugin.ml" 303 8257 8257 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 283 7762 7776 "src/plugins/custom/CustomPlugin.ml" 283 7762 7778
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 284 7781 7787 "src/plugins/custom/CustomPlugin.ml" 284 7781 7794
type(
  OASISPlugin.Configure.self_t
)
ident(
  def self_id "src/plugins/custom/CustomPlugin.ml" 288 7845 7847 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
)
"src/plugins/custom/CustomPlugin.ml" 284 7781 7796 "src/plugins/custom/CustomPlugin.ml" 284 7781 7798
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 288 7845 7847 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
)
"src/plugins/custom/CustomPlugin.ml" 284 7781 7787 "src/plugins/custom/CustomPlugin.ml" 284 7781 7798
type(
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 285 7801 7805 "src/plugins/custom/CustomPlugin.ml" 285 7801 7821
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/custom/CustomPlugin.ml" 286 7822 7828 "src/plugins/custom/CustomPlugin.ml" 286 7822 7839
type(
  OASISPlugin.Configure.self_plugin
)
ident(
  int_ref conf_plugin "src/plugins/custom/CustomPlugin.ml" 167 5014 5018 "src/plugins/custom/CustomPlugin.ml" 167 5014 5029
)
"src/plugins/custom/CustomPlugin.ml" 285 7801 7805 "src/plugins/custom/CustomPlugin.ml" 286 7822 7839
type(
  OASISPlugin.Configure.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 288 7845 7851 "src/plugins/custom/CustomPlugin.ml" 288 7845 7860
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/custom/CustomPlugin.ml" 298 8145 8147 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
)
"src/plugins/custom/CustomPlugin.ml" 288 7845 7862 "src/plugins/custom/CustomPlugin.ml" 288 7845 7866
type(
  OASISPlugin.context_act ->
  OASISTypes.package ->
  OASISPlugin.context_act *
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
ident(
  def doit "src/plugins/custom/CustomPlugin.ml" 298 8145 8147 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
)
"src/plugins/custom/CustomPlugin.ml" 288 7845 7851 "src/plugins/custom/CustomPlugin.ml" 288 7845 7866
type(
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 289 7869 7873 "src/plugins/custom/CustomPlugin.ml" 289 7869 7876
type(
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
ident(
  int_ref std "src/plugins/custom/CustomPlugin.ml" 250 6960 6964 "src/plugins/custom/CustomPlugin.ml" 250 6960 6967
)
"src/plugins/custom/CustomPlugin.ml" 290 7877 7883 "src/plugins/custom/CustomPlugin.ml" 290 7877 7885
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 284 7781 7796 "src/plugins/custom/CustomPlugin.ml" 284 7781 7798
)
"src/plugins/custom/CustomPlugin.ml" 292 7965 7971 "src/plugins/custom/CustomPlugin.ml" 292 7965 7980
type(
  t OASISPlugin.prop
)
ident(
  int_ref conf_data "src/plugins/custom/CustomPlugin.ml" 168 5052 5056 "src/plugins/custom/CustomPlugin.ml" 168 5052 5065
)
"src/plugins/custom/CustomPlugin.ml" 293 7981 7987 "src/plugins/custom/CustomPlugin.ml" 293 7981 7993
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 294 7994 8001 "src/plugins/custom/CustomPlugin.ml" 294 7994 8004
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 294 7994 8005 "src/plugins/custom/CustomPlugin.ml" 294 7994 8032
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 294 7994 8000 "src/plugins/custom/CustomPlugin.ml" 294 7994 8033
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 295 8034 8041 "src/plugins/custom/CustomPlugin.ml" 295 8034 8044
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 295 8034 8045 "src/plugins/custom/CustomPlugin.ml" 295 8034 8083
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 295 8034 8040 "src/plugins/custom/CustomPlugin.ml" 295 8034 8084
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 296 8085 8092 "src/plugins/custom/CustomPlugin.ml" 296 8085 8095
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 296 8085 8096 "src/plugins/custom/CustomPlugin.ml" 296 8085 8138
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 296 8085 8091 "src/plugins/custom/CustomPlugin.ml" 296 8085 8139
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 289 7869 7873 "src/plugins/custom/CustomPlugin.ml" 296 8085 8139
type(
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 298 8145 8147 "src/plugins/custom/CustomPlugin.ml" 298 8145 8169
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/custom/CustomPlugin.ml" 298 8145 8170 "src/plugins/custom/CustomPlugin.ml" 298 8145 8177
type(
  OASISPlugin.Configure.self_t
)
ident(
  int_ref self_id "src/plugins/custom/CustomPlugin.ml" 284 7781 7787 "src/plugins/custom/CustomPlugin.ml" 284 7781 7794
)
"src/plugins/custom/CustomPlugin.ml" 298 8145 8178 "src/plugins/custom/CustomPlugin.ml" 298 8145 8182
type(
  OASISPlugin.Configure.act
)
ident(
  int_ref doit "src/plugins/custom/CustomPlugin.ml" 288 7845 7862 "src/plugins/custom/CustomPlugin.ml" 288 7845 7866
)
"src/plugins/custom/CustomPlugin.ml" 298 8145 8147 "src/plugins/custom/CustomPlugin.ml" 298 8145 8182
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 299 8184 8186 "src/plugins/custom/CustomPlugin.ml" 299 8184 8212
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/custom/CustomPlugin.ml" 299 8184 8213 "src/plugins/custom/CustomPlugin.ml" 299 8184 8215
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 284 7781 7796 "src/plugins/custom/CustomPlugin.ml" 284 7781 7798
)
"src/plugins/custom/CustomPlugin.ml" 299 8184 8216 "src/plugins/custom/CustomPlugin.ml" 299 8184 8225
type(
  t OASISPlugin.prop
)
ident(
  int_ref conf_data "src/plugins/custom/CustomPlugin.ml" 168 5052 5056 "src/plugins/custom/CustomPlugin.ml" 168 5052 5065
)
"src/plugins/custom/CustomPlugin.ml" 299 8184 8226 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 288 7845 7851 "src/plugins/custom/CustomPlugin.ml" 288 7845 7860
)
"src/plugins/custom/CustomPlugin.ml" 299 8184 8186 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 298 8145 8147 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 288 7845 7847 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 284 7781 7783 "src/plugins/custom/CustomPlugin.ml" 299 8184 8235
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 303 8257 8261 "src/plugins/custom/CustomPlugin.ml" 303 8257 8271
type(
  unit -> unit
)
ident(
  def build_init "src/plugins/custom/CustomPlugin.ml" 347 9359 9359 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 303 8257 8272 "src/plugins/custom/CustomPlugin.ml" 303 8257 8274
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 304 8277 8283 "src/plugins/custom/CustomPlugin.ml" 304 8277 8290
type(
  OASISPlugin.Build.self_t
)
ident(
  def self_id "src/plugins/custom/CustomPlugin.ml" 307 8332 8334 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
)
"src/plugins/custom/CustomPlugin.ml" 304 8277 8292 "src/plugins/custom/CustomPlugin.ml" 304 8277 8294
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 307 8332 8334 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
)
"src/plugins/custom/CustomPlugin.ml" 304 8277 8283 "src/plugins/custom/CustomPlugin.ml" 304 8277 8294
type(
  OASISPlugin.Build.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 305 8297 8301 "src/plugins/custom/CustomPlugin.ml" 305 8297 8313
type(
  OASISPlugin.Build.self_plugin ->
  OASISPlugin.Build.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Build.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/custom/CustomPlugin.ml" 305 8297 8314 "src/plugins/custom/CustomPlugin.ml" 305 8297 8326
type(
  OASISPlugin.Build.self_plugin
)
ident(
  int_ref build_plugin "src/plugins/custom/CustomPlugin.ml" 171 5102 5106 "src/plugins/custom/CustomPlugin.ml" 171 5102 5118
)
"src/plugins/custom/CustomPlugin.ml" 305 8297 8301 "src/plugins/custom/CustomPlugin.ml" 305 8297 8326
type(
  OASISPlugin.Build.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 307 8332 8338 "src/plugins/custom/CustomPlugin.ml" 307 8332 8339
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 307 8332 8341 "src/plugins/custom/CustomPlugin.ml" 307 8332 8342
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 307 8332 8344 "src/plugins/custom/CustomPlugin.ml" 307 8332 8345
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 307 8332 8347 "src/plugins/custom/CustomPlugin.ml" 307 8332 8356
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/custom/CustomPlugin.ml" 317 8587 8589 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
)
"src/plugins/custom/CustomPlugin.ml" 307 8332 8338 "src/plugins/custom/CustomPlugin.ml" 307 8332 8356
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 308 8359 8363 "src/plugins/custom/CustomPlugin.ml" 308 8359 8373
type(
  schema:OASISTypes.package OASISSchema.t ->
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
ident(
  int_ref add_fields "src/plugins/custom/CustomPlugin.ml" 190 5545 5549 "src/plugins/custom/CustomPlugin.ml" 190 5545 5559
)
"src/plugins/custom/CustomPlugin.ml" 309 8374 8380 "src/plugins/custom/CustomPlugin.ml" 309 8374 8382
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 304 8277 8292 "src/plugins/custom/CustomPlugin.ml" 304 8277 8294
)
"src/plugins/custom/CustomPlugin.ml" 310 8383 8389 "src/plugins/custom/CustomPlugin.ml" 310 8383 8399
type(
  t OASISPlugin.prop
)
ident(
  int_ref build_data "src/plugins/custom/CustomPlugin.ml" 172 5137 5141 "src/plugins/custom/CustomPlugin.ml" 172 5137 5151
)
"src/plugins/custom/CustomPlugin.ml" 311 8400 8414 "src/plugins/custom/CustomPlugin.ml" 311 8400 8433
type(
  OASISTypes.package OASISSchema.t
)
ident(
  int_ref OASISPackage.schema "src/oasis/OASISPackage.mli" 31 1806 1806 "src/oasis/OASISPackage.mli" 31 1806 1850
)
"src/plugins/custom/CustomPlugin.ml" 312 8434 8440 "src/plugins/custom/CustomPlugin.ml" 312 8434 8447
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 313 8448 8455 "src/plugins/custom/CustomPlugin.ml" 313 8448 8458
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 313 8448 8459 "src/plugins/custom/CustomPlugin.ml" 313 8448 8482
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 313 8448 8454 "src/plugins/custom/CustomPlugin.ml" 313 8448 8483
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 314 8484 8491 "src/plugins/custom/CustomPlugin.ml" 314 8484 8494
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 314 8484 8495 "src/plugins/custom/CustomPlugin.ml" 314 8484 8529
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 314 8484 8490 "src/plugins/custom/CustomPlugin.ml" 314 8484 8530
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 315 8531 8538 "src/plugins/custom/CustomPlugin.ml" 315 8531 8541
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 315 8531 8542 "src/plugins/custom/CustomPlugin.ml" 315 8531 8580
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 315 8531 8537 "src/plugins/custom/CustomPlugin.ml" 315 8531 8581
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 308 8359 8363 "src/plugins/custom/CustomPlugin.ml" 315 8531 8581
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 317 8587 8593 "src/plugins/custom/CustomPlugin.ml" 317 8587 8597
type(
  'a ->
  OASISTypes.package ->
  'a *
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
ident(
  def doit "src/plugins/custom/CustomPlugin.ml" 342 9248 9250 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
)
"src/plugins/custom/CustomPlugin.ml" 317 8587 8598 "src/plugins/custom/CustomPlugin.ml" 317 8587 8609
type(
  'a
)
ident(
  def plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 317 8587 8610 "src/plugins/custom/CustomPlugin.ml" 340 9237 9242
)
"src/plugins/custom/CustomPlugin.ml" 317 8587 8610 "src/plugins/custom/CustomPlugin.ml" 317 8587 8613
type(
  OASISTypes.package
)
ident(
  def pkg "src/plugins/custom/CustomPlugin.ml" 318 8616 8620 "src/plugins/custom/CustomPlugin.ml" 340 9237 9242
)
"src/plugins/custom/CustomPlugin.ml" 318 8616 8624 "src/plugins/custom/CustomPlugin.ml" 318 8616 8625
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 319 8657 8661 "src/plugins/custom/CustomPlugin.ml" 340 9237 9242
)
"src/plugins/custom/CustomPlugin.ml" 318 8616 8628 "src/plugins/custom/CustomPlugin.ml" 318 8616 8637
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 307 8332 8347 "src/plugins/custom/CustomPlugin.ml" 307 8332 8356
)
"src/plugins/custom/CustomPlugin.ml" 318 8616 8638 "src/plugins/custom/CustomPlugin.ml" 318 8616 8641
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/plugins/custom/CustomPlugin.ml" 317 8587 8610 "src/plugins/custom/CustomPlugin.ml" 317 8587 8613
)
"src/plugins/custom/CustomPlugin.ml" 318 8616 8638 "src/plugins/custom/CustomPlugin.ml" 318 8616 8653
type(
  PropList.Data.t
)
"src/plugins/custom/CustomPlugin.ml" 318 8616 8628 "src/plugins/custom/CustomPlugin.ml" 318 8616 8653
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 319 8657 8661 "src/plugins/custom/CustomPlugin.ml" 319 8657 8672
type(
  'a
)
ident(
  int_ref plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 317 8587 8598 "src/plugins/custom/CustomPlugin.ml" 317 8587 8609
)
"src/plugins/custom/CustomPlugin.ml" 322 8712 8721 "src/plugins/custom/CustomPlugin.ml" 322 8712 8744
type(
  OASISPlugin.modul
)
ident(
  int_ref CustomData.customsys_ml "src/plugins/custom/CustomData.ml" 2 46 50 "src/plugins/custom/CustomData.ml" 2 46 62
)
"src/plugins/custom/CustomPlugin.ml" 322 8712 8720 "src/plugins/custom/CustomPlugin.ml" 322 8712 8745
type(
  OASISPlugin.modul list
)
"src/plugins/custom/CustomPlugin.ml" 325 8766 8774 "src/plugins/custom/CustomPlugin.ml" 325 8766 8810
type(
  (ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 326 8811 8821 "src/plugins/custom/CustomPlugin.ml" 326 8811 8838
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  int_ref BuildRuntime.main "src/plugins/custom/CustomPlugin.ml" 63 2455 2461 "src/plugins/custom/CustomPlugin.ml" 63 2455 2465
)
"src/plugins/custom/CustomPlugin.ml" 326 8811 8839 "src/plugins/custom/CustomPlugin.ml" 326 8811 8866
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 327 8867 8877 "src/plugins/custom/CustomPlugin.ml" 327 8867 8878
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 318 8616 8624 "src/plugins/custom/CustomPlugin.ml" 318 8616 8625
)
"src/plugins/custom/CustomPlugin.ml" 327 8867 8879 "src/plugins/custom/CustomPlugin.ml" 327 8867 8887
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 325 8766 8774 "src/plugins/custom/CustomPlugin.ml" 327 8867 8887
type(
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 331 8922 8933 "src/plugins/custom/CustomPlugin.ml" 331 8922 8969
type(
  (ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 332 8970 8983 "src/plugins/custom/CustomPlugin.ml" 332 8970 9001
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  int_ref BuildRuntime.clean "src/plugins/custom/CustomPlugin.ml" 95 3382 3388 "src/plugins/custom/CustomPlugin.ml" 95 3382 3393
)
"src/plugins/custom/CustomPlugin.ml" 332 8970 9002 "src/plugins/custom/CustomPlugin.ml" 332 8970 9030
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 333 9031 9044 "src/plugins/custom/CustomPlugin.ml" 333 9031 9045
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 318 8616 8624 "src/plugins/custom/CustomPlugin.ml" 318 8616 8625
)
"src/plugins/custom/CustomPlugin.ml" 333 9031 9046 "src/plugins/custom/CustomPlugin.ml" 333 9031 9054
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 331 8922 8932 "src/plugins/custom/CustomPlugin.ml" 333 9031 9055
type(
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 330 8909 8917 "src/plugins/custom/CustomPlugin.ml" 333 9031 9055
type(
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 337 9094 9105 "src/plugins/custom/CustomPlugin.ml" 337 9094 9141
type(
  (ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 338 9142 9155 "src/plugins/custom/CustomPlugin.ml" 338 9142 9177
type(
  ctxt:OASISContext.t -> t -> OASISTypes.package -> string array -> unit
)
ident(
  int_ref BuildRuntime.distclean "src/plugins/custom/CustomPlugin.ml" 111 3920 3926 "src/plugins/custom/CustomPlugin.ml" 111 3920 3935
)
"src/plugins/custom/CustomPlugin.ml" 338 9142 9178 "src/plugins/custom/CustomPlugin.ml" 338 9142 9210
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 339 9211 9224 "src/plugins/custom/CustomPlugin.ml" 339 9211 9225
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 318 8616 8624 "src/plugins/custom/CustomPlugin.ml" 318 8616 8625
)
"src/plugins/custom/CustomPlugin.ml" 339 9211 9226 "src/plugins/custom/CustomPlugin.ml" 339 9211 9234
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 337 9094 9104 "src/plugins/custom/CustomPlugin.ml" 339 9211 9235
type(
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 336 9081 9089 "src/plugins/custom/CustomPlugin.ml" 339 9211 9235
type(
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 320 8674 8678 "src/plugins/custom/CustomPlugin.ml" 340 9237 9242
type(
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 319 8657 8661 "src/plugins/custom/CustomPlugin.ml" 340 9237 9242
type(
  'a *
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 318 8616 8620 "src/plugins/custom/CustomPlugin.ml" 340 9237 9242
type(
  'a *
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 342 9248 9250 "src/plugins/custom/CustomPlugin.ml" 342 9248 9268
type(
  OASISPlugin.Build.self_t -> OASISPlugin.Build.act -> unit
)
ident(
  int_ref OASISPlugin.Build.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/custom/CustomPlugin.ml" 342 9248 9269 "src/plugins/custom/CustomPlugin.ml" 342 9248 9276
type(
  OASISPlugin.Build.self_t
)
ident(
  int_ref self_id "src/plugins/custom/CustomPlugin.ml" 304 8277 8283 "src/plugins/custom/CustomPlugin.ml" 304 8277 8290
)
"src/plugins/custom/CustomPlugin.ml" 342 9248 9277 "src/plugins/custom/CustomPlugin.ml" 342 9248 9281
type(
  OASISPlugin.Build.act
)
ident(
  int_ref doit "src/plugins/custom/CustomPlugin.ml" 317 8587 8593 "src/plugins/custom/CustomPlugin.ml" 317 8587 8597
)
"src/plugins/custom/CustomPlugin.ml" 342 9248 9250 "src/plugins/custom/CustomPlugin.ml" 342 9248 9281
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 343 9283 9285 "src/plugins/custom/CustomPlugin.ml" 343 9283 9311
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/custom/CustomPlugin.ml" 343 9283 9312 "src/plugins/custom/CustomPlugin.ml" 343 9283 9314
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 304 8277 8292 "src/plugins/custom/CustomPlugin.ml" 304 8277 8294
)
"src/plugins/custom/CustomPlugin.ml" 343 9283 9315 "src/plugins/custom/CustomPlugin.ml" 343 9283 9325
type(
  t OASISPlugin.prop
)
ident(
  int_ref build_data "src/plugins/custom/CustomPlugin.ml" 172 5137 5141 "src/plugins/custom/CustomPlugin.ml" 172 5137 5151
)
"src/plugins/custom/CustomPlugin.ml" 343 9283 9326 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 307 8332 8347 "src/plugins/custom/CustomPlugin.ml" 307 8332 8356
)
"src/plugins/custom/CustomPlugin.ml" 343 9283 9285 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 342 9248 9250 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 317 8587 8589 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 307 8332 8334 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 304 8277 8279 "src/plugins/custom/CustomPlugin.ml" 343 9283 9335
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 347 9359 9363 "src/plugins/custom/CustomPlugin.ml" 347 9359 9375
type(
  unit -> unit
)
ident(
  def install_init "src/plugins/custom/CustomPlugin.ml" 375 10142 10142 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 347 9359 9376 "src/plugins/custom/CustomPlugin.ml" 347 9359 9378
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 348 9381 9387 "src/plugins/custom/CustomPlugin.ml" 348 9381 9394
type(
  OASISPlugin.Install.self_t
)
ident(
  def self_id "src/plugins/custom/CustomPlugin.ml" 351 9440 9442 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
)
"src/plugins/custom/CustomPlugin.ml" 348 9381 9396 "src/plugins/custom/CustomPlugin.ml" 348 9381 9398
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 351 9440 9442 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
)
"src/plugins/custom/CustomPlugin.ml" 348 9381 9387 "src/plugins/custom/CustomPlugin.ml" 348 9381 9398
type(
  OASISPlugin.Install.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 349 9401 9405 "src/plugins/custom/CustomPlugin.ml" 349 9401 9419
type(
  OASISPlugin.Install.self_plugin ->
  OASISPlugin.Install.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Install.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/custom/CustomPlugin.ml" 349 9401 9420 "src/plugins/custom/CustomPlugin.ml" 349 9401 9434
type(
  OASISPlugin.Install.self_plugin
)
ident(
  int_ref install_plugin "src/plugins/custom/CustomPlugin.ml" 175 5189 5193 "src/plugins/custom/CustomPlugin.ml" 175 5189 5207
)
"src/plugins/custom/CustomPlugin.ml" 349 9401 9405 "src/plugins/custom/CustomPlugin.ml" 349 9401 9434
type(
  OASISPlugin.Install.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 351 9440 9446 "src/plugins/custom/CustomPlugin.ml" 351 9440 9462
type(
  PropList.Data.t -> t
)
ident(
  def generate_install "src/plugins/custom/CustomPlugin.ml" 360 9676 9678 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
)
"src/plugins/custom/CustomPlugin.ml" 351 9440 9464 "src/plugins/custom/CustomPlugin.ml" 351 9440 9476
type(
  OASISPlugin.context_act ->
  OASISTypes.package ->
  OASISPlugin.context_act *
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
ident(
  def doit_install "src/plugins/custom/CustomPlugin.ml" 360 9676 9678 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
)
"src/plugins/custom/CustomPlugin.ml" 351 9440 9446 "src/plugins/custom/CustomPlugin.ml" 351 9440 9476
type(
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 352 9479 9483 "src/plugins/custom/CustomPlugin.ml" 352 9479 9486
type(
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
ident(
  int_ref std "src/plugins/custom/CustomPlugin.ml" 250 6960 6964 "src/plugins/custom/CustomPlugin.ml" 250 6960 6967
)
"src/plugins/custom/CustomPlugin.ml" 353 9487 9493 "src/plugins/custom/CustomPlugin.ml" 353 9487 9495
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 348 9381 9396 "src/plugins/custom/CustomPlugin.ml" 348 9381 9398
)
"src/plugins/custom/CustomPlugin.ml" 354 9496 9502 "src/plugins/custom/CustomPlugin.ml" 354 9496 9514
type(
  t OASISPlugin.prop
)
ident(
  int_ref install_data "src/plugins/custom/CustomPlugin.ml" 176 5228 5232 "src/plugins/custom/CustomPlugin.ml" 176 5228 5244
)
"src/plugins/custom/CustomPlugin.ml" 355 9515 9521 "src/plugins/custom/CustomPlugin.ml" 355 9515 9530
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 356 9531 9538 "src/plugins/custom/CustomPlugin.ml" 356 9531 9541
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 356 9531 9542 "src/plugins/custom/CustomPlugin.ml" 356 9531 9567
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 356 9531 9537 "src/plugins/custom/CustomPlugin.ml" 356 9531 9568
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 357 9569 9576 "src/plugins/custom/CustomPlugin.ml" 357 9569 9579
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 357 9569 9580 "src/plugins/custom/CustomPlugin.ml" 357 9569 9616
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 357 9569 9575 "src/plugins/custom/CustomPlugin.ml" 357 9569 9617
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 358 9618 9625 "src/plugins/custom/CustomPlugin.ml" 358 9618 9628
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 358 9618 9629 "src/plugins/custom/CustomPlugin.ml" 358 9618 9669
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 358 9618 9624 "src/plugins/custom/CustomPlugin.ml" 358 9618 9670
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 352 9479 9483 "src/plugins/custom/CustomPlugin.ml" 358 9618 9670
type(
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 360 9676 9682 "src/plugins/custom/CustomPlugin.ml" 360 9676 9700
type(
  PropList.Data.t -> t
)
ident(
  def generate_uninstall "src/plugins/custom/CustomPlugin.ml" 369 9926 9928 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
)
"src/plugins/custom/CustomPlugin.ml" 360 9676 9702 "src/plugins/custom/CustomPlugin.ml" 360 9676 9716
type(
  OASISPlugin.context_act ->
  OASISTypes.package ->
  OASISPlugin.context_act *
  (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
   ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
  OASISPlugin.setup_changes
)
ident(
  def doit_uninstall "src/plugins/custom/CustomPlugin.ml" 369 9926 9928 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
)
"src/plugins/custom/CustomPlugin.ml" 360 9676 9682 "src/plugins/custom/CustomPlugin.ml" 360 9676 9716
type(
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 361 9719 9723 "src/plugins/custom/CustomPlugin.ml" 361 9719 9726
type(
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
ident(
  int_ref std "src/plugins/custom/CustomPlugin.ml" 250 6960 6964 "src/plugins/custom/CustomPlugin.ml" 250 6960 6967
)
"src/plugins/custom/CustomPlugin.ml" 362 9727 9733 "src/plugins/custom/CustomPlugin.ml" 362 9727 9735
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 348 9381 9396 "src/plugins/custom/CustomPlugin.ml" 348 9381 9398
)
"src/plugins/custom/CustomPlugin.ml" 363 9736 9742 "src/plugins/custom/CustomPlugin.ml" 363 9736 9756
type(
  t OASISPlugin.prop
)
ident(
  int_ref uninstall_data "src/plugins/custom/CustomPlugin.ml" 177 5282 5286 "src/plugins/custom/CustomPlugin.ml" 177 5282 5300
)
"src/plugins/custom/CustomPlugin.ml" 364 9757 9763 "src/plugins/custom/CustomPlugin.ml" 364 9757 9774
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 365 9775 9782 "src/plugins/custom/CustomPlugin.ml" 365 9775 9785
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 365 9775 9786 "src/plugins/custom/CustomPlugin.ml" 365 9775 9813
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 365 9775 9781 "src/plugins/custom/CustomPlugin.ml" 365 9775 9814
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 366 9815 9822 "src/plugins/custom/CustomPlugin.ml" 366 9815 9825
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 366 9815 9826 "src/plugins/custom/CustomPlugin.ml" 366 9815 9864
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 366 9815 9821 "src/plugins/custom/CustomPlugin.ml" 366 9815 9865
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 367 9866 9873 "src/plugins/custom/CustomPlugin.ml" 367 9866 9876
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 367 9866 9877 "src/plugins/custom/CustomPlugin.ml" 367 9866 9919
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 367 9866 9872 "src/plugins/custom/CustomPlugin.ml" 367 9866 9920
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 361 9719 9723 "src/plugins/custom/CustomPlugin.ml" 367 9866 9920
type(
  (PropList.Data.t -> t) *
  (OASISPlugin.context_act ->
   OASISTypes.package ->
   OASISPlugin.context_act *
   (ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit,
    ctxt:OASISContext.t -> OASISTypes.package -> string array -> unit)
   OASISPlugin.setup_changes)
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9928 "src/plugins/custom/CustomPlugin.ml" 369 9926 9948
type(
  OASISPlugin.Install.self_t -> OASISPlugin.Install.act -> unit
)
ident(
  int_ref OASISPlugin.Install.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9949 "src/plugins/custom/CustomPlugin.ml" 369 9926 9956
type(
  OASISPlugin.Install.self_t
)
ident(
  int_ref self_id "src/plugins/custom/CustomPlugin.ml" 348 9381 9387 "src/plugins/custom/CustomPlugin.ml" 348 9381 9394
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9958 "src/plugins/custom/CustomPlugin.ml" 369 9926 9970
type(
  OASISPlugin.package_act
)
ident(
  int_ref doit_install "src/plugins/custom/CustomPlugin.ml" 351 9440 9464 "src/plugins/custom/CustomPlugin.ml" 351 9440 9476
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9972 "src/plugins/custom/CustomPlugin.ml" 369 9926 9986
type(
  OASISPlugin.package_act
)
ident(
  int_ref doit_uninstall "src/plugins/custom/CustomPlugin.ml" 360 9676 9702 "src/plugins/custom/CustomPlugin.ml" 360 9676 9716
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9957 "src/plugins/custom/CustomPlugin.ml" 369 9926 9987
type(
  OASISPlugin.Install.act
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9928 "src/plugins/custom/CustomPlugin.ml" 369 9926 9987
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 370 9989 9991 "src/plugins/custom/CustomPlugin.ml" 370 9989 10017
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/custom/CustomPlugin.ml" 370 9989 10018 "src/plugins/custom/CustomPlugin.ml" 370 9989 10020
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 348 9381 9396 "src/plugins/custom/CustomPlugin.ml" 348 9381 9398
)
"src/plugins/custom/CustomPlugin.ml" 370 9989 10021 "src/plugins/custom/CustomPlugin.ml" 370 9989 10033
type(
  t OASISPlugin.prop
)
ident(
  int_ref install_data "src/plugins/custom/CustomPlugin.ml" 176 5228 5232 "src/plugins/custom/CustomPlugin.ml" 176 5228 5244
)
"src/plugins/custom/CustomPlugin.ml" 370 9989 10034 "src/plugins/custom/CustomPlugin.ml" 370 9989 10050
type(
  PropList.Data.t -> t
)
ident(
  int_ref generate_install "src/plugins/custom/CustomPlugin.ml" 351 9440 9446 "src/plugins/custom/CustomPlugin.ml" 351 9440 9462
)
"src/plugins/custom/CustomPlugin.ml" 370 9989 9991 "src/plugins/custom/CustomPlugin.ml" 370 9989 10050
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 371 10052 10054 "src/plugins/custom/CustomPlugin.ml" 371 10052 10080
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/custom/CustomPlugin.ml" 371 10052 10081 "src/plugins/custom/CustomPlugin.ml" 371 10052 10083
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 348 9381 9396 "src/plugins/custom/CustomPlugin.ml" 348 9381 9398
)
"src/plugins/custom/CustomPlugin.ml" 371 10052 10084 "src/plugins/custom/CustomPlugin.ml" 371 10052 10098
type(
  t OASISPlugin.prop
)
ident(
  int_ref uninstall_data "src/plugins/custom/CustomPlugin.ml" 177 5282 5286 "src/plugins/custom/CustomPlugin.ml" 177 5282 5300
)
"src/plugins/custom/CustomPlugin.ml" 371 10052 10099 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  PropList.Data.t -> t
)
ident(
  int_ref generate_uninstall "src/plugins/custom/CustomPlugin.ml" 360 9676 9682 "src/plugins/custom/CustomPlugin.ml" 360 9676 9700
)
"src/plugins/custom/CustomPlugin.ml" 371 10052 10054 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 370 9989 9991 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 369 9926 9928 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 360 9676 9678 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 351 9440 9442 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 348 9381 9383 "src/plugins/custom/CustomPlugin.ml" 371 10052 10117
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 375 10142 10146 "src/plugins/custom/CustomPlugin.ml" 375 10142 10154
type(
  unit -> unit
)
ident(
  def doc_init "src/plugins/custom/CustomPlugin.ml" 419 11258 11258 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 375 10142 10155 "src/plugins/custom/CustomPlugin.ml" 375 10142 10157
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 376 10160 10166 "src/plugins/custom/CustomPlugin.ml" 376 10160 10173
type(
  OASISPlugin.Doc.self_t
)
ident(
  def self_id "src/plugins/custom/CustomPlugin.ml" 379 10211 10213 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
)
"src/plugins/custom/CustomPlugin.ml" 376 10160 10175 "src/plugins/custom/CustomPlugin.ml" 376 10160 10177
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 379 10211 10213 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
)
"src/plugins/custom/CustomPlugin.ml" 376 10160 10166 "src/plugins/custom/CustomPlugin.ml" 376 10160 10177
type(
  OASISPlugin.Doc.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 377 10180 10184 "src/plugins/custom/CustomPlugin.ml" 377 10180 10194
type(
  OASISPlugin.Doc.self_plugin -> OASISPlugin.Doc.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Doc.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/custom/CustomPlugin.ml" 377 10180 10195 "src/plugins/custom/CustomPlugin.ml" 377 10180 10205
type(
  OASISPlugin.Doc.self_plugin
)
ident(
  int_ref doc_plugin "src/plugins/custom/CustomPlugin.ml" 184 5441 5445 "src/plugins/custom/CustomPlugin.ml" 184 5441 5455
)
"src/plugins/custom/CustomPlugin.ml" 377 10180 10184 "src/plugins/custom/CustomPlugin.ml" 377 10180 10205
type(
  OASISPlugin.Doc.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 379 10211 10217 "src/plugins/custom/CustomPlugin.ml" 379 10211 10218
type(
  PropList.Data.t -> OASISTypes.command_line OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 379 10211 10220 "src/plugins/custom/CustomPlugin.ml" 379 10211 10221
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 379 10211 10223 "src/plugins/custom/CustomPlugin.ml" 379 10211 10224
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 379 10211 10226 "src/plugins/custom/CustomPlugin.ml" 379 10211 10235
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/custom/CustomPlugin.ml" 389 10504 10506 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
)
"src/plugins/custom/CustomPlugin.ml" 379 10211 10217 "src/plugins/custom/CustomPlugin.ml" 379 10211 10235
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 380 10238 10242 "src/plugins/custom/CustomPlugin.ml" 380 10238 10252
type(
  schema:(OASISTypes.common_section * OASISTypes.doc) OASISSchema.t ->
  OASISPlugin.all_t ->
  t OASISPlugin.prop ->
  OASISTypes.name ->
  string ->
  string ->
  string ->
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
ident(
  int_ref add_fields "src/plugins/custom/CustomPlugin.ml" 190 5545 5549 "src/plugins/custom/CustomPlugin.ml" 190 5545 5559
)
"src/plugins/custom/CustomPlugin.ml" 381 10253 10267 "src/plugins/custom/CustomPlugin.ml" 381 10253 10287
type(
  (OASISTypes.common_section * OASISTypes.doc) OASISSchema.t
)
ident(
  int_ref OASISDocument.schema "src/oasis/OASISDocument.mli" 34 1824 1824 "src/oasis/OASISDocument.mli" 34 1824 1872
)
"src/plugins/custom/CustomPlugin.ml" 382 10288 10294 "src/plugins/custom/CustomPlugin.ml" 382 10288 10296
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 376 10160 10175 "src/plugins/custom/CustomPlugin.ml" 376 10160 10177
)
"src/plugins/custom/CustomPlugin.ml" 383 10297 10303 "src/plugins/custom/CustomPlugin.ml" 383 10297 10313
type(
  t OASISPlugin.prop
)
ident(
  int_ref build_data "src/plugins/custom/CustomPlugin.ml" 172 5137 5141 "src/plugins/custom/CustomPlugin.ml" 172 5137 5151
)
"src/plugins/custom/CustomPlugin.ml" 384 10314 10320 "src/plugins/custom/CustomPlugin.ml" 384 10314 10322
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 385 10323 10330 "src/plugins/custom/CustomPlugin.ml" 385 10323 10333
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 385 10323 10334 "src/plugins/custom/CustomPlugin.ml" 385 10323 10371
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 385 10323 10329 "src/plugins/custom/CustomPlugin.ml" 385 10323 10372
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 386 10373 10380 "src/plugins/custom/CustomPlugin.ml" 386 10373 10383
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 386 10373 10384 "src/plugins/custom/CustomPlugin.ml" 386 10373 10432
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 386 10373 10379 "src/plugins/custom/CustomPlugin.ml" 386 10373 10433
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 387 10434 10441 "src/plugins/custom/CustomPlugin.ml" 387 10434 10444
type(
  string -> string
)
ident(
  int_ref OASISGettext.ns_ "src/oasis/OASISGettext.mli" 37 2164 2164 "src/oasis/OASISGettext.mli" 37 2164 2189
)
"src/plugins/custom/CustomPlugin.ml" 387 10434 10445 "src/plugins/custom/CustomPlugin.ml" 387 10434 10497
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 387 10434 10440 "src/plugins/custom/CustomPlugin.ml" 387 10434 10498
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 380 10238 10242 "src/plugins/custom/CustomPlugin.ml" 387 10434 10498
type(
  (PropList.Data.t -> OASISTypes.command_line OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices) *
  (PropList.Data.t -> t)
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10510 "src/plugins/custom/CustomPlugin.ml" 389 10504 10514
type(
  'a ->
  'b ->
  OASISTypes.common_section * 'c ->
  'a *
  (ctxt:OASISContext.t ->
   'd -> OASISTypes.common_section * 'e -> string array -> unit,
   ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISPlugin.setup_changes
)
ident(
  def doit "src/plugins/custom/CustomPlugin.ml" 414 11154 11156 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10515 "src/plugins/custom/CustomPlugin.ml" 389 10504 10526
type(
  'a
)
ident(
  def plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 389 10504 10527 "src/plugins/custom/CustomPlugin.ml" 412 11143 11148
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10527 "src/plugins/custom/CustomPlugin.ml" 389 10504 10528
type(
  'b
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10530 "src/plugins/custom/CustomPlugin.ml" 389 10504 10532
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 390 10539 10543 "src/plugins/custom/CustomPlugin.ml" 412 11143 11148
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10534 "src/plugins/custom/CustomPlugin.ml" 389 10504 10535
type(
  'c
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10529 "src/plugins/custom/CustomPlugin.ml" 389 10504 10536
type(
  OASISTypes.common_section * 'c
)
"src/plugins/custom/CustomPlugin.ml" 390 10539 10547 "src/plugins/custom/CustomPlugin.ml" 390 10539 10548
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 391 10575 10579 "src/plugins/custom/CustomPlugin.ml" 412 11143 11148
)
"src/plugins/custom/CustomPlugin.ml" 390 10539 10551 "src/plugins/custom/CustomPlugin.ml" 390 10539 10560
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 379 10211 10226 "src/plugins/custom/CustomPlugin.ml" 379 10211 10235
)
"src/plugins/custom/CustomPlugin.ml" 390 10539 10561 "src/plugins/custom/CustomPlugin.ml" 390 10539 10563
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 389 10504 10530 "src/plugins/custom/CustomPlugin.ml" 389 10504 10532
)
"src/plugins/custom/CustomPlugin.ml" 390 10539 10561 "src/plugins/custom/CustomPlugin.ml" 390 10539 10571
type(
  PropList.Data.t
)
"src/plugins/custom/CustomPlugin.ml" 390 10539 10551 "src/plugins/custom/CustomPlugin.ml" 390 10539 10571
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 391 10575 10579 "src/plugins/custom/CustomPlugin.ml" 391 10575 10590
type(
  'a
)
ident(
  int_ref plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 389 10504 10515 "src/plugins/custom/CustomPlugin.ml" 389 10504 10526
)
"src/plugins/custom/CustomPlugin.ml" 394 10630 10639 "src/plugins/custom/CustomPlugin.ml" 394 10630 10662
type(
  OASISPlugin.modul
)
ident(
  int_ref CustomData.customsys_ml "src/plugins/custom/CustomData.ml" 2 46 50 "src/plugins/custom/CustomData.ml" 2 46 62
)
"src/plugins/custom/CustomPlugin.ml" 394 10630 10638 "src/plugins/custom/CustomPlugin.ml" 394 10630 10663
type(
  OASISPlugin.modul list
)
"src/plugins/custom/CustomPlugin.ml" 397 10684 10692 "src/plugins/custom/CustomPlugin.ml" 397 10684 10728
type(
  (ctxt:OASISContext.t ->
   t -> 'd -> OASISTypes.common_section * 'e -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:OASISContext.t ->
   'd -> OASISTypes.common_section * 'e -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 398 10729 10739 "src/plugins/custom/CustomPlugin.ml" 398 10729 10754
type(
  ctxt:OASISContext.t ->
  t -> 'd -> OASISTypes.common_section * 'e -> string array -> unit
)
ident(
  int_ref DocRuntime.main "src/plugins/custom/CustomPlugin.ml" 136 4413 4419 "src/plugins/custom/CustomPlugin.ml" 136 4413 4423
)
"src/plugins/custom/CustomPlugin.ml" 398 10729 10755 "src/plugins/custom/CustomPlugin.ml" 398 10729 10780
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 399 10781 10791 "src/plugins/custom/CustomPlugin.ml" 399 10781 10792
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 390 10539 10547 "src/plugins/custom/CustomPlugin.ml" 390 10539 10548
)
"src/plugins/custom/CustomPlugin.ml" 399 10781 10793 "src/plugins/custom/CustomPlugin.ml" 399 10781 10801
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 397 10684 10692 "src/plugins/custom/CustomPlugin.ml" 399 10781 10801
type(
  (ctxt:OASISContext.t ->
   'd -> OASISTypes.common_section * 'e -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 403 10836 10847 "src/plugins/custom/CustomPlugin.ml" 403 10836 10883
type(
  (ctxt:OASISContext.t ->
   t -> 'f -> OASISTypes.common_section * 'g -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 404 10884 10897 "src/plugins/custom/CustomPlugin.ml" 404 10884 10913
type(
  ctxt:OASISContext.t ->
  t -> 'f -> OASISTypes.common_section * 'g -> string array -> unit
)
ident(
  int_ref DocRuntime.clean "src/plugins/custom/CustomPlugin.ml" 140 4549 4555 "src/plugins/custom/CustomPlugin.ml" 140 4549 4560
)
"src/plugins/custom/CustomPlugin.ml" 404 10884 10914 "src/plugins/custom/CustomPlugin.ml" 404 10884 10940
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 405 10941 10954 "src/plugins/custom/CustomPlugin.ml" 405 10941 10955
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 390 10539 10547 "src/plugins/custom/CustomPlugin.ml" 390 10539 10548
)
"src/plugins/custom/CustomPlugin.ml" 405 10941 10956 "src/plugins/custom/CustomPlugin.ml" 405 10941 10964
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 403 10836 10846 "src/plugins/custom/CustomPlugin.ml" 405 10941 10965
type(
  (ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 402 10823 10831 "src/plugins/custom/CustomPlugin.ml" 405 10941 10965
type(
  (ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 409 11004 11015 "src/plugins/custom/CustomPlugin.ml" 409 11004 11051
type(
  (ctxt:OASISContext.t ->
   t -> 'f -> OASISTypes.common_section * 'g -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 410 11052 11065 "src/plugins/custom/CustomPlugin.ml" 410 11052 11085
type(
  ctxt:OASISContext.t ->
  t -> 'f -> OASISTypes.common_section * 'g -> string array -> unit
)
ident(
  int_ref DocRuntime.distclean "src/plugins/custom/CustomPlugin.ml" 144 4686 4692 "src/plugins/custom/CustomPlugin.ml" 144 4686 4701
)
"src/plugins/custom/CustomPlugin.ml" 410 11052 11086 "src/plugins/custom/CustomPlugin.ml" 410 11052 11116
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 411 11117 11130 "src/plugins/custom/CustomPlugin.ml" 411 11117 11131
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 390 10539 10547 "src/plugins/custom/CustomPlugin.ml" 390 10539 10548
)
"src/plugins/custom/CustomPlugin.ml" 411 11117 11132 "src/plugins/custom/CustomPlugin.ml" 411 11117 11140
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 409 11004 11014 "src/plugins/custom/CustomPlugin.ml" 411 11117 11141
type(
  (ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 408 10991 10999 "src/plugins/custom/CustomPlugin.ml" 411 11117 11141
type(
  (ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 392 10592 10596 "src/plugins/custom/CustomPlugin.ml" 412 11143 11148
type(
  (ctxt:OASISContext.t ->
   'd -> OASISTypes.common_section * 'e -> string array -> unit,
   ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 391 10575 10579 "src/plugins/custom/CustomPlugin.ml" 412 11143 11148
type(
  'a *
  (ctxt:OASISContext.t ->
   'd -> OASISTypes.common_section * 'e -> string array -> unit,
   ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 390 10539 10543 "src/plugins/custom/CustomPlugin.ml" 412 11143 11148
type(
  'a *
  (ctxt:OASISContext.t ->
   'd -> OASISTypes.common_section * 'e -> string array -> unit,
   ctxt:OASISContext.t ->
   'f -> OASISTypes.common_section * 'g -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 414 11154 11156 "src/plugins/custom/CustomPlugin.ml" 414 11154 11172
type(
  OASISPlugin.Doc.self_t -> OASISPlugin.Doc.act -> unit
)
ident(
  int_ref OASISPlugin.Doc.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/custom/CustomPlugin.ml" 414 11154 11173 "src/plugins/custom/CustomPlugin.ml" 414 11154 11180
type(
  OASISPlugin.Doc.self_t
)
ident(
  int_ref self_id "src/plugins/custom/CustomPlugin.ml" 376 10160 10166 "src/plugins/custom/CustomPlugin.ml" 376 10160 10173
)
"src/plugins/custom/CustomPlugin.ml" 414 11154 11181 "src/plugins/custom/CustomPlugin.ml" 414 11154 11185
type(
  OASISPlugin.Doc.act
)
ident(
  int_ref doit "src/plugins/custom/CustomPlugin.ml" 389 10504 10510 "src/plugins/custom/CustomPlugin.ml" 389 10504 10514
)
"src/plugins/custom/CustomPlugin.ml" 414 11154 11156 "src/plugins/custom/CustomPlugin.ml" 414 11154 11185
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 415 11187 11189 "src/plugins/custom/CustomPlugin.ml" 415 11187 11215
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/custom/CustomPlugin.ml" 415 11187 11216 "src/plugins/custom/CustomPlugin.ml" 415 11187 11218
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 376 10160 10175 "src/plugins/custom/CustomPlugin.ml" 376 10160 10177
)
"src/plugins/custom/CustomPlugin.ml" 415 11187 11219 "src/plugins/custom/CustomPlugin.ml" 415 11187 11227
type(
  t OASISPlugin.prop
)
ident(
  int_ref doc_data "src/plugins/custom/CustomPlugin.ml" 185 5472 5476 "src/plugins/custom/CustomPlugin.ml" 185 5472 5484
)
"src/plugins/custom/CustomPlugin.ml" 415 11187 11228 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 379 10211 10226 "src/plugins/custom/CustomPlugin.ml" 379 10211 10235
)
"src/plugins/custom/CustomPlugin.ml" 415 11187 11189 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 414 11154 11156 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 389 10504 10506 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 379 10211 10213 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 376 10160 10162 "src/plugins/custom/CustomPlugin.ml" 415 11187 11237
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 419 11258 11262 "src/plugins/custom/CustomPlugin.ml" 419 11258 11271
type(
  unit -> unit
)
ident(
  def test_init "src/plugins/custom/CustomPlugin.ml" 481 12806 12806 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 419 11258 11272 "src/plugins/custom/CustomPlugin.ml" 419 11258 11274
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 420 11277 11283 "src/plugins/custom/CustomPlugin.ml" 420 11277 11290
type(
  OASISPlugin.Test.self_t
)
ident(
  def self_id "src/plugins/custom/CustomPlugin.ml" 423 11330 11332 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
)
"src/plugins/custom/CustomPlugin.ml" 420 11277 11292 "src/plugins/custom/CustomPlugin.ml" 420 11277 11294
type(
  OASISPlugin.all_t
)
ident(
  def id "src/plugins/custom/CustomPlugin.ml" 423 11330 11332 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
)
"src/plugins/custom/CustomPlugin.ml" 420 11277 11283 "src/plugins/custom/CustomPlugin.ml" 420 11277 11294
type(
  OASISPlugin.Test.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 421 11297 11301 "src/plugins/custom/CustomPlugin.ml" 421 11297 11312
type(
  OASISPlugin.Test.self_plugin -> OASISPlugin.Test.self_t * OASISPlugin.all_t
)
ident(
  int_ref OASISPlugin.Test.create "src/oasis/OASISPlugin.mli" 211 5827 5829 "src/oasis/OASISPlugin.mli" 211 5827 5870
)
"src/plugins/custom/CustomPlugin.ml" 421 11297 11313 "src/plugins/custom/CustomPlugin.ml" 421 11297 11324
type(
  OASISPlugin.Test.self_plugin
)
ident(
  int_ref test_plugin "src/plugins/custom/CustomPlugin.ml" 180 5358 5362 "src/plugins/custom/CustomPlugin.ml" 180 5358 5373
)
"src/plugins/custom/CustomPlugin.ml" 421 11297 11301 "src/plugins/custom/CustomPlugin.ml" 421 11297 11324
type(
  OASISPlugin.Test.self_t * OASISPlugin.all_t
)
"src/plugins/custom/CustomPlugin.ml" 423 11330 11336 "src/plugins/custom/CustomPlugin.ml" 423 11330 11346
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  def test_clean "src/plugins/custom/CustomPlugin.ml" 434 11576 11578 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
)
"src/plugins/custom/CustomPlugin.ml" 424 11349 11353 "src/plugins/custom/CustomPlugin.ml" 424 11349 11374
type(
  (OASISTypes.common_section * OASISTypes.test) OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default_cond:OASISTypes.command_line option OASISExpr.choices ->
  ?default:OASISTypes.command_line option ->
  ?feature:OASISFeatures.t ->
  OASISTypes.command_line option OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.test ->
   t -> OASISTypes.command_line option OASISExpr.choices) ->
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref OASISSchema.new_field_conditional "src/oasis/OASISSchema.mli" 65 3077 3077 "src/oasis/OASISSchema.mli" 76 3366 3388
)
"src/plugins/custom/CustomPlugin.ml" 425 11375 11381 "src/plugins/custom/CustomPlugin.ml" 425 11375 11397
type(
  (OASISTypes.common_section * OASISTypes.test) OASISSchema.t
)
ident(
  int_ref OASISTest.schema "src/oasis/OASISTest.mli" 34 1820 1820 "src/oasis/OASISTest.mli" 34 1820 1869
)
"src/plugins/custom/CustomPlugin.ml" 426 11398 11404 "src/plugins/custom/CustomPlugin.ml" 426 11398 11406
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 420 11277 11292 "src/plugins/custom/CustomPlugin.ml" 420 11277 11294
)
"src/plugins/custom/CustomPlugin.ml" 427 11407 11413 "src/plugins/custom/CustomPlugin.ml" 427 11407 11420
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 428 11421 11436 "src/plugins/custom/CustomPlugin.ml" 428 11421 11440
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option option
)
"src/plugins/custom/CustomPlugin.ml" 429 11441 11448 "src/plugins/custom/CustomPlugin.ml" 429 11441 11451
type(
  OASISTypes.command_line OASISValues.t ->
  OASISTypes.command_line option OASISValues.t
)
ident(
  int_ref OASISValues.opt "src/oasis/OASISValues.mli" 124 3996 3996 "src/oasis/OASISValues.mli" 124 3996 4024
)
"src/plugins/custom/CustomPlugin.ml" 429 11441 11452 "src/plugins/custom/CustomPlugin.ml" 429 11441 11464
type(
  OASISTypes.command_line OASISValues.t
)
ident(
  int_ref OASISValues.command_line "src/oasis/OASISValues.mli" 183 5012 5012 "src/oasis/OASISValues.mli" 183 5012 5054
)
"src/plugins/custom/CustomPlugin.ml" 429 11441 11447 "src/plugins/custom/CustomPlugin.ml" 429 11441 11465
type(
  OASISTypes.command_line option OASISValues.t
)
"src/plugins/custom/CustomPlugin.ml" 430 11466 11477 "src/plugins/custom/CustomPlugin.ml" 430 11466 11479
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 431 11483 11492 "src/plugins/custom/CustomPlugin.ml" 431 11483 11494
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/custom/CustomPlugin.ml" 431 11483 11495 "src/plugins/custom/CustomPlugin.ml" 431 11483 11528
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 431 11483 11492 "src/plugins/custom/CustomPlugin.ml" 431 11483 11528
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 430 11466 11472 "src/plugins/custom/CustomPlugin.ml" 431 11483 11529
type(
  unit -> string
)
"src/plugins/custom/CustomPlugin.ml" 432 11530 11536 "src/plugins/custom/CustomPlugin.ml" 432 11530 11545
type(
  t OASISPlugin.prop
)
ident(
  int_ref test_data "src/plugins/custom/CustomPlugin.ml" 181 5391 5395 "src/plugins/custom/CustomPlugin.ml" 181 5391 5404
)
"src/plugins/custom/CustomPlugin.ml" 432 11530 11551 "src/plugins/custom/CustomPlugin.ml" 432 11530 11552
type(
  OASISTypes.common_section * OASISTypes.test
)
"src/plugins/custom/CustomPlugin.ml" 432 11530 11553 "src/plugins/custom/CustomPlugin.ml" 432 11530 11554
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 432 11530 11558 "src/plugins/custom/CustomPlugin.ml" 432 11530 11569
)
"src/plugins/custom/CustomPlugin.ml" 432 11530 11558 "src/plugins/custom/CustomPlugin.ml" 432 11530 11559
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 432 11530 11553 "src/plugins/custom/CustomPlugin.ml" 432 11530 11554
)
"src/plugins/custom/CustomPlugin.ml" 432 11530 11558 "src/plugins/custom/CustomPlugin.ml" 432 11530 11569
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 432 11530 11546 "src/plugins/custom/CustomPlugin.ml" 432 11530 11570
type(
  OASISTypes.common_section * OASISTypes.test ->
  t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 424 11349 11353 "src/plugins/custom/CustomPlugin.ml" 432 11530 11570
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 434 11576 11582 "src/plugins/custom/CustomPlugin.ml" 434 11576 11596
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  def test_distclean "src/plugins/custom/CustomPlugin.ml" 445 11838 11840 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
)
"src/plugins/custom/CustomPlugin.ml" 435 11599 11603 "src/plugins/custom/CustomPlugin.ml" 435 11599 11624
type(
  (OASISTypes.common_section * OASISTypes.test) OASISSchema.t ->
  OASISPlugin.all_t ->
  OASISTypes.name ->
  ?default_cond:OASISTypes.command_line option OASISExpr.choices ->
  ?default:OASISTypes.command_line option ->
  ?feature:OASISFeatures.t ->
  OASISTypes.command_line option OASISValues.t ->
  (unit -> string) ->
  t OASISPlugin.prop ->
  (OASISTypes.common_section * OASISTypes.test ->
   t -> OASISTypes.command_line option OASISExpr.choices) ->
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref OASISSchema.new_field_conditional "src/oasis/OASISSchema.mli" 65 3077 3077 "src/oasis/OASISSchema.mli" 76 3366 3388
)
"src/plugins/custom/CustomPlugin.ml" 436 11625 11631 "src/plugins/custom/CustomPlugin.ml" 436 11625 11647
type(
  (OASISTypes.common_section * OASISTypes.test) OASISSchema.t
)
ident(
  int_ref OASISTest.schema "src/oasis/OASISTest.mli" 34 1820 1820 "src/oasis/OASISTest.mli" 34 1820 1869
)
"src/plugins/custom/CustomPlugin.ml" 437 11648 11654 "src/plugins/custom/CustomPlugin.ml" 437 11648 11656
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 420 11277 11292 "src/plugins/custom/CustomPlugin.ml" 420 11277 11294
)
"src/plugins/custom/CustomPlugin.ml" 438 11657 11663 "src/plugins/custom/CustomPlugin.ml" 438 11657 11674
type(
  OASISTypes.name
)
"src/plugins/custom/CustomPlugin.ml" 439 11675 11690 "src/plugins/custom/CustomPlugin.ml" 439 11675 11694
type(
  OASISTypes.command_line option
)
type(
  OASISTypes.command_line option option
)
"src/plugins/custom/CustomPlugin.ml" 440 11695 11702 "src/plugins/custom/CustomPlugin.ml" 440 11695 11705
type(
  OASISTypes.command_line OASISValues.t ->
  OASISTypes.command_line option OASISValues.t
)
ident(
  int_ref OASISValues.opt "src/oasis/OASISValues.mli" 124 3996 3996 "src/oasis/OASISValues.mli" 124 3996 4024
)
"src/plugins/custom/CustomPlugin.ml" 440 11695 11706 "src/plugins/custom/CustomPlugin.ml" 440 11695 11718
type(
  OASISTypes.command_line OASISValues.t
)
ident(
  int_ref OASISValues.command_line "src/oasis/OASISValues.mli" 183 5012 5012 "src/oasis/OASISValues.mli" 183 5012 5054
)
"src/plugins/custom/CustomPlugin.ml" 440 11695 11701 "src/plugins/custom/CustomPlugin.ml" 440 11695 11719
type(
  OASISTypes.command_line option OASISValues.t
)
"src/plugins/custom/CustomPlugin.ml" 441 11720 11731 "src/plugins/custom/CustomPlugin.ml" 441 11720 11733
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 442 11737 11746 "src/plugins/custom/CustomPlugin.ml" 442 11737 11748
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/plugins/custom/CustomPlugin.ml" 442 11737 11749 "src/plugins/custom/CustomPlugin.ml" 442 11737 11786
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 442 11737 11746 "src/plugins/custom/CustomPlugin.ml" 442 11737 11786
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 441 11720 11726 "src/plugins/custom/CustomPlugin.ml" 442 11737 11787
type(
  unit -> string
)
"src/plugins/custom/CustomPlugin.ml" 443 11788 11794 "src/plugins/custom/CustomPlugin.ml" 443 11788 11803
type(
  t OASISPlugin.prop
)
ident(
  int_ref test_data "src/plugins/custom/CustomPlugin.ml" 181 5391 5395 "src/plugins/custom/CustomPlugin.ml" 181 5391 5404
)
"src/plugins/custom/CustomPlugin.ml" 443 11788 11809 "src/plugins/custom/CustomPlugin.ml" 443 11788 11810
type(
  OASISTypes.common_section * OASISTypes.test
)
"src/plugins/custom/CustomPlugin.ml" 443 11788 11811 "src/plugins/custom/CustomPlugin.ml" 443 11788 11812
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 443 11788 11816 "src/plugins/custom/CustomPlugin.ml" 443 11788 11831
)
"src/plugins/custom/CustomPlugin.ml" 443 11788 11816 "src/plugins/custom/CustomPlugin.ml" 443 11788 11817
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 443 11788 11811 "src/plugins/custom/CustomPlugin.ml" 443 11788 11812
)
"src/plugins/custom/CustomPlugin.ml" 443 11788 11816 "src/plugins/custom/CustomPlugin.ml" 443 11788 11831
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 443 11788 11804 "src/plugins/custom/CustomPlugin.ml" 443 11788 11832
type(
  OASISTypes.common_section * OASISTypes.test ->
  t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 435 11599 11603 "src/plugins/custom/CustomPlugin.ml" 443 11788 11832
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 445 11838 11844 "src/plugins/custom/CustomPlugin.ml" 445 11838 11853
type(
  PropList.Data.t -> t
)
ident(
  def generator "src/plugins/custom/CustomPlugin.ml" 452 12021 12023 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
)
"src/plugins/custom/CustomPlugin.ml" 445 11838 11854 "src/plugins/custom/CustomPlugin.ml" 445 11838 11858
type(
  PropList.Data.t
)
ident(
  def data "src/plugins/custom/CustomPlugin.ml" 446 11861 11865 "src/plugins/custom/CustomPlugin.ml" 450 12010 12015
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11906 "src/plugins/custom/CustomPlugin.ml" 447 11867 11910
type(
  bool
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11890 "src/plugins/custom/CustomPlugin.ml" 447 11867 11910
type(
  OASISExpr.t
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11913 "src/plugins/custom/CustomPlugin.ml" 447 11867 11920
type(
  OASISTypes.prog
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11922 "src/plugins/custom/CustomPlugin.ml" 447 11867 11924
type(
  OASISTypes.args
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11912 "src/plugins/custom/CustomPlugin.ml" 447 11867 11925
type(
  OASISTypes.command_line
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11890 "src/plugins/custom/CustomPlugin.ml" 447 11867 11925
type(
  OASISExpr.t * OASISTypes.command_line
)
"src/plugins/custom/CustomPlugin.ml" 447 11867 11889 "src/plugins/custom/CustomPlugin.ml" 447 11867 11926
type(
  OASISTypes.command_line OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 448 11928 11950 "src/plugins/custom/CustomPlugin.ml" 448 11928 11960
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref test_clean "src/plugins/custom/CustomPlugin.ml" 423 11330 11336 "src/plugins/custom/CustomPlugin.ml" 423 11330 11346
)
"src/plugins/custom/CustomPlugin.ml" 448 11928 11961 "src/plugins/custom/CustomPlugin.ml" 448 11928 11965
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 445 11838 11854 "src/plugins/custom/CustomPlugin.ml" 445 11838 11858
)
"src/plugins/custom/CustomPlugin.ml" 448 11928 11950 "src/plugins/custom/CustomPlugin.ml" 448 11928 11965
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 449 11967 11989 "src/plugins/custom/CustomPlugin.ml" 449 11967 12003
type(
  PropList.Data.t -> OASISTypes.command_line option OASISExpr.choices
)
ident(
  int_ref test_distclean "src/plugins/custom/CustomPlugin.ml" 434 11576 11582 "src/plugins/custom/CustomPlugin.ml" 434 11576 11596
)
"src/plugins/custom/CustomPlugin.ml" 449 11967 12004 "src/plugins/custom/CustomPlugin.ml" 449 11967 12008
type(
  PropList.Data.t
)
ident(
  int_ref data "src/plugins/custom/CustomPlugin.ml" 445 11838 11854 "src/plugins/custom/CustomPlugin.ml" 445 11838 11858
)
"src/plugins/custom/CustomPlugin.ml" 449 11967 11989 "src/plugins/custom/CustomPlugin.ml" 449 11967 12008
type(
  OASISTypes.command_line option OASISExpr.choices
)
"src/plugins/custom/CustomPlugin.ml" 446 11861 11865 "src/plugins/custom/CustomPlugin.ml" 450 12010 12015
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12027 "src/plugins/custom/CustomPlugin.ml" 452 12021 12031
type(
  'a ->
  'b ->
  OASISTypes.common_section * OASISTypes.test ->
  'a *
  (ctxt:'c -> 'd -> OASISTypes.common_section * 'e -> string array -> float,
   ctxt:'f -> 'g -> 'h -> string array -> unit)
  OASISPlugin.setup_changes
)
ident(
  def doit "src/plugins/custom/CustomPlugin.ml" 477 12718 12720 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12032 "src/plugins/custom/CustomPlugin.ml" 452 12021 12043
type(
  'a
)
ident(
  def plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 452 12021 12044 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12044 "src/plugins/custom/CustomPlugin.ml" 452 12021 12045
type(
  'b
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12047 "src/plugins/custom/CustomPlugin.ml" 452 12021 12049
type(
  OASISTypes.common_section
)
ident(
  def cs "src/plugins/custom/CustomPlugin.ml" 453 12059 12063 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12051 "src/plugins/custom/CustomPlugin.ml" 452 12021 12055
type(
  OASISTypes.test
)
ident(
  def test "src/plugins/custom/CustomPlugin.ml" 453 12059 12063 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12046 "src/plugins/custom/CustomPlugin.ml" 452 12021 12056
type(
  OASISTypes.common_section * OASISTypes.test
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12067 "src/plugins/custom/CustomPlugin.ml" 453 12059 12068
type(
  t
)
ident(
  def t "src/plugins/custom/CustomPlugin.ml" 454 12133 12137 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12073 "src/plugins/custom/CustomPlugin.ml" 453 12059 12082
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 445 11838 11844 "src/plugins/custom/CustomPlugin.ml" 445 11838 11853
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12083 "src/plugins/custom/CustomPlugin.ml" 453 12059 12085
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/plugins/custom/CustomPlugin.ml" 452 12021 12047 "src/plugins/custom/CustomPlugin.ml" 452 12021 12049
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12083 "src/plugins/custom/CustomPlugin.ml" 453 12059 12093
type(
  PropList.Data.t
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12072 "src/plugins/custom/CustomPlugin.ml" 453 12059 12094
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12111 "src/plugins/custom/CustomPlugin.ml" 453 12059 12115
type(
  OASISTypes.test
)
ident(
  int_ref test "src/plugins/custom/CustomPlugin.ml" 452 12021 12051 "src/plugins/custom/CustomPlugin.ml" 452 12021 12055
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12111 "src/plugins/custom/CustomPlugin.ml" 453 12059 12128
type(
  OASISTypes.command_line OASISTypes.conditional
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12071 "src/plugins/custom/CustomPlugin.ml" 453 12059 12129
type(
  t
)
"src/plugins/custom/CustomPlugin.ml" 454 12133 12137 "src/plugins/custom/CustomPlugin.ml" 454 12133 12148
type(
  'a
)
ident(
  int_ref plugin_ctxt "src/plugins/custom/CustomPlugin.ml" 452 12021 12032 "src/plugins/custom/CustomPlugin.ml" 452 12021 12043
)
"src/plugins/custom/CustomPlugin.ml" 457 12188 12197 "src/plugins/custom/CustomPlugin.ml" 457 12188 12220
type(
  OASISPlugin.modul
)
ident(
  int_ref CustomData.customsys_ml "src/plugins/custom/CustomData.ml" 2 46 50 "src/plugins/custom/CustomData.ml" 2 46 62
)
"src/plugins/custom/CustomPlugin.ml" 457 12188 12196 "src/plugins/custom/CustomPlugin.ml" 457 12188 12221
type(
  OASISPlugin.modul list
)
"src/plugins/custom/CustomPlugin.ml" 460 12242 12250 "src/plugins/custom/CustomPlugin.ml" 460 12242 12286
type(
  (ctxt:'c ->
   t -> 'd -> OASISTypes.common_section * 'e -> string array -> float) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:'c -> 'd -> OASISTypes.common_section * 'e -> string array -> float)
  OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 461 12287 12297 "src/plugins/custom/CustomPlugin.ml" 461 12287 12313
type(
  ctxt:'c ->
  t -> 'd -> OASISTypes.common_section * 'e -> string array -> float
)
ident(
  int_ref TestRuntime.main "src/plugins/custom/CustomPlugin.ml" 117 4021 4027 "src/plugins/custom/CustomPlugin.ml" 117 4021 4031
)
"src/plugins/custom/CustomPlugin.ml" 461 12287 12314 "src/plugins/custom/CustomPlugin.ml" 461 12287 12340
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 462 12341 12351 "src/plugins/custom/CustomPlugin.ml" 462 12341 12352
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 453 12059 12067 "src/plugins/custom/CustomPlugin.ml" 453 12059 12068
)
"src/plugins/custom/CustomPlugin.ml" 462 12341 12353 "src/plugins/custom/CustomPlugin.ml" 462 12341 12361
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 460 12242 12250 "src/plugins/custom/CustomPlugin.ml" 462 12341 12361
type(
  (ctxt:'c -> 'd -> OASISTypes.common_section * 'e -> string array -> float)
  OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 466 12396 12407 "src/plugins/custom/CustomPlugin.ml" 466 12396 12443
type(
  (ctxt:'f -> t -> 'g -> 'h -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:'f -> 'g -> 'h -> string array -> unit) OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 467 12444 12457 "src/plugins/custom/CustomPlugin.ml" 467 12444 12474
type(
  ctxt:'f -> t -> 'g -> 'h -> string array -> unit
)
ident(
  int_ref TestRuntime.clean "src/plugins/custom/CustomPlugin.ml" 128 4242 4248 "src/plugins/custom/CustomPlugin.ml" 128 4242 4253
)
"src/plugins/custom/CustomPlugin.ml" 467 12444 12475 "src/plugins/custom/CustomPlugin.ml" 467 12444 12502
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 468 12503 12516 "src/plugins/custom/CustomPlugin.ml" 468 12503 12517
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 453 12059 12067 "src/plugins/custom/CustomPlugin.ml" 453 12059 12068
)
"src/plugins/custom/CustomPlugin.ml" 468 12503 12518 "src/plugins/custom/CustomPlugin.ml" 468 12503 12526
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 466 12396 12406 "src/plugins/custom/CustomPlugin.ml" 468 12503 12527
type(
  (ctxt:'f -> 'g -> 'h -> string array -> unit) OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 465 12383 12391 "src/plugins/custom/CustomPlugin.ml" 468 12503 12527
type(
  (ctxt:'f -> 'g -> 'h -> string array -> unit) OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 472 12566 12577 "src/plugins/custom/CustomPlugin.ml" 472 12566 12613
type(
  (ctxt:'f -> t -> 'g -> 'h -> string array -> unit) ->
  string ->
  t ->
  (t -> OASISDataNotation.t) ->
  (ctxt:'f -> 'g -> 'h -> string array -> unit) OASISDataNotation.func
)
ident(
  int_ref OASISDataNotation.func_with_arg_ctxt "src/oasis/OASISDataNotation.ml" 109 3208 3212 "src/oasis/OASISDataNotation.ml" 109 3208 3230
)
"src/plugins/custom/CustomPlugin.ml" 473 12614 12627 "src/plugins/custom/CustomPlugin.ml" 473 12614 12648
type(
  ctxt:'f -> t -> 'g -> 'h -> string array -> unit
)
ident(
  int_ref TestRuntime.distclean "src/plugins/custom/CustomPlugin.ml" 130 4311 4317 "src/plugins/custom/CustomPlugin.ml" 130 4311 4326
)
"src/plugins/custom/CustomPlugin.ml" 473 12614 12649 "src/plugins/custom/CustomPlugin.ml" 473 12614 12680
type(
  string
)
"src/plugins/custom/CustomPlugin.ml" 474 12681 12694 "src/plugins/custom/CustomPlugin.ml" 474 12681 12695
type(
  t
)
ident(
  int_ref t "src/plugins/custom/CustomPlugin.ml" 453 12059 12067 "src/plugins/custom/CustomPlugin.ml" 453 12059 12068
)
"src/plugins/custom/CustomPlugin.ml" 474 12681 12696 "src/plugins/custom/CustomPlugin.ml" 474 12681 12704
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/plugins/custom/CustomPlugin.ml" 239 6586 6590 "src/plugins/custom/CustomPlugin.ml" 239 6586 6598
)
"src/plugins/custom/CustomPlugin.ml" 472 12566 12576 "src/plugins/custom/CustomPlugin.ml" 474 12681 12705
type(
  (ctxt:'f -> 'g -> 'h -> string array -> unit) OASISDataNotation.func
)
"src/plugins/custom/CustomPlugin.ml" 471 12553 12561 "src/plugins/custom/CustomPlugin.ml" 474 12681 12705
type(
  (ctxt:'f -> 'g -> 'h -> string array -> unit) OASISDataNotation.func option
)
"src/plugins/custom/CustomPlugin.ml" 455 12150 12154 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
type(
  (ctxt:'c -> 'd -> OASISTypes.common_section * 'e -> string array -> float,
   ctxt:'f -> 'g -> 'h -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 454 12133 12137 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
type(
  'a *
  (ctxt:'c -> 'd -> OASISTypes.common_section * 'e -> string array -> float,
   ctxt:'f -> 'g -> 'h -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 453 12059 12063 "src/plugins/custom/CustomPlugin.ml" 475 12707 12712
type(
  'a *
  (ctxt:'c -> 'd -> OASISTypes.common_section * 'e -> string array -> float,
   ctxt:'f -> 'g -> 'h -> string array -> unit)
  OASISPlugin.setup_changes
)
"src/plugins/custom/CustomPlugin.ml" 477 12718 12720 "src/plugins/custom/CustomPlugin.ml" 477 12718 12737
type(
  OASISPlugin.Test.self_t -> OASISPlugin.Test.act -> unit
)
ident(
  int_ref OASISPlugin.Test.register_act "src/oasis/OASISPlugin.mli" 214 5940 5942 "src/oasis/OASISPlugin.mli" 214 5940 5981
)
"src/plugins/custom/CustomPlugin.ml" 477 12718 12738 "src/plugins/custom/CustomPlugin.ml" 477 12718 12745
type(
  OASISPlugin.Test.self_t
)
ident(
  int_ref self_id "src/plugins/custom/CustomPlugin.ml" 420 11277 11283 "src/plugins/custom/CustomPlugin.ml" 420 11277 11290
)
"src/plugins/custom/CustomPlugin.ml" 477 12718 12746 "src/plugins/custom/CustomPlugin.ml" 477 12718 12750
type(
  OASISPlugin.Test.act
)
ident(
  int_ref doit "src/plugins/custom/CustomPlugin.ml" 452 12021 12027 "src/plugins/custom/CustomPlugin.ml" 452 12021 12031
)
"src/plugins/custom/CustomPlugin.ml" 477 12718 12720 "src/plugins/custom/CustomPlugin.ml" 477 12718 12750
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 478 12752 12754 "src/plugins/custom/CustomPlugin.ml" 478 12752 12780
type(
  OASISPlugin.all_t -> t OASISPlugin.prop -> (PropList.Data.t -> t) -> unit
)
ident(
  int_ref OASISPlugin.register_generator_package "src/oasis/OASISPlugin.mli" 150 4469 4469 "src/oasis/OASISPlugin.mli" 151 4501 4554
)
"src/plugins/custom/CustomPlugin.ml" 478 12752 12781 "src/plugins/custom/CustomPlugin.ml" 478 12752 12783
type(
  OASISPlugin.all_t
)
ident(
  int_ref id "src/plugins/custom/CustomPlugin.ml" 420 11277 11292 "src/plugins/custom/CustomPlugin.ml" 420 11277 11294
)
"src/plugins/custom/CustomPlugin.ml" 478 12752 12784 "src/plugins/custom/CustomPlugin.ml" 478 12752 12793
type(
  t OASISPlugin.prop
)
ident(
  int_ref test_data "src/plugins/custom/CustomPlugin.ml" 181 5391 5395 "src/plugins/custom/CustomPlugin.ml" 181 5391 5404
)
"src/plugins/custom/CustomPlugin.ml" 478 12752 12794 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  PropList.Data.t -> t
)
ident(
  int_ref generator "src/plugins/custom/CustomPlugin.ml" 445 11838 11844 "src/plugins/custom/CustomPlugin.ml" 445 11838 11853
)
"src/plugins/custom/CustomPlugin.ml" 478 12752 12754 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 477 12718 12720 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 452 12021 12023 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 445 11838 11840 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 434 11576 11578 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 423 11330 11332 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 420 11277 11279 "src/plugins/custom/CustomPlugin.ml" 478 12752 12803
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 481 12806 12810 "src/plugins/custom/CustomPlugin.ml" 481 12806 12814
type(
  unit -> unit
)
ident(
  def init "src/plugins/custom/CustomPlugin.ml" 489 12970 12984 "src/plugins/custom/CustomPlugin.ml" 0 0 -1
)
"src/plugins/custom/CustomPlugin.ml" 481 12806 12815 "src/plugins/custom/CustomPlugin.ml" 481 12806 12817
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 482 12820 12822 "src/plugins/custom/CustomPlugin.ml" 482 12820 12835
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
  OASISTypes.plugin -> OASISPlugin.help -> unit
)
ident(
  int_ref OASISPlugin.register_help "src/oasis/OASISPlugin.mli" 189 5455 5455 "src/oasis/OASISPlugin.mli" 189 5455 5517
)
"src/plugins/custom/CustomPlugin.ml" 483 12836 12840 "src/plugins/custom/CustomPlugin.ml" 483 12836 12851
type(
  [ `All | `Build | `Configure | `Doc | `Extra | `Install | `Test ]
  OASISTypes.plugin
)
ident(
  int_ref conf_plugin "src/plugins/custom/CustomPlugin.ml" 167 5014 5018 "src/plugins/custom/CustomPlugin.ml" 167 5014 5029
)
"src/plugins/custom/CustomPlugin.ml" 484 12852 12857 "src/plugins/custom/CustomPlugin.ml" 484 12852 12869
type(
  string list -> OASISPlugin.help
)
ident(
  int_ref OASISPlugin.help_default "src/oasis/OASISPlugin.mli" 183 5271 5271 "src/oasis/OASISPlugin.mli" 183 5271 5308
)
"src/plugins/custom/CustomPlugin.ml" 484 12852 12870 "src/plugins/custom/CustomPlugin.ml" 484 12852 12900
type(
  string list
)
ident(
  int_ref CustomData.readme_template_mkd "src/plugins/custom/CustomData.ml" 137 4227 4231 "src/plugins/custom/CustomData.ml" 137 4227 4250
)
"src/plugins/custom/CustomPlugin.ml" 484 12852 12856 "src/plugins/custom/CustomPlugin.ml" 484 12852 12901
type(
  OASISPlugin.help
)
"src/plugins/custom/CustomPlugin.ml" 482 12820 12822 "src/plugins/custom/CustomPlugin.ml" 484 12852 12901
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 485 12903 12905 "src/plugins/custom/CustomPlugin.ml" 485 12903 12914
type(
  unit -> unit
)
ident(
  int_ref conf_init "src/plugins/custom/CustomPlugin.ml" 283 7762 7766 "src/plugins/custom/CustomPlugin.ml" 283 7762 7775
)
"src/plugins/custom/CustomPlugin.ml" 485 12903 12915 "src/plugins/custom/CustomPlugin.ml" 485 12903 12917
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 485 12903 12905 "src/plugins/custom/CustomPlugin.ml" 485 12903 12917
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 486 12919 12921 "src/plugins/custom/CustomPlugin.ml" 486 12919 12931
type(
  unit -> unit
)
ident(
  int_ref build_init "src/plugins/custom/CustomPlugin.ml" 303 8257 8261 "src/plugins/custom/CustomPlugin.ml" 303 8257 8271
)
"src/plugins/custom/CustomPlugin.ml" 486 12919 12932 "src/plugins/custom/CustomPlugin.ml" 486 12919 12934
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 486 12919 12921 "src/plugins/custom/CustomPlugin.ml" 486 12919 12934
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 487 12936 12938 "src/plugins/custom/CustomPlugin.ml" 487 12936 12950
type(
  unit -> unit
)
ident(
  int_ref install_init "src/plugins/custom/CustomPlugin.ml" 347 9359 9363 "src/plugins/custom/CustomPlugin.ml" 347 9359 9375
)
"src/plugins/custom/CustomPlugin.ml" 487 12936 12951 "src/plugins/custom/CustomPlugin.ml" 487 12936 12953
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 487 12936 12938 "src/plugins/custom/CustomPlugin.ml" 487 12936 12953
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 488 12955 12957 "src/plugins/custom/CustomPlugin.ml" 488 12955 12965
type(
  unit -> unit
)
ident(
  int_ref doc_init "src/plugins/custom/CustomPlugin.ml" 375 10142 10146 "src/plugins/custom/CustomPlugin.ml" 375 10142 10154
)
"src/plugins/custom/CustomPlugin.ml" 488 12955 12966 "src/plugins/custom/CustomPlugin.ml" 488 12955 12968
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 488 12955 12957 "src/plugins/custom/CustomPlugin.ml" 488 12955 12968
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 489 12970 12972 "src/plugins/custom/CustomPlugin.ml" 489 12970 12981
type(
  unit -> unit
)
ident(
  int_ref test_init "src/plugins/custom/CustomPlugin.ml" 419 11258 11262 "src/plugins/custom/CustomPlugin.ml" 419 11258 11271
)
"src/plugins/custom/CustomPlugin.ml" 489 12970 12982 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 489 12970 12972 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 488 12955 12957 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 487 12936 12938 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 486 12919 12921 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 485 12903 12905 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
"src/plugins/custom/CustomPlugin.ml" 482 12820 12822 "src/plugins/custom/CustomPlugin.ml" 489 12970 12984
type(
  unit
)
