"src/cli/CLIArgExt.ml" 47 1971 1975 "src/cli/CLIArgExt.ml" 47 1971 1984
type(
  string
)
ident(
  def usage_msg "src/cli/CLIArgExt.ml" 61 2302 2302 "src/cli/CLIArgExt.ml" 0 0 -1
)
"src/cli/CLIArgExt.ml" 48 1987 1989 "src/cli/CLIArgExt.ml" 48 1987 2003
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/cli/CLIArgExt.ml" 48 1987 2005 "src/cli/CLIArgExt.ml" 48 1987 2007
type(
  (string -> string, unit, string, string) format4 ->
  (string -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/cli/CLIArgExt.ml" 48 1987 2008 "src/cli/CLIArgExt.ml" 57 2209 2238
type(
  (string -> string, unit, string, string) format4
)
"src/cli/CLIArgExt.ml" 48 1987 2004 "src/cli/CLIArgExt.ml" 57 2209 2239
type(
  (string -> string, unit, string, string) format4
)
"src/cli/CLIArgExt.ml" 58 2240 2245 "src/cli/CLIArgExt.ml" 58 2240 2275
type(
  OASISVersion.t -> string
)
ident(
  int_ref OASISVersion.string_of_version "src/oasis/OASISVersion.mli" 57 2463 2463 "src/oasis/OASISVersion.mli" 57 2463 2497
)
"src/cli/CLIArgExt.ml" 58 2240 2276 "src/cli/CLIArgExt.ml" 58 2240 2298
type(
  OASISVersion.t
)
ident(
  int_ref OASISConf.version_full "src/oasis/OASISConf.ml" 24 1703 1707 "src/oasis/OASISConf.ml" 24 1703 1719
)
"src/cli/CLIArgExt.ml" 58 2240 2244 "src/cli/CLIArgExt.ml" 58 2240 2299
type(
  string
)
"src/cli/CLIArgExt.ml" 48 1987 1989 "src/cli/CLIArgExt.ml" 58 2240 2299
type(
  string
)
"src/cli/CLIArgExt.ml" 61 2302 2306 "src/cli/CLIArgExt.ml" 61 2302 2312
type(
  unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
ident(
  def fspecs "src/cli/CLIArgExt.ml" 64 2337 2337 "src/cli/CLIArgExt.ml" 0 0 -1
)
"src/cli/CLIArgExt.ml" 61 2302 2315 "src/cli/CLIArgExt.ml" 61 2302 2334
type(
  unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
ident(
  int_ref OASISContext.fspecs "src/oasis/OASISContext.mli" 73 2625 2625 "src/oasis/OASISContext.mli" 73 2625 2694
)
"src/cli/CLIArgExt.ml" 64 2337 2341 "src/cli/CLIArgExt.ml" 64 2337 2354
type(
  ctxt:OASISContext.t ->
  help_extent -> help_style -> Format.formatter -> unit -> unit
)
ident(
  def pp_print_help "src/cli/CLIArgExt.ml" 318 9397 9397 "src/cli/CLIArgExt.ml" 0 0 -1
)
"src/cli/CLIArgExt.ml" 64 2337 2356 "src/cli/CLIArgExt.ml" 64 2337 2360
type(
  OASISContext.t
)
ident(
  def ctxt "src/cli/CLIArgExt.ml" 64 2337 2361 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 64 2337 2361 "src/cli/CLIArgExt.ml" 64 2337 2365
type(
  help_extent
)
ident(
  def hext "src/cli/CLIArgExt.ml" 64 2337 2366 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 64 2337 2366 "src/cli/CLIArgExt.ml" 64 2337 2370
type(
  help_style
)
ident(
  def hsty "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 64 2337 2375 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 64 2337 2375 "src/cli/CLIArgExt.ml" 64 2337 2377
type(
  unit
)
"src/cli/CLIArgExt.ml" 67 2417 2423 "src/cli/CLIArgExt.ml" 67 2417 2441
type(
  int -> Format.formatter -> string -> unit
)
ident(
  def pp_print_justified "src/cli/CLIArgExt.ml" 73 2609 2611 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 67 2417 2442 "src/cli/CLIArgExt.ml" 67 2417 2444
type(
  int
)
ident(
  def sz "src/cli/CLIArgExt.ml" 67 2417 2445 "src/cli/CLIArgExt.ml" 69 2517 2556
)
"src/cli/CLIArgExt.ml" 67 2417 2445 "src/cli/CLIArgExt.ml" 67 2417 2448
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 67 2417 2449 "src/cli/CLIArgExt.ml" 69 2517 2556
)
"src/cli/CLIArgExt.ml" 67 2417 2449 "src/cli/CLIArgExt.ml" 67 2417 2452
type(
  string
)
ident(
  def str "src/cli/CLIArgExt.ml" 68 2455 2459 "src/cli/CLIArgExt.ml" 69 2517 2556
)
"src/cli/CLIArgExt.ml" 68 2455 2463 "src/cli/CLIArgExt.ml" 68 2455 2470
type(
  string
)
ident(
  def padding "src/cli/CLIArgExt.ml" 69 2517 2521 "src/cli/CLIArgExt.ml" 69 2517 2556
)
"src/cli/CLIArgExt.ml" 68 2455 2473 "src/cli/CLIArgExt.ml" 68 2455 2484
type(
  int -> char -> string
)
ident(
  int_ref Stdlib.String.make "string.mli" 85 3764 3764 "string.mli" 85 3764 3796
)
"src/cli/CLIArgExt.ml" 68 2455 2486 "src/cli/CLIArgExt.ml" 68 2455 2488
type(
  int
)
ident(
  int_ref sz "src/cli/CLIArgExt.ml" 67 2417 2442 "src/cli/CLIArgExt.ml" 67 2417 2444
)
"src/cli/CLIArgExt.ml" 68 2455 2489 "src/cli/CLIArgExt.ml" 68 2455 2490
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/cli/CLIArgExt.ml" 68 2455 2491 "src/cli/CLIArgExt.ml" 68 2455 2504
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/cli/CLIArgExt.ml" 68 2455 2505 "src/cli/CLIArgExt.ml" 68 2455 2508
type(
  string
)
ident(
  int_ref str "src/cli/CLIArgExt.ml" 67 2417 2449 "src/cli/CLIArgExt.ml" 67 2417 2452
)
"src/cli/CLIArgExt.ml" 68 2455 2491 "src/cli/CLIArgExt.ml" 68 2455 2508
type(
  int
)
"src/cli/CLIArgExt.ml" 68 2455 2485 "src/cli/CLIArgExt.ml" 68 2455 2509
type(
  int
)
"src/cli/CLIArgExt.ml" 68 2455 2510 "src/cli/CLIArgExt.ml" 68 2455 2513
type(
  char
)
"src/cli/CLIArgExt.ml" 68 2455 2473 "src/cli/CLIArgExt.ml" 68 2455 2513
type(
  string
)
"src/cli/CLIArgExt.ml" 69 2517 2521 "src/cli/CLIArgExt.ml" 69 2517 2536
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/cli/CLIArgExt.ml" 69 2517 2537 "src/cli/CLIArgExt.ml" 69 2517 2540
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 67 2417 2445 "src/cli/CLIArgExt.ml" 67 2417 2448
)
"src/cli/CLIArgExt.ml" 69 2517 2542 "src/cli/CLIArgExt.ml" 69 2517 2545
type(
  string
)
ident(
  int_ref str "src/cli/CLIArgExt.ml" 67 2417 2449 "src/cli/CLIArgExt.ml" 67 2417 2452
)
"src/cli/CLIArgExt.ml" 69 2517 2546 "src/cli/CLIArgExt.ml" 69 2517 2547
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 69 2517 2548 "src/cli/CLIArgExt.ml" 69 2517 2555
type(
  string
)
ident(
  int_ref padding "src/cli/CLIArgExt.ml" 68 2455 2463 "src/cli/CLIArgExt.ml" 68 2455 2470
)
"src/cli/CLIArgExt.ml" 69 2517 2541 "src/cli/CLIArgExt.ml" 69 2517 2556
type(
  string
)
"src/cli/CLIArgExt.ml" 69 2517 2521 "src/cli/CLIArgExt.ml" 69 2517 2556
type(
  unit
)
"src/cli/CLIArgExt.ml" 68 2455 2459 "src/cli/CLIArgExt.ml" 69 2517 2556
type(
  unit
)
"src/cli/CLIArgExt.ml" 73 2609 2615 "src/cli/CLIArgExt.ml" 73 2609 2634
type(
  int -> Format.formatter -> string * string -> unit
)
ident(
  def pp_print_output_def "src/cli/CLIArgExt.ml" 83 2870 2872 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 73 2609 2635 "src/cli/CLIArgExt.ml" 73 2609 2637
type(
  int
)
ident(
  def sz "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 80 2836 2863
)
"src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 73 2609 2642 "src/cli/CLIArgExt.ml" 80 2836 2863
)
"src/cli/CLIArgExt.ml" 73 2609 2643 "src/cli/CLIArgExt.ml" 73 2609 2647
type(
  string
)
ident(
  def term "src/cli/CLIArgExt.ml" 74 2656 2660 "src/cli/CLIArgExt.ml" 80 2836 2863
)
"src/cli/CLIArgExt.ml" 73 2609 2649 "src/cli/CLIArgExt.ml" 73 2609 2652
type(
  string
)
ident(
  def def "src/cli/CLIArgExt.ml" 74 2656 2660 "src/cli/CLIArgExt.ml" 80 2836 2863
)
"src/cli/CLIArgExt.ml" 73 2609 2642 "src/cli/CLIArgExt.ml" 73 2609 2653
type(
  string * string
)
"src/cli/CLIArgExt.ml" 74 2656 2660 "src/cli/CLIArgExt.ml" 74 2656 2675
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/cli/CLIArgExt.ml" 74 2656 2676 "src/cli/CLIArgExt.ml" 74 2656 2679
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 74 2656 2680 "src/cli/CLIArgExt.ml" 74 2656 2684
type(
  string
)
"src/cli/CLIArgExt.ml" 74 2656 2660 "src/cli/CLIArgExt.ml" 74 2656 2684
type(
  unit
)
"src/cli/CLIArgExt.ml" 75 2686 2690 "src/cli/CLIArgExt.ml" 75 2686 2708
type(
  int -> Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_justified "src/cli/CLIArgExt.ml" 67 2417 2423 "src/cli/CLIArgExt.ml" 67 2417 2441
)
"src/cli/CLIArgExt.ml" 75 2686 2709 "src/cli/CLIArgExt.ml" 75 2686 2711
type(
  int
)
ident(
  int_ref sz "src/cli/CLIArgExt.ml" 73 2609 2635 "src/cli/CLIArgExt.ml" 73 2609 2637
)
"src/cli/CLIArgExt.ml" 75 2686 2712 "src/cli/CLIArgExt.ml" 75 2686 2715
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 75 2686 2716 "src/cli/CLIArgExt.ml" 75 2686 2720
type(
  string
)
ident(
  int_ref term "src/cli/CLIArgExt.ml" 73 2609 2643 "src/cli/CLIArgExt.ml" 73 2609 2647
)
"src/cli/CLIArgExt.ml" 75 2686 2690 "src/cli/CLIArgExt.ml" 75 2686 2720
type(
  unit
)
"src/cli/CLIArgExt.ml" 76 2722 2726 "src/cli/CLIArgExt.ml" 76 2722 2741
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/cli/CLIArgExt.ml" 76 2722 2742 "src/cli/CLIArgExt.ml" 76 2722 2745
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 76 2722 2746 "src/cli/CLIArgExt.ml" 76 2722 2750
type(
  string
)
"src/cli/CLIArgExt.ml" 76 2722 2726 "src/cli/CLIArgExt.ml" 76 2722 2750
type(
  unit
)
"src/cli/CLIArgExt.ml" 77 2752 2756 "src/cli/CLIArgExt.ml" 77 2752 2767
type(
  Format.formatter -> int -> unit
)
ident(
  int_ref Stdlib.Format.pp_open_box "format.mli" 141 6535 6535 "format.mli" 141 6535 6577
)
"src/cli/CLIArgExt.ml" 77 2752 2768 "src/cli/CLIArgExt.ml" 77 2752 2771
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 77 2752 2772 "src/cli/CLIArgExt.ml" 77 2752 2773
type(
  int
)
"src/cli/CLIArgExt.ml" 77 2752 2756 "src/cli/CLIArgExt.ml" 77 2752 2773
type(
  unit
)
"src/cli/CLIArgExt.ml" 78 2775 2779 "src/cli/CLIArgExt.ml" 78 2775 2801
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_string_spaced "src/oasis/FormatExt.mli" 34 1872 1872 "src/oasis/FormatExt.mli" 34 1872 1934
)
"src/cli/CLIArgExt.ml" 78 2775 2802 "src/cli/CLIArgExt.ml" 78 2775 2805
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 78 2775 2806 "src/cli/CLIArgExt.ml" 78 2775 2809
type(
  string
)
ident(
  int_ref def "src/cli/CLIArgExt.ml" 73 2609 2649 "src/cli/CLIArgExt.ml" 73 2609 2652
)
"src/cli/CLIArgExt.ml" 78 2775 2779 "src/cli/CLIArgExt.ml" 78 2775 2809
type(
  unit
)
"src/cli/CLIArgExt.ml" 79 2811 2815 "src/cli/CLIArgExt.ml" 79 2811 2827
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_close_box "format.mli" 165 7379 7379 "format.mli" 165 7379 7423
)
"src/cli/CLIArgExt.ml" 79 2811 2828 "src/cli/CLIArgExt.ml" 79 2811 2831
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 79 2811 2832 "src/cli/CLIArgExt.ml" 79 2811 2834
type(
  unit
)
"src/cli/CLIArgExt.ml" 79 2811 2815 "src/cli/CLIArgExt.ml" 79 2811 2834
type(
  unit
)
"src/cli/CLIArgExt.ml" 80 2836 2840 "src/cli/CLIArgExt.ml" 80 2836 2856
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/cli/CLIArgExt.ml" 80 2836 2857 "src/cli/CLIArgExt.ml" 80 2836 2860
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 73 2609 2638 "src/cli/CLIArgExt.ml" 73 2609 2641
)
"src/cli/CLIArgExt.ml" 80 2836 2861 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 80 2836 2840 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 79 2811 2815 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 78 2775 2779 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 77 2752 2756 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 76 2722 2726 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 75 2686 2690 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 74 2656 2660 "src/cli/CLIArgExt.ml" 80 2836 2863
type(
  unit
)
"src/cli/CLIArgExt.ml" 83 2870 2876 "src/cli/CLIArgExt.ml" 83 2870 2890
type(
  bool -> Format.formatter -> (string * Arg.spec * string) list -> unit
)
ident(
  def pp_print_specs "src/cli/CLIArgExt.ml" 140 4284 4286 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 83 2870 2891 "src/cli/CLIArgExt.ml" 83 2870 2900
type(
  bool
)
ident(
  def spec_help "src/cli/CLIArgExt.ml" 83 2870 2901 "src/cli/CLIArgExt.ml" 137 4248 4277
)
"src/cli/CLIArgExt.ml" 83 2870 2901 "src/cli/CLIArgExt.ml" 83 2870 2904
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 83 2870 2905 "src/cli/CLIArgExt.ml" 137 4248 4277
)
"src/cli/CLIArgExt.ml" 83 2870 2905 "src/cli/CLIArgExt.ml" 83 2870 2910
type(
  (string * Arg.spec * string) list
)
ident(
  def specs "src/cli/CLIArgExt.ml" 85 2914 2918 "src/cli/CLIArgExt.ml" 137 4248 4277
)
"src/cli/CLIArgExt.ml" 85 2914 2922 "src/cli/CLIArgExt.ml" 85 2914 2932
type(
  (string * string) list
)
ident(
  def help_specs "src/cli/CLIArgExt.ml" 117 3777 3781 "src/cli/CLIArgExt.ml" 137 4248 4277
)
"src/cli/CLIArgExt.ml" 86 2935 2941 "src/cli/CLIArgExt.ml" 86 2935 2956
type(
  (string * string) list -> (string * string) list -> (string * string) list
)
ident(
  int_ref Stdlib.List.rev_append "list.mli" 105 3970 3970 "list.mli" 105 3970 4016
)
"src/cli/CLIArgExt.ml" 87 2957 2966 "src/cli/CLIArgExt.ml" 87 2957 2978
type(
  (string * Arg.spec * string -> string * string) ->
  (string * Arg.spec * string) list -> (string * string) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/cli/CLIArgExt.ml" 88 2979 2996 "src/cli/CLIArgExt.ml" 88 2979 2999
type(
  string
)
ident(
  def cli "src/cli/CLIArgExt.ml" 89 3012 3026 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 88 2979 3001 "src/cli/CLIArgExt.ml" 88 2979 3002
type(
  Arg.spec
)
ident(
  def t "src/cli/CLIArgExt.ml" 89 3012 3026 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 88 2979 3004 "src/cli/CLIArgExt.ml" 88 2979 3007
type(
  string
)
ident(
  def hlp "src/cli/CLIArgExt.ml" 89 3012 3026 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 88 2979 2995 "src/cli/CLIArgExt.ml" 88 2979 3008
type(
  string * Arg.spec * string
)
"src/cli/CLIArgExt.ml" 89 3012 3030 "src/cli/CLIArgExt.ml" 89 3012 3033
type(
  string
)
ident(
  def arg "src/cli/CLIArgExt.ml" 96 3244 3258 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 89 3012 3035 "src/cli/CLIArgExt.ml" 89 3012 3038
type(
  string
)
ident(
  def hlp "src/cli/CLIArgExt.ml" 96 3244 3258 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 89 3012 3030 "src/cli/CLIArgExt.ml" 89 3012 3038
type(
  string * string
)
"src/cli/CLIArgExt.ml" 90 3041 3063 "src/cli/CLIArgExt.ml" 90 3041 3081
type(
  string -> char -> string list
)
ident(
  int_ref OASISString.nsplit "src/oasis/OASISString.ml" 56 2341 2345 "src/oasis/OASISString.ml" 56 2341 2351
)
"src/cli/CLIArgExt.ml" 90 3041 3082 "src/cli/CLIArgExt.ml" 90 3041 3085
type(
  string
)
ident(
  int_ref hlp "src/cli/CLIArgExt.ml" 88 2979 3004 "src/cli/CLIArgExt.ml" 88 2979 3007
)
"src/cli/CLIArgExt.ml" 90 3041 3086 "src/cli/CLIArgExt.ml" 90 3041 3089
type(
  char
)
"src/cli/CLIArgExt.ml" 90 3041 3063 "src/cli/CLIArgExt.ml" 90 3041 3089
type(
  string list
)
"src/cli/CLIArgExt.ml" 91 3095 3115 "src/cli/CLIArgExt.ml" 91 3095 3117
type(
  string
)
ident(
  def hd "src/cli/CLIArgExt.ml" 92 3127 3147 "src/cli/CLIArgExt.ml" 92 3127 3173
)
"src/cli/CLIArgExt.ml" 91 3095 3121 "src/cli/CLIArgExt.ml" 91 3095 3123
type(
  string list
)
ident(
  def tl "src/cli/CLIArgExt.ml" 92 3127 3147 "src/cli/CLIArgExt.ml" 92 3127 3173
)
"src/cli/CLIArgExt.ml" 91 3095 3115 "src/cli/CLIArgExt.ml" 91 3095 3123
type(
  string list
)
type(
  string list
)
"src/cli/CLIArgExt.ml" 92 3127 3147 "src/cli/CLIArgExt.ml" 92 3127 3149
type(
  string
)
ident(
  int_ref hd "src/cli/CLIArgExt.ml" 91 3095 3115 "src/cli/CLIArgExt.ml" 91 3095 3117
)
"src/cli/CLIArgExt.ml" 92 3127 3152 "src/cli/CLIArgExt.ml" 92 3127 3165
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/cli/CLIArgExt.ml" 92 3127 3166 "src/cli/CLIArgExt.ml" 92 3127 3169
type(
  string
)
"src/cli/CLIArgExt.ml" 92 3127 3170 "src/cli/CLIArgExt.ml" 92 3127 3172
type(
  string list
)
ident(
  int_ref tl "src/cli/CLIArgExt.ml" 91 3095 3121 "src/cli/CLIArgExt.ml" 91 3095 3123
)
"src/cli/CLIArgExt.ml" 92 3127 3151 "src/cli/CLIArgExt.ml" 92 3127 3173
type(
  string
)
"src/cli/CLIArgExt.ml" 92 3127 3147 "src/cli/CLIArgExt.ml" 92 3127 3173
type(
  string * string
)
"src/cli/CLIArgExt.ml" 93 3174 3194 "src/cli/CLIArgExt.ml" 93 3174 3196
type(
  string list
)
type(
  string list
)
"src/cli/CLIArgExt.ml" 94 3200 3220 "src/cli/CLIArgExt.ml" 94 3200 3222
type(
  string
)
"src/cli/CLIArgExt.ml" 94 3200 3224 "src/cli/CLIArgExt.ml" 94 3200 3226
type(
  string
)
"src/cli/CLIArgExt.ml" 94 3200 3220 "src/cli/CLIArgExt.ml" 94 3200 3226
type(
  string * string
)
"src/cli/CLIArgExt.ml" 90 3041 3057 "src/cli/CLIArgExt.ml" 94 3200 3226
type(
  string * string
)
"src/cli/CLIArgExt.ml" 96 3244 3262 "src/cli/CLIArgExt.ml" 96 3244 3265
type(
  string
)
ident(
  def arg "src/cli/CLIArgExt.ml" 103 3458 3472 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 97 3268 3290 "src/cli/CLIArgExt.ml" 97 3268 3291
type(
  Arg.spec
)
ident(
  int_ref t "src/cli/CLIArgExt.ml" 88 2979 3001 "src/cli/CLIArgExt.ml" 88 2979 3002
)
"src/cli/CLIArgExt.ml" 98 3297 3329 "src/cli/CLIArgExt.ml" 98 3297 3332
type(
  string list
)
ident(
  def lst "src/cli/CLIArgExt.ml" 99 3340 3360 "src/cli/CLIArgExt.ml" 99 3340 3391
)
"src/cli/CLIArgExt.ml" 98 3297 3334 "src/cli/CLIArgExt.ml" 98 3297 3335
type(
  string -> unit
)
"src/cli/CLIArgExt.ml" 98 3297 3317 "src/cli/CLIArgExt.ml" 98 3297 3336
type(
  Arg.spec
)
type(
  Arg.spec
)
"src/cli/CLIArgExt.ml" 99 3340 3360 "src/cli/CLIArgExt.ml" 99 3340 3363
type(
  string
)
"src/cli/CLIArgExt.ml" 99 3340 3363 "src/cli/CLIArgExt.ml" 99 3340 3364
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 99 3340 3365 "src/cli/CLIArgExt.ml" 99 3340 3378
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/cli/CLIArgExt.ml" 99 3340 3379 "src/cli/CLIArgExt.ml" 99 3340 3382
type(
  string
)
"src/cli/CLIArgExt.ml" 99 3340 3383 "src/cli/CLIArgExt.ml" 99 3340 3386
type(
  string list
)
ident(
  int_ref lst "src/cli/CLIArgExt.ml" 98 3297 3329 "src/cli/CLIArgExt.ml" 98 3297 3332
)
"src/cli/CLIArgExt.ml" 99 3340 3364 "src/cli/CLIArgExt.ml" 99 3340 3387
type(
  string
)
"src/cli/CLIArgExt.ml" 99 3340 3387 "src/cli/CLIArgExt.ml" 99 3340 3388
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 99 3340 3388 "src/cli/CLIArgExt.ml" 99 3340 3391
type(
  string
)
"src/cli/CLIArgExt.ml" 99 3340 3364 "src/cli/CLIArgExt.ml" 99 3340 3391
type(
  string
)
"src/cli/CLIArgExt.ml" 99 3340 3360 "src/cli/CLIArgExt.ml" 99 3340 3391
type(
  string
)
"src/cli/CLIArgExt.ml" 100 3392 3412 "src/cli/CLIArgExt.ml" 100 3392 3413
type(
  Arg.spec
)
type(
  Arg.spec
)
"src/cli/CLIArgExt.ml" 101 3417 3437 "src/cli/CLIArgExt.ml" 101 3417 3440
type(
  string
)
ident(
  int_ref arg "src/cli/CLIArgExt.ml" 89 3012 3030 "src/cli/CLIArgExt.ml" 89 3012 3033
)
"src/cli/CLIArgExt.ml" 97 3268 3284 "src/cli/CLIArgExt.ml" 101 3417 3440
type(
  string
)
"src/cli/CLIArgExt.ml" 103 3458 3476 "src/cli/CLIArgExt.ml" 103 3458 3480
type(
  string
)
ident(
  def term "src/cli/CLIArgExt.ml" 109 3607 3621 "src/cli/CLIArgExt.ml" 109 3607 3630
)
"src/cli/CLIArgExt.ml" 104 3483 3502 "src/cli/CLIArgExt.ml" 104 3483 3505
type(
  string
)
ident(
  int_ref arg "src/cli/CLIArgExt.ml" 96 3244 3262 "src/cli/CLIArgExt.ml" 96 3244 3265
)
"src/cli/CLIArgExt.ml" 104 3483 3506 "src/cli/CLIArgExt.ml" 104 3483 3508
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/cli/CLIArgExt.ml" 104 3483 3509 "src/cli/CLIArgExt.ml" 104 3483 3511
type(
  string
)
"src/cli/CLIArgExt.ml" 104 3483 3502 "src/cli/CLIArgExt.ml" 104 3483 3511
type(
  bool
)
"src/cli/CLIArgExt.ml" 105 3517 3535 "src/cli/CLIArgExt.ml" 105 3517 3538
type(
  string
)
ident(
  int_ref cli "src/cli/CLIArgExt.ml" 88 2979 2996 "src/cli/CLIArgExt.ml" 88 2979 2999
)
"src/cli/CLIArgExt.ml" 105 3517 3538 "src/cli/CLIArgExt.ml" 105 3517 3539
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 105 3517 3539 "src/cli/CLIArgExt.ml" 105 3517 3542
type(
  string
)
"src/cli/CLIArgExt.ml" 105 3517 3542 "src/cli/CLIArgExt.ml" 105 3517 3543
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 105 3517 3543 "src/cli/CLIArgExt.ml" 105 3517 3546
type(
  string
)
ident(
  int_ref arg "src/cli/CLIArgExt.ml" 96 3244 3262 "src/cli/CLIArgExt.ml" 96 3244 3265
)
"src/cli/CLIArgExt.ml" 105 3517 3539 "src/cli/CLIArgExt.ml" 105 3517 3546
type(
  string
)
"src/cli/CLIArgExt.ml" 105 3517 3535 "src/cli/CLIArgExt.ml" 105 3517 3546
type(
  string
)
"src/cli/CLIArgExt.ml" 107 3568 3586 "src/cli/CLIArgExt.ml" 107 3568 3589
type(
  string
)
ident(
  int_ref cli "src/cli/CLIArgExt.ml" 88 2979 2996 "src/cli/CLIArgExt.ml" 88 2979 2999
)
"src/cli/CLIArgExt.ml" 104 3483 3499 "src/cli/CLIArgExt.ml" 107 3568 3589
type(
  string
)
"src/cli/CLIArgExt.ml" 109 3607 3621 "src/cli/CLIArgExt.ml" 109 3607 3625
type(
  string
)
ident(
  int_ref term "src/cli/CLIArgExt.ml" 103 3458 3476 "src/cli/CLIArgExt.ml" 103 3458 3480
)
"src/cli/CLIArgExt.ml" 109 3607 3627 "src/cli/CLIArgExt.ml" 109 3607 3630
type(
  string
)
ident(
  int_ref hlp "src/cli/CLIArgExt.ml" 89 3012 3035 "src/cli/CLIArgExt.ml" 89 3012 3038
)
"src/cli/CLIArgExt.ml" 109 3607 3621 "src/cli/CLIArgExt.ml" 109 3607 3630
type(
  string * string
)
"src/cli/CLIArgExt.ml" 103 3458 3472 "src/cli/CLIArgExt.ml" 109 3607 3630
type(
  string * string
)
"src/cli/CLIArgExt.ml" 96 3244 3258 "src/cli/CLIArgExt.ml" 109 3607 3630
type(
  string * string
)
"src/cli/CLIArgExt.ml" 89 3012 3026 "src/cli/CLIArgExt.ml" 109 3607 3630
type(
  string * string
)
"src/cli/CLIArgExt.ml" 88 2979 2990 "src/cli/CLIArgExt.ml" 109 3607 3631
type(
  string * Arg.spec * string -> string * string
)
"src/cli/CLIArgExt.ml" 110 3632 3643 "src/cli/CLIArgExt.ml" 110 3632 3648
type(
  (string * Arg.spec * string) list
)
ident(
  int_ref specs "src/cli/CLIArgExt.ml" 83 2870 2905 "src/cli/CLIArgExt.ml" 83 2870 2910
)
"src/cli/CLIArgExt.ml" 87 2957 2965 "src/cli/CLIArgExt.ml" 110 3632 3649
type(
  (string * string) list
)
"src/cli/CLIArgExt.ml" 111 3650 3662 "src/cli/CLIArgExt.ml" 111 3650 3671
type(
  bool
)
ident(
  int_ref spec_help "src/cli/CLIArgExt.ml" 83 2870 2891 "src/cli/CLIArgExt.ml" 83 2870 2900
)
"src/cli/CLIArgExt.ml" 112 3677 3689 "src/cli/CLIArgExt.ml" 112 3677 3703
type(
  string
)
"src/cli/CLIArgExt.ml" 112 3677 3705 "src/cli/CLIArgExt.ml" 112 3677 3707
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 112 3677 3708 "src/cli/CLIArgExt.ml" 112 3677 3738
type(
  string
)
"src/cli/CLIArgExt.ml" 112 3677 3705 "src/cli/CLIArgExt.ml" 112 3677 3738
type(
  string
)
"src/cli/CLIArgExt.ml" 112 3677 3689 "src/cli/CLIArgExt.ml" 112 3677 3738
type(
  string * string
)
"src/cli/CLIArgExt.ml" 112 3677 3688 "src/cli/CLIArgExt.ml" 112 3677 3739
type(
  (string * string) list
)
"src/cli/CLIArgExt.ml" 114 3754 3765 "src/cli/CLIArgExt.ml" 114 3754 3767
type(
  (string * string) list
)
"src/cli/CLIArgExt.ml" 111 3650 3658 "src/cli/CLIArgExt.ml" 114 3754 3768
type(
  (string * string) list
)
"src/cli/CLIArgExt.ml" 86 2935 2941 "src/cli/CLIArgExt.ml" 114 3754 3768
type(
  (string * string) list
)
"src/cli/CLIArgExt.ml" 117 3777 3785 "src/cli/CLIArgExt.ml" 117 3777 3787
type(
  int
)
ident(
  def sz "src/cli/CLIArgExt.ml" 124 3902 3906 "src/cli/CLIArgExt.ml" 137 4248 4277
)
"src/cli/CLIArgExt.ml" 118 3790 3796 "src/cli/CLIArgExt.ml" 118 3790 3810
type(
  (int -> string * string -> int) -> int -> (string * string) list -> int
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/cli/CLIArgExt.ml" 119 3811 3824 "src/cli/CLIArgExt.ml" 119 3811 3827
type(
  int
)
ident(
  def acc "src/cli/CLIArgExt.ml" 119 3811 3828 "src/cli/CLIArgExt.ml" 119 3811 3863
)
"src/cli/CLIArgExt.ml" 119 3811 3829 "src/cli/CLIArgExt.ml" 119 3811 3830
type(
  string
)
ident(
  def s "src/cli/CLIArgExt.ml" 119 3811 3838 "src/cli/CLIArgExt.ml" 119 3811 3863
)
"src/cli/CLIArgExt.ml" 119 3811 3832 "src/cli/CLIArgExt.ml" 119 3811 3833
type(
  string
)
"src/cli/CLIArgExt.ml" 119 3811 3828 "src/cli/CLIArgExt.ml" 119 3811 3834
type(
  string * string
)
"src/cli/CLIArgExt.ml" 119 3811 3838 "src/cli/CLIArgExt.ml" 119 3811 3841
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.max "stdlib.mli" 186 7963 7963 "stdlib.mli" 186 7963 7987
)
"src/cli/CLIArgExt.ml" 119 3811 3843 "src/cli/CLIArgExt.ml" 119 3811 3856
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/cli/CLIArgExt.ml" 119 3811 3857 "src/cli/CLIArgExt.ml" 119 3811 3858
type(
  string
)
ident(
  int_ref s "src/cli/CLIArgExt.ml" 119 3811 3829 "src/cli/CLIArgExt.ml" 119 3811 3830
)
"src/cli/CLIArgExt.ml" 119 3811 3842 "src/cli/CLIArgExt.ml" 119 3811 3859
type(
  int
)
"src/cli/CLIArgExt.ml" 119 3811 3860 "src/cli/CLIArgExt.ml" 119 3811 3863
type(
  int
)
ident(
  int_ref acc "src/cli/CLIArgExt.ml" 119 3811 3824 "src/cli/CLIArgExt.ml" 119 3811 3827
)
"src/cli/CLIArgExt.ml" 119 3811 3838 "src/cli/CLIArgExt.ml" 119 3811 3863
type(
  int
)
"src/cli/CLIArgExt.ml" 119 3811 3819 "src/cli/CLIArgExt.ml" 119 3811 3864
type(
  int -> string * string -> int
)
"src/cli/CLIArgExt.ml" 120 3865 3873 "src/cli/CLIArgExt.ml" 120 3865 3874
type(
  int
)
"src/cli/CLIArgExt.ml" 121 3875 3883 "src/cli/CLIArgExt.ml" 121 3875 3893
type(
  (string * string) list
)
ident(
  int_ref help_specs "src/cli/CLIArgExt.ml" 85 2914 2922 "src/cli/CLIArgExt.ml" 85 2914 2932
)
"src/cli/CLIArgExt.ml" 118 3790 3796 "src/cli/CLIArgExt.ml" 121 3875 3893
type(
  int
)
"src/cli/CLIArgExt.ml" 124 3902 3910 "src/cli/CLIArgExt.ml" 124 3902 3923
type(
  Format.formatter -> string * string -> unit
)
ident(
  def pp_print_spec "src/cli/CLIArgExt.ml" 135 4171 4175 "src/cli/CLIArgExt.ml" 137 4248 4277
)
"src/cli/CLIArgExt.ml" 124 3902 3924 "src/cli/CLIArgExt.ml" 124 3902 3927
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 124 3902 3928 "src/cli/CLIArgExt.ml" 132 4132 4162
)
"src/cli/CLIArgExt.ml" 124 3902 3929 "src/cli/CLIArgExt.ml" 124 3902 3933
type(
  string
)
ident(
  def term "src/cli/CLIArgExt.ml" 125 3942 3948 "src/cli/CLIArgExt.ml" 132 4132 4162
)
"src/cli/CLIArgExt.ml" 124 3902 3935 "src/cli/CLIArgExt.ml" 124 3902 3938
type(
  string
)
ident(
  def hlp "src/cli/CLIArgExt.ml" 125 3942 3948 "src/cli/CLIArgExt.ml" 132 4132 4162
)
"src/cli/CLIArgExt.ml" 124 3902 3928 "src/cli/CLIArgExt.ml" 124 3902 3939
type(
  string * string
)
"src/cli/CLIArgExt.ml" 125 3942 3954 "src/cli/CLIArgExt.ml" 125 3942 3958
type(
  help_style
)
ident(
  int_ref hsty "src/cli/CLIArgExt.ml" 64 2337 2366 "src/cli/CLIArgExt.ml" 64 2337 2370
)
"src/cli/CLIArgExt.ml" 126 3964 3974 "src/cli/CLIArgExt.ml" 126 3964 3982
type(
  help_style
)
type(
  help_style
)
"src/cli/CLIArgExt.ml" 127 3986 3996 "src/cli/CLIArgExt.ml" 127 3986 4008
type(
  Format.formatter ->
  string -> ((Format.formatter -> string -> unit) * string) list -> unit
)
ident(
  int_ref FormatExt.pp_print_def "src/oasis/FormatExt.mli" 74 3072 3072 "src/oasis/FormatExt.mli" 75 3120 3174
)
"src/cli/CLIArgExt.ml" 127 3986 4009 "src/cli/CLIArgExt.ml" 127 3986 4012
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 124 3902 3924 "src/cli/CLIArgExt.ml" 124 3902 3927
)
"src/cli/CLIArgExt.ml" 128 4013 4026 "src/cli/CLIArgExt.ml" 128 4013 4029
type(
  string
)
"src/cli/CLIArgExt.ml" 128 4013 4029 "src/cli/CLIArgExt.ml" 128 4013 4030
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 128 4013 4030 "src/cli/CLIArgExt.ml" 128 4013 4034
type(
  string
)
ident(
  int_ref term "src/cli/CLIArgExt.ml" 124 3902 3929 "src/cli/CLIArgExt.ml" 124 3902 3933
)
"src/cli/CLIArgExt.ml" 128 4013 4034 "src/cli/CLIArgExt.ml" 128 4013 4035
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 128 4013 4035 "src/cli/CLIArgExt.ml" 128 4013 4038
type(
  string
)
"src/cli/CLIArgExt.ml" 128 4013 4030 "src/cli/CLIArgExt.ml" 128 4013 4038
type(
  string
)
"src/cli/CLIArgExt.ml" 128 4013 4025 "src/cli/CLIArgExt.ml" 128 4013 4039
type(
  string
)
"src/cli/CLIArgExt.ml" 129 4040 4053 "src/cli/CLIArgExt.ml" 129 4040 4075
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_string_spaced "src/oasis/FormatExt.mli" 34 1872 1872 "src/oasis/FormatExt.mli" 34 1872 1934
)
"src/cli/CLIArgExt.ml" 129 4040 4077 "src/cli/CLIArgExt.ml" 129 4040 4080
type(
  string
)
ident(
  int_ref hlp "src/cli/CLIArgExt.ml" 124 3902 3935 "src/cli/CLIArgExt.ml" 124 3902 3938
)
"src/cli/CLIArgExt.ml" 129 4040 4053 "src/cli/CLIArgExt.ml" 129 4040 4080
type(
  (Format.formatter -> string -> unit) * string
)
"src/cli/CLIArgExt.ml" 129 4040 4052 "src/cli/CLIArgExt.ml" 129 4040 4081
type(
  ((Format.formatter -> string -> unit) * string) list
)
"src/cli/CLIArgExt.ml" 127 3986 3996 "src/cli/CLIArgExt.ml" 129 4040 4081
type(
  unit
)
"src/cli/CLIArgExt.ml" 130 4082 4092 "src/cli/CLIArgExt.ml" 130 4082 4098
type(
  help_style
)
type(
  help_style
)
"src/cli/CLIArgExt.ml" 131 4102 4112 "src/cli/CLIArgExt.ml" 131 4102 4131
type(
  int -> Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_output_def "src/cli/CLIArgExt.ml" 73 2609 2615 "src/cli/CLIArgExt.ml" 73 2609 2634
)
"src/cli/CLIArgExt.ml" 132 4132 4144 "src/cli/CLIArgExt.ml" 132 4132 4146
type(
  int
)
ident(
  int_ref sz "src/cli/CLIArgExt.ml" 117 3777 3785 "src/cli/CLIArgExt.ml" 117 3777 3787
)
"src/cli/CLIArgExt.ml" 132 4132 4147 "src/cli/CLIArgExt.ml" 132 4132 4150
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 124 3902 3924 "src/cli/CLIArgExt.ml" 124 3902 3927
)
"src/cli/CLIArgExt.ml" 132 4132 4152 "src/cli/CLIArgExt.ml" 132 4132 4156
type(
  string
)
ident(
  int_ref term "src/cli/CLIArgExt.ml" 124 3902 3929 "src/cli/CLIArgExt.ml" 124 3902 3933
)
"src/cli/CLIArgExt.ml" 132 4132 4158 "src/cli/CLIArgExt.ml" 132 4132 4161
type(
  string
)
ident(
  int_ref hlp "src/cli/CLIArgExt.ml" 124 3902 3935 "src/cli/CLIArgExt.ml" 124 3902 3938
)
"src/cli/CLIArgExt.ml" 132 4132 4151 "src/cli/CLIArgExt.ml" 132 4132 4162
type(
  string * string
)
"src/cli/CLIArgExt.ml" 131 4102 4112 "src/cli/CLIArgExt.ml" 132 4132 4162
type(
  unit
)
"src/cli/CLIArgExt.ml" 125 3942 3948 "src/cli/CLIArgExt.ml" 132 4132 4162
type(
  unit
)
"src/cli/CLIArgExt.ml" 135 4171 4175 "src/cli/CLIArgExt.ml" 135 4171 4188
type(
  (Format.formatter -> string * string -> unit) ->
  (unit, Format.formatter, unit) format ->
  Format.formatter -> (string * string) list -> unit
)
ident(
  int_ref FormatExt.pp_print_list "src/oasis/FormatExt.mli" 40 2078 2078 "src/oasis/FormatExt.mli" 42 2135 2211
)
"src/cli/CLIArgExt.ml" 135 4171 4189 "src/cli/CLIArgExt.ml" 135 4171 4202
type(
  Format.formatter -> string * string -> unit
)
ident(
  int_ref pp_print_spec "src/cli/CLIArgExt.ml" 124 3902 3910 "src/cli/CLIArgExt.ml" 124 3902 3923
)
"src/cli/CLIArgExt.ml" 135 4171 4203 "src/cli/CLIArgExt.ml" 135 4171 4205
type(
  (unit, Format.formatter, unit) format
)
"src/cli/CLIArgExt.ml" 135 4171 4206 "src/cli/CLIArgExt.ml" 135 4171 4209
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 83 2870 2901 "src/cli/CLIArgExt.ml" 83 2870 2904
)
"src/cli/CLIArgExt.ml" 135 4171 4210 "src/cli/CLIArgExt.ml" 135 4171 4220
type(
  (string * string) list
)
ident(
  int_ref help_specs "src/cli/CLIArgExt.ml" 85 2914 2922 "src/cli/CLIArgExt.ml" 85 2914 2932
)
"src/cli/CLIArgExt.ml" 135 4171 4175 "src/cli/CLIArgExt.ml" 135 4171 4220
type(
  unit
)
"src/cli/CLIArgExt.ml" 136 4222 4229 "src/cli/CLIArgExt.ml" 136 4222 4233
type(
  help_style
)
ident(
  int_ref hsty "src/cli/CLIArgExt.ml" 64 2337 2366 "src/cli/CLIArgExt.ml" 64 2337 2370
)
"src/cli/CLIArgExt.ml" 136 4222 4234 "src/cli/CLIArgExt.ml" 136 4222 4235
type(
  help_style -> help_style -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/cli/CLIArgExt.ml" 136 4222 4236 "src/cli/CLIArgExt.ml" 136 4222 4242
type(
  help_style
)
"src/cli/CLIArgExt.ml" 136 4222 4229 "src/cli/CLIArgExt.ml" 136 4222 4242
type(
  bool
)
"src/cli/CLIArgExt.ml" 137 4248 4254 "src/cli/CLIArgExt.ml" 137 4248 4270
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/cli/CLIArgExt.ml" 137 4248 4271 "src/cli/CLIArgExt.ml" 137 4248 4274
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 83 2870 2901 "src/cli/CLIArgExt.ml" 83 2870 2904
)
"src/cli/CLIArgExt.ml" 137 4248 4275 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 137 4248 4254 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 136 4222 4226 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 135 4171 4175 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 124 3902 3906 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 117 3777 3781 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 85 2914 2918 "src/cli/CLIArgExt.ml" 137 4248 4277
type(
  unit
)
"src/cli/CLIArgExt.ml" 140 4284 4290 "src/cli/CLIArgExt.ml" 140 4284 4304
type(
  Format.formatter -> unit -> unit
)
ident(
  def pp_print_scmds "src/cli/CLIArgExt.ml" 214 6599 6601 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 140 4284 4309 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 140 4284 4309 "src/cli/CLIArgExt.ml" 140 4284 4311
type(
  unit
)
"src/cli/CLIArgExt.ml" 141 4314 4322 "src/cli/CLIArgExt.ml" 141 4314 4327
type(
  (OASISTypes.name * [> `Builtin of CLISubCommand.t ]) list
)
ident(
  def scmds "src/cli/CLIArgExt.ml" 146 4466 4470 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 142 4330 4336 "src/cli/CLIArgExt.ml" 142 4330 4348
type(
  (CLISubCommand.t ->
   OASISTypes.name * ([> `Builtin of CLISubCommand.t ] as 'a)) ->
  CLISubCommand.t list -> (OASISTypes.name * 'a) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/cli/CLIArgExt.ml" 143 4349 4362 "src/cli/CLIArgExt.ml" 143 4349 4366
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 143 4349 4370 "src/cli/CLIArgExt.ml" 143 4349 4399
)
"src/cli/CLIArgExt.ml" 143 4349 4370 "src/cli/CLIArgExt.ml" 143 4349 4374
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 143 4349 4362 "src/cli/CLIArgExt.ml" 143 4349 4366
)
"src/cli/CLIArgExt.ml" 143 4349 4370 "src/cli/CLIArgExt.ml" 143 4349 4384
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 143 4349 4395 "src/cli/CLIArgExt.ml" 143 4349 4399
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 143 4349 4362 "src/cli/CLIArgExt.ml" 143 4349 4366
)
"src/cli/CLIArgExt.ml" 143 4349 4386 "src/cli/CLIArgExt.ml" 143 4349 4399
type(
  'a
)
"src/cli/CLIArgExt.ml" 143 4349 4370 "src/cli/CLIArgExt.ml" 143 4349 4399
type(
  OASISTypes.name * 'a
)
"src/cli/CLIArgExt.ml" 143 4349 4357 "src/cli/CLIArgExt.ml" 143 4349 4400
type(
  CLISubCommand.t -> OASISTypes.name * 'a
)
"src/cli/CLIArgExt.ml" 144 4401 4410 "src/cli/CLIArgExt.ml" 144 4401 4436
type(
  ?deprecated:bool -> unit -> CLISubCommand.t list
)
ident(
  int_ref CLISubCommand.list_builtin "src/cli/CLISubCommand.mli" 115 4185 4185 "src/cli/CLISubCommand.mli" 115 4185 4237
)
"src/cli/CLIArgExt.ml" 144 4401 4449 "src/cli/CLIArgExt.ml" 144 4401 4454
type(
  bool
)
type(
  bool option
)
"src/cli/CLIArgExt.ml" 144 4401 4455 "src/cli/CLIArgExt.ml" 144 4401 4457
type(
  unit
)
"src/cli/CLIArgExt.ml" 144 4401 4409 "src/cli/CLIArgExt.ml" 144 4401 4458
type(
  CLISubCommand.t list
)
"src/cli/CLIArgExt.ml" 142 4330 4336 "src/cli/CLIArgExt.ml" 144 4401 4458
type(
  (OASISTypes.name * 'a) list
)
"src/cli/CLIArgExt.ml" 146 4466 4474 "src/cli/CLIArgExt.ml" 146 4466 4486
type(
  (string * [> `Plugin of PluginLoader.entry ]) list
)
ident(
  def plugin_scmds "src/cli/CLIArgExt.ml" 154 4716 4720 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 147 4489 4498 "src/cli/CLIArgExt.ml" 147 4489 4501
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/cli/CLIArgExt.ml" 147 4489 4502 "src/cli/CLIArgExt.ml" 147 4489 4506
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLIArgExt.ml" 64 2337 2356 "src/cli/CLIArgExt.ml" 64 2337 2360
)
"src/cli/CLIArgExt.ml" 147 4489 4502 "src/cli/CLIArgExt.ml" 147 4489 4534
type(
  bool
)
"src/cli/CLIArgExt.ml" 147 4489 4498 "src/cli/CLIArgExt.ml" 147 4489 4534
type(
  bool
)
"src/cli/CLIArgExt.ml" 148 4540 4548 "src/cli/CLIArgExt.ml" 148 4540 4560
type(
  (PluginLoader.entry -> string * ([> `Plugin of PluginLoader.entry ] as 'b)) ->
  PluginLoader.entry list -> (string * 'b) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/cli/CLIArgExt.ml" 149 4561 4576 "src/cli/CLIArgExt.ml" 149 4561 4582
type(
  PluginLoader.entry
)
ident(
  def plugin "src/cli/CLIArgExt.ml" 149 4561 4586 "src/cli/CLIArgExt.ml" 149 4561 4626
)
"src/cli/CLIArgExt.ml" 149 4561 4586 "src/cli/CLIArgExt.ml" 149 4561 4592
type(
  PluginLoader.entry
)
ident(
  int_ref plugin "src/cli/CLIArgExt.ml" 149 4561 4576 "src/cli/CLIArgExt.ml" 149 4561 4582
)
"src/cli/CLIArgExt.ml" 149 4561 4586 "src/cli/CLIArgExt.ml" 149 4561 4610
type(
  string
)
"src/cli/CLIArgExt.ml" 149 4561 4620 "src/cli/CLIArgExt.ml" 149 4561 4626
type(
  PluginLoader.entry
)
ident(
  int_ref plugin "src/cli/CLIArgExt.ml" 149 4561 4576 "src/cli/CLIArgExt.ml" 149 4561 4582
)
"src/cli/CLIArgExt.ml" 149 4561 4612 "src/cli/CLIArgExt.ml" 149 4561 4626
type(
  'b
)
"src/cli/CLIArgExt.ml" 149 4561 4586 "src/cli/CLIArgExt.ml" 149 4561 4626
type(
  string * 'b
)
"src/cli/CLIArgExt.ml" 149 4561 4571 "src/cli/CLIArgExt.ml" 149 4561 4627
type(
  PluginLoader.entry -> string * 'b
)
"src/cli/CLIArgExt.ml" 150 4628 4639 "src/cli/CLIArgExt.ml" 150 4628 4664
type(
  ?deprecated:bool -> unit -> PluginLoader.entry list
)
ident(
  int_ref CLISubCommand.list_plugin "src/cli/CLISubCommand.mli" 110 4008 4008 "src/cli/CLISubCommand.mli" 110 4008 4076
)
"src/cli/CLIArgExt.ml" 150 4628 4677 "src/cli/CLIArgExt.ml" 150 4628 4682
type(
  bool
)
type(
  bool option
)
"src/cli/CLIArgExt.ml" 150 4628 4683 "src/cli/CLIArgExt.ml" 150 4628 4685
type(
  unit
)
"src/cli/CLIArgExt.ml" 150 4628 4638 "src/cli/CLIArgExt.ml" 150 4628 4686
type(
  PluginLoader.entry list
)
"src/cli/CLIArgExt.ml" 148 4540 4548 "src/cli/CLIArgExt.ml" 150 4628 4686
type(
  (string * 'b) list
)
"src/cli/CLIArgExt.ml" 152 4698 4706 "src/cli/CLIArgExt.ml" 152 4698 4708
type(
  (string * 'b) list
)
"src/cli/CLIArgExt.ml" 147 4489 4495 "src/cli/CLIArgExt.ml" 152 4698 4708
type(
  (string * 'b) list
)
"src/cli/CLIArgExt.ml" 154 4716 4724 "src/cli/CLIArgExt.ml" 154 4716 4733
type(
  (String.t *
   [> `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ])
  list
)
ident(
  def all_scmds "src/cli/CLIArgExt.ml" 159 4862 4866 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 155 4736 4742 "src/cli/CLIArgExt.ml" 155 4736 4751
type(
  (String.t *
   ([> `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ] as 'c) ->
   String.t * 'c -> int) ->
  (String.t * 'c) list -> (String.t * 'c) list
)
ident(
  int_ref Stdlib.List.sort "list.mli" 444 14676 14676 "list.mli" 444 14676 14726
)
"src/cli/CLIArgExt.ml" 156 4752 4766 "src/cli/CLIArgExt.ml" 156 4752 4769
type(
  String.t
)
ident(
  def nm1 "src/cli/CLIArgExt.ml" 156 4752 4774 "src/cli/CLIArgExt.ml" 156 4752 4808
)
"src/cli/CLIArgExt.ml" 156 4752 4771 "src/cli/CLIArgExt.ml" 156 4752 4772
type(
  'c
)
"src/cli/CLIArgExt.ml" 156 4752 4765 "src/cli/CLIArgExt.ml" 156 4752 4773
type(
  String.t * 'c
)
"src/cli/CLIArgExt.ml" 156 4752 4775 "src/cli/CLIArgExt.ml" 156 4752 4778
type(
  String.t
)
ident(
  def nm2 "src/cli/CLIArgExt.ml" 156 4752 4786 "src/cli/CLIArgExt.ml" 156 4752 4808
)
"src/cli/CLIArgExt.ml" 156 4752 4780 "src/cli/CLIArgExt.ml" 156 4752 4781
type(
  'c
)
"src/cli/CLIArgExt.ml" 156 4752 4774 "src/cli/CLIArgExt.ml" 156 4752 4782
type(
  String.t * 'c
)
"src/cli/CLIArgExt.ml" 156 4752 4786 "src/cli/CLIArgExt.ml" 156 4752 4800
type(
  String.t -> String.t -> int
)
ident(
  int_ref Stdlib.String.compare "string.mli" 155 5690 5690 "string.mli" 155 5690 5717
)
"src/cli/CLIArgExt.ml" 156 4752 4801 "src/cli/CLIArgExt.ml" 156 4752 4804
type(
  String.t
)
ident(
  int_ref nm1 "src/cli/CLIArgExt.ml" 156 4752 4766 "src/cli/CLIArgExt.ml" 156 4752 4769
)
"src/cli/CLIArgExt.ml" 156 4752 4805 "src/cli/CLIArgExt.ml" 156 4752 4808
type(
  String.t
)
ident(
  int_ref nm2 "src/cli/CLIArgExt.ml" 156 4752 4775 "src/cli/CLIArgExt.ml" 156 4752 4778
)
"src/cli/CLIArgExt.ml" 156 4752 4786 "src/cli/CLIArgExt.ml" 156 4752 4808
type(
  int
)
"src/cli/CLIArgExt.ml" 156 4752 4760 "src/cli/CLIArgExt.ml" 156 4752 4809
type(
  String.t * 'c -> String.t * 'c -> int
)
"src/cli/CLIArgExt.ml" 157 4810 4819 "src/cli/CLIArgExt.ml" 157 4810 4834
type(
  (String.t * 'c) list -> (String.t * 'c) list -> (String.t * 'c) list
)
ident(
  int_ref Stdlib.List.rev_append "list.mli" 105 3970 3970 "list.mli" 105 3970 4016
)
"src/cli/CLIArgExt.ml" 157 4810 4835 "src/cli/CLIArgExt.ml" 157 4810 4840
type(
  (String.t * 'c) list
)
ident(
  int_ref scmds "src/cli/CLIArgExt.ml" 141 4314 4322 "src/cli/CLIArgExt.ml" 141 4314 4327
)
"src/cli/CLIArgExt.ml" 157 4810 4841 "src/cli/CLIArgExt.ml" 157 4810 4853
type(
  (String.t * 'c) list
)
ident(
  int_ref plugin_scmds "src/cli/CLIArgExt.ml" 146 4466 4474 "src/cli/CLIArgExt.ml" 146 4466 4486
)
"src/cli/CLIArgExt.ml" 157 4810 4818 "src/cli/CLIArgExt.ml" 157 4810 4854
type(
  (String.t * 'c) list
)
"src/cli/CLIArgExt.ml" 155 4736 4742 "src/cli/CLIArgExt.ml" 157 4810 4854
type(
  (String.t * 'c) list
)
"src/cli/CLIArgExt.ml" 159 4862 4870 "src/cli/CLIArgExt.ml" 159 4862 4872
type(
  int
)
ident(
  def sz "src/cli/CLIArgExt.ml" 166 5030 5034 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 161 4917 4923 "src/cli/CLIArgExt.ml" 161 4917 4937
type(
  (int ->
   String.t *
   (_[> `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ] as 'd) ->
   int) ->
  int -> (String.t * 'd) list -> int
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/cli/CLIArgExt.ml" 162 4938 4951 "src/cli/CLIArgExt.ml" 162 4938 4953
type(
  int
)
ident(
  def sz "src/cli/CLIArgExt.ml" 162 4938 4954 "src/cli/CLIArgExt.ml" 163 4965 5001
)
"src/cli/CLIArgExt.ml" 162 4938 4955 "src/cli/CLIArgExt.ml" 162 4938 4957
type(
  String.t
)
ident(
  def nm "src/cli/CLIArgExt.ml" 163 4965 4976 "src/cli/CLIArgExt.ml" 163 4965 5001
)
"src/cli/CLIArgExt.ml" 162 4938 4959 "src/cli/CLIArgExt.ml" 162 4938 4960
type(
  'd
)
"src/cli/CLIArgExt.ml" 162 4938 4954 "src/cli/CLIArgExt.ml" 162 4938 4961
type(
  String.t * 'd
)
"src/cli/CLIArgExt.ml" 163 4965 4976 "src/cli/CLIArgExt.ml" 163 4965 4979
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.max "stdlib.mli" 186 7963 7963 "stdlib.mli" 186 7963 7987
)
"src/cli/CLIArgExt.ml" 163 4965 4980 "src/cli/CLIArgExt.ml" 163 4965 4982
type(
  int
)
ident(
  int_ref sz "src/cli/CLIArgExt.ml" 162 4938 4951 "src/cli/CLIArgExt.ml" 162 4938 4953
)
"src/cli/CLIArgExt.ml" 163 4965 4984 "src/cli/CLIArgExt.ml" 163 4965 4997
type(
  String.t -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/cli/CLIArgExt.ml" 163 4965 4998 "src/cli/CLIArgExt.ml" 163 4965 5000
type(
  String.t
)
ident(
  int_ref nm "src/cli/CLIArgExt.ml" 162 4938 4955 "src/cli/CLIArgExt.ml" 162 4938 4957
)
"src/cli/CLIArgExt.ml" 163 4965 4983 "src/cli/CLIArgExt.ml" 163 4965 5001
type(
  int
)
"src/cli/CLIArgExt.ml" 163 4965 4976 "src/cli/CLIArgExt.ml" 163 4965 5001
type(
  int
)
"src/cli/CLIArgExt.ml" 162 4938 4946 "src/cli/CLIArgExt.ml" 163 4965 5002
type(
  int -> String.t * 'd -> int
)
"src/cli/CLIArgExt.ml" 164 5003 5011 "src/cli/CLIArgExt.ml" 164 5003 5012
type(
  int
)
"src/cli/CLIArgExt.ml" 164 5003 5013 "src/cli/CLIArgExt.ml" 164 5003 5022
type(
  (String.t * 'd) list
)
ident(
  int_ref all_scmds "src/cli/CLIArgExt.ml" 154 4716 4724 "src/cli/CLIArgExt.ml" 154 4716 4733
)
"src/cli/CLIArgExt.ml" 161 4917 4923 "src/cli/CLIArgExt.ml" 164 5003 5022
type(
  int
)
"src/cli/CLIArgExt.ml" 166 5030 5038 "src/cli/CLIArgExt.ml" 166 5030 5053
type(
  PluginLoader.entry -> string
)
ident(
  def plugin_synopsis "src/cli/CLIArgExt.ml" 171 5164 5168 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 166 5030 5054 "src/cli/CLIArgExt.ml" 166 5030 5057
type(
  PluginLoader.entry
)
ident(
  def plg "src/cli/CLIArgExt.ml" 167 5060 5066 "src/cli/CLIArgExt.ml" 169 5125 5156
)
"src/cli/CLIArgExt.ml" 167 5060 5072 "src/cli/CLIArgExt.ml" 167 5060 5075
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 166 5030 5054 "src/cli/CLIArgExt.ml" 166 5030 5057
)
"src/cli/CLIArgExt.ml" 167 5060 5072 "src/cli/CLIArgExt.ml" 167 5060 5097
type(
  string option
)
"src/cli/CLIArgExt.ml" 168 5103 5118 "src/cli/CLIArgExt.ml" 168 5103 5119
type(
  string
)
ident(
  def e "src/cli/CLIArgExt.ml" 168 5103 5123 "src/cli/CLIArgExt.ml" 168 5103 5124
)
"src/cli/CLIArgExt.ml" 168 5103 5113 "src/cli/CLIArgExt.ml" 168 5103 5119
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 168 5103 5123 "src/cli/CLIArgExt.ml" 168 5103 5124
type(
  string
)
ident(
  int_ref e "src/cli/CLIArgExt.ml" 168 5103 5118 "src/cli/CLIArgExt.ml" 168 5103 5119
)
"src/cli/CLIArgExt.ml" 169 5125 5135 "src/cli/CLIArgExt.ml" 169 5125 5139
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 169 5125 5143 "src/cli/CLIArgExt.ml" 169 5125 5156
type(
  string
)
"src/cli/CLIArgExt.ml" 167 5060 5066 "src/cli/CLIArgExt.ml" 169 5125 5156
type(
  string
)
"src/cli/CLIArgExt.ml" 171 5164 5172 "src/cli/CLIArgExt.ml" 171 5164 5192
type(
  PluginLoader.entry -> string list
)
ident(
  def plugin_markdown_data "src/cli/CLIArgExt.ml" 181 5434 5438 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 171 5164 5193 "src/cli/CLIArgExt.ml" 171 5164 5196
type(
  PluginLoader.entry
)
ident(
  def plg "src/cli/CLIArgExt.ml" 172 5199 5205 "src/cli/CLIArgExt.ml" 179 5415 5426
)
"src/cli/CLIArgExt.ml" 172 5199 5209 "src/cli/CLIArgExt.ml" 172 5199 5212
type(
  string list
)
ident(
  def lst "src/cli/CLIArgExt.ml" 177 5329 5335 "src/cli/CLIArgExt.ml" 179 5415 5426
)
"src/cli/CLIArgExt.ml" 173 5215 5229 "src/cli/CLIArgExt.ml" 173 5215 5232
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 171 5164 5193 "src/cli/CLIArgExt.ml" 171 5164 5196
)
"src/cli/CLIArgExt.ml" 173 5215 5229 "src/cli/CLIArgExt.ml" 173 5215 5253
type(
  string option
)
"src/cli/CLIArgExt.ml" 174 5259 5276 "src/cli/CLIArgExt.ml" 174 5259 5277
type(
  string
)
ident(
  def v "src/cli/CLIArgExt.ml" 174 5259 5281 "src/cli/CLIArgExt.ml" 174 5259 5296
)
"src/cli/CLIArgExt.ml" 174 5259 5271 "src/cli/CLIArgExt.ml" 174 5259 5277
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 174 5259 5282 "src/cli/CLIArgExt.ml" 174 5259 5293
type(
  string
)
"src/cli/CLIArgExt.ml" 174 5259 5293 "src/cli/CLIArgExt.ml" 174 5259 5294
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 174 5259 5294 "src/cli/CLIArgExt.ml" 174 5259 5295
type(
  string
)
ident(
  int_ref v "src/cli/CLIArgExt.ml" 174 5259 5276 "src/cli/CLIArgExt.ml" 174 5259 5277
)
"src/cli/CLIArgExt.ml" 174 5259 5282 "src/cli/CLIArgExt.ml" 174 5259 5295
type(
  string
)
"src/cli/CLIArgExt.ml" 174 5259 5281 "src/cli/CLIArgExt.ml" 174 5259 5296
type(
  string list
)
"src/cli/CLIArgExt.ml" 175 5297 5309 "src/cli/CLIArgExt.ml" 175 5297 5313
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 175 5297 5317 "src/cli/CLIArgExt.ml" 175 5297 5319
type(
  string list
)
"src/cli/CLIArgExt.ml" 173 5215 5223 "src/cli/CLIArgExt.ml" 175 5297 5319
type(
  string list
)
"src/cli/CLIArgExt.ml" 177 5329 5336 "src/cli/CLIArgExt.ml" 177 5329 5351
type(
  PluginLoader.entry -> string
)
ident(
  int_ref plugin_synopsis "src/cli/CLIArgExt.ml" 166 5030 5038 "src/cli/CLIArgExt.ml" 166 5030 5053
)
"src/cli/CLIArgExt.ml" 177 5329 5352 "src/cli/CLIArgExt.ml" 177 5329 5355
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 171 5164 5193 "src/cli/CLIArgExt.ml" 171 5164 5196
)
"src/cli/CLIArgExt.ml" 177 5329 5335 "src/cli/CLIArgExt.ml" 177 5329 5356
type(
  string
)
"src/cli/CLIArgExt.ml" 178 5360 5369 "src/cli/CLIArgExt.ml" 178 5360 5380
type(
  string
)
"src/cli/CLIArgExt.ml" 178 5360 5380 "src/cli/CLIArgExt.ml" 178 5360 5381
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 178 5360 5381 "src/cli/CLIArgExt.ml" 178 5360 5384
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 171 5164 5193 "src/cli/CLIArgExt.ml" 171 5164 5196
)
"src/cli/CLIArgExt.ml" 178 5360 5381 "src/cli/CLIArgExt.ml" 178 5360 5410
type(
  string
)
"src/cli/CLIArgExt.ml" 178 5360 5368 "src/cli/CLIArgExt.ml" 178 5360 5411
type(
  string
)
"src/cli/CLIArgExt.ml" 179 5415 5423 "src/cli/CLIArgExt.ml" 179 5415 5426
type(
  string list
)
ident(
  int_ref lst "src/cli/CLIArgExt.ml" 172 5199 5209 "src/cli/CLIArgExt.ml" 172 5199 5212
)
"src/cli/CLIArgExt.ml" 178 5360 5368 "src/cli/CLIArgExt.ml" 179 5415 5426
type(
  string list
)
"src/cli/CLIArgExt.ml" 177 5329 5335 "src/cli/CLIArgExt.ml" 179 5415 5426
type(
  string list
)
"src/cli/CLIArgExt.ml" 172 5199 5205 "src/cli/CLIArgExt.ml" 179 5415 5426
type(
  string list
)
"src/cli/CLIArgExt.ml" 181 5434 5442 "src/cli/CLIArgExt.ml" 181 5434 5460
type(
  PluginLoader.entry -> string
)
ident(
  def plugin_output_data "src/cli/CLIArgExt.ml" 190 5788 5792 "src/cli/CLIArgExt.ml" 211 6563 6592
)
"src/cli/CLIArgExt.ml" 181 5434 5461 "src/cli/CLIArgExt.ml" 181 5434 5464
type(
  PluginLoader.entry
)
ident(
  def plg "src/cli/CLIArgExt.ml" 182 5467 5473 "src/cli/CLIArgExt.ml" 188 5724 5780
)
"src/cli/CLIArgExt.ml" 182 5467 5477 "src/cli/CLIArgExt.ml" 182 5467 5489
type(
  string
)
ident(
  def findlib_name "src/cli/CLIArgExt.ml" 183 5525 5531 "src/cli/CLIArgExt.ml" 188 5724 5780
)
"src/cli/CLIArgExt.ml" 182 5467 5492 "src/cli/CLIArgExt.ml" 182 5467 5495
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 181 5434 5461 "src/cli/CLIArgExt.ml" 181 5434 5464
)
"src/cli/CLIArgExt.ml" 182 5467 5492 "src/cli/CLIArgExt.ml" 182 5467 5521
type(
  string
)
"src/cli/CLIArgExt.ml" 183 5525 5535 "src/cli/CLIArgExt.ml" 183 5525 5543
type(
  string
)
ident(
  def synopsis "src/cli/CLIArgExt.ml" 184 5569 5575 "src/cli/CLIArgExt.ml" 188 5724 5780
)
"src/cli/CLIArgExt.ml" 183 5525 5546 "src/cli/CLIArgExt.ml" 183 5525 5561
type(
  PluginLoader.entry -> string
)
ident(
  int_ref plugin_synopsis "src/cli/CLIArgExt.ml" 166 5030 5038 "src/cli/CLIArgExt.ml" 166 5030 5053
)
"src/cli/CLIArgExt.ml" 183 5525 5562 "src/cli/CLIArgExt.ml" 183 5525 5565
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 181 5434 5461 "src/cli/CLIArgExt.ml" 181 5434 5464
)
"src/cli/CLIArgExt.ml" 183 5525 5546 "src/cli/CLIArgExt.ml" 183 5525 5565
type(
  string
)
"src/cli/CLIArgExt.ml" 184 5569 5581 "src/cli/CLIArgExt.ml" 184 5569 5584
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 181 5434 5461 "src/cli/CLIArgExt.ml" 181 5434 5464
)
"src/cli/CLIArgExt.ml" 184 5569 5581 "src/cli/CLIArgExt.ml" 184 5569 5605
type(
  string option
)
"src/cli/CLIArgExt.ml" 185 5611 5626 "src/cli/CLIArgExt.ml" 185 5611 5633
type(
  string
)
ident(
  def ver_str "src/cli/CLIArgExt.ml" 186 5637 5647 "src/cli/CLIArgExt.ml" 186 5637 5705
)
"src/cli/CLIArgExt.ml" 185 5611 5621 "src/cli/CLIArgExt.ml" 185 5611 5633
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 186 5637 5647 "src/cli/CLIArgExt.ml" 186 5637 5661
type(
  (string -> string -> string -> string, unit, string) format ->
  string -> string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/cli/CLIArgExt.ml" 186 5637 5662 "src/cli/CLIArgExt.ml" 186 5637 5675
type(
  (string -> string -> string -> string, unit, string) format
)
"src/cli/CLIArgExt.ml" 186 5637 5676 "src/cli/CLIArgExt.ml" 186 5637 5684
type(
  string
)
ident(
  int_ref synopsis "src/cli/CLIArgExt.ml" 183 5525 5535 "src/cli/CLIArgExt.ml" 183 5525 5543
)
"src/cli/CLIArgExt.ml" 186 5637 5685 "src/cli/CLIArgExt.ml" 186 5637 5697
type(
  string
)
ident(
  int_ref findlib_name "src/cli/CLIArgExt.ml" 182 5467 5477 "src/cli/CLIArgExt.ml" 182 5467 5489
)
"src/cli/CLIArgExt.ml" 186 5637 5698 "src/cli/CLIArgExt.ml" 186 5637 5705
type(
  string
)
ident(
  int_ref ver_str "src/cli/CLIArgExt.ml" 185 5611 5626 "src/cli/CLIArgExt.ml" 185 5611 5633
)
"src/cli/CLIArgExt.ml" 186 5637 5647 "src/cli/CLIArgExt.ml" 186 5637 5705
type(
  string
)
"src/cli/CLIArgExt.ml" 187 5706 5716 "src/cli/CLIArgExt.ml" 187 5706 5720
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 188 5724 5734 "src/cli/CLIArgExt.ml" 188 5724 5748
type(
  (string -> string -> string, unit, string) format ->
  string -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/cli/CLIArgExt.ml" 188 5724 5749 "src/cli/CLIArgExt.ml" 188 5724 5758
type(
  (string -> string -> string, unit, string) format
)
"src/cli/CLIArgExt.ml" 188 5724 5759 "src/cli/CLIArgExt.ml" 188 5724 5767
type(
  string
)
ident(
  int_ref synopsis "src/cli/CLIArgExt.ml" 183 5525 5535 "src/cli/CLIArgExt.ml" 183 5525 5543
)
"src/cli/CLIArgExt.ml" 188 5724 5768 "src/cli/CLIArgExt.ml" 188 5724 5780
type(
  string
)
ident(
  int_ref findlib_name "src/cli/CLIArgExt.ml" 182 5467 5477 "src/cli/CLIArgExt.ml" 182 5467 5489
)
"src/cli/CLIArgExt.ml" 188 5724 5734 "src/cli/CLIArgExt.ml" 188 5724 5780
type(
  string
)
"src/cli/CLIArgExt.ml" 184 5569 5575 "src/cli/CLIArgExt.ml" 188 5724 5780
type(
  string
)
"src/cli/CLIArgExt.ml" 183 5525 5531 "src/cli/CLIArgExt.ml" 188 5724 5780
type(
  string
)
"src/cli/CLIArgExt.ml" 182 5467 5473 "src/cli/CLIArgExt.ml" 188 5724 5780
type(
  string
)
"src/cli/CLIArgExt.ml" 190 5788 5792 "src/cli/CLIArgExt.ml" 190 5788 5805
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/cli/CLIArgExt.ml" 190 5788 5806 "src/cli/CLIArgExt.ml" 190 5788 5809
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
)
"src/cli/CLIArgExt.ml" 190 5788 5811 "src/cli/CLIArgExt.ml" 190 5788 5813
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 190 5788 5814 "src/cli/CLIArgExt.ml" 190 5788 5838
type(
  string
)
"src/cli/CLIArgExt.ml" 190 5788 5810 "src/cli/CLIArgExt.ml" 190 5788 5839
type(
  string
)
"src/cli/CLIArgExt.ml" 190 5788 5792 "src/cli/CLIArgExt.ml" 190 5788 5839
type(
  unit
)
"src/cli/CLIArgExt.ml" 191 5841 5845 "src/cli/CLIArgExt.ml" 191 5841 5854
type(
  (String.t * [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ] ->
   unit) ->
  (String.t * [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ])
  list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/cli/CLIArgExt.ml" 192 5855 5867 "src/cli/CLIArgExt.ml" 192 5855 5871
type(
  String.t
)
ident(
  def name "src/cli/CLIArgExt.ml" 193 5879 5888 "src/cli/CLIArgExt.ml" 208 6473 6518
)
"src/cli/CLIArgExt.ml" 192 5855 5873 "src/cli/CLIArgExt.ml" 192 5855 5874
type(
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
ident(
  def e "src/cli/CLIArgExt.ml" 193 5879 5888 "src/cli/CLIArgExt.ml" 208 6473 6518
)
"src/cli/CLIArgExt.ml" 192 5855 5866 "src/cli/CLIArgExt.ml" 192 5855 5875
type(
  String.t * [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 193 5879 5894 "src/cli/CLIArgExt.ml" 193 5879 5898
type(
  help_style
)
ident(
  int_ref hsty "src/cli/CLIArgExt.ml" 64 2337 2366 "src/cli/CLIArgExt.ml" 64 2337 2370
)
"src/cli/CLIArgExt.ml" 193 5879 5900 "src/cli/CLIArgExt.ml" 193 5879 5901
type(
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
ident(
  int_ref e "src/cli/CLIArgExt.ml" 192 5855 5873 "src/cli/CLIArgExt.ml" 192 5855 5874
)
"src/cli/CLIArgExt.ml" 193 5879 5894 "src/cli/CLIArgExt.ml" 193 5879 5901
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 194 5907 5920 "src/cli/CLIArgExt.ml" 194 5907 5928
type(
  help_style
)
"src/cli/CLIArgExt.ml" 194 5907 5939 "src/cli/CLIArgExt.ml" 194 5907 5943
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 195 5948 5961 "src/cli/CLIArgExt.ml" 196 5993 6052
)
"src/cli/CLIArgExt.ml" 194 5907 5930 "src/cli/CLIArgExt.ml" 194 5907 5943
type(
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 194 5907 5920 "src/cli/CLIArgExt.ml" 194 5907 5943
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 195 5948 5961 "src/cli/CLIArgExt.ml" 195 5948 5973
type(
  Format.formatter ->
  string -> ((Format.formatter -> string -> unit) * string) list -> unit
)
ident(
  int_ref FormatExt.pp_print_def "src/oasis/FormatExt.mli" 74 3072 3072 "src/oasis/FormatExt.mli" 75 3120 3174
)
"src/cli/CLIArgExt.ml" 195 5948 5974 "src/cli/CLIArgExt.ml" 195 5948 5977
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
)
"src/cli/CLIArgExt.ml" 195 5948 5979 "src/cli/CLIArgExt.ml" 195 5948 5982
type(
  string
)
"src/cli/CLIArgExt.ml" 195 5948 5982 "src/cli/CLIArgExt.ml" 195 5948 5983
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 195 5948 5983 "src/cli/CLIArgExt.ml" 195 5948 5987
type(
  String.t
)
ident(
  int_ref name "src/cli/CLIArgExt.ml" 192 5855 5867 "src/cli/CLIArgExt.ml" 192 5855 5871
)
"src/cli/CLIArgExt.ml" 195 5948 5987 "src/cli/CLIArgExt.ml" 195 5948 5988
type(
  String.t -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 195 5948 5988 "src/cli/CLIArgExt.ml" 195 5948 5991
type(
  string
)
"src/cli/CLIArgExt.ml" 195 5948 5983 "src/cli/CLIArgExt.ml" 195 5948 5991
type(
  string
)
"src/cli/CLIArgExt.ml" 195 5948 5978 "src/cli/CLIArgExt.ml" 195 5948 5992
type(
  string
)
"src/cli/CLIArgExt.ml" 196 5993 6009 "src/cli/CLIArgExt.ml" 196 5993 6031
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_string_spaced "src/oasis/FormatExt.mli" 34 1872 1872 "src/oasis/FormatExt.mli" 34 1872 1934
)
"src/cli/CLIArgExt.ml" 196 5993 6033 "src/cli/CLIArgExt.ml" 196 5993 6037
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 194 5907 5939 "src/cli/CLIArgExt.ml" 194 5907 5943
)
"src/cli/CLIArgExt.ml" 196 5993 6033 "src/cli/CLIArgExt.ml" 196 5993 6051
type(
  string
)
"src/cli/CLIArgExt.ml" 196 5993 6009 "src/cli/CLIArgExt.ml" 196 5993 6051
type(
  (Format.formatter -> string -> unit) * string
)
"src/cli/CLIArgExt.ml" 196 5993 6008 "src/cli/CLIArgExt.ml" 196 5993 6052
type(
  ((Format.formatter -> string -> unit) * string) list
)
"src/cli/CLIArgExt.ml" 195 5948 5961 "src/cli/CLIArgExt.ml" 196 5993 6052
type(
  unit
)
"src/cli/CLIArgExt.ml" 197 6053 6066 "src/cli/CLIArgExt.ml" 197 6053 6074
type(
  help_style
)
"src/cli/CLIArgExt.ml" 197 6053 6084 "src/cli/CLIArgExt.ml" 197 6053 6087
type(
  PluginLoader.entry
)
ident(
  def plg "src/cli/CLIArgExt.ml" 198 6091 6104 "src/cli/CLIArgExt.ml" 201 6216 6261
)
"src/cli/CLIArgExt.ml" 197 6053 6076 "src/cli/CLIArgExt.ml" 197 6053 6087
type(
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 197 6053 6066 "src/cli/CLIArgExt.ml" 197 6053 6087
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 198 6091 6104 "src/cli/CLIArgExt.ml" 198 6091 6116
type(
  Format.formatter ->
  string -> ((Format.formatter -> string -> unit) * string) list -> unit
)
ident(
  int_ref FormatExt.pp_print_def "src/oasis/FormatExt.mli" 74 3072 3072 "src/oasis/FormatExt.mli" 75 3120 3174
)
"src/cli/CLIArgExt.ml" 198 6091 6117 "src/cli/CLIArgExt.ml" 198 6091 6120
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
)
"src/cli/CLIArgExt.ml" 198 6091 6122 "src/cli/CLIArgExt.ml" 198 6091 6125
type(
  string
)
"src/cli/CLIArgExt.ml" 198 6091 6125 "src/cli/CLIArgExt.ml" 198 6091 6126
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 198 6091 6126 "src/cli/CLIArgExt.ml" 198 6091 6130
type(
  String.t
)
ident(
  int_ref name "src/cli/CLIArgExt.ml" 192 5855 5867 "src/cli/CLIArgExt.ml" 192 5855 5871
)
"src/cli/CLIArgExt.ml" 198 6091 6130 "src/cli/CLIArgExt.ml" 198 6091 6131
type(
  String.t -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/cli/CLIArgExt.ml" 198 6091 6131 "src/cli/CLIArgExt.ml" 198 6091 6134
type(
  string
)
"src/cli/CLIArgExt.ml" 198 6091 6126 "src/cli/CLIArgExt.ml" 198 6091 6134
type(
  string
)
"src/cli/CLIArgExt.ml" 198 6091 6121 "src/cli/CLIArgExt.ml" 198 6091 6135
type(
  string
)
"src/cli/CLIArgExt.ml" 199 6136 6152 "src/cli/CLIArgExt.ml" 199 6136 6160
type(
  (string -> (Format.formatter -> string -> unit) * string) ->
  string list -> ((Format.formatter -> string -> unit) * string) list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/cli/CLIArgExt.ml" 200 6161 6184 "src/cli/CLIArgExt.ml" 200 6161 6185
type(
  string
)
ident(
  def s "src/cli/CLIArgExt.ml" 200 6161 6189 "src/cli/CLIArgExt.ml" 200 6161 6214
)
"src/cli/CLIArgExt.ml" 200 6161 6189 "src/cli/CLIArgExt.ml" 200 6161 6211
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_string_spaced "src/oasis/FormatExt.mli" 34 1872 1872 "src/oasis/FormatExt.mli" 34 1872 1934
)
"src/cli/CLIArgExt.ml" 200 6161 6213 "src/cli/CLIArgExt.ml" 200 6161 6214
type(
  string
)
ident(
  int_ref s "src/cli/CLIArgExt.ml" 200 6161 6184 "src/cli/CLIArgExt.ml" 200 6161 6185
)
"src/cli/CLIArgExt.ml" 200 6161 6189 "src/cli/CLIArgExt.ml" 200 6161 6214
type(
  (Format.formatter -> string -> unit) * string
)
"src/cli/CLIArgExt.ml" 200 6161 6179 "src/cli/CLIArgExt.ml" 200 6161 6215
type(
  string -> (Format.formatter -> string -> unit) * string
)
"src/cli/CLIArgExt.ml" 201 6216 6235 "src/cli/CLIArgExt.ml" 201 6216 6255
type(
  PluginLoader.entry -> string list
)
ident(
  int_ref plugin_markdown_data "src/cli/CLIArgExt.ml" 171 5164 5172 "src/cli/CLIArgExt.ml" 171 5164 5192
)
"src/cli/CLIArgExt.ml" 201 6216 6256 "src/cli/CLIArgExt.ml" 201 6216 6259
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 197 6053 6084 "src/cli/CLIArgExt.ml" 197 6053 6087
)
"src/cli/CLIArgExt.ml" 201 6216 6234 "src/cli/CLIArgExt.ml" 201 6216 6260
type(
  string list
)
"src/cli/CLIArgExt.ml" 199 6136 6151 "src/cli/CLIArgExt.ml" 201 6216 6261
type(
  ((Format.formatter -> string -> unit) * string) list
)
"src/cli/CLIArgExt.ml" 198 6091 6104 "src/cli/CLIArgExt.ml" 201 6216 6261
type(
  unit
)
"src/cli/CLIArgExt.ml" 202 6262 6275 "src/cli/CLIArgExt.ml" 202 6262 6281
type(
  help_style
)
"src/cli/CLIArgExt.ml" 202 6262 6292 "src/cli/CLIArgExt.ml" 202 6262 6296
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 203 6300 6313 "src/cli/CLIArgExt.ml" 204 6333 6381
)
"src/cli/CLIArgExt.ml" 202 6262 6283 "src/cli/CLIArgExt.ml" 202 6262 6296
type(
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 202 6262 6275 "src/cli/CLIArgExt.ml" 202 6262 6296
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 203 6300 6313 "src/cli/CLIArgExt.ml" 203 6300 6332
type(
  int -> Format.formatter -> String.t * string -> unit
)
ident(
  int_ref pp_print_output_def "src/cli/CLIArgExt.ml" 73 2609 2615 "src/cli/CLIArgExt.ml" 73 2609 2634
)
"src/cli/CLIArgExt.ml" 204 6333 6348 "src/cli/CLIArgExt.ml" 204 6333 6350
type(
  int
)
ident(
  int_ref sz "src/cli/CLIArgExt.ml" 159 4862 4870 "src/cli/CLIArgExt.ml" 159 4862 4872
)
"src/cli/CLIArgExt.ml" 204 6333 6351 "src/cli/CLIArgExt.ml" 204 6333 6354
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
)
"src/cli/CLIArgExt.ml" 204 6333 6356 "src/cli/CLIArgExt.ml" 204 6333 6360
type(
  String.t
)
ident(
  int_ref name "src/cli/CLIArgExt.ml" 192 5855 5867 "src/cli/CLIArgExt.ml" 192 5855 5871
)
"src/cli/CLIArgExt.ml" 204 6333 6362 "src/cli/CLIArgExt.ml" 204 6333 6366
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 202 6262 6292 "src/cli/CLIArgExt.ml" 202 6262 6296
)
"src/cli/CLIArgExt.ml" 204 6333 6362 "src/cli/CLIArgExt.ml" 204 6333 6380
type(
  string
)
"src/cli/CLIArgExt.ml" 204 6333 6355 "src/cli/CLIArgExt.ml" 204 6333 6381
type(
  String.t * string
)
"src/cli/CLIArgExt.ml" 203 6300 6313 "src/cli/CLIArgExt.ml" 204 6333 6381
type(
  unit
)
"src/cli/CLIArgExt.ml" 205 6382 6395 "src/cli/CLIArgExt.ml" 205 6382 6401
type(
  help_style
)
"src/cli/CLIArgExt.ml" 205 6382 6411 "src/cli/CLIArgExt.ml" 205 6382 6414
type(
  PluginLoader.entry
)
ident(
  def plg "src/cli/CLIArgExt.ml" 206 6418 6431 "src/cli/CLIArgExt.ml" 208 6473 6518
)
"src/cli/CLIArgExt.ml" 205 6382 6403 "src/cli/CLIArgExt.ml" 205 6382 6414
type(
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 205 6382 6395 "src/cli/CLIArgExt.ml" 205 6382 6414
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
type(
  help_style *
  [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 206 6418 6431 "src/cli/CLIArgExt.ml" 206 6418 6450
type(
  int -> Format.formatter -> String.t * string -> unit
)
ident(
  int_ref pp_print_output_def "src/cli/CLIArgExt.ml" 73 2609 2615 "src/cli/CLIArgExt.ml" 73 2609 2634
)
"src/cli/CLIArgExt.ml" 207 6451 6466 "src/cli/CLIArgExt.ml" 207 6451 6468
type(
  int
)
ident(
  int_ref sz "src/cli/CLIArgExt.ml" 159 4862 4870 "src/cli/CLIArgExt.ml" 159 4862 4872
)
"src/cli/CLIArgExt.ml" 207 6451 6469 "src/cli/CLIArgExt.ml" 207 6451 6472
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
)
"src/cli/CLIArgExt.ml" 208 6473 6489 "src/cli/CLIArgExt.ml" 208 6473 6493
type(
  String.t
)
ident(
  int_ref name "src/cli/CLIArgExt.ml" 192 5855 5867 "src/cli/CLIArgExt.ml" 192 5855 5871
)
"src/cli/CLIArgExt.ml" 208 6473 6495 "src/cli/CLIArgExt.ml" 208 6473 6513
type(
  PluginLoader.entry -> string
)
ident(
  int_ref plugin_output_data "src/cli/CLIArgExt.ml" 181 5434 5442 "src/cli/CLIArgExt.ml" 181 5434 5460
)
"src/cli/CLIArgExt.ml" 208 6473 6514 "src/cli/CLIArgExt.ml" 208 6473 6517
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 205 6382 6411 "src/cli/CLIArgExt.ml" 205 6382 6414
)
"src/cli/CLIArgExt.ml" 208 6473 6495 "src/cli/CLIArgExt.ml" 208 6473 6517
type(
  string
)
"src/cli/CLIArgExt.ml" 208 6473 6488 "src/cli/CLIArgExt.ml" 208 6473 6518
type(
  String.t * string
)
"src/cli/CLIArgExt.ml" 206 6418 6431 "src/cli/CLIArgExt.ml" 208 6473 6518
type(
  unit
)
"src/cli/CLIArgExt.ml" 193 5879 5888 "src/cli/CLIArgExt.ml" 208 6473 6518
type(
  unit
)
"src/cli/CLIArgExt.ml" 192 5855 5861 "src/cli/CLIArgExt.ml" 208 6473 6519
type(
  String.t * [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ] ->
  unit
)
"src/cli/CLIArgExt.ml" 209 6520 6526 "src/cli/CLIArgExt.ml" 209 6520 6535
type(
  (String.t * [ `Builtin of CLISubCommand.t | `Plugin of PluginLoader.entry ])
  list
)
ident(
  int_ref all_scmds "src/cli/CLIArgExt.ml" 154 4716 4724 "src/cli/CLIArgExt.ml" 154 4716 4733
)
"src/cli/CLIArgExt.ml" 191 5841 5845 "src/cli/CLIArgExt.ml" 209 6520 6535
type(
  unit
)
"src/cli/CLIArgExt.ml" 210 6537 6544 "src/cli/CLIArgExt.ml" 210 6537 6548
type(
  help_style
)
ident(
  int_ref hsty "src/cli/CLIArgExt.ml" 64 2337 2366 "src/cli/CLIArgExt.ml" 64 2337 2370
)
"src/cli/CLIArgExt.ml" 210 6537 6549 "src/cli/CLIArgExt.ml" 210 6537 6550
type(
  help_style -> help_style -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/cli/CLIArgExt.ml" 210 6537 6551 "src/cli/CLIArgExt.ml" 210 6537 6557
type(
  help_style
)
"src/cli/CLIArgExt.ml" 210 6537 6544 "src/cli/CLIArgExt.ml" 210 6537 6557
type(
  bool
)
"src/cli/CLIArgExt.ml" 211 6563 6569 "src/cli/CLIArgExt.ml" 211 6563 6585
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/cli/CLIArgExt.ml" 211 6563 6586 "src/cli/CLIArgExt.ml" 211 6563 6589
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 140 4284 4305 "src/cli/CLIArgExt.ml" 140 4284 4308
)
"src/cli/CLIArgExt.ml" 211 6563 6590 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 211 6563 6569 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 210 6537 6541 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 191 5841 5845 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 190 5788 5792 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 181 5434 5438 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 171 5164 5168 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 166 5030 5034 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 159 4862 4866 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 154 4716 4720 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 146 4466 4470 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 141 4314 4318 "src/cli/CLIArgExt.ml" 211 6563 6592
type(
  unit
)
"src/cli/CLIArgExt.ml" 214 6599 6605 "src/cli/CLIArgExt.ml" 214 6599 6618
type(
  Format.formatter ->
  global_options:bool ->
  ?origin:[< `Builtin | `Plugin of PluginLoader.entry ] ->
  CLISubCommand.t -> unit
)
ident(
  def pp_print_scmd "src/cli/CLIArgExt.ml" 262 7909 7911 "src/cli/CLIArgExt.ml" 315 9389 9394
)
"src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIArgExt.ml" 214 6599 6623 "src/cli/CLIArgExt.ml" 258 7857 7866
)
"src/cli/CLIArgExt.ml" 214 6599 6624 "src/cli/CLIArgExt.ml" 214 6599 6638
type(
  bool
)
ident(
  def global_options "src/cli/CLIArgExt.ml" 214 6599 6639 "src/cli/CLIArgExt.ml" 258 7857 7866
)
"src/cli/CLIArgExt.ml" 214 6599 6640 "src/cli/CLIArgExt.ml" 214 6599 6646
type(
  ([< `Builtin | `Plugin of PluginLoader.entry ] as 'e) option
)
ident(
  def origin "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 258 7857 7866
)
"src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 215 6654 6658 "src/cli/CLIArgExt.ml" 258 7857 7866
)
"src/cli/CLIArgExt.ml" 215 6654 6663 "src/cli/CLIArgExt.ml" 215 6654 6673
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  def scmd_specs "src/cli/CLIArgExt.ml" 216 6704 6708 "src/cli/CLIArgExt.ml" 258 7857 7866
)
"src/cli/CLIArgExt.ml" 215 6654 6675 "src/cli/CLIArgExt.ml" 215 6654 6676
type(
  Arg.anon_fun
)
"src/cli/CLIArgExt.ml" 215 6654 6662 "src/cli/CLIArgExt.ml" 215 6654 6677
type(
  CLISubCommand.cli_parsing_t
)
"src/cli/CLIArgExt.ml" 215 6654 6679 "src/cli/CLIArgExt.ml" 215 6654 6680
type(
  unit CLISubCommand.main_t
)
"src/cli/CLIArgExt.ml" 215 6654 6662 "src/cli/CLIArgExt.ml" 215 6654 6680
type(
  CLISubCommand.cli_parsing_t * unit CLISubCommand.main_t
)
"src/cli/CLIArgExt.ml" 215 6654 6684 "src/cli/CLIArgExt.ml" 215 6654 6688
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 215 6654 6684 "src/cli/CLIArgExt.ml" 215 6654 6697
type(
  unit CLISubCommand.run_t
)
"src/cli/CLIArgExt.ml" 215 6654 6698 "src/cli/CLIArgExt.ml" 215 6654 6700
type(
  unit
)
"src/cli/CLIArgExt.ml" 215 6654 6684 "src/cli/CLIArgExt.ml" 215 6654 6700
type(
  CLISubCommand.cli_parsing_t * unit CLISubCommand.main_t
)
"src/cli/CLIArgExt.ml" 216 6704 6711 "src/cli/CLIArgExt.ml" 216 6704 6714
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/cli/CLIArgExt.ml" 216 6704 6715 "src/cli/CLIArgExt.ml" 216 6704 6719
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 216 6704 6715 "src/cli/CLIArgExt.ml" 216 6704 6735
type(
  bool
)
"src/cli/CLIArgExt.ml" 216 6704 6711 "src/cli/CLIArgExt.ml" 216 6704 6735
type(
  bool
)
"src/cli/CLIArgExt.ml" 217 6741 6747 "src/cli/CLIArgExt.ml" 217 6741 6761
type(
  Format.formatter -> int -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_title "src/oasis/FormatExt.mli" 57 2586 2586 "src/oasis/FormatExt.mli" 57 2586 2647
)
"src/cli/CLIArgExt.ml" 217 6741 6762 "src/cli/CLIArgExt.ml" 217 6741 6765
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 217 6741 6766 "src/cli/CLIArgExt.ml" 217 6741 6767
type(
  int
)
"src/cli/CLIArgExt.ml" 218 6768 6777 "src/cli/CLIArgExt.ml" 218 6768 6791
type(
  (OASISTypes.name -> string, unit, string) format ->
  OASISTypes.name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/cli/CLIArgExt.ml" 218 6768 6793 "src/cli/CLIArgExt.ml" 218 6768 6795
type(
  (OASISTypes.name -> string, unit, string, string) format4 ->
  (OASISTypes.name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/cli/CLIArgExt.ml" 218 6768 6796 "src/cli/CLIArgExt.ml" 218 6768 6811
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/cli/CLIArgExt.ml" 218 6768 6792 "src/cli/CLIArgExt.ml" 218 6768 6812
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/cli/CLIArgExt.ml" 218 6768 6813 "src/cli/CLIArgExt.ml" 218 6768 6817
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 218 6768 6813 "src/cli/CLIArgExt.ml" 218 6768 6827
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 218 6768 6776 "src/cli/CLIArgExt.ml" 218 6768 6828
type(
  string
)
"src/cli/CLIArgExt.ml" 217 6741 6747 "src/cli/CLIArgExt.ml" 218 6768 6828
type(
  unit
)
"src/cli/CLIArgExt.ml" 220 6838 6844 "src/cli/CLIArgExt.ml" 220 6838 6858
type(
  Format.formatter -> int -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_title "src/oasis/FormatExt.mli" 57 2586 2586 "src/oasis/FormatExt.mli" 57 2586 2647
)
"src/cli/CLIArgExt.ml" 220 6838 6859 "src/cli/CLIArgExt.ml" 220 6838 6862
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 220 6838 6863 "src/cli/CLIArgExt.ml" 220 6838 6864
type(
  int
)
"src/cli/CLIArgExt.ml" 221 6865 6874 "src/cli/CLIArgExt.ml" 221 6865 6888
type(
  (OASISTypes.name -> string, unit, string) format ->
  OASISTypes.name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/cli/CLIArgExt.ml" 221 6865 6890 "src/cli/CLIArgExt.ml" 221 6865 6892
type(
  (OASISTypes.name -> string, unit, string, string) format4 ->
  (OASISTypes.name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/cli/CLIArgExt.ml" 221 6865 6893 "src/cli/CLIArgExt.ml" 221 6865 6921
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/cli/CLIArgExt.ml" 221 6865 6889 "src/cli/CLIArgExt.ml" 221 6865 6922
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/cli/CLIArgExt.ml" 221 6865 6923 "src/cli/CLIArgExt.ml" 221 6865 6927
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 221 6865 6923 "src/cli/CLIArgExt.ml" 221 6865 6937
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 221 6865 6873 "src/cli/CLIArgExt.ml" 221 6865 6938
type(
  string
)
"src/cli/CLIArgExt.ml" 220 6838 6844 "src/cli/CLIArgExt.ml" 221 6865 6938
type(
  unit
)
"src/cli/CLIArgExt.ml" 216 6704 6708 "src/cli/CLIArgExt.ml" 221 6865 6938
type(
  unit
)
"src/cli/CLIArgExt.ml" 224 6951 6963 "src/cli/CLIArgExt.ml" 224 6951 6969
type(
  'e option
)
ident(
  int_ref origin "src/cli/CLIArgExt.ml" 214 6599 6640 "src/cli/CLIArgExt.ml" 214 6599 6646
)
"src/cli/CLIArgExt.ml" 225 6975 6999 "src/cli/CLIArgExt.ml" 225 6975 7002
type(
  PluginLoader.entry
)
ident(
  def plg "src/cli/CLIArgExt.ml" 226 7007 7017 "src/cli/CLIArgExt.ml" 231 7219 7260
)
"src/cli/CLIArgExt.ml" 225 6975 6990 "src/cli/CLIArgExt.ml" 225 6975 7003
type(
  'e
)
"src/cli/CLIArgExt.ml" 225 6975 6985 "src/cli/CLIArgExt.ml" 225 6975 7003
type(
  'e option
)
type(
  'e option
)
"src/cli/CLIArgExt.ml" 226 7007 7017 "src/cli/CLIArgExt.ml" 226 7007 7024
type(
  Format.formatter ->
  (string -> string -> unit, Format.formatter, unit) format ->
  string -> string -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/cli/CLIArgExt.ml" 226 7007 7025 "src/cli/CLIArgExt.ml" 226 7007 7028
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 227 7029 7041 "src/cli/CLIArgExt.ml" 227 7029 7092
type(
  (string -> string -> unit, Format.formatter, unit) format
)
"src/cli/CLIArgExt.ml" 228 7093 7112 "src/cli/CLIArgExt.ml" 228 7093 7115
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 225 6975 6999 "src/cli/CLIArgExt.ml" 225 6975 7002
)
"src/cli/CLIArgExt.ml" 228 7093 7112 "src/cli/CLIArgExt.ml" 228 7093 7136
type(
  string option
)
"src/cli/CLIArgExt.ml" 229 7142 7163 "src/cli/CLIArgExt.ml" 229 7142 7170
type(
  string
)
ident(
  def ver_str "src/cli/CLIArgExt.ml" 229 7142 7174 "src/cli/CLIArgExt.ml" 229 7142 7181
)
"src/cli/CLIArgExt.ml" 229 7142 7158 "src/cli/CLIArgExt.ml" 229 7142 7170
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 229 7142 7174 "src/cli/CLIArgExt.ml" 229 7142 7181
type(
  string
)
ident(
  int_ref ver_str "src/cli/CLIArgExt.ml" 229 7142 7163 "src/cli/CLIArgExt.ml" 229 7142 7170
)
"src/cli/CLIArgExt.ml" 230 7182 7198 "src/cli/CLIArgExt.ml" 230 7182 7202
type(
  string option
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 230 7182 7206 "src/cli/CLIArgExt.ml" 230 7182 7217
type(
  string
)
"src/cli/CLIArgExt.ml" 228 7093 7105 "src/cli/CLIArgExt.ml" 230 7182 7218
type(
  string
)
"src/cli/CLIArgExt.ml" 231 7219 7231 "src/cli/CLIArgExt.ml" 231 7219 7234
type(
  PluginLoader.entry
)
ident(
  int_ref plg "src/cli/CLIArgExt.ml" 225 6975 6999 "src/cli/CLIArgExt.ml" 225 6975 7002
)
"src/cli/CLIArgExt.ml" 231 7219 7231 "src/cli/CLIArgExt.ml" 231 7219 7260
type(
  string
)
"src/cli/CLIArgExt.ml" 226 7007 7017 "src/cli/CLIArgExt.ml" 231 7219 7260
type(
  unit
)
"src/cli/CLIArgExt.ml" 232 7262 7277 "src/cli/CLIArgExt.ml" 232 7262 7285
type(
  'e
)
"src/cli/CLIArgExt.ml" 232 7262 7272 "src/cli/CLIArgExt.ml" 232 7262 7285
type(
  'e option
)
type(
  'e option
)
"src/cli/CLIArgExt.ml" 232 7262 7288 "src/cli/CLIArgExt.ml" 232 7262 7292
type(
  'e option
)
type(
  'e option
)
"src/cli/CLIArgExt.ml" 232 7262 7272 "src/cli/CLIArgExt.ml" 232 7262 7292
type(
  'e option
)
"src/cli/CLIArgExt.ml" 233 7296 7306 "src/cli/CLIArgExt.ml" 233 7296 7308
type(
  unit
)
"src/cli/CLIArgExt.ml" 223 6941 6945 "src/cli/CLIArgExt.ml" 234 7309 7316
type(
  unit
)
"src/cli/CLIArgExt.ml" 236 7319 7323 "src/cli/CLIArgExt.ml" 236 7319 7338
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/cli/CLIArgExt.ml" 236 7319 7339 "src/cli/CLIArgExt.ml" 236 7319 7342
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 236 7319 7343 "src/cli/CLIArgExt.ml" 236 7319 7347
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 236 7319 7343 "src/cli/CLIArgExt.ml" 236 7319 7357
type(
  string
)
"src/cli/CLIArgExt.ml" 236 7319 7323 "src/cli/CLIArgExt.ml" 236 7319 7357
type(
  unit
)
"src/cli/CLIArgExt.ml" 237 7359 7363 "src/cli/CLIArgExt.ml" 237 7359 7380
type(
  ?check_last_char:string -> Format.formatter -> unit -> unit
)
ident(
  int_ref FormatExt.pp_print_endblock "src/oasis/FormatExt.mli" 69 2917 2917 "src/oasis/FormatExt.mli" 70 2940 3001
)
"src/cli/CLIArgExt.ml" 238 7381 7404 "src/cli/CLIArgExt.ml" 238 7381 7408
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 238 7381 7404 "src/cli/CLIArgExt.ml" 238 7381 7418
type(
  string
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 239 7419 7425 "src/cli/CLIArgExt.ml" 239 7419 7428
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 239 7419 7429 "src/cli/CLIArgExt.ml" 239 7419 7431
type(
  unit
)
"src/cli/CLIArgExt.ml" 237 7359 7363 "src/cli/CLIArgExt.ml" 239 7419 7431
type(
  unit
)
"src/cli/CLIArgExt.ml" 241 7434 7438 "src/cli/CLIArgExt.ml" 241 7434 7445
type(
  Format.formatter ->
  (OASISTypes.name -> string -> unit, Format.formatter, unit) format ->
  OASISTypes.name -> string -> unit
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/cli/CLIArgExt.ml" 241 7434 7446 "src/cli/CLIArgExt.ml" 241 7434 7449
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 242 7450 7457 "src/cli/CLIArgExt.ml" 242 7450 7459
type(
  (OASISTypes.name -> string -> unit, Format.formatter, unit, unit) format4 ->
  (OASISTypes.name -> string -> unit, Format.formatter, unit, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/cli/CLIArgExt.ml" 242 7450 7460 "src/cli/CLIArgExt.ml" 242 7450 7498
type(
  (OASISTypes.name -> string -> unit, Format.formatter, unit, unit) format4
)
"src/cli/CLIArgExt.ml" 242 7450 7456 "src/cli/CLIArgExt.ml" 242 7450 7499
type(
  (OASISTypes.name -> string -> unit, Format.formatter, unit, unit) format4
)
"src/cli/CLIArgExt.ml" 243 7500 7506 "src/cli/CLIArgExt.ml" 243 7500 7510
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 243 7500 7506 "src/cli/CLIArgExt.ml" 243 7500 7520
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 243 7500 7522 "src/cli/CLIArgExt.ml" 243 7500 7524
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 243 7500 7525 "src/cli/CLIArgExt.ml" 243 7500 7529
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 214 6599 6647 "src/cli/CLIArgExt.ml" 214 6599 6651
)
"src/cli/CLIArgExt.ml" 243 7500 7525 "src/cli/CLIArgExt.ml" 243 7500 7540
type(
  string
)
"src/cli/CLIArgExt.ml" 243 7500 7521 "src/cli/CLIArgExt.ml" 243 7500 7541
type(
  string
)
"src/cli/CLIArgExt.ml" 241 7434 7438 "src/cli/CLIArgExt.ml" 243 7500 7541
type(
  unit
)
"src/cli/CLIArgExt.ml" 244 7543 7547 "src/cli/CLIArgExt.ml" 244 7543 7564
type(
  ?check_last_char:string -> Format.formatter -> unit -> unit
)
ident(
  int_ref FormatExt.pp_print_endblock "src/oasis/FormatExt.mli" 69 2917 2917 "src/oasis/FormatExt.mli" 70 2940 3001
)
"src/cli/CLIArgExt.ml" 244 7543 7565 "src/cli/CLIArgExt.ml" 244 7543 7568
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 244 7543 7569 "src/cli/CLIArgExt.ml" 244 7543 7571
type(
  unit
)
"src/cli/CLIArgExt.ml" 244 7543 7547 "src/cli/CLIArgExt.ml" 244 7543 7571
type(
  unit
)
"src/cli/CLIArgExt.ml" 246 7574 7581 "src/cli/CLIArgExt.ml" 246 7574 7595
type(
  bool
)
ident(
  int_ref global_options "src/cli/CLIArgExt.ml" 214 6599 6624 "src/cli/CLIArgExt.ml" 214 6599 6638
)
"src/cli/CLIArgExt.ml" 248 7613 7621 "src/cli/CLIArgExt.ml" 248 7613 7634
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/cli/CLIArgExt.ml" 248 7613 7635 "src/cli/CLIArgExt.ml" 248 7613 7638
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 248 7613 7640 "src/cli/CLIArgExt.ml" 248 7613 7642
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 248 7613 7643 "src/cli/CLIArgExt.ml" 248 7613 7661
type(
  string
)
"src/cli/CLIArgExt.ml" 248 7613 7639 "src/cli/CLIArgExt.ml" 248 7613 7662
type(
  string
)
"src/cli/CLIArgExt.ml" 248 7613 7621 "src/cli/CLIArgExt.ml" 248 7613 7662
type(
  unit
)
"src/cli/CLIArgExt.ml" 250 7665 7673 "src/cli/CLIArgExt.ml" 250 7665 7687
type(
  bool -> Format.formatter -> (string * Arg.spec * string) list -> unit
)
ident(
  int_ref pp_print_specs "src/cli/CLIArgExt.ml" 83 2870 2876 "src/cli/CLIArgExt.ml" 83 2870 2890
)
"src/cli/CLIArgExt.ml" 250 7665 7688 "src/cli/CLIArgExt.ml" 250 7665 7692
type(
  bool
)
"src/cli/CLIArgExt.ml" 250 7665 7693 "src/cli/CLIArgExt.ml" 250 7665 7696
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 250 7665 7698 "src/cli/CLIArgExt.ml" 250 7665 7701
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t) ->
  (string * Arg.spec * string) list
)
ident(
  int_ref Stdlib.fst "stdlib.mli" 814 30361 30361 "stdlib.mli" 814 30361 30401
)
"src/cli/CLIArgExt.ml" 250 7665 7703 "src/cli/CLIArgExt.ml" 250 7665 7709
type(
  unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
ident(
  int_ref fspecs "src/cli/CLIArgExt.ml" 61 2302 2306 "src/cli/CLIArgExt.ml" 61 2302 2312
)
"src/cli/CLIArgExt.ml" 250 7665 7710 "src/cli/CLIArgExt.ml" 250 7665 7712
type(
  unit
)
"src/cli/CLIArgExt.ml" 250 7665 7702 "src/cli/CLIArgExt.ml" 250 7665 7713
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
"src/cli/CLIArgExt.ml" 250 7665 7697 "src/cli/CLIArgExt.ml" 250 7665 7714
type(
  (string * Arg.spec * string) list
)
"src/cli/CLIArgExt.ml" 250 7665 7673 "src/cli/CLIArgExt.ml" 250 7665 7714
type(
  unit
)
"src/cli/CLIArgExt.ml" 247 7601 7607 "src/cli/CLIArgExt.ml" 251 7715 7724
type(
  unit
)
"src/cli/CLIArgExt.ml" 246 7574 7578 "src/cli/CLIArgExt.ml" 251 7715 7724
type(
  unit
)
"src/cli/CLIArgExt.ml" 253 7727 7734 "src/cli/CLIArgExt.ml" 253 7727 7744
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref scmd_specs "src/cli/CLIArgExt.ml" 215 6654 6663 "src/cli/CLIArgExt.ml" 215 6654 6673
)
"src/cli/CLIArgExt.ml" 253 7727 7745 "src/cli/CLIArgExt.ml" 253 7727 7747
type(
  (Arg.key * Arg.spec * Arg.doc) list ->
  (Arg.key * Arg.spec * Arg.doc) list -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/cli/CLIArgExt.ml" 253 7727 7748 "src/cli/CLIArgExt.ml" 253 7727 7750
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/cli/CLIArgExt.ml" 253 7727 7734 "src/cli/CLIArgExt.ml" 253 7727 7750
type(
  bool
)
"src/cli/CLIArgExt.ml" 255 7768 7776 "src/cli/CLIArgExt.ml" 255 7768 7789
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/cli/CLIArgExt.ml" 255 7768 7790 "src/cli/CLIArgExt.ml" 255 7768 7793
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 255 7768 7795 "src/cli/CLIArgExt.ml" 255 7768 7797
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 255 7768 7798 "src/cli/CLIArgExt.ml" 255 7768 7809
type(
  string
)
"src/cli/CLIArgExt.ml" 255 7768 7794 "src/cli/CLIArgExt.ml" 255 7768 7810
type(
  string
)
"src/cli/CLIArgExt.ml" 255 7768 7776 "src/cli/CLIArgExt.ml" 255 7768 7810
type(
  unit
)
"src/cli/CLIArgExt.ml" 257 7813 7821 "src/cli/CLIArgExt.ml" 257 7813 7835
type(
  bool -> Format.formatter -> (Arg.key * Arg.spec * Arg.doc) list -> unit
)
ident(
  int_ref pp_print_specs "src/cli/CLIArgExt.ml" 83 2870 2876 "src/cli/CLIArgExt.ml" 83 2870 2890
)
"src/cli/CLIArgExt.ml" 257 7813 7836 "src/cli/CLIArgExt.ml" 257 7813 7841
type(
  bool
)
"src/cli/CLIArgExt.ml" 257 7813 7842 "src/cli/CLIArgExt.ml" 257 7813 7845
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 214 6599 6619 "src/cli/CLIArgExt.ml" 214 6599 6622
)
"src/cli/CLIArgExt.ml" 257 7813 7846 "src/cli/CLIArgExt.ml" 257 7813 7856
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref scmd_specs "src/cli/CLIArgExt.ml" 215 6654 6663 "src/cli/CLIArgExt.ml" 215 6654 6673
)
"src/cli/CLIArgExt.ml" 257 7813 7821 "src/cli/CLIArgExt.ml" 257 7813 7856
type(
  unit
)
"src/cli/CLIArgExt.ml" 254 7756 7762 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 253 7727 7731 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 246 7574 7578 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 244 7543 7547 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 241 7434 7438 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 237 7359 7363 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 236 7319 7323 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 223 6941 6945 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 216 6704 6708 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 215 6654 6658 "src/cli/CLIArgExt.ml" 258 7857 7866
type(
  unit
)
"src/cli/CLIArgExt.ml" 263 7917 7927 "src/cli/CLIArgExt.ml" 263 7917 7931
type(
  help_extent
)
ident(
  int_ref hext "src/cli/CLIArgExt.ml" 64 2337 2361 "src/cli/CLIArgExt.ml" 64 2337 2365
)
"src/cli/CLIArgExt.ml" 264 7937 7945 "src/cli/CLIArgExt.ml" 264 7937 7957
type(
  help_extent
)
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 264 7937 7960 "src/cli/CLIArgExt.ml" 264 7937 7973
type(
  help_extent
)
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 264 7937 7945 "src/cli/CLIArgExt.ml" 264 7937 7973
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 266 7991 8001 "src/cli/CLIArgExt.ml" 266 7991 8016
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/cli/CLIArgExt.ml" 266 7991 8017 "src/cli/CLIArgExt.ml" 266 7991 8020
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 266 7991 8021 "src/cli/CLIArgExt.ml" 266 7991 8030
type(
  string
)
ident(
  int_ref usage_msg "src/cli/CLIArgExt.ml" 47 1971 1975 "src/cli/CLIArgExt.ml" 47 1971 1984
)
"src/cli/CLIArgExt.ml" 266 7991 8001 "src/cli/CLIArgExt.ml" 266 7991 8030
type(
  unit
)
"src/cli/CLIArgExt.ml" 267 8032 8042 "src/cli/CLIArgExt.ml" 267 8032 8059
type(
  ?check_last_char:string -> Format.formatter -> unit -> unit
)
ident(
  int_ref FormatExt.pp_print_endblock "src/oasis/FormatExt.mli" 69 2917 2917 "src/oasis/FormatExt.mli" 70 2940 3001
)
"src/cli/CLIArgExt.ml" 267 8032 8060 "src/cli/CLIArgExt.ml" 267 8032 8063
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 267 8032 8064 "src/cli/CLIArgExt.ml" 267 8032 8066
type(
  unit
)
"src/cli/CLIArgExt.ml" 267 8032 8042 "src/cli/CLIArgExt.ml" 267 8032 8066
type(
  unit
)
"src/cli/CLIArgExt.ml" 269 8069 8079 "src/cli/CLIArgExt.ml" 269 8069 8094
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/cli/CLIArgExt.ml" 269 8069 8095 "src/cli/CLIArgExt.ml" 269 8069 8098
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 269 8069 8099 "src/cli/CLIArgExt.ml" 269 8069 8115
type(
  string
)
ident(
  int_ref CLIData.main_mkd "src/cli/CLIData.ml" 70 2819 2823 "src/cli/CLIData.ml" 70 2819 2831
)
"src/cli/CLIArgExt.ml" 269 8069 8079 "src/cli/CLIArgExt.ml" 269 8069 8115
type(
  unit
)
"src/cli/CLIArgExt.ml" 270 8117 8127 "src/cli/CLIArgExt.ml" 270 8117 8144
type(
  ?check_last_char:string -> Format.formatter -> unit -> unit
)
ident(
  int_ref FormatExt.pp_print_endblock "src/oasis/FormatExt.mli" 69 2917 2917 "src/oasis/FormatExt.mli" 70 2940 3001
)
"src/cli/CLIArgExt.ml" 271 8145 8174 "src/cli/CLIArgExt.ml" 271 8145 8190
type(
  string
)
ident(
  int_ref CLIData.main_mkd "src/cli/CLIData.ml" 70 2819 2823 "src/cli/CLIData.ml" 70 2819 2831
)
type(
  string option
)
"src/cli/CLIArgExt.ml" 272 8191 8203 "src/cli/CLIArgExt.ml" 272 8191 8206
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 272 8191 8207 "src/cli/CLIArgExt.ml" 272 8191 8209
type(
  unit
)
"src/cli/CLIArgExt.ml" 270 8117 8127 "src/cli/CLIArgExt.ml" 272 8191 8209
type(
  unit
)
"src/cli/CLIArgExt.ml" 274 8212 8222 "src/cli/CLIArgExt.ml" 274 8212 8236
type(
  bool -> Format.formatter -> (string * Arg.spec * string) list -> unit
)
ident(
  int_ref pp_print_specs "src/cli/CLIArgExt.ml" 83 2870 2876 "src/cli/CLIArgExt.ml" 83 2870 2890
)
"src/cli/CLIArgExt.ml" 274 8212 8237 "src/cli/CLIArgExt.ml" 274 8212 8241
type(
  bool
)
"src/cli/CLIArgExt.ml" 274 8212 8242 "src/cli/CLIArgExt.ml" 274 8212 8245
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 274 8212 8247 "src/cli/CLIArgExt.ml" 274 8212 8250
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t) ->
  (string * Arg.spec * string) list
)
ident(
  int_ref Stdlib.fst "stdlib.mli" 814 30361 30361 "stdlib.mli" 814 30361 30401
)
"src/cli/CLIArgExt.ml" 274 8212 8252 "src/cli/CLIArgExt.ml" 274 8212 8258
type(
  unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
ident(
  int_ref fspecs "src/cli/CLIArgExt.ml" 61 2302 2306 "src/cli/CLIArgExt.ml" 61 2302 2312
)
"src/cli/CLIArgExt.ml" 274 8212 8259 "src/cli/CLIArgExt.ml" 274 8212 8261
type(
  unit
)
"src/cli/CLIArgExt.ml" 274 8212 8251 "src/cli/CLIArgExt.ml" 274 8212 8262
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
"src/cli/CLIArgExt.ml" 274 8212 8246 "src/cli/CLIArgExt.ml" 274 8212 8263
type(
  (string * Arg.spec * string) list
)
"src/cli/CLIArgExt.ml" 274 8212 8222 "src/cli/CLIArgExt.ml" 274 8212 8263
type(
  unit
)
"src/cli/CLIArgExt.ml" 276 8266 8276 "src/cli/CLIArgExt.ml" 276 8266 8290
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref pp_print_scmds "src/cli/CLIArgExt.ml" 140 4284 4290 "src/cli/CLIArgExt.ml" 140 4284 4304
)
"src/cli/CLIArgExt.ml" 276 8266 8291 "src/cli/CLIArgExt.ml" 276 8266 8294
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 276 8266 8295 "src/cli/CLIArgExt.ml" 276 8266 8297
type(
  unit
)
"src/cli/CLIArgExt.ml" 276 8266 8276 "src/cli/CLIArgExt.ml" 276 8266 8297
type(
  unit
)
"src/cli/CLIArgExt.ml" 274 8212 8222 "src/cli/CLIArgExt.ml" 276 8266 8298
type(
  unit
)
"src/cli/CLIArgExt.ml" 270 8117 8127 "src/cli/CLIArgExt.ml" 276 8266 8298
type(
  unit
)
"src/cli/CLIArgExt.ml" 269 8069 8079 "src/cli/CLIArgExt.ml" 276 8266 8298
type(
  unit
)
"src/cli/CLIArgExt.ml" 267 8032 8042 "src/cli/CLIArgExt.ml" 276 8266 8298
type(
  unit
)
"src/cli/CLIArgExt.ml" 265 7977 7985 "src/cli/CLIArgExt.ml" 277 8299 8310
type(
  unit
)
"src/cli/CLIArgExt.ml" 279 8312 8331 "src/cli/CLIArgExt.ml" 279 8312 8332
type(
  string
)
"src/cli/CLIArgExt.ml" 279 8312 8320 "src/cli/CLIArgExt.ml" 279 8312 8332
type(
  help_extent
)
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 280 8336 8344 "src/cli/CLIArgExt.ml" 280 8336 8346
type(
  unit
)
"src/cli/CLIArgExt.ml" 262 7909 7911 "src/cli/CLIArgExt.ml" 281 8347 8352
type(
  unit
)
"src/cli/CLIArgExt.ml" 285 8422 8432 "src/cli/CLIArgExt.ml" 285 8422 8436
type(
  help_extent
)
ident(
  int_ref hext "src/cli/CLIArgExt.ml" 64 2337 2361 "src/cli/CLIArgExt.ml" 64 2337 2365
)
"src/cli/CLIArgExt.ml" 286 8442 8450 "src/cli/CLIArgExt.ml" 286 8442 8462
type(
  help_extent
)
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 287 8466 8474 "src/cli/CLIArgExt.ml" 287 8466 8476
type(
  unit
)
"src/cli/CLIArgExt.ml" 289 8478 8497 "src/cli/CLIArgExt.ml" 289 8478 8499
type(
  string
)
ident(
  def nm "src/cli/CLIArgExt.ml" 290 8503 8511 "src/cli/CLIArgExt.ml" 290 8503 8573
)
"src/cli/CLIArgExt.ml" 289 8478 8486 "src/cli/CLIArgExt.ml" 289 8478 8499
type(
  help_extent
)
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 290 8503 8511 "src/cli/CLIArgExt.ml" 290 8503 8524
type(
  Format.formatter ->
  global_options:bool ->
  ?origin:_[< `Builtin | `Plugin of PluginLoader.entry ] ->
  CLISubCommand.t -> unit
)
ident(
  int_ref pp_print_scmd "src/cli/CLIArgExt.ml" 214 6599 6605 "src/cli/CLIArgExt.ml" 214 6599 6618
)
"src/cli/CLIArgExt.ml" 290 8503 8525 "src/cli/CLIArgExt.ml" 290 8503 8528
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 290 8503 8545 "src/cli/CLIArgExt.ml" 290 8503 8549
type(
  bool
)
"src/cli/CLIArgExt.ml" 290 8503 8551 "src/cli/CLIArgExt.ml" 290 8503 8569
type(
  OASISTypes.name -> CLISubCommand.t
)
ident(
  int_ref CLISubCommand.find "src/cli/CLISubCommand.mli" 104 3875 3875 "src/cli/CLISubCommand.mli" 104 3875 3894
)
"src/cli/CLIArgExt.ml" 290 8503 8570 "src/cli/CLIArgExt.ml" 290 8503 8572
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/cli/CLIArgExt.ml" 289 8478 8497 "src/cli/CLIArgExt.ml" 289 8478 8499
)
"src/cli/CLIArgExt.ml" 290 8503 8550 "src/cli/CLIArgExt.ml" 290 8503 8573
type(
  CLISubCommand.t
)
"src/cli/CLIArgExt.ml" 290 8503 8511 "src/cli/CLIArgExt.ml" 290 8503 8573
type(
  unit
)
"src/cli/CLIArgExt.ml" 292 8575 8583 "src/cli/CLIArgExt.ml" 292 8575 8596
type(
  help_extent
)
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 293 8600 8612 "src/cli/CLIArgExt.ml" 293 8600 8617
type(
  (CLISubCommand.t * [> `Builtin ]) list
)
ident(
  def scmds "src/cli/CLIArgExt.ml" 298 8757 8765 "src/cli/CLIArgExt.ml" 314 9338 9388
)
"src/cli/CLIArgExt.ml" 294 8620 8630 "src/cli/CLIArgExt.ml" 294 8620 8642
type(
  (CLISubCommand.t -> CLISubCommand.t * ([> `Builtin ] as 'f)) ->
  CLISubCommand.t list -> (CLISubCommand.t * 'f) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/cli/CLIArgExt.ml" 295 8643 8660 "src/cli/CLIArgExt.ml" 295 8643 8664
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 295 8643 8668 "src/cli/CLIArgExt.ml" 295 8643 8682
)
"src/cli/CLIArgExt.ml" 295 8643 8668 "src/cli/CLIArgExt.ml" 295 8643 8672
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 295 8643 8660 "src/cli/CLIArgExt.ml" 295 8643 8664
)
"src/cli/CLIArgExt.ml" 295 8643 8674 "src/cli/CLIArgExt.ml" 295 8643 8682
type(
  'f
)
"src/cli/CLIArgExt.ml" 295 8643 8668 "src/cli/CLIArgExt.ml" 295 8643 8682
type(
  CLISubCommand.t * 'f
)
"src/cli/CLIArgExt.ml" 295 8643 8655 "src/cli/CLIArgExt.ml" 295 8643 8683
type(
  CLISubCommand.t -> CLISubCommand.t * 'f
)
"src/cli/CLIArgExt.ml" 296 8684 8697 "src/cli/CLIArgExt.ml" 296 8684 8723
type(
  ?deprecated:bool -> unit -> CLISubCommand.t list
)
ident(
  int_ref CLISubCommand.list_builtin "src/cli/CLISubCommand.mli" 115 4185 4185 "src/cli/CLISubCommand.mli" 115 4185 4237
)
"src/cli/CLIArgExt.ml" 296 8684 8736 "src/cli/CLIArgExt.ml" 296 8684 8741
type(
  bool
)
type(
  bool option
)
"src/cli/CLIArgExt.ml" 296 8684 8742 "src/cli/CLIArgExt.ml" 296 8684 8744
type(
  unit
)
"src/cli/CLIArgExt.ml" 296 8684 8696 "src/cli/CLIArgExt.ml" 296 8684 8745
type(
  CLISubCommand.t list
)
"src/cli/CLIArgExt.ml" 294 8620 8630 "src/cli/CLIArgExt.ml" 296 8684 8745
type(
  (CLISubCommand.t * 'f) list
)
"src/cli/CLIArgExt.ml" 298 8757 8769 "src/cli/CLIArgExt.ml" 298 8757 8781
type(
  (CLISubCommand.t * [> `Plugin of PluginLoader.entry ]) list
)
ident(
  def plugin_scmds "src/cli/CLIArgExt.ml" 308 9092 9100 "src/cli/CLIArgExt.ml" 314 9338 9388
)
"src/cli/CLIArgExt.ml" 299 8784 8797 "src/cli/CLIArgExt.ml" 299 8784 8800
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/cli/CLIArgExt.ml" 299 8784 8801 "src/cli/CLIArgExt.ml" 299 8784 8805
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLIArgExt.ml" 64 2337 2356 "src/cli/CLIArgExt.ml" 64 2337 2360
)
"src/cli/CLIArgExt.ml" 299 8784 8801 "src/cli/CLIArgExt.ml" 299 8784 8833
type(
  bool
)
"src/cli/CLIArgExt.ml" 299 8784 8797 "src/cli/CLIArgExt.ml" 299 8784 8833
type(
  bool
)
"src/cli/CLIArgExt.ml" 300 8839 8851 "src/cli/CLIArgExt.ml" 300 8839 8863
type(
  (PluginLoader.entry ->
   CLISubCommand.t * ([> `Plugin of PluginLoader.entry ] as 'g)) ->
  PluginLoader.entry list -> (CLISubCommand.t * 'g) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/cli/CLIArgExt.ml" 301 8864 8883 "src/cli/CLIArgExt.ml" 301 8864 8889
type(
  PluginLoader.entry
)
ident(
  def plugin "src/cli/CLIArgExt.ml" 302 8893 8910 "src/cli/CLIArgExt.ml" 303 8955 8986
)
"src/cli/CLIArgExt.ml" 302 8893 8910 "src/cli/CLIArgExt.ml" 302 8893 8928
type(
  OASISTypes.name -> CLISubCommand.t
)
ident(
  int_ref CLISubCommand.find "src/cli/CLISubCommand.mli" 104 3875 3875 "src/cli/CLISubCommand.mli" 104 3875 3894
)
"src/cli/CLIArgExt.ml" 302 8893 8929 "src/cli/CLIArgExt.ml" 302 8893 8935
type(
  PluginLoader.entry
)
ident(
  int_ref plugin "src/cli/CLIArgExt.ml" 301 8864 8883 "src/cli/CLIArgExt.ml" 301 8864 8889
)
"src/cli/CLIArgExt.ml" 302 8893 8929 "src/cli/CLIArgExt.ml" 302 8893 8953
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 302 8893 8910 "src/cli/CLIArgExt.ml" 302 8893 8953
type(
  CLISubCommand.t
)
"src/cli/CLIArgExt.ml" 303 8955 8980 "src/cli/CLIArgExt.ml" 303 8955 8986
type(
  PluginLoader.entry
)
ident(
  int_ref plugin "src/cli/CLIArgExt.ml" 301 8864 8883 "src/cli/CLIArgExt.ml" 301 8864 8889
)
"src/cli/CLIArgExt.ml" 303 8955 8972 "src/cli/CLIArgExt.ml" 303 8955 8986
type(
  'g
)
"src/cli/CLIArgExt.ml" 302 8893 8910 "src/cli/CLIArgExt.ml" 303 8955 8986
type(
  CLISubCommand.t * 'g
)
"src/cli/CLIArgExt.ml" 301 8864 8878 "src/cli/CLIArgExt.ml" 303 8955 8987
type(
  PluginLoader.entry -> CLISubCommand.t * 'g
)
"src/cli/CLIArgExt.ml" 304 8988 9003 "src/cli/CLIArgExt.ml" 304 8988 9028
type(
  ?deprecated:bool -> unit -> PluginLoader.entry list
)
ident(
  int_ref CLISubCommand.list_plugin "src/cli/CLISubCommand.mli" 110 4008 4008 "src/cli/CLISubCommand.mli" 110 4008 4076
)
"src/cli/CLIArgExt.ml" 304 8988 9041 "src/cli/CLIArgExt.ml" 304 8988 9046
type(
  bool
)
type(
  bool option
)
"src/cli/CLIArgExt.ml" 304 8988 9047 "src/cli/CLIArgExt.ml" 304 8988 9049
type(
  unit
)
"src/cli/CLIArgExt.ml" 304 8988 9002 "src/cli/CLIArgExt.ml" 304 8988 9050
type(
  PluginLoader.entry list
)
"src/cli/CLIArgExt.ml" 300 8839 8851 "src/cli/CLIArgExt.ml" 304 8988 9050
type(
  (CLISubCommand.t * 'g) list
)
"src/cli/CLIArgExt.ml" 306 9066 9078 "src/cli/CLIArgExt.ml" 306 9066 9080
type(
  (CLISubCommand.t * 'g) list
)
"src/cli/CLIArgExt.ml" 299 8784 8794 "src/cli/CLIArgExt.ml" 306 9066 9080
type(
  (CLISubCommand.t * 'g) list
)
"src/cli/CLIArgExt.ml" 308 9092 9100 "src/cli/CLIArgExt.ml" 308 9092 9109
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ] -> unit) ->
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list ->
  unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/cli/CLIArgExt.ml" 309 9110 9126 "src/cli/CLIArgExt.ml" 309 9110 9130
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 310 9143 9156 "src/cli/CLIArgExt.ml" 310 9143 9208
)
"src/cli/CLIArgExt.ml" 309 9110 9132 "src/cli/CLIArgExt.ml" 309 9110 9138
type(
  [ `Builtin | `Plugin of PluginLoader.entry ]
)
ident(
  def origin "src/cli/CLIArgExt.ml" 310 9143 9156 "src/cli/CLIArgExt.ml" 310 9143 9208
)
"src/cli/CLIArgExt.ml" 309 9110 9125 "src/cli/CLIArgExt.ml" 309 9110 9139
type(
  CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 310 9143 9156 "src/cli/CLIArgExt.ml" 310 9143 9169
type(
  Format.formatter ->
  global_options:bool ->
  ?origin:[ `Builtin | `Plugin of PluginLoader.entry ] ->
  CLISubCommand.t -> unit
)
ident(
  int_ref pp_print_scmd "src/cli/CLIArgExt.ml" 214 6599 6605 "src/cli/CLIArgExt.ml" 214 6599 6618
)
"src/cli/CLIArgExt.ml" 310 9143 9170 "src/cli/CLIArgExt.ml" 310 9143 9173
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIArgExt.ml" 64 2337 2371 "src/cli/CLIArgExt.ml" 64 2337 2374
)
"src/cli/CLIArgExt.ml" 310 9143 9190 "src/cli/CLIArgExt.ml" 310 9143 9195
type(
  bool
)
"src/cli/CLIArgExt.ml" 310 9143 9197 "src/cli/CLIArgExt.ml" 310 9143 9203
type(
  [ `Builtin | `Plugin of PluginLoader.entry ]
)
ident(
  int_ref origin "src/cli/CLIArgExt.ml" 309 9110 9132 "src/cli/CLIArgExt.ml" 309 9110 9138
)
type(
  [ `Builtin | `Plugin of PluginLoader.entry ] option
)
"src/cli/CLIArgExt.ml" 310 9143 9204 "src/cli/CLIArgExt.ml" 310 9143 9208
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 309 9110 9126 "src/cli/CLIArgExt.ml" 309 9110 9130
)
"src/cli/CLIArgExt.ml" 310 9143 9156 "src/cli/CLIArgExt.ml" 310 9143 9208
type(
  unit
)
"src/cli/CLIArgExt.ml" 309 9110 9120 "src/cli/CLIArgExt.ml" 310 9143 9209
type(
  CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ] -> unit
)
"src/cli/CLIArgExt.ml" 311 9210 9221 "src/cli/CLIArgExt.ml" 311 9210 9230
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ] ->
   CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ] -> int) ->
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list ->
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list
)
ident(
  int_ref Stdlib.List.sort "list.mli" 444 14676 14676 "list.mli" 444 14676 14726
)
"src/cli/CLIArgExt.ml" 312 9231 9250 "src/cli/CLIArgExt.ml" 312 9231 9255
type(
  CLISubCommand.t
)
ident(
  def scmd1 "src/cli/CLIArgExt.ml" 312 9231 9260 "src/cli/CLIArgExt.ml" 313 9274 9336
)
"src/cli/CLIArgExt.ml" 312 9231 9257 "src/cli/CLIArgExt.ml" 312 9231 9258
type(
  [ `Builtin | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 312 9231 9249 "src/cli/CLIArgExt.ml" 312 9231 9259
type(
  CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 312 9231 9261 "src/cli/CLIArgExt.ml" 312 9231 9266
type(
  CLISubCommand.t
)
ident(
  def scmd2 "src/cli/CLIArgExt.ml" 313 9274 9290 "src/cli/CLIArgExt.ml" 313 9274 9336
)
"src/cli/CLIArgExt.ml" 312 9231 9268 "src/cli/CLIArgExt.ml" 312 9231 9269
type(
  [ `Builtin | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 312 9231 9260 "src/cli/CLIArgExt.ml" 312 9231 9270
type(
  CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]
)
"src/cli/CLIArgExt.ml" 313 9274 9290 "src/cli/CLIArgExt.ml" 313 9274 9304
type(
  String.t -> String.t -> int
)
ident(
  int_ref Stdlib.String.compare "string.mli" 155 5690 5690 "string.mli" 155 5690 5717
)
"src/cli/CLIArgExt.ml" 313 9274 9305 "src/cli/CLIArgExt.ml" 313 9274 9310
type(
  CLISubCommand.t
)
ident(
  int_ref scmd1 "src/cli/CLIArgExt.ml" 312 9231 9250 "src/cli/CLIArgExt.ml" 312 9231 9255
)
"src/cli/CLIArgExt.ml" 313 9274 9305 "src/cli/CLIArgExt.ml" 313 9274 9320
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 313 9274 9321 "src/cli/CLIArgExt.ml" 313 9274 9326
type(
  CLISubCommand.t
)
ident(
  int_ref scmd2 "src/cli/CLIArgExt.ml" 312 9231 9261 "src/cli/CLIArgExt.ml" 312 9231 9266
)
"src/cli/CLIArgExt.ml" 313 9274 9321 "src/cli/CLIArgExt.ml" 313 9274 9336
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 313 9274 9290 "src/cli/CLIArgExt.ml" 313 9274 9336
type(
  int
)
"src/cli/CLIArgExt.ml" 312 9231 9244 "src/cli/CLIArgExt.ml" 313 9274 9337
type(
  CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ] ->
  CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ] -> int
)
"src/cli/CLIArgExt.ml" 314 9338 9352 "src/cli/CLIArgExt.ml" 314 9338 9367
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list ->
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list ->
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list
)
ident(
  int_ref Stdlib.List.rev_append "list.mli" 105 3970 3970 "list.mli" 105 3970 4016
)
"src/cli/CLIArgExt.ml" 314 9338 9368 "src/cli/CLIArgExt.ml" 314 9338 9380
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list
)
ident(
  int_ref plugin_scmds "src/cli/CLIArgExt.ml" 298 8757 8769 "src/cli/CLIArgExt.ml" 298 8757 8781
)
"src/cli/CLIArgExt.ml" 314 9338 9381 "src/cli/CLIArgExt.ml" 314 9338 9386
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list
)
ident(
  int_ref scmds "src/cli/CLIArgExt.ml" 293 8600 8612 "src/cli/CLIArgExt.ml" 293 8600 8617
)
"src/cli/CLIArgExt.ml" 314 9338 9351 "src/cli/CLIArgExt.ml" 314 9338 9387
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list
)
"src/cli/CLIArgExt.ml" 311 9210 9220 "src/cli/CLIArgExt.ml" 314 9338 9388
type(
  (CLISubCommand.t * [ `Builtin | `Plugin of PluginLoader.entry ]) list
)
"src/cli/CLIArgExt.ml" 308 9092 9100 "src/cli/CLIArgExt.ml" 314 9338 9388
type(
  unit
)
"src/cli/CLIArgExt.ml" 298 8757 8765 "src/cli/CLIArgExt.ml" 314 9338 9388
type(
  unit
)
"src/cli/CLIArgExt.ml" 293 8600 8608 "src/cli/CLIArgExt.ml" 314 9338 9388
type(
  unit
)
"src/cli/CLIArgExt.ml" 284 8414 8416 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 262 7909 7911 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 214 6599 6601 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 140 4284 4286 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 83 2870 2872 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 73 2609 2611 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 67 2417 2419 "src/cli/CLIArgExt.ml" 315 9389 9394
type(
  unit
)
"src/cli/CLIArgExt.ml" 318 9397 9401 "src/cli/CLIArgExt.ml" 318 9397 9414
type(
  unit -> unit
)
ident(
  def parse_and_run "src/cli/CLIArgExt.ml" 398 11426 11438 "src/cli/CLIArgExt.ml" 0 0 -1
)
"src/cli/CLIArgExt.ml" 318 9397 9415 "src/cli/CLIArgExt.ml" 318 9397 9417
type(
  unit
)
"src/cli/CLIArgExt.ml" 319 9420 9426 "src/cli/CLIArgExt.ml" 319 9420 9429
type(
  int ref
)
ident(
  def pos "src/cli/CLIArgExt.ml" 322 9463 9465 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 319 9420 9432 "src/cli/CLIArgExt.ml" 319 9420 9435
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/cli/CLIArgExt.ml" 319 9420 9436 "src/cli/CLIArgExt.ml" 319 9420 9437
type(
  int
)
"src/cli/CLIArgExt.ml" 319 9420 9432 "src/cli/CLIArgExt.ml" 319 9420 9437
type(
  int ref
)
"src/cli/CLIArgExt.ml" 322 9463 9469 "src/cli/CLIArgExt.ml" 322 9463 9479
type(
  (string * Arg.spec * string) list
)
ident(
  def ctxt_specs "src/cli/CLIArgExt.ml" 323 9505 9507 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 322 9463 9481 "src/cli/CLIArgExt.ml" 322 9463 9489
type(
  unit -> OASISContext.t
)
ident(
  def ctxt_gen "src/cli/CLIArgExt.ml" 323 9505 9507 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 322 9463 9469 "src/cli/CLIArgExt.ml" 322 9463 9489
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
"src/cli/CLIArgExt.ml" 322 9463 9492 "src/cli/CLIArgExt.ml" 322 9463 9498
type(
  unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
ident(
  int_ref fspecs "src/cli/CLIArgExt.ml" 61 2302 2306 "src/cli/CLIArgExt.ml" 61 2302 2312
)
"src/cli/CLIArgExt.ml" 322 9463 9499 "src/cli/CLIArgExt.ml" 322 9463 9501
type(
  unit
)
"src/cli/CLIArgExt.ml" 322 9463 9492 "src/cli/CLIArgExt.ml" 322 9463 9501
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
"src/cli/CLIArgExt.ml" 323 9505 9511 "src/cli/CLIArgExt.ml" 323 9505 9519
type(
  unit -> OASISContext.t
)
ident(
  def ctxt_gen "src/cli/CLIArgExt.ml" 328 9653 9655 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 323 9505 9520 "src/cli/CLIArgExt.ml" 323 9505 9522
type(
  unit
)
"src/cli/CLIArgExt.ml" 324 9525 9531 "src/cli/CLIArgExt.ml" 324 9525 9539
type(
  unit -> OASISContext.t
)
ident(
  int_ref ctxt_gen "src/cli/CLIArgExt.ml" 322 9463 9481 "src/cli/CLIArgExt.ml" 322 9463 9489
)
"src/cli/CLIArgExt.ml" 324 9525 9540 "src/cli/CLIArgExt.ml" 324 9525 9542
type(
  unit
)
"src/cli/CLIArgExt.ml" 324 9525 9530 "src/cli/CLIArgExt.ml" 324 9525 9543
type(
  OASISContext.t
)
"src/cli/CLIArgExt.ml" 325 9549 9587 "src/cli/CLIArgExt.ml" 325 9549 9620
type(
  string -> bool
)
ident(
  int_ref CLIPluginLoader.load_oasis_plugin "src/cli/CLIPluginLoader.ml" 46 2203 2207 "src/cli/CLIPluginLoader.ml" 46 2203 2224
)
"src/cli/CLIArgExt.ml" 324 9525 9529 "src/cli/CLIArgExt.ml" 325 9549 9621
type(
  OASISContext.t
)
"src/cli/CLIArgExt.ml" 328 9653 9659 "src/cli/CLIArgExt.ml" 328 9653 9663
type(
  CLISubCommand.t option ref
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 329 9678 9680 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 328 9653 9666 "src/cli/CLIArgExt.ml" 328 9653 9669
type(
  CLISubCommand.t option -> CLISubCommand.t option ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/cli/CLIArgExt.ml" 328 9653 9670 "src/cli/CLIArgExt.ml" 328 9653 9674
type(
  CLISubCommand.t option
)
"src/cli/CLIArgExt.ml" 328 9653 9666 "src/cli/CLIArgExt.ml" 328 9653 9674
type(
  CLISubCommand.t option ref
)
"src/cli/CLIArgExt.ml" 329 9678 9684 "src/cli/CLIArgExt.ml" 329 9678 9693
type(
  string array ref
)
ident(
  def scmd_args "src/cli/CLIArgExt.ml" 330 9708 9710 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 329 9678 9696 "src/cli/CLIArgExt.ml" 329 9678 9699
type(
  string array -> string array ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/cli/CLIArgExt.ml" 329 9678 9700 "src/cli/CLIArgExt.ml" 329 9678 9704
type(
  string array
)
"src/cli/CLIArgExt.ml" 329 9678 9696 "src/cli/CLIArgExt.ml" 329 9678 9704
type(
  string array ref
)
"src/cli/CLIArgExt.ml" 330 9708 9714 "src/cli/CLIArgExt.ml" 330 9708 9722
type(
  OASISTypes.name -> unit
)
ident(
  def set_scmd "src/cli/CLIArgExt.ml" 340 9954 9956 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 330 9708 9723 "src/cli/CLIArgExt.ml" 330 9708 9724
type(
  OASISTypes.name
)
ident(
  def s "src/cli/CLIArgExt.ml" 331 9727 9731 "src/cli/CLIArgExt.ml" 337 9906 9947
)
"src/cli/CLIArgExt.ml" 331 9727 9731 "src/cli/CLIArgExt.ml" 331 9727 9735
type(
  CLISubCommand.t option ref
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 328 9653 9659 "src/cli/CLIArgExt.ml" 328 9653 9663
)
"src/cli/CLIArgExt.ml" 331 9727 9736 "src/cli/CLIArgExt.ml" 331 9727 9738
type(
  CLISubCommand.t option ref -> CLISubCommand.t option -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/cli/CLIArgExt.ml" 331 9727 9745 "src/cli/CLIArgExt.ml" 331 9727 9763
type(
  OASISTypes.name -> CLISubCommand.t
)
ident(
  int_ref CLISubCommand.find "src/cli/CLISubCommand.mli" 104 3875 3875 "src/cli/CLISubCommand.mli" 104 3875 3894
)
"src/cli/CLIArgExt.ml" 331 9727 9764 "src/cli/CLIArgExt.ml" 331 9727 9765
type(
  OASISTypes.name
)
ident(
  int_ref s "src/cli/CLIArgExt.ml" 330 9708 9723 "src/cli/CLIArgExt.ml" 330 9708 9724
)
"src/cli/CLIArgExt.ml" 331 9727 9744 "src/cli/CLIArgExt.ml" 331 9727 9766
type(
  CLISubCommand.t
)
"src/cli/CLIArgExt.ml" 331 9727 9739 "src/cli/CLIArgExt.ml" 331 9727 9766
type(
  CLISubCommand.t option
)
"src/cli/CLIArgExt.ml" 331 9727 9731 "src/cli/CLIArgExt.ml" 331 9727 9766
type(
  unit
)
"src/cli/CLIArgExt.ml" 334 9805 9809 "src/cli/CLIArgExt.ml" 334 9805 9818
type(
  string array ref
)
ident(
  int_ref scmd_args "src/cli/CLIArgExt.ml" 329 9678 9684 "src/cli/CLIArgExt.ml" 329 9678 9693
)
"src/cli/CLIArgExt.ml" 334 9805 9819 "src/cli/CLIArgExt.ml" 334 9805 9821
type(
  string array ref -> string array -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/cli/CLIArgExt.ml" 334 9805 9822 "src/cli/CLIArgExt.ml" 334 9805 9831
type(
  string array -> int -> int -> string array
)
ident(
  int_ref Stdlib.Array.sub "array.mli" 117 4949 4949 "array.mli" 117 4949 4993
)
"src/cli/CLIArgExt.ml" 334 9805 9832 "src/cli/CLIArgExt.ml" 334 9805 9840
type(
  string array
)
ident(
  int_ref Stdlib.Sys.argv "sys.mli" 23 1238 1238 "sys.mli" 23 1238 1280
)
"src/cli/CLIArgExt.ml" 334 9805 9841 "src/cli/CLIArgExt.ml" 334 9805 9842
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIArgExt.ml" 334 9805 9842 "src/cli/CLIArgExt.ml" 334 9805 9845
type(
  int ref
)
ident(
  int_ref pos "src/cli/CLIArgExt.ml" 319 9420 9426 "src/cli/CLIArgExt.ml" 319 9420 9429
)
"src/cli/CLIArgExt.ml" 334 9805 9841 "src/cli/CLIArgExt.ml" 334 9805 9845
type(
  int
)
"src/cli/CLIArgExt.ml" 334 9805 9848 "src/cli/CLIArgExt.ml" 334 9805 9860
type(
  string array -> int
)
ident(
  int_ref Stdlib.Array.length "array.mli" 33 1475 1475 "array.mli" 33 1475 1526
)
"src/cli/CLIArgExt.ml" 334 9805 9861 "src/cli/CLIArgExt.ml" 334 9805 9869
type(
  string array
)
ident(
  int_ref Stdlib.Sys.argv "sys.mli" 23 1238 1238 "sys.mli" 23 1238 1280
)
"src/cli/CLIArgExt.ml" 334 9805 9847 "src/cli/CLIArgExt.ml" 334 9805 9870
type(
  int
)
"src/cli/CLIArgExt.ml" 334 9805 9871 "src/cli/CLIArgExt.ml" 334 9805 9872
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/cli/CLIArgExt.ml" 334 9805 9873 "src/cli/CLIArgExt.ml" 334 9805 9874
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIArgExt.ml" 334 9805 9874 "src/cli/CLIArgExt.ml" 334 9805 9877
type(
  int ref
)
ident(
  int_ref pos "src/cli/CLIArgExt.ml" 319 9420 9426 "src/cli/CLIArgExt.ml" 319 9420 9429
)
"src/cli/CLIArgExt.ml" 334 9805 9873 "src/cli/CLIArgExt.ml" 334 9805 9877
type(
  int
)
"src/cli/CLIArgExt.ml" 334 9805 9846 "src/cli/CLIArgExt.ml" 334 9805 9878
type(
  int
)
"src/cli/CLIArgExt.ml" 334 9805 9822 "src/cli/CLIArgExt.ml" 334 9805 9878
type(
  string array
)
"src/cli/CLIArgExt.ml" 334 9805 9809 "src/cli/CLIArgExt.ml" 334 9805 9878
type(
  unit
)
"src/cli/CLIArgExt.ml" 337 9906 9910 "src/cli/CLIArgExt.ml" 337 9906 9913
type(
  int ref
)
ident(
  int_ref pos "src/cli/CLIArgExt.ml" 319 9420 9426 "src/cli/CLIArgExt.ml" 319 9420 9429
)
"src/cli/CLIArgExt.ml" 337 9906 9914 "src/cli/CLIArgExt.ml" 337 9906 9916
type(
  int ref -> int -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/cli/CLIArgExt.ml" 337 9906 9917 "src/cli/CLIArgExt.ml" 337 9906 9918
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIArgExt.ml" 337 9906 9918 "src/cli/CLIArgExt.ml" 337 9906 9921
type(
  int ref
)
ident(
  int_ref pos "src/cli/CLIArgExt.ml" 319 9420 9426 "src/cli/CLIArgExt.ml" 319 9420 9429
)
"src/cli/CLIArgExt.ml" 337 9906 9917 "src/cli/CLIArgExt.ml" 337 9906 9921
type(
  int
)
"src/cli/CLIArgExt.ml" 337 9906 9922 "src/cli/CLIArgExt.ml" 337 9906 9923
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/cli/CLIArgExt.ml" 337 9906 9924 "src/cli/CLIArgExt.ml" 337 9906 9936
type(
  string array -> int
)
ident(
  int_ref Stdlib.Array.length "array.mli" 33 1475 1475 "array.mli" 33 1475 1526
)
"src/cli/CLIArgExt.ml" 337 9906 9937 "src/cli/CLIArgExt.ml" 337 9906 9938
type(
  string array ref -> string array
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIArgExt.ml" 337 9906 9938 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  string array ref
)
ident(
  int_ref scmd_args "src/cli/CLIArgExt.ml" 329 9678 9684 "src/cli/CLIArgExt.ml" 329 9678 9693
)
"src/cli/CLIArgExt.ml" 337 9906 9937 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  string array
)
"src/cli/CLIArgExt.ml" 337 9906 9924 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  int
)
"src/cli/CLIArgExt.ml" 337 9906 9917 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  int
)
"src/cli/CLIArgExt.ml" 337 9906 9910 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  unit
)
"src/cli/CLIArgExt.ml" 334 9805 9809 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  unit
)
"src/cli/CLIArgExt.ml" 331 9727 9731 "src/cli/CLIArgExt.ml" 337 9906 9947
type(
  unit
)
"src/cli/CLIArgExt.ml" 340 9954 9960 "src/cli/CLIArgExt.ml" 340 9954 9972
type(
  exn -> help_extent -> 'a
)
ident(
  def handle_error "src/cli/CLIArgExt.ml" 361 10555 10557 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 340 9954 9973 "src/cli/CLIArgExt.ml" 340 9954 9976
type(
  exn
)
ident(
  def exc "src/cli/CLIArgExt.ml" 340 9954 9977 "src/cli/CLIArgExt.ml" 358 10492 10507
)
"src/cli/CLIArgExt.ml" 340 9954 9977 "src/cli/CLIArgExt.ml" 340 9954 9981
type(
  help_extent
)
ident(
  def hext "src/cli/CLIArgExt.ml" 341 9984 9988 "src/cli/CLIArgExt.ml" 358 10492 10507
)
"src/cli/CLIArgExt.ml" 341 9984 9992 "src/cli/CLIArgExt.ml" 341 9984 9999
type(
  string -> string
)
ident(
  def get_bad "src/cli/CLIArgExt.ml" 348 10176 10180 "src/cli/CLIArgExt.ml" 358 10492 10507
)
"src/cli/CLIArgExt.ml" 341 9984 10000 "src/cli/CLIArgExt.ml" 341 9984 10003
type(
  string
)
ident(
  def str "src/cli/CLIArgExt.ml" 342 10006 10012 "src/cli/CLIArgExt.ml" 346 10120 10168
)
"src/cli/CLIArgExt.ml" 342 10006 10018 "src/cli/CLIArgExt.ml" 342 10006 10043
type(
  ?do_trim:bool -> string -> string list
)
ident(
  int_ref OASISString.split_newline "src/oasis/OASISString.ml" 290 7551 7555 "src/oasis/OASISString.ml" 290 7551 7568
)
"src/cli/CLIArgExt.ml" 342 10006 10053 "src/cli/CLIArgExt.ml" 342 10006 10058
type(
  bool
)
type(
  bool option
)
"src/cli/CLIArgExt.ml" 342 10006 10059 "src/cli/CLIArgExt.ml" 342 10006 10062
type(
  string
)
ident(
  int_ref str "src/cli/CLIArgExt.ml" 341 9984 10000 "src/cli/CLIArgExt.ml" 341 9984 10003
)
"src/cli/CLIArgExt.ml" 342 10006 10018 "src/cli/CLIArgExt.ml" 342 10006 10062
type(
  string list
)
"src/cli/CLIArgExt.ml" 343 10068 10078 "src/cli/CLIArgExt.ml" 343 10068 10081
type(
  string
)
ident(
  def fst "src/cli/CLIArgExt.ml" 344 10090 10100 "src/cli/CLIArgExt.ml" 344 10090 10103
)
"src/cli/CLIArgExt.ml" 343 10068 10085 "src/cli/CLIArgExt.ml" 343 10068 10086
type(
  string list
)
"src/cli/CLIArgExt.ml" 343 10068 10078 "src/cli/CLIArgExt.ml" 343 10068 10086
type(
  string list
)
type(
  string list
)
"src/cli/CLIArgExt.ml" 344 10090 10100 "src/cli/CLIArgExt.ml" 344 10090 10103
type(
  string
)
ident(
  int_ref fst "src/cli/CLIArgExt.ml" 343 10068 10078 "src/cli/CLIArgExt.ml" 343 10068 10081
)
"src/cli/CLIArgExt.ml" 345 10104 10114 "src/cli/CLIArgExt.ml" 345 10104 10116
type(
  string list
)
type(
  string list
)
"src/cli/CLIArgExt.ml" 346 10120 10130 "src/cli/CLIArgExt.ml" 346 10120 10132
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 346 10120 10133 "src/cli/CLIArgExt.ml" 346 10120 10168
type(
  string
)
"src/cli/CLIArgExt.ml" 346 10120 10130 "src/cli/CLIArgExt.ml" 346 10120 10168
type(
  string
)
"src/cli/CLIArgExt.ml" 342 10006 10012 "src/cli/CLIArgExt.ml" 346 10120 10168
type(
  string
)
"src/cli/CLIArgExt.ml" 348 10176 10186 "src/cli/CLIArgExt.ml" 348 10176 10189
type(
  exn
)
ident(
  int_ref exc "src/cli/CLIArgExt.ml" 340 9954 9973 "src/cli/CLIArgExt.ml" 340 9954 9976
)
"src/cli/CLIArgExt.ml" 349 10195 10211 "src/cli/CLIArgExt.ml" 349 10195 10214
type(
  string
)
ident(
  def txt "src/cli/CLIArgExt.ml" 350 10218 10226 "src/cli/CLIArgExt.ml" 353 10353 10367
)
"src/cli/CLIArgExt.ml" 349 10195 10203 "src/cli/CLIArgExt.ml" 349 10195 10214
type(
  exn
)
type(
  exn
)
"src/cli/CLIArgExt.ml" 350 10218 10226 "src/cli/CLIArgExt.ml" 350 10218 10239
type(
  ctxt:OASISContext.t ->
  help_extent -> help_style -> Format.formatter -> unit -> unit
)
ident(
  int_ref pp_print_help "src/cli/CLIArgExt.ml" 64 2337 2341 "src/cli/CLIArgExt.ml" 64 2337 2354
)
"src/cli/CLIArgExt.ml" 350 10218 10247 "src/cli/CLIArgExt.ml" 350 10218 10255
type(
  unit -> OASISContext.t
)
ident(
  int_ref ctxt_gen "src/cli/CLIArgExt.ml" 323 9505 9511 "src/cli/CLIArgExt.ml" 323 9505 9519
)
"src/cli/CLIArgExt.ml" 350 10218 10256 "src/cli/CLIArgExt.ml" 350 10218 10258
type(
  unit
)
"src/cli/CLIArgExt.ml" 350 10218 10246 "src/cli/CLIArgExt.ml" 350 10218 10259
type(
  OASISContext.t
)
"src/cli/CLIArgExt.ml" 350 10218 10260 "src/cli/CLIArgExt.ml" 350 10218 10264
type(
  help_extent
)
ident(
  int_ref hext "src/cli/CLIArgExt.ml" 340 9954 9977 "src/cli/CLIArgExt.ml" 340 9954 9981
)
"src/cli/CLIArgExt.ml" 350 10218 10265 "src/cli/CLIArgExt.ml" 350 10218 10271
type(
  help_style
)
"src/cli/CLIArgExt.ml" 350 10218 10272 "src/cli/CLIArgExt.ml" 350 10218 10285
type(
  Format.formatter
)
ident(
  int_ref Stdlib.Format.err_formatter "format.mli" 956 37411 37411 "format.mli" 956 37411 37440
)
"src/cli/CLIArgExt.ml" 350 10218 10286 "src/cli/CLIArgExt.ml" 350 10218 10288
type(
  unit
)
"src/cli/CLIArgExt.ml" 350 10218 10226 "src/cli/CLIArgExt.ml" 350 10218 10288
type(
  unit
)
"src/cli/CLIArgExt.ml" 351 10290 10298 "src/cli/CLIArgExt.ml" 351 10290 10311
type(
  unit -> unit
)
ident(
  int_ref Stdlib.prerr_newline "stdlib.mli" 907 32923 32923 "stdlib.mli" 907 32923 32955
)
"src/cli/CLIArgExt.ml" 351 10290 10312 "src/cli/CLIArgExt.ml" 351 10290 10314
type(
  unit
)
"src/cli/CLIArgExt.ml" 351 10290 10298 "src/cli/CLIArgExt.ml" 351 10290 10314
type(
  unit
)
"src/cli/CLIArgExt.ml" 352 10316 10324 "src/cli/CLIArgExt.ml" 352 10316 10337
type(
  string -> unit
)
ident(
  int_ref Stdlib.prerr_endline "stdlib.mli" 903 32785 32785 "stdlib.mli" 903 32785 32819
)
"src/cli/CLIArgExt.ml" 352 10316 10339 "src/cli/CLIArgExt.ml" 352 10316 10346
type(
  string -> string
)
ident(
  int_ref get_bad "src/cli/CLIArgExt.ml" 341 9984 9992 "src/cli/CLIArgExt.ml" 341 9984 9999
)
"src/cli/CLIArgExt.ml" 352 10316 10347 "src/cli/CLIArgExt.ml" 352 10316 10350
type(
  string
)
ident(
  int_ref txt "src/cli/CLIArgExt.ml" 349 10195 10211 "src/cli/CLIArgExt.ml" 349 10195 10214
)
"src/cli/CLIArgExt.ml" 352 10316 10338 "src/cli/CLIArgExt.ml" 352 10316 10351
type(
  string
)
"src/cli/CLIArgExt.ml" 352 10316 10324 "src/cli/CLIArgExt.ml" 352 10316 10351
type(
  unit
)
"src/cli/CLIArgExt.ml" 353 10353 10361 "src/cli/CLIArgExt.ml" 353 10353 10365
type(
  int -> 'a
)
ident(
  int_ref Stdlib.exit "stdlib.mli" 1359 52103 52103 "stdlib.mli" 1359 52103 52123
)
"src/cli/CLIArgExt.ml" 353 10353 10366 "src/cli/CLIArgExt.ml" 353 10353 10367
type(
  int
)
"src/cli/CLIArgExt.ml" 353 10353 10361 "src/cli/CLIArgExt.ml" 353 10353 10367
type(
  'a
)
"src/cli/CLIArgExt.ml" 352 10316 10324 "src/cli/CLIArgExt.ml" 353 10353 10367
type(
  'a
)
"src/cli/CLIArgExt.ml" 351 10290 10298 "src/cli/CLIArgExt.ml" 353 10353 10367
type(
  'a
)
"src/cli/CLIArgExt.ml" 350 10218 10226 "src/cli/CLIArgExt.ml" 353 10353 10367
type(
  'a
)
"src/cli/CLIArgExt.ml" 354 10368 10385 "src/cli/CLIArgExt.ml" 354 10368 10388
type(
  string
)
ident(
  def txt "src/cli/CLIArgExt.ml" 355 10392 10400 "src/cli/CLIArgExt.ml" 356 10464 10478
)
"src/cli/CLIArgExt.ml" 354 10368 10376 "src/cli/CLIArgExt.ml" 354 10368 10388
type(
  exn
)
type(
  exn
)
"src/cli/CLIArgExt.ml" 355 10392 10400 "src/cli/CLIArgExt.ml" 355 10392 10413
type(
  ctxt:OASISContext.t ->
  help_extent -> help_style -> Format.formatter -> unit -> unit
)
ident(
  int_ref pp_print_help "src/cli/CLIArgExt.ml" 64 2337 2341 "src/cli/CLIArgExt.ml" 64 2337 2354
)
"src/cli/CLIArgExt.ml" 355 10392 10421 "src/cli/CLIArgExt.ml" 355 10392 10429
type(
  unit -> OASISContext.t
)
ident(
  int_ref ctxt_gen "src/cli/CLIArgExt.ml" 323 9505 9511 "src/cli/CLIArgExt.ml" 323 9505 9519
)
"src/cli/CLIArgExt.ml" 355 10392 10430 "src/cli/CLIArgExt.ml" 355 10392 10432
type(
  unit
)
"src/cli/CLIArgExt.ml" 355 10392 10420 "src/cli/CLIArgExt.ml" 355 10392 10433
type(
  OASISContext.t
)
"src/cli/CLIArgExt.ml" 355 10392 10434 "src/cli/CLIArgExt.ml" 355 10392 10438
type(
  help_extent
)
ident(
  int_ref hext "src/cli/CLIArgExt.ml" 340 9954 9977 "src/cli/CLIArgExt.ml" 340 9954 9981
)
"src/cli/CLIArgExt.ml" 355 10392 10439 "src/cli/CLIArgExt.ml" 355 10392 10445
type(
  help_style
)
"src/cli/CLIArgExt.ml" 355 10392 10446 "src/cli/CLIArgExt.ml" 355 10392 10459
type(
  Format.formatter
)
ident(
  int_ref Stdlib.Format.std_formatter "format.mli" 950 37255 37255 "format.mli" 950 37255 37284
)
"src/cli/CLIArgExt.ml" 355 10392 10460 "src/cli/CLIArgExt.ml" 355 10392 10462
type(
  unit
)
"src/cli/CLIArgExt.ml" 355 10392 10400 "src/cli/CLIArgExt.ml" 355 10392 10462
type(
  unit
)
"src/cli/CLIArgExt.ml" 356 10464 10472 "src/cli/CLIArgExt.ml" 356 10464 10476
type(
  int -> 'a
)
ident(
  int_ref Stdlib.exit "stdlib.mli" 1359 52103 52103 "stdlib.mli" 1359 52103 52123
)
"src/cli/CLIArgExt.ml" 356 10464 10477 "src/cli/CLIArgExt.ml" 356 10464 10478
type(
  int
)
"src/cli/CLIArgExt.ml" 356 10464 10472 "src/cli/CLIArgExt.ml" 356 10464 10478
type(
  'a
)
"src/cli/CLIArgExt.ml" 355 10392 10400 "src/cli/CLIArgExt.ml" 356 10464 10478
type(
  'a
)
"src/cli/CLIArgExt.ml" 357 10479 10487 "src/cli/CLIArgExt.ml" 357 10479 10488
type(
  exn
)
type(
  exn
)
ident(
  def e "src/cli/CLIArgExt.ml" 358 10492 10500 "src/cli/CLIArgExt.ml" 358 10492 10507
)
"src/cli/CLIArgExt.ml" 358 10492 10500 "src/cli/CLIArgExt.ml" 358 10492 10505
type(
  exn -> 'a
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/cli/CLIArgExt.ml" 358 10492 10506 "src/cli/CLIArgExt.ml" 358 10492 10507
type(
  exn
)
ident(
  int_ref e "src/cli/CLIArgExt.ml" 357 10479 10487 "src/cli/CLIArgExt.ml" 357 10479 10488
)
"src/cli/CLIArgExt.ml" 358 10492 10500 "src/cli/CLIArgExt.ml" 358 10492 10507
type(
  'a
)
"src/cli/CLIArgExt.ml" 348 10176 10180 "src/cli/CLIArgExt.ml" 358 10492 10507
type(
  'a
)
"src/cli/CLIArgExt.ml" 341 9984 9988 "src/cli/CLIArgExt.ml" 358 10492 10507
type(
  'a
)
"src/cli/CLIArgExt.ml" 361 10555 10561 "src/cli/CLIArgExt.ml" 361 10555 10563
type(
  unit
)
type(
  unit
)
"src/cli/CLIArgExt.ml" 363 10574 10580 "src/cli/CLIArgExt.ml" 363 10574 10594
type(
  ?current:int ref ->
  string array ->
  (Arg.key * Arg.spec * Arg.doc) list ->
  Arg.anon_fun -> Arg.usage_msg -> unit
)
ident(
  int_ref Stdlib.Arg.parse_argv "arg.mli" 149 7312 7312 "arg.mli" 150 7366 7424
)
"src/cli/CLIArgExt.ml" 364 10595 10612 "src/cli/CLIArgExt.ml" 364 10595 10615
type(
  int ref
)
ident(
  int_ref pos "src/cli/CLIArgExt.ml" 319 9420 9426 "src/cli/CLIArgExt.ml" 319 9420 9429
)
type(
  int ref option
)
"src/cli/CLIArgExt.ml" 365 10616 10624 "src/cli/CLIArgExt.ml" 365 10616 10632
type(
  string array
)
ident(
  int_ref Stdlib.Sys.argv "sys.mli" 23 1238 1238 "sys.mli" 23 1238 1280
)
"src/cli/CLIArgExt.ml" 366 10633 10642 "src/cli/CLIArgExt.ml" 366 10633 10651
type(
  ?limit:int ->
  (Arg.key * Arg.spec * Arg.doc) list -> (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref Stdlib.Arg.align "arg.mli" 203 9639 9639 "arg.mli" 203 9639 9715
)
"src/cli/CLIArgExt.ml" 366 10633 10652 "src/cli/CLIArgExt.ml" 366 10633 10662
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref ctxt_specs "src/cli/CLIArgExt.ml" 322 9463 9469 "src/cli/CLIArgExt.ml" 322 9463 9479
)
"src/cli/CLIArgExt.ml" 366 10633 10641 "src/cli/CLIArgExt.ml" 366 10633 10663
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/cli/CLIArgExt.ml" 367 10664 10672 "src/cli/CLIArgExt.ml" 367 10664 10680
type(
  Arg.anon_fun
)
ident(
  int_ref set_scmd "src/cli/CLIArgExt.ml" 330 9708 9714 "src/cli/CLIArgExt.ml" 330 9708 9722
)
"src/cli/CLIArgExt.ml" 368 10681 10689 "src/cli/CLIArgExt.ml" 368 10681 10698
type(
  Arg.usage_msg
)
ident(
  int_ref usage_msg "src/cli/CLIArgExt.ml" 47 1971 1975 "src/cli/CLIArgExt.ml" 47 1971 1984
)
"src/cli/CLIArgExt.ml" 363 10574 10580 "src/cli/CLIArgExt.ml" 368 10681 10698
type(
  unit
)
"src/cli/CLIArgExt.ml" 369 10699 10708 "src/cli/CLIArgExt.ml" 369 10699 10709
type(
  exn
)
ident(
  def e "src/cli/CLIArgExt.ml" 370 10713 10719 "src/cli/CLIArgExt.ml" 370 10713 10746
)
"src/cli/CLIArgExt.ml" 370 10713 10719 "src/cli/CLIArgExt.ml" 370 10713 10731
type(
  exn -> help_extent -> unit
)
ident(
  int_ref handle_error "src/cli/CLIArgExt.ml" 340 9954 9960 "src/cli/CLIArgExt.ml" 340 9954 9972
)
"src/cli/CLIArgExt.ml" 370 10713 10732 "src/cli/CLIArgExt.ml" 370 10713 10733
type(
  exn
)
ident(
  int_ref e "src/cli/CLIArgExt.ml" 369 10699 10708 "src/cli/CLIArgExt.ml" 369 10699 10709
)
"src/cli/CLIArgExt.ml" 370 10713 10734 "src/cli/CLIArgExt.ml" 370 10713 10746
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 370 10713 10719 "src/cli/CLIArgExt.ml" 370 10713 10746
type(
  unit
)
"src/cli/CLIArgExt.ml" 362 10566 10570 "src/cli/CLIArgExt.ml" 370 10713 10746
type(
  unit
)
"src/cli/CLIArgExt.ml" 374 10786 10792 "src/cli/CLIArgExt.ml" 374 10786 10796
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 381 10949 10951 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 375 10799 10809 "src/cli/CLIArgExt.ml" 375 10799 10810
type(
  CLISubCommand.t option ref -> CLISubCommand.t option
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIArgExt.ml" 375 10799 10810 "src/cli/CLIArgExt.ml" 375 10799 10814
type(
  CLISubCommand.t option ref
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 328 9653 9659 "src/cli/CLIArgExt.ml" 328 9653 9663
)
"src/cli/CLIArgExt.ml" 375 10799 10809 "src/cli/CLIArgExt.ml" 375 10799 10814
type(
  CLISubCommand.t option
)
"src/cli/CLIArgExt.ml" 376 10820 10833 "src/cli/CLIArgExt.ml" 376 10820 10837
type(
  CLISubCommand.t
)
ident(
  def scmd "src/cli/CLIArgExt.ml" 377 10841 10849 "src/cli/CLIArgExt.ml" 377 10841 10853
)
"src/cli/CLIArgExt.ml" 376 10820 10828 "src/cli/CLIArgExt.ml" 376 10820 10837
type(
  CLISubCommand.t option
)
type(
  CLISubCommand.t option
)
"src/cli/CLIArgExt.ml" 377 10841 10849 "src/cli/CLIArgExt.ml" 377 10841 10853
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 376 10820 10833 "src/cli/CLIArgExt.ml" 376 10820 10837
)
"src/cli/CLIArgExt.ml" 378 10854 10862 "src/cli/CLIArgExt.ml" 378 10854 10866
type(
  CLISubCommand.t option
)
type(
  CLISubCommand.t option
)
"src/cli/CLIArgExt.ml" 379 10870 10878 "src/cli/CLIArgExt.ml" 379 10870 10886
type(
  string -> CLISubCommand.t
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/cli/CLIArgExt.ml" 379 10870 10888 "src/cli/CLIArgExt.ml" 379 10870 10890
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLIArgExt.ml" 379 10870 10891 "src/cli/CLIArgExt.ml" 379 10870 10942
type(
  string
)
"src/cli/CLIArgExt.ml" 379 10870 10887 "src/cli/CLIArgExt.ml" 379 10870 10943
type(
  string
)
"src/cli/CLIArgExt.ml" 379 10870 10878 "src/cli/CLIArgExt.ml" 379 10870 10943
type(
  CLISubCommand.t
)
"src/cli/CLIArgExt.ml" 375 10799 10803 "src/cli/CLIArgExt.ml" 379 10870 10943
type(
  CLISubCommand.t
)
"src/cli/CLIArgExt.ml" 381 10949 10956 "src/cli/CLIArgExt.ml" 381 10949 10966
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  def scmd_specs "src/cli/CLIArgExt.ml" 382 11007 11009 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 381 10949 10968 "src/cli/CLIArgExt.ml" 381 10949 10977
type(
  Arg.anon_fun
)
ident(
  def scmd_anon "src/cli/CLIArgExt.ml" 382 11007 11009 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 381 10949 10955 "src/cli/CLIArgExt.ml" 381 10949 10978
type(
  CLISubCommand.cli_parsing_t
)
"src/cli/CLIArgExt.ml" 381 10949 10980 "src/cli/CLIArgExt.ml" 381 10949 10984
type(
  unit CLISubCommand.main_t
)
ident(
  def main "src/cli/CLIArgExt.ml" 382 11007 11009 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 381 10949 10955 "src/cli/CLIArgExt.ml" 381 10949 10984
type(
  CLISubCommand.cli_parsing_t * unit CLISubCommand.main_t
)
"src/cli/CLIArgExt.ml" 381 10949 10987 "src/cli/CLIArgExt.ml" 381 10949 10991
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 374 10786 10792 "src/cli/CLIArgExt.ml" 374 10786 10796
)
"src/cli/CLIArgExt.ml" 381 10949 10987 "src/cli/CLIArgExt.ml" 381 10949 11000
type(
  unit CLISubCommand.run_t
)
"src/cli/CLIArgExt.ml" 381 10949 11001 "src/cli/CLIArgExt.ml" 381 10949 11003
type(
  unit
)
"src/cli/CLIArgExt.ml" 381 10949 10987 "src/cli/CLIArgExt.ml" 381 10949 11003
type(
  CLISubCommand.cli_parsing_t * unit CLISubCommand.main_t
)
"src/cli/CLIArgExt.ml" 382 11007 11013 "src/cli/CLIArgExt.ml" 382 11007 11015
type(
  unit
)
type(
  unit
)
"src/cli/CLIArgExt.ml" 384 11026 11032 "src/cli/CLIArgExt.ml" 384 11026 11046
type(
  ?current:int ref ->
  string array ->
  (Arg.key * Arg.spec * Arg.doc) list ->
  Arg.anon_fun -> Arg.usage_msg -> unit
)
ident(
  int_ref Stdlib.Arg.parse_argv "arg.mli" 149 7312 7312 "arg.mli" 150 7366 7424
)
"src/cli/CLIArgExt.ml" 385 11047 11065 "src/cli/CLIArgExt.ml" 385 11047 11068
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/cli/CLIArgExt.ml" 385 11047 11069 "src/cli/CLIArgExt.ml" 385 11047 11070
type(
  int
)
"src/cli/CLIArgExt.ml" 385 11047 11064 "src/cli/CLIArgExt.ml" 385 11047 11071
type(
  int ref
)
type(
  int ref option
)
"src/cli/CLIArgExt.ml" 386 11072 11080 "src/cli/CLIArgExt.ml" 386 11072 11081
type(
  string array ref -> string array
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIArgExt.ml" 386 11072 11081 "src/cli/CLIArgExt.ml" 386 11072 11090
type(
  string array ref
)
ident(
  int_ref scmd_args "src/cli/CLIArgExt.ml" 329 9678 9684 "src/cli/CLIArgExt.ml" 329 9678 9693
)
"src/cli/CLIArgExt.ml" 386 11072 11080 "src/cli/CLIArgExt.ml" 386 11072 11090
type(
  string array
)
"src/cli/CLIArgExt.ml" 387 11091 11100 "src/cli/CLIArgExt.ml" 387 11091 11109
type(
  ?limit:int ->
  (Arg.key * Arg.spec * Arg.doc) list -> (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref Stdlib.Arg.align "arg.mli" 203 9639 9639 "arg.mli" 203 9639 9715
)
"src/cli/CLIArgExt.ml" 387 11091 11110 "src/cli/CLIArgExt.ml" 387 11091 11120
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref scmd_specs "src/cli/CLIArgExt.ml" 381 10949 10956 "src/cli/CLIArgExt.ml" 381 10949 10966
)
"src/cli/CLIArgExt.ml" 387 11091 11099 "src/cli/CLIArgExt.ml" 387 11091 11121
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/cli/CLIArgExt.ml" 388 11122 11130 "src/cli/CLIArgExt.ml" 388 11122 11139
type(
  Arg.anon_fun
)
ident(
  int_ref scmd_anon "src/cli/CLIArgExt.ml" 381 10949 10968 "src/cli/CLIArgExt.ml" 381 10949 10977
)
"src/cli/CLIArgExt.ml" 389 11140 11149 "src/cli/CLIArgExt.ml" 389 11140 11163
type(
  (OASISTypes.name -> Arg.usage_msg, unit, Arg.usage_msg) format ->
  OASISTypes.name -> Arg.usage_msg
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/cli/CLIArgExt.ml" 390 11164 11176 "src/cli/CLIArgExt.ml" 390 11164 11178
type(
  (OASISTypes.name -> Arg.usage_msg, unit, Arg.usage_msg, Arg.usage_msg)
  format4 ->
  (OASISTypes.name -> Arg.usage_msg, unit, Arg.usage_msg, Arg.usage_msg)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/cli/CLIArgExt.ml" 390 11164 11179 "src/cli/CLIArgExt.ml" 390 11164 11205
type(
  (OASISTypes.name -> Arg.usage_msg, unit, Arg.usage_msg, Arg.usage_msg)
  format4
)
"src/cli/CLIArgExt.ml" 390 11164 11175 "src/cli/CLIArgExt.ml" 390 11164 11206
type(
  (OASISTypes.name -> Arg.usage_msg, unit, Arg.usage_msg, Arg.usage_msg)
  format4
)
"src/cli/CLIArgExt.ml" 391 11207 11218 "src/cli/CLIArgExt.ml" 391 11207 11222
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 374 10786 10792 "src/cli/CLIArgExt.ml" 374 10786 10796
)
"src/cli/CLIArgExt.ml" 391 11207 11218 "src/cli/CLIArgExt.ml" 391 11207 11232
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 389 11140 11148 "src/cli/CLIArgExt.ml" 391 11207 11233
type(
  Arg.usage_msg
)
"src/cli/CLIArgExt.ml" 384 11026 11032 "src/cli/CLIArgExt.ml" 391 11207 11233
type(
  unit
)
"src/cli/CLIArgExt.ml" 392 11234 11243 "src/cli/CLIArgExt.ml" 392 11234 11244
type(
  exn
)
ident(
  def e "src/cli/CLIArgExt.ml" 393 11248 11254 "src/cli/CLIArgExt.ml" 393 11248 11296
)
"src/cli/CLIArgExt.ml" 393 11248 11254 "src/cli/CLIArgExt.ml" 393 11248 11266
type(
  exn -> help_extent -> unit
)
ident(
  int_ref handle_error "src/cli/CLIArgExt.ml" 340 9954 9960 "src/cli/CLIArgExt.ml" 340 9954 9972
)
"src/cli/CLIArgExt.ml" 393 11248 11267 "src/cli/CLIArgExt.ml" 393 11248 11268
type(
  exn
)
ident(
  int_ref e "src/cli/CLIArgExt.ml" 392 11234 11243 "src/cli/CLIArgExt.ml" 392 11234 11244
)
"src/cli/CLIArgExt.ml" 393 11248 11281 "src/cli/CLIArgExt.ml" 393 11248 11285
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 374 10786 10792 "src/cli/CLIArgExt.ml" 374 10786 10796
)
"src/cli/CLIArgExt.ml" 393 11248 11281 "src/cli/CLIArgExt.ml" 393 11248 11295
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 393 11248 11269 "src/cli/CLIArgExt.ml" 393 11248 11296
type(
  help_extent
)
"src/cli/CLIArgExt.ml" 393 11248 11254 "src/cli/CLIArgExt.ml" 393 11248 11296
type(
  unit
)
"src/cli/CLIArgExt.ml" 383 11018 11022 "src/cli/CLIArgExt.ml" 393 11248 11296
type(
  unit
)
"src/cli/CLIArgExt.ml" 395 11302 11308 "src/cli/CLIArgExt.ml" 395 11302 11312
type(
  OASISContext.t
)
ident(
  def ctxt "src/cli/CLIArgExt.ml" 396 11330 11332 "src/cli/CLIArgExt.ml" 398 11426 11438
)
"src/cli/CLIArgExt.ml" 395 11302 11315 "src/cli/CLIArgExt.ml" 395 11302 11323
type(
  unit -> OASISContext.t
)
ident(
  int_ref ctxt_gen "src/cli/CLIArgExt.ml" 323 9505 9511 "src/cli/CLIArgExt.ml" 323 9505 9519
)
"src/cli/CLIArgExt.ml" 395 11302 11324 "src/cli/CLIArgExt.ml" 395 11302 11326
type(
  unit
)
"src/cli/CLIArgExt.ml" 395 11302 11315 "src/cli/CLIArgExt.ml" 395 11302 11326
type(
  OASISContext.t
)
"src/cli/CLIArgExt.ml" 396 11330 11335 "src/cli/CLIArgExt.ml" 396 11330 11339
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 374 10786 10792 "src/cli/CLIArgExt.ml" 374 10786 10796
)
"src/cli/CLIArgExt.ml" 396 11330 11335 "src/cli/CLIArgExt.ml" 396 11330 11355
type(
  bool
)
"src/cli/CLIArgExt.ml" 397 11361 11365 "src/cli/CLIArgExt.ml" 397 11361 11372
type(
  ctxt:OASISContext.t ->
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref OASISMessage.warning "src/oasis/OASISMessage.mli" 54 2393 2393 "src/oasis/OASISMessage.mli" 54 2393 2467
)
"src/cli/CLIArgExt.ml" 397 11361 11374 "src/cli/CLIArgExt.ml" 397 11361 11378
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLIArgExt.ml" 395 11302 11308 "src/cli/CLIArgExt.ml" 395 11302 11312
)
"src/cli/CLIArgExt.ml" 397 11361 11379 "src/cli/CLIArgExt.ml" 397 11361 11409
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/cli/CLIArgExt.ml" 397 11361 11410 "src/cli/CLIArgExt.ml" 397 11361 11414
type(
  CLISubCommand.t
)
ident(
  int_ref scmd "src/cli/CLIArgExt.ml" 374 10786 10792 "src/cli/CLIArgExt.ml" 374 10786 10796
)
"src/cli/CLIArgExt.ml" 397 11361 11410 "src/cli/CLIArgExt.ml" 397 11361 11424
type(
  OASISTypes.name
)
"src/cli/CLIArgExt.ml" 397 11361 11365 "src/cli/CLIArgExt.ml" 397 11361 11424
type(
  unit
)
"src/cli/CLIArgExt.ml" 396 11330 11332 "src/cli/CLIArgExt.ml" 397 11361 11424
type(
  unit
)
"src/cli/CLIArgExt.ml" 398 11426 11428 "src/cli/CLIArgExt.ml" 398 11426 11432
type(
  unit CLISubCommand.main_t
)
ident(
  int_ref main "src/cli/CLIArgExt.ml" 381 10949 10980 "src/cli/CLIArgExt.ml" 381 10949 10984
)
"src/cli/CLIArgExt.ml" 398 11426 11434 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLIArgExt.ml" 395 11302 11308 "src/cli/CLIArgExt.ml" 395 11302 11312
)
"src/cli/CLIArgExt.ml" 398 11426 11428 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 396 11330 11332 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 395 11302 11304 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 382 11007 11009 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 381 10949 10951 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 374 10786 10788 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 361 10555 10557 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 340 9954 9956 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 330 9708 9710 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 329 9678 9680 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 328 9653 9655 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 323 9505 9507 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 322 9463 9465 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
"src/cli/CLIArgExt.ml" 319 9420 9422 "src/cli/CLIArgExt.ml" 398 11426 11438
type(
  unit
)
