"src/base/BaseOCamlcConfig.ml" 29 1752 1759 "src/base/BaseOCamlcConfig.ml" 29 1752 1763
ident(
  def SMap "src/base/BaseOCamlcConfig.ml" 29 1752 1782 "src/base/BaseOCamlcConfig.ml" 0 0 -1
)
"src/base/BaseOCamlcConfig.ml" 32 1785 1789 "src/base/BaseOCamlcConfig.ml" 32 1785 1795
type(
  unit -> OASISTypes.host_filename
)
ident(
  def ocamlc "src/base/BaseOCamlcConfig.ml" 36 1830 1830 "src/base/BaseOCamlcConfig.ml" 0 0 -1
)
"src/base/BaseOCamlcConfig.ml" 33 1798 1800 "src/base/BaseOCamlcConfig.ml" 33 1798 1818
type(
  OASISTypes.prog -> unit -> OASISTypes.host_filename
)
ident(
  int_ref BaseCheck.prog_opt "src/base/BaseCheck.mli" 45 2097 2097 "src/base/BaseCheck.mli" 45 2097 2140
)
"src/base/BaseOCamlcConfig.ml" 33 1798 1819 "src/base/BaseOCamlcConfig.ml" 33 1798 1827
type(
  OASISTypes.prog
)
"src/base/BaseOCamlcConfig.ml" 33 1798 1800 "src/base/BaseOCamlcConfig.ml" 33 1798 1827
type(
  unit -> OASISTypes.host_filename
)
"src/base/BaseOCamlcConfig.ml" 36 1830 1834 "src/base/BaseOCamlcConfig.ml" 36 1830 1851
type(
  unit -> string
)
ident(
  def ocamlc_config_map "src/base/BaseOCamlcConfig.ml" 101 3350 3350 "src/base/BaseOCamlcConfig.ml" 0 0 -1
)
"src/base/BaseOCamlcConfig.ml" 40 1932 1942 "src/base/BaseOCamlcConfig.ml" 40 1932 1953
type(
  string SMap.t -> string list -> string SMap.t
)
ident(
  def split_field "src/base/BaseOCamlcConfig.ml" 40 1932 1934 "src/base/BaseOCamlcConfig.ml" 98 3323 3347
)
"src/base/BaseOCamlcConfig.ml" 40 1932 1954 "src/base/BaseOCamlcConfig.ml" 40 1932 1956
type(
  string SMap.t
)
ident(
  def mp "src/base/BaseOCamlcConfig.ml" 40 1932 1957 "src/base/BaseOCamlcConfig.ml" 78 2900 2910
)
"src/base/BaseOCamlcConfig.ml" 40 1932 1957 "src/base/BaseOCamlcConfig.ml" 40 1932 1960
type(
  string list
)
ident(
  def lst "src/base/BaseOCamlcConfig.ml" 41 1963 1967 "src/base/BaseOCamlcConfig.ml" 78 2900 2910
)
"src/base/BaseOCamlcConfig.ml" 41 1963 1973 "src/base/BaseOCamlcConfig.ml" 41 1963 1976
type(
  string list
)
ident(
  int_ref lst "src/base/BaseOCamlcConfig.ml" 40 1932 1957 "src/base/BaseOCamlcConfig.ml" 40 1932 1960
)
"src/base/BaseOCamlcConfig.ml" 42 1982 1990 "src/base/BaseOCamlcConfig.ml" 42 1982 1994
type(
  string
)
ident(
  def line "src/base/BaseOCamlcConfig.ml" 43 2004 2012 "src/base/BaseOCamlcConfig.ml" 76 2860 2885
)
"src/base/BaseOCamlcConfig.ml" 42 1982 1998 "src/base/BaseOCamlcConfig.ml" 42 1982 2000
type(
  string list
)
ident(
  def tl "src/base/BaseOCamlcConfig.ml" 43 2004 2012 "src/base/BaseOCamlcConfig.ml" 76 2860 2885
)
"src/base/BaseOCamlcConfig.ml" 42 1982 1990 "src/base/BaseOCamlcConfig.ml" 42 1982 2000
type(
  string list
)
type(
  string list
)
"src/base/BaseOCamlcConfig.ml" 43 2004 2016 "src/base/BaseOCamlcConfig.ml" 43 2004 2018
type(
  string SMap.t
)
ident(
  def mp "src/base/BaseOCamlcConfig.ml" 76 2860 2868 "src/base/BaseOCamlcConfig.ml" 76 2860 2885
)
"src/base/BaseOCamlcConfig.ml" 45 2035 2051 "src/base/BaseOCamlcConfig.ml" 45 2035 2064
type(
  int
)
ident(
  def pos_semicolon "src/base/BaseOCamlcConfig.ml" 48 2118 2130 "src/base/BaseOCamlcConfig.ml" 70 2760 2775
)
"src/base/BaseOCamlcConfig.ml" 46 2067 2081 "src/base/BaseOCamlcConfig.ml" 46 2067 2093
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.index "string.mli" 332 11937 11937 "string.mli" 332 11937 11970
)
"src/base/BaseOCamlcConfig.ml" 46 2067 2094 "src/base/BaseOCamlcConfig.ml" 46 2067 2098
type(
  string
)
ident(
  int_ref line "src/base/BaseOCamlcConfig.ml" 42 1982 1990 "src/base/BaseOCamlcConfig.ml" 42 1982 1994
)
"src/base/BaseOCamlcConfig.ml" 46 2067 2099 "src/base/BaseOCamlcConfig.ml" 46 2067 2102
type(
  char
)
"src/base/BaseOCamlcConfig.ml" 46 2067 2081 "src/base/BaseOCamlcConfig.ml" 46 2067 2102
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 48 2118 2133 "src/base/BaseOCamlcConfig.ml" 48 2118 2146
type(
  int
)
ident(
  int_ref pos_semicolon "src/base/BaseOCamlcConfig.ml" 45 2035 2051 "src/base/BaseOCamlcConfig.ml" 45 2035 2064
)
"src/base/BaseOCamlcConfig.ml" 48 2118 2147 "src/base/BaseOCamlcConfig.ml" 48 2118 2148
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/base/BaseOCamlcConfig.ml" 48 2118 2149 "src/base/BaseOCamlcConfig.ml" 48 2118 2150
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 48 2118 2133 "src/base/BaseOCamlcConfig.ml" 48 2118 2150
type(
  bool
)
"src/base/BaseOCamlcConfig.ml" 50 2172 2192 "src/base/BaseOCamlcConfig.ml" 50 2172 2196
type(
  string
)
ident(
  def name "src/base/BaseOCamlcConfig.ml" 53 2268 2284 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
)
"src/base/BaseOCamlcConfig.ml" 51 2199 2217 "src/base/BaseOCamlcConfig.ml" 51 2199 2227
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/base/BaseOCamlcConfig.ml" 51 2199 2228 "src/base/BaseOCamlcConfig.ml" 51 2199 2232
type(
  string
)
ident(
  int_ref line "src/base/BaseOCamlcConfig.ml" 42 1982 1990 "src/base/BaseOCamlcConfig.ml" 42 1982 1994
)
"src/base/BaseOCamlcConfig.ml" 51 2199 2233 "src/base/BaseOCamlcConfig.ml" 51 2199 2234
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 51 2199 2235 "src/base/BaseOCamlcConfig.ml" 51 2199 2248
type(
  int
)
ident(
  int_ref pos_semicolon "src/base/BaseOCamlcConfig.ml" 45 2035 2051 "src/base/BaseOCamlcConfig.ml" 45 2035 2064
)
"src/base/BaseOCamlcConfig.ml" 51 2199 2217 "src/base/BaseOCamlcConfig.ml" 51 2199 2248
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 53 2268 2288 "src/base/BaseOCamlcConfig.ml" 53 2268 2295
type(
  int
)
ident(
  def linelen "src/base/BaseOCamlcConfig.ml" 56 2354 2370 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
)
"src/base/BaseOCamlcConfig.ml" 54 2298 2316 "src/base/BaseOCamlcConfig.ml" 54 2298 2329
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/base/BaseOCamlcConfig.ml" 54 2298 2330 "src/base/BaseOCamlcConfig.ml" 54 2298 2334
type(
  string
)
ident(
  int_ref line "src/base/BaseOCamlcConfig.ml" 42 1982 1990 "src/base/BaseOCamlcConfig.ml" 42 1982 1994
)
"src/base/BaseOCamlcConfig.ml" 54 2298 2316 "src/base/BaseOCamlcConfig.ml" 54 2298 2334
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 56 2354 2374 "src/base/BaseOCamlcConfig.ml" 56 2354 2379
type(
  string
)
ident(
  def value "src/base/BaseOCamlcConfig.ml" 65 2653 2669 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2403 "src/base/BaseOCamlcConfig.ml" 57 2382 2410
type(
  int
)
ident(
  int_ref linelen "src/base/BaseOCamlcConfig.ml" 53 2268 2288 "src/base/BaseOCamlcConfig.ml" 53 2268 2295
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2411 "src/base/BaseOCamlcConfig.ml" 57 2382 2412
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2413 "src/base/BaseOCamlcConfig.ml" 57 2382 2426
type(
  int
)
ident(
  int_ref pos_semicolon "src/base/BaseOCamlcConfig.ml" 45 2035 2051 "src/base/BaseOCamlcConfig.ml" 45 2035 2064
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2427 "src/base/BaseOCamlcConfig.ml" 57 2382 2428
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2429 "src/base/BaseOCamlcConfig.ml" 57 2382 2430
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2413 "src/base/BaseOCamlcConfig.ml" 57 2382 2430
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2403 "src/base/BaseOCamlcConfig.ml" 57 2382 2430
type(
  bool
)
"src/base/BaseOCamlcConfig.ml" 58 2436 2456 "src/base/BaseOCamlcConfig.ml" 58 2436 2466
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/base/BaseOCamlcConfig.ml" 59 2467 2489 "src/base/BaseOCamlcConfig.ml" 59 2467 2493
type(
  string
)
ident(
  int_ref line "src/base/BaseOCamlcConfig.ml" 42 1982 1990 "src/base/BaseOCamlcConfig.ml" 42 1982 1994
)
"src/base/BaseOCamlcConfig.ml" 60 2494 2517 "src/base/BaseOCamlcConfig.ml" 60 2494 2530
type(
  int
)
ident(
  int_ref pos_semicolon "src/base/BaseOCamlcConfig.ml" 45 2035 2051 "src/base/BaseOCamlcConfig.ml" 45 2035 2064
)
"src/base/BaseOCamlcConfig.ml" 60 2494 2531 "src/base/BaseOCamlcConfig.ml" 60 2494 2532
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/base/BaseOCamlcConfig.ml" 60 2494 2533 "src/base/BaseOCamlcConfig.ml" 60 2494 2534
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 60 2494 2516 "src/base/BaseOCamlcConfig.ml" 60 2494 2535
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2559 "src/base/BaseOCamlcConfig.ml" 61 2536 2566
type(
  int
)
ident(
  int_ref linelen "src/base/BaseOCamlcConfig.ml" 53 2268 2288 "src/base/BaseOCamlcConfig.ml" 53 2268 2295
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2567 "src/base/BaseOCamlcConfig.ml" 61 2536 2568
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2569 "src/base/BaseOCamlcConfig.ml" 61 2536 2582
type(
  int
)
ident(
  int_ref pos_semicolon "src/base/BaseOCamlcConfig.ml" 45 2035 2051 "src/base/BaseOCamlcConfig.ml" 45 2035 2064
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2559 "src/base/BaseOCamlcConfig.ml" 61 2536 2582
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2583 "src/base/BaseOCamlcConfig.ml" 61 2536 2584
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2585 "src/base/BaseOCamlcConfig.ml" 61 2536 2586
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 61 2536 2558 "src/base/BaseOCamlcConfig.ml" 61 2536 2587
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 58 2436 2456 "src/base/BaseOCamlcConfig.ml" 61 2536 2587
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 63 2611 2631 "src/base/BaseOCamlcConfig.ml" 63 2611 2633
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 57 2382 2400 "src/base/BaseOCamlcConfig.ml" 63 2611 2633
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 65 2653 2669 "src/base/BaseOCamlcConfig.ml" 65 2653 2677
type(
  SMap.key -> string -> string SMap.t -> string SMap.t
)
ident(
  int_ref SMap.add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/base/BaseOCamlcConfig.ml" 65 2653 2678 "src/base/BaseOCamlcConfig.ml" 65 2653 2682
type(
  SMap.key
)
ident(
  int_ref name "src/base/BaseOCamlcConfig.ml" 50 2172 2192 "src/base/BaseOCamlcConfig.ml" 50 2172 2196
)
"src/base/BaseOCamlcConfig.ml" 65 2653 2683 "src/base/BaseOCamlcConfig.ml" 65 2653 2688
type(
  string
)
ident(
  int_ref value "src/base/BaseOCamlcConfig.ml" 56 2354 2374 "src/base/BaseOCamlcConfig.ml" 56 2354 2379
)
"src/base/BaseOCamlcConfig.ml" 65 2653 2689 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
type(
  string SMap.t
)
ident(
  int_ref mp "src/base/BaseOCamlcConfig.ml" 40 1932 1954 "src/base/BaseOCamlcConfig.ml" 40 1932 1956
)
"src/base/BaseOCamlcConfig.ml" 65 2653 2669 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 56 2354 2370 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 53 2268 2284 "src/base/BaseOCamlcConfig.ml" 65 2653 2691
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 49 2156 2170 "src/base/BaseOCamlcConfig.ml" 66 2692 2707
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 68 2725 2739 "src/base/BaseOCamlcConfig.ml" 70 2760 2775
type(
  string SMap.t
)
ident(
  int_ref mp "src/base/BaseOCamlcConfig.ml" 40 1932 1954 "src/base/BaseOCamlcConfig.ml" 40 1932 1956
)
"src/base/BaseOCamlcConfig.ml" 48 2118 2130 "src/base/BaseOCamlcConfig.ml" 70 2760 2775
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 45 2035 2047 "src/base/BaseOCamlcConfig.ml" 70 2760 2775
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 71 2776 2791 "src/base/BaseOCamlcConfig.ml" 71 2776 2800
type(
  exn
)
"src/base/BaseOCamlcConfig.ml" 72 2804 2816 "src/base/BaseOCamlcConfig.ml" 74 2835 2848
type(
  string SMap.t
)
ident(
  int_ref mp "src/base/BaseOCamlcConfig.ml" 40 1932 1954 "src/base/BaseOCamlcConfig.ml" 40 1932 1956
)
"src/base/BaseOCamlcConfig.ml" 44 2021 2031 "src/base/BaseOCamlcConfig.ml" 74 2835 2848
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 76 2860 2868 "src/base/BaseOCamlcConfig.ml" 76 2860 2879
type(
  string SMap.t -> string list -> string SMap.t
)
ident(
  int_ref split_field "src/base/BaseOCamlcConfig.ml" 40 1932 1942 "src/base/BaseOCamlcConfig.ml" 40 1932 1953
)
"src/base/BaseOCamlcConfig.ml" 76 2860 2880 "src/base/BaseOCamlcConfig.ml" 76 2860 2882
type(
  string SMap.t
)
ident(
  int_ref mp "src/base/BaseOCamlcConfig.ml" 43 2004 2016 "src/base/BaseOCamlcConfig.ml" 43 2004 2018
)
"src/base/BaseOCamlcConfig.ml" 76 2860 2883 "src/base/BaseOCamlcConfig.ml" 76 2860 2885
type(
  string list
)
ident(
  int_ref tl "src/base/BaseOCamlcConfig.ml" 42 1982 1998 "src/base/BaseOCamlcConfig.ml" 42 1982 2000
)
"src/base/BaseOCamlcConfig.ml" 76 2860 2868 "src/base/BaseOCamlcConfig.ml" 76 2860 2885
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 43 2004 2012 "src/base/BaseOCamlcConfig.ml" 76 2860 2885
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 77 2886 2894 "src/base/BaseOCamlcConfig.ml" 77 2886 2896
type(
  string list
)
type(
  string list
)
"src/base/BaseOCamlcConfig.ml" 78 2900 2908 "src/base/BaseOCamlcConfig.ml" 78 2900 2910
type(
  string SMap.t
)
ident(
  int_ref mp "src/base/BaseOCamlcConfig.ml" 40 1932 1954 "src/base/BaseOCamlcConfig.ml" 40 1932 1956
)
"src/base/BaseOCamlcConfig.ml" 41 1963 1967 "src/base/BaseOCamlcConfig.ml" 78 2900 2910
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 81 2917 2923 "src/base/BaseOCamlcConfig.ml" 81 2917 2928
type(
  string lazy_t
)
ident(
  def cache "src/base/BaseOCamlcConfig.ml" 92 3191 3193 "src/base/BaseOCamlcConfig.ml" 98 3323 3347
)
"src/base/BaseOCamlcConfig.ml" 83 2940 2947 "src/base/BaseOCamlcConfig.ml" 83 2940 2958
type(
  string -> string
)
ident(
  int_ref BaseEnv.var_protect "src/base/BaseEnv.mli" 93 3410 3410 "src/base/BaseEnv.mli" 93 3410 3443
)
"src/base/BaseOCamlcConfig.ml" 84 2959 2969 "src/base/BaseOCamlcConfig.ml" 84 2959 2986
type(
  string SMap.t -> Marshal.extern_flags list -> string
)
ident(
  int_ref Stdlib.Marshal.to_string "marshal.mli" 123 6743 6743 "marshal.mli" 124 6764 6831
)
"src/base/BaseOCamlcConfig.ml" 85 2987 3000 "src/base/BaseOCamlcConfig.ml" 85 2987 3011
type(
  string SMap.t -> string list -> string SMap.t
)
ident(
  int_ref split_field "src/base/BaseOCamlcConfig.ml" 40 1932 1942 "src/base/BaseOCamlcConfig.ml" 40 1932 1953
)
"src/base/BaseOCamlcConfig.ml" 86 3012 3027 "src/base/BaseOCamlcConfig.ml" 86 3012 3037
type(
  string SMap.t
)
ident(
  int_ref SMap.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/base/BaseOCamlcConfig.ml" 87 3038 3054 "src/base/BaseOCamlcConfig.ml" 87 3038 3079
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  OASISTypes.prog -> OASISTypes.args -> string list
)
ident(
  int_ref OASISExec.run_read_output "src/oasis/OASISExec.mli" 48 2156 2156 "src/oasis/OASISExec.mli" 52 2252 2265
)
"src/base/BaseOCamlcConfig.ml" 88 3080 3104 "src/base/BaseOCamlcConfig.ml" 88 3080 3105
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseOCamlcConfig.ml" 88 3080 3105 "src/base/BaseOCamlcConfig.ml" 88 3080 3124
type(
  OASISContext.t ref
)
ident(
  int_ref BaseContext.default "src/base/BaseContext.mli" 39 1969 1969 "src/base/BaseContext.mli" 39 1969 2000
)
"src/base/BaseOCamlcConfig.ml" 88 3080 3104 "src/base/BaseOCamlcConfig.ml" 88 3080 3124
type(
  OASISContext.t
)
"src/base/BaseOCamlcConfig.ml" 89 3125 3144 "src/base/BaseOCamlcConfig.ml" 89 3125 3150
type(
  unit -> OASISTypes.host_filename
)
ident(
  int_ref ocamlc "src/base/BaseOCamlcConfig.ml" 32 1785 1789 "src/base/BaseOCamlcConfig.ml" 32 1785 1795
)
"src/base/BaseOCamlcConfig.ml" 89 3125 3151 "src/base/BaseOCamlcConfig.ml" 89 3125 3153
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 89 3125 3143 "src/base/BaseOCamlcConfig.ml" 89 3125 3154
type(
  OASISTypes.host_filename
)
"src/base/BaseOCamlcConfig.ml" 89 3125 3156 "src/base/BaseOCamlcConfig.ml" 89 3125 3165
type(
  OASISTypes.arg
)
"src/base/BaseOCamlcConfig.ml" 89 3125 3155 "src/base/BaseOCamlcConfig.ml" 89 3125 3166
type(
  OASISTypes.args
)
"src/base/BaseOCamlcConfig.ml" 87 3038 3053 "src/base/BaseOCamlcConfig.ml" 89 3125 3167
type(
  string list
)
"src/base/BaseOCamlcConfig.ml" 85 2987 2999 "src/base/BaseOCamlcConfig.ml" 89 3125 3168
type(
  string SMap.t
)
"src/base/BaseOCamlcConfig.ml" 90 3169 3181 "src/base/BaseOCamlcConfig.ml" 90 3169 3183
type(
  Marshal.extern_flags list
)
"src/base/BaseOCamlcConfig.ml" 84 2959 2968 "src/base/BaseOCamlcConfig.ml" 90 3169 3184
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 83 2940 2946 "src/base/BaseOCamlcConfig.ml" 90 3169 3185
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 82 2931 2935 "src/base/BaseOCamlcConfig.ml" 90 3169 3185
type(
  string lazy_t
)
"src/base/BaseOCamlcConfig.ml" 92 3191 3193 "src/base/BaseOCamlcConfig.ml" 92 3191 3205
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(
  int_ref BaseEnv.var_redefine "src/base/BaseEnv.mli" 110 3712 3712 "src/base/BaseEnv.mli" 119 3892 3910
)
"src/base/BaseOCamlcConfig.ml" 93 3206 3210 "src/base/BaseOCamlcConfig.ml" 93 3206 3229
type(
  OASISTypes.name
)
"src/base/BaseOCamlcConfig.ml" 94 3230 3240 "src/base/BaseOCamlcConfig.ml" 94 3230 3244
type(
  bool
)
type(
  bool option
)
"src/base/BaseOCamlcConfig.ml" 95 3245 3255 "src/base/BaseOCamlcConfig.ml" 95 3245 3260
type(
  bool
)
type(
  bool option
)
"src/base/BaseOCamlcConfig.ml" 96 3261 3270 "src/base/BaseOCamlcConfig.ml" 96 3261 3272
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 98 3323 3330 "src/base/BaseOCamlcConfig.ml" 98 3323 3340
type(
  string Lazy.t -> string
)
ident(
  int_ref Stdlib.Lazy.force "lazy.mli" 60 2783 2783 "lazy.mli" 60 2783 2826
)
"src/base/BaseOCamlcConfig.ml" 98 3323 3341 "src/base/BaseOCamlcConfig.ml" 98 3323 3346
type(
  string Lazy.t
)
ident(
  int_ref cache "src/base/BaseOCamlcConfig.ml" 81 2917 2923 "src/base/BaseOCamlcConfig.ml" 81 2917 2928
)
"src/base/BaseOCamlcConfig.ml" 98 3323 3330 "src/base/BaseOCamlcConfig.ml" 98 3323 3346
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 96 3261 3265 "src/base/BaseOCamlcConfig.ml" 98 3323 3347
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 92 3191 3193 "src/base/BaseOCamlcConfig.ml" 98 3323 3347
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 81 2917 2919 "src/base/BaseOCamlcConfig.ml" 98 3323 3347
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 40 1932 1934 "src/base/BaseOCamlcConfig.ml" 98 3323 3347
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 101 3350 3354 "src/base/BaseOCamlcConfig.ml" 101 3350 3364
type(
  OASISTypes.name -> unit -> string
)
ident(
  def var_define "src/base/BaseOCamlcConfig.ml" 136 4092 4115 "src/base/BaseOCamlcConfig.ml" 0 0 -1
)
"src/base/BaseOCamlcConfig.ml" 101 3350 3365 "src/base/BaseOCamlcConfig.ml" 101 3350 3367
type(
  OASISTypes.name
)
ident(
  def nm "src/base/BaseOCamlcConfig.ml" 103 3411 3413 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
)
"src/base/BaseOCamlcConfig.ml" 103 3411 3417 "src/base/BaseOCamlcConfig.ml" 103 3411 3433
type(
  unit -> 'a
)
ident(
  def avlbl_config_get "src/base/BaseOCamlcConfig.ml" 108 3505 3507 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
)
"src/base/BaseOCamlcConfig.ml" 103 3411 3434 "src/base/BaseOCamlcConfig.ml" 103 3411 3436
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 104 3439 3443 "src/base/BaseOCamlcConfig.ml" 104 3439 3462
type(
  string -> int -> 'a
)
ident(
  int_ref Stdlib.Marshal.from_string "marshal.mli" 156 8151 8151 "marshal.mli" 156 8151 8188
)
"src/base/BaseOCamlcConfig.ml" 105 3463 3470 "src/base/BaseOCamlcConfig.ml" 105 3463 3487
type(
  unit -> string
)
ident(
  int_ref ocamlc_config_map "src/base/BaseOCamlcConfig.ml" 36 1830 1834 "src/base/BaseOCamlcConfig.ml" 36 1830 1851
)
"src/base/BaseOCamlcConfig.ml" 105 3463 3488 "src/base/BaseOCamlcConfig.ml" 105 3463 3490
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 105 3463 3469 "src/base/BaseOCamlcConfig.ml" 105 3463 3491
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 106 3492 3498 "src/base/BaseOCamlcConfig.ml" 106 3492 3499
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 104 3439 3443 "src/base/BaseOCamlcConfig.ml" 106 3492 3499
type(
  'a
)
"src/base/BaseOCamlcConfig.ml" 108 3505 3511 "src/base/BaseOCamlcConfig.ml" 108 3505 3530
type(
  string -> string
)
ident(
  def chop_version_suffix "src/base/BaseOCamlcConfig.ml" 115 3613 3615 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
)
"src/base/BaseOCamlcConfig.ml" 108 3505 3531 "src/base/BaseOCamlcConfig.ml" 108 3505 3532
type(
  string
)
ident(
  def s "src/base/BaseOCamlcConfig.ml" 109 3535 3539 "src/base/BaseOCamlcConfig.ml" 112 3599 3606
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3549 "src/base/BaseOCamlcConfig.ml" 110 3543 3559
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3560 "src/base/BaseOCamlcConfig.ml" 110 3543 3561
type(
  string
)
ident(
  int_ref s "src/base/BaseOCamlcConfig.ml" 108 3505 3531 "src/base/BaseOCamlcConfig.ml" 108 3505 3532
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3562 "src/base/BaseOCamlcConfig.ml" 110 3543 3563
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3565 "src/base/BaseOCamlcConfig.ml" 110 3543 3577
type(
  string -> char -> int
)
ident(
  int_ref Stdlib.String.index "string.mli" 332 11937 11937 "string.mli" 332 11937 11970
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3578 "src/base/BaseOCamlcConfig.ml" 110 3543 3579
type(
  string
)
ident(
  int_ref s "src/base/BaseOCamlcConfig.ml" 108 3505 3531 "src/base/BaseOCamlcConfig.ml" 108 3505 3532
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3580 "src/base/BaseOCamlcConfig.ml" 110 3543 3583
type(
  char
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3564 "src/base/BaseOCamlcConfig.ml" 110 3543 3584
type(
  int
)
"src/base/BaseOCamlcConfig.ml" 110 3543 3549 "src/base/BaseOCamlcConfig.ml" 110 3543 3584
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 111 3585 3594 "src/base/BaseOCamlcConfig.ml" 111 3585 3595
type(
  exn
)
"src/base/BaseOCamlcConfig.ml" 112 3599 3605 "src/base/BaseOCamlcConfig.ml" 112 3599 3606
type(
  string
)
ident(
  int_ref s "src/base/BaseOCamlcConfig.ml" 108 3505 3531 "src/base/BaseOCamlcConfig.ml" 108 3505 3532
)
"src/base/BaseOCamlcConfig.ml" 109 3535 3539 "src/base/BaseOCamlcConfig.ml" 112 3599 3606
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 115 3613 3619 "src/base/BaseOCamlcConfig.ml" 115 3613 3628
type(
  OASISTypes.name
)
ident(
  def nm_config "src/base/BaseOCamlcConfig.ml" 121 3764 3766 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
)
"src/base/BaseOCamlcConfig.ml" 115 3613 3630 "src/base/BaseOCamlcConfig.ml" 115 3613 3642
type(
  string -> string
)
ident(
  def value_config "src/base/BaseOCamlcConfig.ml" 121 3764 3766 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
)
"src/base/BaseOCamlcConfig.ml" 115 3613 3619 "src/base/BaseOCamlcConfig.ml" 115 3613 3642
type(
  OASISTypes.name * (string -> string)
)
"src/base/BaseOCamlcConfig.ml" 116 3645 3655 "src/base/BaseOCamlcConfig.ml" 116 3645 3657
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/base/BaseOCamlcConfig.ml" 101 3350 3365 "src/base/BaseOCamlcConfig.ml" 101 3350 3367
)
"src/base/BaseOCamlcConfig.ml" 117 3663 3671 "src/base/BaseOCamlcConfig.ml" 117 3663 3686
type(
  OASISTypes.name
)
type(
  OASISTypes.name
)
"src/base/BaseOCamlcConfig.ml" 118 3690 3698 "src/base/BaseOCamlcConfig.ml" 118 3690 3707
type(
  OASISTypes.name
)
"src/base/BaseOCamlcConfig.ml" 118 3690 3709 "src/base/BaseOCamlcConfig.ml" 118 3690 3728
type(
  string -> string
)
ident(
  int_ref chop_version_suffix "src/base/BaseOCamlcConfig.ml" 108 3505 3511 "src/base/BaseOCamlcConfig.ml" 108 3505 3530
)
"src/base/BaseOCamlcConfig.ml" 118 3690 3698 "src/base/BaseOCamlcConfig.ml" 118 3690 3728
type(
  OASISTypes.name * (string -> string)
)
"src/base/BaseOCamlcConfig.ml" 119 3729 3737 "src/base/BaseOCamlcConfig.ml" 119 3729 3738
type(
  OASISTypes.name
)
type(
  OASISTypes.name
)
"src/base/BaseOCamlcConfig.ml" 119 3729 3742 "src/base/BaseOCamlcConfig.ml" 119 3729 3744
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/base/BaseOCamlcConfig.ml" 101 3350 3365 "src/base/BaseOCamlcConfig.ml" 101 3350 3367
)
"src/base/BaseOCamlcConfig.ml" 119 3729 3751 "src/base/BaseOCamlcConfig.ml" 119 3729 3752
type(
  string
)
ident(
  def x "src/base/BaseOCamlcConfig.ml" 119 3729 3756 "src/base/BaseOCamlcConfig.ml" 119 3729 3757
)
"src/base/BaseOCamlcConfig.ml" 119 3729 3756 "src/base/BaseOCamlcConfig.ml" 119 3729 3757
type(
  string
)
ident(
  int_ref x "src/base/BaseOCamlcConfig.ml" 119 3729 3751 "src/base/BaseOCamlcConfig.ml" 119 3729 3752
)
"src/base/BaseOCamlcConfig.ml" 119 3729 3746 "src/base/BaseOCamlcConfig.ml" 119 3729 3758
type(
  string -> string
)
"src/base/BaseOCamlcConfig.ml" 119 3729 3742 "src/base/BaseOCamlcConfig.ml" 119 3729 3758
type(
  OASISTypes.name * (string -> string)
)
"src/base/BaseOCamlcConfig.ml" 116 3645 3649 "src/base/BaseOCamlcConfig.ml" 119 3729 3758
type(
  OASISTypes.name * (string -> string)
)
"src/base/BaseOCamlcConfig.ml" 121 3764 3766 "src/base/BaseOCamlcConfig.ml" 121 3764 3778
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(
  int_ref BaseEnv.var_redefine "src/base/BaseEnv.mli" 110 3712 3712 "src/base/BaseEnv.mli" 119 3892 3910
)
"src/base/BaseOCamlcConfig.ml" 122 3779 3783 "src/base/BaseOCamlcConfig.ml" 122 3779 3785
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/base/BaseOCamlcConfig.ml" 101 3350 3365 "src/base/BaseOCamlcConfig.ml" 101 3350 3367
)
"src/base/BaseOCamlcConfig.ml" 123 3786 3795 "src/base/BaseOCamlcConfig.ml" 123 3786 3797
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 125 3812 3825 "src/base/BaseOCamlcConfig.ml" 125 3812 3828
type(
  'b
)
ident(
  def map "src/base/BaseOCamlcConfig.ml" 128 3874 3883 "src/base/BaseOCamlcConfig.ml" 131 3942 3969
)
"src/base/BaseOCamlcConfig.ml" 126 3831 3842 "src/base/BaseOCamlcConfig.ml" 126 3831 3858
type(
  unit -> 'b
)
ident(
  int_ref avlbl_config_get "src/base/BaseOCamlcConfig.ml" 103 3411 3417 "src/base/BaseOCamlcConfig.ml" 103 3411 3433
)
"src/base/BaseOCamlcConfig.ml" 126 3831 3859 "src/base/BaseOCamlcConfig.ml" 126 3831 3861
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 126 3831 3842 "src/base/BaseOCamlcConfig.ml" 126 3831 3861
type(
  'b
)
"src/base/BaseOCamlcConfig.ml" 128 3874 3887 "src/base/BaseOCamlcConfig.ml" 128 3874 3892
type(
  'c
)
ident(
  def value "src/base/BaseOCamlcConfig.ml" 131 3942 3951 "src/base/BaseOCamlcConfig.ml" 131 3942 3969
)
"src/base/BaseOCamlcConfig.ml" 129 3895 3906 "src/base/BaseOCamlcConfig.ml" 129 3895 3915
type(
  SMap.key -> 'c SMap.t -> 'c
)
ident(
  int_ref SMap.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/base/BaseOCamlcConfig.ml" 129 3895 3916 "src/base/BaseOCamlcConfig.ml" 129 3895 3925
type(
  OASISTypes.name
)
ident(
  int_ref nm_config "src/base/BaseOCamlcConfig.ml" 115 3613 3619 "src/base/BaseOCamlcConfig.ml" 115 3613 3628
)
"src/base/BaseOCamlcConfig.ml" 129 3895 3926 "src/base/BaseOCamlcConfig.ml" 129 3895 3929
type(
  'c SMap.t
)
ident(
  int_ref map "src/base/BaseOCamlcConfig.ml" 125 3812 3825 "src/base/BaseOCamlcConfig.ml" 125 3812 3828
)
"src/base/BaseOCamlcConfig.ml" 129 3895 3906 "src/base/BaseOCamlcConfig.ml" 129 3895 3929
type(
  'c
)
"src/base/BaseOCamlcConfig.ml" 131 3942 3951 "src/base/BaseOCamlcConfig.ml" 131 3942 3963
type(
  string -> string
)
ident(
  int_ref value_config "src/base/BaseOCamlcConfig.ml" 115 3613 3630 "src/base/BaseOCamlcConfig.ml" 115 3613 3642
)
"src/base/BaseOCamlcConfig.ml" 131 3942 3964 "src/base/BaseOCamlcConfig.ml" 131 3942 3969
type(
  string
)
ident(
  int_ref value "src/base/BaseOCamlcConfig.ml" 128 3874 3887 "src/base/BaseOCamlcConfig.ml" 128 3874 3892
)
"src/base/BaseOCamlcConfig.ml" 131 3942 3951 "src/base/BaseOCamlcConfig.ml" 131 3942 3969
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 128 3874 3883 "src/base/BaseOCamlcConfig.ml" 131 3942 3969
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 125 3812 3821 "src/base/BaseOCamlcConfig.ml" 131 3942 3969
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 132 3970 3982 "src/base/BaseOCamlcConfig.ml" 132 3970 3991
type(
  exn
)
"src/base/BaseOCamlcConfig.ml" 133 3995 4004 "src/base/BaseOCamlcConfig.ml" 133 3995 4013
type(
  (OASISTypes.name -> OASISTypes.host_filename -> string, unit, string,
   string)
  format4 -> OASISTypes.name -> OASISTypes.host_filename -> string
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/base/BaseOCamlcConfig.ml" 134 4014 4026 "src/base/BaseOCamlcConfig.ml" 134 4014 4028
type(
  (OASISTypes.name -> OASISTypes.host_filename -> string, unit, string,
   string)
  format4 ->
  (OASISTypes.name -> OASISTypes.host_filename -> 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/base/BaseOCamlcConfig.ml" 134 4014 4029 "src/base/BaseOCamlcConfig.ml" 134 4014 4076
type(
  (OASISTypes.name -> OASISTypes.host_filename -> string, unit, string,
   string)
  format4
)
"src/base/BaseOCamlcConfig.ml" 134 4014 4025 "src/base/BaseOCamlcConfig.ml" 134 4014 4077
type(
  (OASISTypes.name -> OASISTypes.host_filename -> string, unit, string,
   string)
  format4
)
"src/base/BaseOCamlcConfig.ml" 135 4078 4089 "src/base/BaseOCamlcConfig.ml" 135 4078 4091
type(
  OASISTypes.name
)
ident(
  int_ref nm "src/base/BaseOCamlcConfig.ml" 101 3350 3365 "src/base/BaseOCamlcConfig.ml" 101 3350 3367
)
"src/base/BaseOCamlcConfig.ml" 136 4092 4104 "src/base/BaseOCamlcConfig.ml" 136 4092 4110
type(
  unit -> OASISTypes.host_filename
)
ident(
  int_ref ocamlc "src/base/BaseOCamlcConfig.ml" 32 1785 1789 "src/base/BaseOCamlcConfig.ml" 32 1785 1795
)
"src/base/BaseOCamlcConfig.ml" 136 4092 4111 "src/base/BaseOCamlcConfig.ml" 136 4092 4113
type(
  unit
)
"src/base/BaseOCamlcConfig.ml" 136 4092 4103 "src/base/BaseOCamlcConfig.ml" 136 4092 4114
type(
  OASISTypes.host_filename
)
"src/base/BaseOCamlcConfig.ml" 133 3995 4004 "src/base/BaseOCamlcConfig.ml" 136 4092 4114
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 124 3801 3808 "src/base/BaseOCamlcConfig.ml" 136 4092 4114
type(
  string
)
"src/base/BaseOCamlcConfig.ml" 123 3786 3790 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 121 3764 3766 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 115 3613 3615 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 108 3505 3507 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
type(
  unit -> string
)
"src/base/BaseOCamlcConfig.ml" 103 3411 3413 "src/base/BaseOCamlcConfig.ml" 136 4092 4115
type(
  unit -> string
)
