liboasis-ocaml-dev 0.4.10-2build1 / usr / lib / ocaml / oasis / BaseCheck.annot

"src/base/BaseCheck.ml" 30 1769 1773 "src/base/BaseCheck.ml" 30 1769 1782
type(
  OASISTypes.name -> OASISTypes.host_filename list -> unit -> string
)
ident(
  def prog_best "src/base/BaseCheck.ml" 53 2310 2310 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 30 1769 1783 "src/base/BaseCheck.ml" 30 1769 1786
type(
  OASISTypes.name
)
ident(
  def prg "src/base/BaseCheck.ml" 30 1769 1787 "src/base/BaseCheck.ml" 50 2272 2307
)
"src/base/BaseCheck.ml" 30 1769 1787 "src/base/BaseCheck.ml" 30 1769 1794
type(
  OASISTypes.host_filename list
)
ident(
  def prg_lst "src/base/BaseCheck.ml" 31 1797 1799 "src/base/BaseCheck.ml" 50 2272 2307
)
"src/base/BaseCheck.ml" 31 1797 1799 "src/base/BaseCheck.ml" 31 1797 1811
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:BaseEnv.cli_handle_t ->
  ?arg_help:string ->
  ?group:string ->
  OASISTypes.name -> (unit -> OASISTypes.host_filename) -> unit -> string
)
ident(
  ext_ref BaseEnv.var_redefine
)
"src/base/BaseCheck.ml" 32 1812 1816 "src/base/BaseCheck.ml" 32 1812 1819
type(
  OASISTypes.name
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 30 1769 1783 "src/base/BaseCheck.ml" 30 1769 1786
)
"src/base/BaseCheck.ml" 33 1820 1829 "src/base/BaseCheck.ml" 33 1820 1831
type(
  unit
)
"src/base/BaseCheck.ml" 34 1835 1846 "src/base/BaseCheck.ml" 34 1835 1855
type(
  OASISTypes.host_filename option
)
ident(
  def alternate "src/base/BaseCheck.ml" 48 2217 2224 "src/base/BaseCheck.ml" 50 2272 2306
)
"src/base/BaseCheck.ml" 35 1858 1867 "src/base/BaseCheck.ml" 35 1858 1881
type(
  (OASISTypes.host_filename option ->
   OASISTypes.host_filename -> OASISTypes.host_filename option) ->
  OASISTypes.host_filename option ->
  OASISTypes.host_filename list -> OASISTypes.host_filename option
)
ident(
  ext_ref List.fold_left
)
"src/base/BaseCheck.ml" 36 1882 1898 "src/base/BaseCheck.ml" 36 1882 1901
type(
  OASISTypes.host_filename option
)
ident(
  def res "src/base/BaseCheck.ml" 36 1882 1902 "src/base/BaseCheck.ml" 44 2146 2170
)
"src/base/BaseCheck.ml" 36 1882 1902 "src/base/BaseCheck.ml" 36 1882 1903
type(
  OASISTypes.host_filename
)
ident(
  def e "src/base/BaseCheck.ml" 37 1907 1921 "src/base/BaseCheck.ml" 44 2146 2170
)
"src/base/BaseCheck.ml" 37 1907 1927 "src/base/BaseCheck.ml" 37 1907 1930
type(
  OASISTypes.host_filename option
)
ident(
  int_ref res "src/base/BaseCheck.ml" 36 1882 1898 "src/base/BaseCheck.ml" 36 1882 1901
)
"src/base/BaseCheck.ml" 38 1936 1959 "src/base/BaseCheck.ml" 38 1936 1960
type(
  OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 38 1936 1954 "src/base/BaseCheck.ml" 38 1936 1960
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 39 1964 1982 "src/base/BaseCheck.ml" 39 1964 1985
type(
  OASISTypes.host_filename option
)
ident(
  int_ref res "src/base/BaseCheck.ml" 36 1882 1898 "src/base/BaseCheck.ml" 36 1882 1901
)
"src/base/BaseCheck.ml" 40 1986 2004 "src/base/BaseCheck.ml" 40 1986 2008
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 42 2034 2060 "src/base/BaseCheck.ml" 42 2034 2079
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.host_filename
)
ident(
  ext_ref OASISFileUtil.which
)
"src/base/BaseCheck.ml" 42 2034 2086 "src/base/BaseCheck.ml" 42 2034 2087
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/base/BaseCheck.ml" 42 2034 2087 "src/base/BaseCheck.ml" 42 2034 2106
type(
  OASISContext.t ref
)
ident(
  ext_ref BaseContext.default
)
"src/base/BaseCheck.ml" 42 2034 2086 "src/base/BaseCheck.ml" 42 2034 2106
type(
  OASISContext.t
)
"src/base/BaseCheck.ml" 42 2034 2107 "src/base/BaseCheck.ml" 42 2034 2108
type(
  OASISTypes.host_filename
)
ident(
  int_ref e "src/base/BaseCheck.ml" 36 1882 1902 "src/base/BaseCheck.ml" 36 1882 1903
)
"src/base/BaseCheck.ml" 42 2034 2059 "src/base/BaseCheck.ml" 42 2034 2109
call(
  stack
)
type(
  OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 42 2034 2054 "src/base/BaseCheck.ml" 42 2034 2109
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 43 2110 2133 "src/base/BaseCheck.ml" 43 2110 2142
type(
  exn
)
"src/base/BaseCheck.ml" 44 2146 2166 "src/base/BaseCheck.ml" 44 2146 2170
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 41 2012 2030 "src/base/BaseCheck.ml" 44 2146 2170
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 37 1907 1921 "src/base/BaseCheck.ml" 44 2146 2170
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 36 1882 1893 "src/base/BaseCheck.ml" 44 2146 2171
type(
  OASISTypes.host_filename option ->
  OASISTypes.host_filename -> OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 45 2172 2183 "src/base/BaseCheck.ml" 45 2172 2187
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 46 2188 2199 "src/base/BaseCheck.ml" 46 2188 2206
type(
  OASISTypes.host_filename list
)
ident(
  int_ref prg_lst "src/base/BaseCheck.ml" 30 1769 1787 "src/base/BaseCheck.ml" 30 1769 1794
)
"src/base/BaseCheck.ml" 35 1858 1867 "src/base/BaseCheck.ml" 46 2188 2206
call(
  stack
)
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 48 2217 2230 "src/base/BaseCheck.ml" 48 2217 2239
type(
  OASISTypes.host_filename option
)
ident(
  int_ref alternate "src/base/BaseCheck.ml" 34 1835 1846 "src/base/BaseCheck.ml" 34 1835 1855
)
"src/base/BaseCheck.ml" 49 2245 2261 "src/base/BaseCheck.ml" 49 2245 2264
type(
  OASISTypes.host_filename
)
ident(
  def prg "src/base/BaseCheck.ml" 49 2245 2268 "src/base/BaseCheck.ml" 49 2245 2271
)
"src/base/BaseCheck.ml" 49 2245 2256 "src/base/BaseCheck.ml" 49 2245 2264
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 49 2245 2268 "src/base/BaseCheck.ml" 49 2245 2271
type(
  OASISTypes.host_filename
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 49 2245 2261 "src/base/BaseCheck.ml" 49 2245 2264
)
"src/base/BaseCheck.ml" 50 2272 2283 "src/base/BaseCheck.ml" 50 2272 2287
type(
  OASISTypes.host_filename option
)
"src/base/BaseCheck.ml" 50 2272 2291 "src/base/BaseCheck.ml" 50 2272 2296
type(
  exn -> OASISTypes.host_filename
)
ident(
  ext_ref Pervasives.raise
)
"src/base/BaseCheck.ml" 50 2272 2297 "src/base/BaseCheck.ml" 50 2272 2306
type(
  exn
)
"src/base/BaseCheck.ml" 50 2272 2291 "src/base/BaseCheck.ml" 50 2272 2306
type(
  OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 48 2217 2224 "src/base/BaseCheck.ml" 50 2272 2306
type(
  OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 34 1835 1842 "src/base/BaseCheck.ml" 50 2272 2306
type(
  OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 33 1820 1824 "src/base/BaseCheck.ml" 50 2272 2307
type(
  unit -> OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 31 1797 1799 "src/base/BaseCheck.ml" 50 2272 2307
call(
  tail
)
type(
  unit -> string
)
"src/base/BaseCheck.ml" 53 2310 2314 "src/base/BaseCheck.ml" 53 2310 2318
type(
  OASISTypes.name -> unit -> string
)
ident(
  def prog "src/base/BaseCheck.ml" 57 2349 2349 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 53 2310 2319 "src/base/BaseCheck.ml" 53 2310 2322
type(
  OASISTypes.name
)
ident(
  def prg "src/base/BaseCheck.ml" 54 2325 2327 "src/base/BaseCheck.ml" 54 2325 2346
)
"src/base/BaseCheck.ml" 54 2325 2327 "src/base/BaseCheck.ml" 54 2325 2336
type(
  OASISTypes.name -> OASISTypes.host_filename list -> unit -> string
)
ident(
  int_ref prog_best "src/base/BaseCheck.ml" 30 1769 1773 "src/base/BaseCheck.ml" 30 1769 1782
)
"src/base/BaseCheck.ml" 54 2325 2337 "src/base/BaseCheck.ml" 54 2325 2340
type(
  OASISTypes.name
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 53 2310 2319 "src/base/BaseCheck.ml" 53 2310 2322
)
"src/base/BaseCheck.ml" 54 2325 2342 "src/base/BaseCheck.ml" 54 2325 2345
type(
  OASISTypes.name
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 53 2310 2319 "src/base/BaseCheck.ml" 53 2310 2322
)
"src/base/BaseCheck.ml" 54 2325 2341 "src/base/BaseCheck.ml" 54 2325 2346
type(
  OASISTypes.host_filename list
)
"src/base/BaseCheck.ml" 54 2325 2327 "src/base/BaseCheck.ml" 54 2325 2346
call(
  tail
)
type(
  unit -> string
)
"src/base/BaseCheck.ml" 57 2349 2353 "src/base/BaseCheck.ml" 57 2349 2361
type(
  OASISTypes.name -> unit -> string
)
ident(
  def prog_opt "src/base/BaseCheck.ml" 61 2404 2404 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 57 2349 2362 "src/base/BaseCheck.ml" 57 2349 2365
type(
  OASISTypes.name
)
ident(
  def prg "src/base/BaseCheck.ml" 58 2368 2370 "src/base/BaseCheck.ml" 58 2368 2401
)
"src/base/BaseCheck.ml" 58 2368 2370 "src/base/BaseCheck.ml" 58 2368 2379
type(
  OASISTypes.name -> OASISTypes.host_filename list -> unit -> string
)
ident(
  int_ref prog_best "src/base/BaseCheck.ml" 30 1769 1773 "src/base/BaseCheck.ml" 30 1769 1782
)
"src/base/BaseCheck.ml" 58 2368 2380 "src/base/BaseCheck.ml" 58 2368 2383
type(
  OASISTypes.name
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 57 2349 2362 "src/base/BaseCheck.ml" 57 2349 2365
)
"src/base/BaseCheck.ml" 58 2368 2385 "src/base/BaseCheck.ml" 58 2368 2388
type(
  OASISTypes.name
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 57 2349 2362 "src/base/BaseCheck.ml" 57 2349 2365
)
"src/base/BaseCheck.ml" 58 2368 2388 "src/base/BaseCheck.ml" 58 2368 2389
type(
  OASISTypes.name -> string -> OASISTypes.host_filename
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/base/BaseCheck.ml" 58 2368 2389 "src/base/BaseCheck.ml" 58 2368 2395
type(
  string
)
"src/base/BaseCheck.ml" 58 2368 2385 "src/base/BaseCheck.ml" 58 2368 2395
call(
  stack
)
type(
  OASISTypes.host_filename
)
"src/base/BaseCheck.ml" 58 2368 2397 "src/base/BaseCheck.ml" 58 2368 2400
type(
  OASISTypes.name
)
ident(
  int_ref prg "src/base/BaseCheck.ml" 57 2349 2362 "src/base/BaseCheck.ml" 57 2349 2365
)
"src/base/BaseCheck.ml" 58 2368 2384 "src/base/BaseCheck.ml" 58 2368 2401
type(
  OASISTypes.host_filename list
)
"src/base/BaseCheck.ml" 58 2368 2370 "src/base/BaseCheck.ml" 58 2368 2401
call(
  tail
)
type(
  unit -> string
)
"src/base/BaseCheck.ml" 61 2404 2408 "src/base/BaseCheck.ml" 61 2404 2417
type(
  unit -> string
)
ident(
  def ocamlfind "src/base/BaseCheck.ml" 65 2441 2441 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 62 2420 2422 "src/base/BaseCheck.ml" 62 2420 2426
type(
  OASISTypes.name -> unit -> string
)
ident(
  int_ref prog "src/base/BaseCheck.ml" 53 2310 2314 "src/base/BaseCheck.ml" 53 2310 2318
)
"src/base/BaseCheck.ml" 62 2420 2427 "src/base/BaseCheck.ml" 62 2420 2438
type(
  OASISTypes.name
)
"src/base/BaseCheck.ml" 62 2420 2422 "src/base/BaseCheck.ml" 62 2420 2438
call(
  stack
)
type(
  unit -> string
)
"src/base/BaseCheck.ml" 65 2441 2445 "src/base/BaseCheck.ml" 65 2441 2452
type(
  string -> OASISVersion.comparator -> (unit -> string) -> unit -> string
)
ident(
  def version "src/base/BaseCheck.ml" 107 3497 3497 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 66 2453 2457 "src/base/BaseCheck.ml" 66 2453 2467
type(
  string
)
ident(
  def var_prefix "src/base/BaseCheck.ml" 67 2468 2472 "src/base/BaseCheck.ml" 104 3488 3494
)
"src/base/BaseCheck.ml" 67 2468 2472 "src/base/BaseCheck.ml" 67 2468 2475
type(
  OASISVersion.comparator
)
ident(
  def cmp "src/base/BaseCheck.ml" 68 2476 2480 "src/base/BaseCheck.ml" 104 3488 3494
)
"src/base/BaseCheck.ml" 68 2476 2480 "src/base/BaseCheck.ml" 68 2476 2488
type(
  unit -> string
)
ident(
  def fversion "src/base/BaseCheck.ml" 69 2489 2493 "src/base/BaseCheck.ml" 104 3488 3494
)
"src/base/BaseCheck.ml" 69 2489 2493 "src/base/BaseCheck.ml" 69 2489 2495
type(
  unit
)
"src/base/BaseCheck.ml" 71 2538 2544 "src/base/BaseCheck.ml" 71 2538 2547
type(
  string
)
ident(
  def var "src/base/BaseCheck.ml" 74 2623 2625 "src/base/BaseCheck.ml" 104 3488 3494
)
"src/base/BaseCheck.ml" 72 2550 2554 "src/base/BaseCheck.ml" 72 2550 2564
type(
  string
)
ident(
  int_ref var_prefix "src/base/BaseCheck.ml" 66 2453 2457 "src/base/BaseCheck.ml" 66 2453 2467
)
"src/base/BaseCheck.ml" 72 2550 2564 "src/base/BaseCheck.ml" 72 2550 2565
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/base/BaseCheck.ml" 72 2550 2565 "src/base/BaseCheck.ml" 72 2550 2576
type(
  string
)
"src/base/BaseCheck.ml" 72 2550 2576 "src/base/BaseCheck.ml" 72 2550 2577
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"src/base/BaseCheck.ml" 72 2550 2578 "src/base/BaseCheck.ml" 72 2550 2612
type(
  OASISVersion.comparator -> string
)
ident(
  ext_ref OASISVersion.varname_of_comparator
)
"src/base/BaseCheck.ml" 72 2550 2613 "src/base/BaseCheck.ml" 72 2550 2616
type(
  OASISVersion.comparator
)
ident(
  int_ref cmp "src/base/BaseCheck.ml" 67 2468 2472 "src/base/BaseCheck.ml" 67 2468 2475
)
"src/base/BaseCheck.ml" 72 2550 2577 "src/base/BaseCheck.ml" 72 2550 2617
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 72 2550 2565 "src/base/BaseCheck.ml" 72 2550 2617
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 72 2550 2554 "src/base/BaseCheck.ml" 72 2550 2617
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 74 2623 2625 "src/base/BaseCheck.ml" 74 2623 2637
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:BaseEnv.cli_handle_t ->
  ?arg_help:string ->
  ?group:string -> OASISTypes.name -> (unit -> string) -> unit -> string
)
ident(
  ext_ref BaseEnv.var_redefine
)
"src/base/BaseCheck.ml" 75 2638 2648 "src/base/BaseCheck.ml" 75 2638 2652
type(
  bool
)
"src/base/BaseCheck.ml" 76 2653 2657 "src/base/BaseCheck.ml" 76 2653 2660
type(
  OASISTypes.name
)
ident(
  int_ref var "src/base/BaseCheck.ml" 71 2538 2544 "src/base/BaseCheck.ml" 71 2538 2547
)
"src/base/BaseCheck.ml" 77 2661 2670 "src/base/BaseCheck.ml" 77 2661 2672
type(
  unit
)
"src/base/BaseCheck.ml" 78 2676 2687 "src/base/BaseCheck.ml" 78 2676 2698
type(
  string
)
ident(
  def version_str "src/base/BaseCheck.ml" 93 3123 3130 "src/base/BaseCheck.ml" 103 3464 3486
)
"src/base/BaseCheck.ml" 79 2701 2716 "src/base/BaseCheck.ml" 79 2701 2724
type(
  unit -> string
)
ident(
  int_ref fversion "src/base/BaseCheck.ml" 68 2476 2480 "src/base/BaseCheck.ml" 68 2476 2488
)
"src/base/BaseCheck.ml" 79 2701 2725 "src/base/BaseCheck.ml" 79 2701 2727
type(
  unit
)
"src/base/BaseCheck.ml" 79 2701 2716 "src/base/BaseCheck.ml" 79 2701 2727
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 80 2733 2746 "src/base/BaseCheck.ml" 80 2733 2772
type(
  string
)
"src/base/BaseCheck.ml" 83 2814 2832 "src/base/BaseCheck.ml" 83 2814 2839
type(
  OASISTypes.name -> string
)
ident(
  ext_ref BaseEnv.var_get
)
"src/base/BaseCheck.ml" 83 2814 2840 "src/base/BaseCheck.ml" 83 2814 2855
type(
  OASISTypes.name
)
"src/base/BaseCheck.ml" 83 2814 2831 "src/base/BaseCheck.ml" 83 2814 2856
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 84 2857 2877 "src/base/BaseCheck.ml" 84 2857 2886
type(
  exn
)
"src/base/BaseCheck.ml" 85 2890 2907 "src/base/BaseCheck.ml" 85 2890 2914
type(
  (unit, unit, string, unit) format4 -> unit
)
ident(
  ext_ref BaseMessage.warning
)
"src/base/BaseCheck.ml" 86 2915 2935 "src/base/BaseCheck.ml" 86 2915 2937
type(
  (unit, unit, string, unit) format4 -> (unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseCheck.ml" 86 2915 2938 "src/base/BaseCheck.ml" 87 2986 3021
type(
  (unit, unit, string, unit) format4
)
"src/base/BaseCheck.ml" 86 2915 2934 "src/base/BaseCheck.ml" 87 2986 3022
call(
  stack
)
type(
  (unit, unit, string, unit) format4
)
"src/base/BaseCheck.ml" 85 2890 2907 "src/base/BaseCheck.ml" 87 2986 3022
call(
  stack
)
type(
  unit
)
"src/base/BaseCheck.ml" 88 3024 3041 "src/base/BaseCheck.ml" 88 3024 3058
type(
  string
)
ident(
  ext_ref Sys.ocaml_version
)
"src/base/BaseCheck.ml" 85 2890 2907 "src/base/BaseCheck.ml" 88 3024 3058
type(
  string
)
"src/base/BaseCheck.ml" 81 2776 2789 "src/base/BaseCheck.ml" 89 3059 3075
type(
  string
)
"src/base/BaseCheck.ml" 90 3076 3089 "src/base/BaseCheck.ml" 90 3076 3092
type(
  string
)
ident(
  def res "src/base/BaseCheck.ml" 91 3096 3109 "src/base/BaseCheck.ml" 91 3096 3112
)
"src/base/BaseCheck.ml" 91 3096 3109 "src/base/BaseCheck.ml" 91 3096 3112
type(
  string
)
ident(
  int_ref res "src/base/BaseCheck.ml" 90 3076 3089 "src/base/BaseCheck.ml" 90 3076 3092
)
"src/base/BaseCheck.ml" 79 2701 2710 "src/base/BaseCheck.ml" 91 3096 3112
type(
  string
)
"src/base/BaseCheck.ml" 93 3123 3134 "src/base/BaseCheck.ml" 93 3123 3141
type(
  OASISVersion.t
)
ident(
  def version "src/base/BaseCheck.ml" 96 3206 3213 "src/base/BaseCheck.ml" 103 3464 3486
)
"src/base/BaseCheck.ml" 94 3144 3153 "src/base/BaseCheck.ml" 94 3144 3183
type(
  string -> OASISVersion.t
)
ident(
  ext_ref OASISVersion.version_of_string
)
"src/base/BaseCheck.ml" 94 3144 3184 "src/base/BaseCheck.ml" 94 3144 3195
type(
  string
)
ident(
  int_ref version_str "src/base/BaseCheck.ml" 78 2676 2687 "src/base/BaseCheck.ml" 78 2676 2698
)
"src/base/BaseCheck.ml" 94 3144 3153 "src/base/BaseCheck.ml" 94 3144 3195
call(
  stack
)
type(
  OASISVersion.t
)
"src/base/BaseCheck.ml" 96 3206 3216 "src/base/BaseCheck.ml" 96 3206 3245
type(
  OASISVersion.t -> OASISVersion.comparator -> bool
)
ident(
  ext_ref OASISVersion.comparator_apply
)
"src/base/BaseCheck.ml" 96 3206 3246 "src/base/BaseCheck.ml" 96 3206 3253
type(
  OASISVersion.t
)
ident(
  int_ref version "src/base/BaseCheck.ml" 93 3123 3134 "src/base/BaseCheck.ml" 93 3123 3141
)
"src/base/BaseCheck.ml" 96 3206 3254 "src/base/BaseCheck.ml" 96 3206 3257
type(
  OASISVersion.comparator
)
ident(
  int_ref cmp "src/base/BaseCheck.ml" 67 2468 2472 "src/base/BaseCheck.ml" 67 2468 2475
)
"src/base/BaseCheck.ml" 96 3206 3216 "src/base/BaseCheck.ml" 96 3206 3257
call(
  stack
)
type(
  bool
)
"src/base/BaseCheck.ml" 97 3263 3272 "src/base/BaseCheck.ml" 97 3263 3283
type(
  string
)
ident(
  int_ref version_str "src/base/BaseCheck.ml" 78 2676 2687 "src/base/BaseCheck.ml" 78 2676 2698
)
"src/base/BaseCheck.ml" 99 3296 3305 "src/base/BaseCheck.ml" 99 3296 3314
type(
  (string -> string -> string -> string, unit, string, string) format4 ->
  string -> string -> string -> string
)
ident(
  ext_ref OASISUtils.failwithf
)
"src/base/BaseCheck.ml" 100 3315 3327 "src/base/BaseCheck.ml" 100 3315 3329
type(
  (string -> string -> string -> string, unit, string, string) format4 ->
  (string -> string -> string -> string, unit, string, string) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseCheck.ml" 100 3315 3330 "src/base/BaseCheck.ml" 100 3315 3389
type(
  (string -> string -> string -> string, unit, string, string) format4
)
"src/base/BaseCheck.ml" 100 3315 3326 "src/base/BaseCheck.ml" 100 3315 3390
call(
  stack
)
type(
  (string -> string -> string -> string, unit, string, string) format4
)
"src/base/BaseCheck.ml" 101 3391 3402 "src/base/BaseCheck.ml" 101 3391 3412
type(
  string
)
ident(
  int_ref var_prefix "src/base/BaseCheck.ml" 66 2453 2457 "src/base/BaseCheck.ml" 66 2453 2467
)
"src/base/BaseCheck.ml" 102 3413 3425 "src/base/BaseCheck.ml" 102 3413 3458
type(
  OASISVersion.comparator -> string
)
ident(
  ext_ref OASISVersion.string_of_comparator
)
"src/base/BaseCheck.ml" 102 3413 3459 "src/base/BaseCheck.ml" 102 3413 3462
type(
  OASISVersion.comparator
)
ident(
  int_ref cmp "src/base/BaseCheck.ml" 67 2468 2472 "src/base/BaseCheck.ml" 67 2468 2475
)
"src/base/BaseCheck.ml" 102 3413 3424 "src/base/BaseCheck.ml" 102 3413 3463
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 103 3464 3475 "src/base/BaseCheck.ml" 103 3464 3486
type(
  string
)
ident(
  int_ref version_str "src/base/BaseCheck.ml" 78 2676 2687 "src/base/BaseCheck.ml" 78 2676 2698
)
"src/base/BaseCheck.ml" 99 3296 3305 "src/base/BaseCheck.ml" 103 3464 3486
call(
  tail
)
type(
  string
)
"src/base/BaseCheck.ml" 96 3206 3213 "src/base/BaseCheck.ml" 103 3464 3486
type(
  string
)
"src/base/BaseCheck.ml" 93 3123 3130 "src/base/BaseCheck.ml" 103 3464 3486
type(
  string
)
"src/base/BaseCheck.ml" 78 2676 2683 "src/base/BaseCheck.ml" 103 3464 3486
type(
  string
)
"src/base/BaseCheck.ml" 77 2661 2665 "src/base/BaseCheck.ml" 103 3464 3487
type(
  unit -> string
)
"src/base/BaseCheck.ml" 104 3488 3492 "src/base/BaseCheck.ml" 104 3488 3494
type(
  unit
)
"src/base/BaseCheck.ml" 74 2623 2625 "src/base/BaseCheck.ml" 104 3488 3494
call(
  tail
)
type(
  string
)
"src/base/BaseCheck.ml" 71 2538 2540 "src/base/BaseCheck.ml" 104 3488 3494
type(
  string
)
"src/base/BaseCheck.ml" 107 3497 3501 "src/base/BaseCheck.ml" 107 3497 3516
type(
  OASISTypes.arg -> string
)
ident(
  def package_version "src/base/BaseCheck.ml" 113 3637 3637 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 107 3497 3517 "src/base/BaseCheck.ml" 107 3497 3520
type(
  OASISTypes.arg
)
ident(
  def pkg "src/base/BaseCheck.ml" 108 3523 3525 "src/base/BaseCheck.ml" 110 3599 3634
)
"src/base/BaseCheck.ml" 108 3523 3525 "src/base/BaseCheck.ml" 108 3523 3552
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> OASISTypes.prog -> OASISTypes.args -> string
)
ident(
  ext_ref OASISExec.run_read_one_line
)
"src/base/BaseCheck.ml" 108 3523 3559 "src/base/BaseCheck.ml" 108 3523 3560
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/base/BaseCheck.ml" 108 3523 3560 "src/base/BaseCheck.ml" 108 3523 3579
type(
  OASISContext.t ref
)
ident(
  ext_ref BaseContext.default
)
"src/base/BaseCheck.ml" 108 3523 3559 "src/base/BaseCheck.ml" 108 3523 3579
type(
  OASISContext.t
)
"src/base/BaseCheck.ml" 109 3580 3585 "src/base/BaseCheck.ml" 109 3580 3594
type(
  unit -> OASISTypes.prog
)
ident(
  int_ref ocamlfind "src/base/BaseCheck.ml" 61 2404 2408 "src/base/BaseCheck.ml" 61 2404 2417
)
"src/base/BaseCheck.ml" 109 3580 3595 "src/base/BaseCheck.ml" 109 3580 3597
type(
  unit
)
"src/base/BaseCheck.ml" 109 3580 3584 "src/base/BaseCheck.ml" 109 3580 3598
call(
  stack
)
type(
  OASISTypes.prog
)
"src/base/BaseCheck.ml" 110 3599 3604 "src/base/BaseCheck.ml" 110 3599 3611
type(
  OASISTypes.arg
)
"src/base/BaseCheck.ml" 110 3599 3613 "src/base/BaseCheck.ml" 110 3599 3622
type(
  OASISTypes.arg
)
"src/base/BaseCheck.ml" 110 3599 3624 "src/base/BaseCheck.ml" 110 3599 3628
type(
  OASISTypes.arg
)
"src/base/BaseCheck.ml" 110 3599 3630 "src/base/BaseCheck.ml" 110 3599 3633
type(
  OASISTypes.arg
)
ident(
  int_ref pkg "src/base/BaseCheck.ml" 107 3497 3517 "src/base/BaseCheck.ml" 107 3497 3520
)
"src/base/BaseCheck.ml" 110 3599 3603 "src/base/BaseCheck.ml" 110 3599 3634
type(
  OASISTypes.args
)
"src/base/BaseCheck.ml" 108 3523 3525 "src/base/BaseCheck.ml" 110 3599 3634
call(
  tail
)
type(
  string
)
"src/base/BaseCheck.ml" 113 3637 3641 "src/base/BaseCheck.ml" 113 3637 3648
type(
  ?version_comparator:OASISVersion.comparator ->
  OASISTypes.arg -> unit -> string
)
ident(
  def package "src/base/BaseCheck.ml" 151 4474 4478 "src/base/BaseCheck.ml" 1 0 -1
)
"src/base/BaseCheck.ml" 113 3637 3650 "src/base/BaseCheck.ml" 113 3637 3668
type(
  OASISVersion.comparator option
)
ident(
  def version_comparator "src/base/BaseCheck.ml" 113 3637 3669 "src/base/BaseCheck.ml" 151 4474 4478
)
"src/base/BaseCheck.ml" 113 3637 3669 "src/base/BaseCheck.ml" 113 3637 3672
type(
  OASISTypes.arg
)
ident(
  def pkg "src/base/BaseCheck.ml" 113 3637 3673 "src/base/BaseCheck.ml" 151 4474 4478
)
"src/base/BaseCheck.ml" 113 3637 3673 "src/base/BaseCheck.ml" 113 3637 3675
type(
  unit
)
"src/base/BaseCheck.ml" 114 3678 3684 "src/base/BaseCheck.ml" 114 3678 3687
type(
  string
)
ident(
  def var "src/base/BaseCheck.ml" 119 3779 3781 "src/base/BaseCheck.ml" 151 4474 4478
)
"src/base/BaseCheck.ml" 115 3690 3694 "src/base/BaseCheck.ml" 115 3690 3719
type(
  ?hyphen:char -> string -> string -> string
)
ident(
  ext_ref OASISUtils.varname_concat
)
"src/base/BaseCheck.ml" 116 3720 3726 "src/base/BaseCheck.ml" 116 3720 3732
type(
  string
)
"src/base/BaseCheck.ml" 117 3733 3740 "src/base/BaseCheck.ml" 117 3733 3768
type(
  ?hyphen:char -> OASISTypes.arg -> string
)
ident(
  ext_ref OASISUtils.varname_of_string
)
"src/base/BaseCheck.ml" 117 3733 3769 "src/base/BaseCheck.ml" 117 3733 3772
type(
  OASISTypes.arg
)
ident(
  int_ref pkg "src/base/BaseCheck.ml" 113 3637 3669 "src/base/BaseCheck.ml" 113 3637 3672
)
"src/base/BaseCheck.ml" 117 3733 3739 "src/base/BaseCheck.ml" 117 3733 3773
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 115 3690 3694 "src/base/BaseCheck.ml" 117 3733 3773
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 119 3779 3785 "src/base/BaseCheck.ml" 119 3779 3796
type(
  OASISTypes.arg -> string
)
ident(
  def findlib_dir "src/base/BaseCheck.ml" 133 4161 4163 "src/base/BaseCheck.ml" 151 4474 4478
)
"src/base/BaseCheck.ml" 119 3779 3797 "src/base/BaseCheck.ml" 119 3779 3800
type(
  OASISTypes.arg
)
ident(
  def pkg "src/base/BaseCheck.ml" 120 3803 3807 "src/base/BaseCheck.ml" 131 4140 4155
)
"src/base/BaseCheck.ml" 120 3803 3811 "src/base/BaseCheck.ml" 120 3803 3814
type(
  string
)
ident(
  def dir "src/base/BaseCheck.ml" 125 3948 3952 "src/base/BaseCheck.ml" 131 4140 4155
)
"src/base/BaseCheck.ml" 121 3817 3823 "src/base/BaseCheck.ml" 121 3817 3850
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) -> OASISTypes.prog -> OASISTypes.args -> string
)
ident(
  ext_ref OASISExec.run_read_one_line
)
"src/base/BaseCheck.ml" 121 3817 3857 "src/base/BaseCheck.ml" 121 3817 3858
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/base/BaseCheck.ml" 121 3817 3858 "src/base/BaseCheck.ml" 121 3817 3877
type(
  OASISContext.t ref
)
ident(
  ext_ref BaseContext.default
)
"src/base/BaseCheck.ml" 121 3817 3857 "src/base/BaseCheck.ml" 121 3817 3877
type(
  OASISContext.t
)
"src/base/BaseCheck.ml" 122 3878 3887 "src/base/BaseCheck.ml" 122 3878 3896
type(
  unit -> OASISTypes.prog
)
ident(
  int_ref ocamlfind "src/base/BaseCheck.ml" 61 2404 2408 "src/base/BaseCheck.ml" 61 2404 2417
)
"src/base/BaseCheck.ml" 122 3878 3897 "src/base/BaseCheck.ml" 122 3878 3899
type(
  unit
)
"src/base/BaseCheck.ml" 122 3878 3886 "src/base/BaseCheck.ml" 122 3878 3900
call(
  stack
)
type(
  OASISTypes.prog
)
"src/base/BaseCheck.ml" 123 3901 3910 "src/base/BaseCheck.ml" 123 3901 3917
type(
  OASISTypes.arg
)
"src/base/BaseCheck.ml" 123 3901 3919 "src/base/BaseCheck.ml" 123 3901 3928
type(
  OASISTypes.arg
)
"src/base/BaseCheck.ml" 123 3901 3930 "src/base/BaseCheck.ml" 123 3901 3934
type(
  OASISTypes.arg
)
"src/base/BaseCheck.ml" 123 3901 3936 "src/base/BaseCheck.ml" 123 3901 3939
type(
  OASISTypes.arg
)
ident(
  int_ref pkg "src/base/BaseCheck.ml" 119 3779 3797 "src/base/BaseCheck.ml" 119 3779 3800
)
"src/base/BaseCheck.ml" 123 3901 3909 "src/base/BaseCheck.ml" 123 3901 3940
type(
  OASISTypes.args
)
"src/base/BaseCheck.ml" 121 3817 3823 "src/base/BaseCheck.ml" 123 3901 3940
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 125 3948 3955 "src/base/BaseCheck.ml" 125 3948 3970
type(
  string -> bool
)
ident(
  ext_ref Sys.file_exists
)
"src/base/BaseCheck.ml" 125 3948 3971 "src/base/BaseCheck.ml" 125 3948 3974
type(
  string
)
ident(
  int_ref dir "src/base/BaseCheck.ml" 120 3803 3811 "src/base/BaseCheck.ml" 120 3803 3814
)
"src/base/BaseCheck.ml" 125 3948 3955 "src/base/BaseCheck.ml" 125 3948 3974
type(
  bool
)
"src/base/BaseCheck.ml" 125 3948 3975 "src/base/BaseCheck.ml" 125 3948 3977
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"src/base/BaseCheck.ml" 125 3948 3978 "src/base/BaseCheck.ml" 125 3948 3994
type(
  string -> bool
)
ident(
  ext_ref Sys.is_directory
)
"src/base/BaseCheck.ml" 125 3948 3995 "src/base/BaseCheck.ml" 125 3948 3998
type(
  string
)
ident(
  int_ref dir "src/base/BaseCheck.ml" 120 3803 3811 "src/base/BaseCheck.ml" 120 3803 3814
)
"src/base/BaseCheck.ml" 125 3948 3978 "src/base/BaseCheck.ml" 125 3948 3998
type(
  bool
)
"src/base/BaseCheck.ml" 125 3948 3955 "src/base/BaseCheck.ml" 125 3948 3998
type(
  bool
)
"src/base/BaseCheck.ml" 126 4004 4010 "src/base/BaseCheck.ml" 126 4004 4013
type(
  string
)
ident(
  int_ref dir "src/base/BaseCheck.ml" 120 3803 3811 "src/base/BaseCheck.ml" 120 3803 3814
)
"src/base/BaseCheck.ml" 128 4023 4029 "src/base/BaseCheck.ml" 128 4023 4038
type(
  (OASISTypes.arg -> string -> string, unit, string, string) format4 ->
  OASISTypes.arg -> string -> string
)
ident(
  ext_ref OASISUtils.failwithf
)
"src/base/BaseCheck.ml" 129 4039 4048 "src/base/BaseCheck.ml" 129 4039 4050
type(
  (OASISTypes.arg -> string -> string, unit, string, string) format4 ->
  (OASISTypes.arg -> string -> string, unit, string, string) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseCheck.ml" 129 4039 4051 "src/base/BaseCheck.ml" 130 4091 4138
type(
  (OASISTypes.arg -> string -> string, unit, string, string) format4
)
"src/base/BaseCheck.ml" 129 4039 4047 "src/base/BaseCheck.ml" 130 4091 4139
call(
  stack
)
type(
  (OASISTypes.arg -> string -> string, unit, string, string) format4
)
"src/base/BaseCheck.ml" 131 4140 4148 "src/base/BaseCheck.ml" 131 4140 4151
type(
  OASISTypes.arg
)
ident(
  int_ref pkg "src/base/BaseCheck.ml" 119 3779 3797 "src/base/BaseCheck.ml" 119 3779 3800
)
"src/base/BaseCheck.ml" 131 4140 4152 "src/base/BaseCheck.ml" 131 4140 4155
type(
  string
)
ident(
  int_ref dir "src/base/BaseCheck.ml" 120 3803 3811 "src/base/BaseCheck.ml" 120 3803 3814
)
"src/base/BaseCheck.ml" 128 4023 4029 "src/base/BaseCheck.ml" 131 4140 4155
call(
  tail
)
type(
  string
)
"src/base/BaseCheck.ml" 125 3948 3952 "src/base/BaseCheck.ml" 131 4140 4155
type(
  string
)
"src/base/BaseCheck.ml" 120 3803 3807 "src/base/BaseCheck.ml" 131 4140 4155
type(
  string
)
"src/base/BaseCheck.ml" 133 4161 4167 "src/base/BaseCheck.ml" 133 4161 4169
type(
  string
)
ident(
  def vl "src/base/BaseCheck.ml" 139 4247 4249 "src/base/BaseCheck.ml" 151 4474 4478
)
"src/base/BaseCheck.ml" 134 4172 4176 "src/base/BaseCheck.ml" 134 4172 4188
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:BaseEnv.cli_handle_t ->
  ?arg_help:string ->
  ?group:string -> OASISTypes.name -> (unit -> string) -> unit -> string
)
ident(
  ext_ref BaseEnv.var_redefine
)
"src/base/BaseCheck.ml" 135 4189 4195 "src/base/BaseCheck.ml" 135 4189 4198
type(
  OASISTypes.name
)
ident(
  int_ref var "src/base/BaseCheck.ml" 114 3678 3684 "src/base/BaseCheck.ml" 114 3678 3687
)
"src/base/BaseCheck.ml" 136 4199 4210 "src/base/BaseCheck.ml" 136 4199 4212
type(
  unit
)
"src/base/BaseCheck.ml" 136 4199 4216 "src/base/BaseCheck.ml" 136 4199 4227
type(
  OASISTypes.arg -> string
)
ident(
  int_ref findlib_dir "src/base/BaseCheck.ml" 119 3779 3785 "src/base/BaseCheck.ml" 119 3779 3796
)
"src/base/BaseCheck.ml" 136 4199 4228 "src/base/BaseCheck.ml" 136 4199 4231
type(
  OASISTypes.arg
)
ident(
  int_ref pkg "src/base/BaseCheck.ml" 113 3637 3669 "src/base/BaseCheck.ml" 113 3637 3672
)
"src/base/BaseCheck.ml" 136 4199 4216 "src/base/BaseCheck.ml" 136 4199 4231
call(
  tail
)
type(
  string
)
"src/base/BaseCheck.ml" 136 4199 4205 "src/base/BaseCheck.ml" 136 4199 4232
type(
  unit -> string
)
"src/base/BaseCheck.ml" 137 4233 4239 "src/base/BaseCheck.ml" 137 4233 4241
type(
  unit
)
"src/base/BaseCheck.ml" 134 4172 4176 "src/base/BaseCheck.ml" 137 4233 4241
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 140 4251 4261 "src/base/BaseCheck.ml" 140 4251 4279
type(
  OASISVersion.comparator option
)
ident(
  int_ref version_comparator "src/base/BaseCheck.ml" 113 3637 3650 "src/base/BaseCheck.ml" 113 3637 3668
)
"src/base/BaseCheck.ml" 141 4285 4298 "src/base/BaseCheck.ml" 141 4285 4305
type(
  OASISVersion.comparator
)
ident(
  def ver_cmp "src/base/BaseCheck.ml" 142 4309 4317 "src/base/BaseCheck.ml" 147 4425 4441
)
"src/base/BaseCheck.ml" 141 4285 4293 "src/base/BaseCheck.ml" 141 4285 4305
type(
  OASISVersion.comparator option
)
"src/base/BaseCheck.ml" 142 4309 4317 "src/base/BaseCheck.ml" 142 4309 4323
type(
  string -> unit
)
ident(
  ext_ref Pervasives.ignore
)
"src/base/BaseCheck.ml" 143 4324 4335 "src/base/BaseCheck.ml" 143 4324 4342
type(
  string -> OASISVersion.comparator -> (unit -> string) -> unit -> string
)
ident(
  int_ref version "src/base/BaseCheck.ml" 65 2441 2445 "src/base/BaseCheck.ml" 65 2441 2452
)
"src/base/BaseCheck.ml" 144 4343 4356 "src/base/BaseCheck.ml" 144 4343 4359
type(
  string
)
ident(
  int_ref var "src/base/BaseCheck.ml" 114 3678 3684 "src/base/BaseCheck.ml" 114 3678 3687
)
"src/base/BaseCheck.ml" 145 4360 4373 "src/base/BaseCheck.ml" 145 4360 4380
type(
  OASISVersion.comparator
)
ident(
  int_ref ver_cmp "src/base/BaseCheck.ml" 141 4285 4298 "src/base/BaseCheck.ml" 141 4285 4305
)
"src/base/BaseCheck.ml" 146 4381 4399 "src/base/BaseCheck.ml" 146 4381 4400
type(
  unit
)
"src/base/BaseCheck.ml" 146 4381 4404 "src/base/BaseCheck.ml" 146 4381 4419
type(
  OASISTypes.arg -> string
)
ident(
  int_ref package_version "src/base/BaseCheck.ml" 107 3497 3501 "src/base/BaseCheck.ml" 107 3497 3516
)
"src/base/BaseCheck.ml" 146 4381 4420 "src/base/BaseCheck.ml" 146 4381 4423
type(
  OASISTypes.arg
)
ident(
  int_ref pkg "src/base/BaseCheck.ml" 113 3637 3669 "src/base/BaseCheck.ml" 113 3637 3672
)
"src/base/BaseCheck.ml" 146 4381 4404 "src/base/BaseCheck.ml" 146 4381 4423
call(
  tail
)
type(
  string
)
"src/base/BaseCheck.ml" 146 4381 4394 "src/base/BaseCheck.ml" 146 4381 4424
type(
  unit -> string
)
"src/base/BaseCheck.ml" 147 4425 4438 "src/base/BaseCheck.ml" 147 4425 4440
type(
  unit
)
"src/base/BaseCheck.ml" 143 4324 4334 "src/base/BaseCheck.ml" 147 4425 4441
call(
  stack
)
type(
  string
)
"src/base/BaseCheck.ml" 142 4309 4317 "src/base/BaseCheck.ml" 147 4425 4441
type(
  unit
)
"src/base/BaseCheck.ml" 148 4442 4450 "src/base/BaseCheck.ml" 148 4442 4454
type(
  OASISVersion.comparator option
)
"src/base/BaseCheck.ml" 149 4458 4466 "src/base/BaseCheck.ml" 149 4458 4468
type(
  unit
)
"src/base/BaseCheck.ml" 139 4247 4249 "src/base/BaseCheck.ml" 150 4469 4472
type(
  unit
)
"src/base/BaseCheck.ml" 151 4474 4476 "src/base/BaseCheck.ml" 151 4474 4478
type(
  string
)
ident(
  int_ref vl "src/base/BaseCheck.ml" 133 4161 4167 "src/base/BaseCheck.ml" 133 4161 4169
)
"src/base/BaseCheck.ml" 139 4247 4249 "src/base/BaseCheck.ml" 151 4474 4478
type(
  string
)
"src/base/BaseCheck.ml" 133 4161 4163 "src/base/BaseCheck.ml" 151 4474 4478
type(
  string
)
"src/base/BaseCheck.ml" 119 3779 3781 "src/base/BaseCheck.ml" 151 4474 4478
type(
  string
)
"src/base/BaseCheck.ml" 114 3678 3680 "src/base/BaseCheck.ml" 151 4474 4478
type(
  string
)