"src/base/BaseEnv.ml" 29 1770 1777 "src/base/BaseEnv.ml" 29 1770 1786
ident(
  def MapString "src/base/BaseEnv.ml" 29 1770 1811 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  def schema "src/base/BaseEnv.ml" 61 2243 2243 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 57 2177 2190 "src/base/BaseEnv.ml" 57 2177 2203
type(
  ?case_insensitive:bool ->
  PropList.name -> (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref PropList.Schema.create "src/oasis/PropList.mli" 87 2809 2811 "src/oasis/PropList.mli" 87 2809 2867
)
"src/base/BaseEnv.ml" 57 2177 2204 "src/base/BaseEnv.ml" 57 2177 2217
type(
  PropList.name
)
"src/base/BaseEnv.ml" 57 2177 2190 "src/base/BaseEnv.ml" 57 2177 2217
type(
  (origin_t, definition_t) PropList.Schema.t
)
"src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
type(
  PropList.Data.t
)
ident(
  def env "src/base/BaseEnv.ml" 65 2303 2303 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 61 2243 2253 "src/base/BaseEnv.ml" 61 2243 2264
type(
  unit -> PropList.Data.t
)
ident(
  int_ref PropList.Data.create "src/oasis/PropList.mli" 62 2301 2303 "src/oasis/PropList.mli" 62 2301 2324
)
"src/base/BaseEnv.ml" 61 2243 2265 "src/base/BaseEnv.ml" 61 2243 2267
type(
  unit
)
"src/base/BaseEnv.ml" 61 2243 2253 "src/base/BaseEnv.ml" 61 2243 2267
type(
  PropList.Data.t
)
"src/base/BaseEnv.ml" 65 2303 2307 "src/base/BaseEnv.ml" 65 2303 2320
type(
  string MapString.t ref
)
ident(
  def env_from_file "src/base/BaseEnv.ml" 69 2365 2365 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 65 2303 2323 "src/base/BaseEnv.ml" 65 2303 2326
type(
  string MapString.t -> string MapString.t ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/base/BaseEnv.ml" 65 2303 2327 "src/base/BaseEnv.ml" 65 2303 2342
type(
  string MapString.t
)
ident(
  int_ref MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/base/BaseEnv.ml" 65 2303 2323 "src/base/BaseEnv.ml" 65 2303 2342
type(
  string MapString.t ref
)
"src/base/BaseEnv.ml" 69 2365 2369 "src/base/BaseEnv.ml" 69 2365 2376
type(
  char Stream.t -> Genlex.token Stream.t
)
ident(
  def var_lxr "src/base/BaseEnv.ml" 72 2402 2402 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 69 2365 2379 "src/base/BaseEnv.ml" 69 2365 2396
type(
  string list -> char Stream.t -> Genlex.token Stream.t
)
ident(
  int_ref Stdlib.Genlex.make_lexer "genlex.mli" 66 2932 2932 "genlex.mli" 66 2932 2995
)
"src/base/BaseEnv.ml" 69 2365 2397 "src/base/BaseEnv.ml" 69 2365 2399
type(
  string list
)
"src/base/BaseEnv.ml" 69 2365 2379 "src/base/BaseEnv.ml" 69 2365 2399
type(
  char Stream.t -> Genlex.token Stream.t
)
"src/base/BaseEnv.ml" 72 2402 2410 "src/base/BaseEnv.ml" 72 2402 2420
type(
  string -> OASISTypes.unix_filename
)
ident(
  def var_expand "src/base/BaseEnv.ml" 72 2402 2402 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 72 2402 2421 "src/base/BaseEnv.ml" 72 2402 2424
type(
  string
)
ident(
  def str "src/base/BaseEnv.ml" 73 2427 2429 "src/base/BaseEnv.ml" 120 4044 4066
)
"src/base/BaseEnv.ml" 73 2427 2433 "src/base/BaseEnv.ml" 73 2427 2437
type(
  Buffer.t
)
ident(
  def buff "src/base/BaseEnv.ml" 76 2489 2491 "src/base/BaseEnv.ml" 120 4044 4066
)
"src/base/BaseEnv.ml" 74 2440 2444 "src/base/BaseEnv.ml" 74 2440 2457
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/base/BaseEnv.ml" 74 2440 2460 "src/base/BaseEnv.ml" 74 2440 2473
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/base/BaseEnv.ml" 74 2440 2474 "src/base/BaseEnv.ml" 74 2440 2477
type(
  string
)
ident(
  int_ref str "src/base/BaseEnv.ml" 72 2402 2421 "src/base/BaseEnv.ml" 72 2402 2424
)
"src/base/BaseEnv.ml" 74 2440 2459 "src/base/BaseEnv.ml" 74 2440 2478
type(
  int
)
"src/base/BaseEnv.ml" 74 2440 2479 "src/base/BaseEnv.ml" 74 2440 2480
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( * ) "stdlib.mli" 357 13929 13929 "stdlib.mli" 357 13929 13975
)
"src/base/BaseEnv.ml" 74 2440 2481 "src/base/BaseEnv.ml" 74 2440 2482
type(
  int
)
"src/base/BaseEnv.ml" 74 2440 2458 "src/base/BaseEnv.ml" 74 2440 2483
type(
  int
)
"src/base/BaseEnv.ml" 74 2440 2444 "src/base/BaseEnv.ml" 74 2440 2483
type(
  Buffer.t
)
"src/base/BaseEnv.ml" 76 2489 2491 "src/base/BaseEnv.ml" 76 2489 2512
type(
  Buffer.t -> (string -> OASISTypes.host_filename) -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_substitute "buffer.mli" 155 5989 5989 "buffer.mli" 155 5989 6051
)
"src/base/BaseEnv.ml" 77 2513 2517 "src/base/BaseEnv.ml" 77 2513 2521
type(
  Buffer.t
)
ident(
  int_ref buff "src/base/BaseEnv.ml" 73 2427 2433 "src/base/BaseEnv.ml" 73 2427 2437
)
"src/base/BaseEnv.ml" 78 2522 2531 "src/base/BaseEnv.ml" 78 2522 2534
type(
  string
)
ident(
  def var "src/base/BaseEnv.ml" 79 2538 2545 "src/base/BaseEnv.ml" 118 4019 4033
)
"src/base/BaseEnv.ml" 87 2948 2961 "src/base/BaseEnv.ml" 87 2948 2963
type(
  Genlex.token Stream.t
)
ident(
  def st "src/base/BaseEnv.ml" 90 3020 3029 "src/base/BaseEnv.ml" 105 3645 3663
)
"src/base/BaseEnv.ml" 88 2966 2977 "src/base/BaseEnv.ml" 88 2966 2984
type(
  char Stream.t -> Genlex.token Stream.t
)
ident(
  int_ref var_lxr "src/base/BaseEnv.ml" 69 2365 2369 "src/base/BaseEnv.ml" 69 2365 2376
)
"src/base/BaseEnv.ml" 88 2966 2986 "src/base/BaseEnv.ml" 88 2966 3002
type(
  string -> char Stream.t
)
ident(
  int_ref Stdlib.Stream.of_string "stream.mli" 48 2097 2097 "stream.mli" 48 2097 2129
)
"src/base/BaseEnv.ml" 88 2966 3003 "src/base/BaseEnv.ml" 88 2966 3006
type(
  string
)
ident(
  int_ref var "src/base/BaseEnv.ml" 78 2522 2531 "src/base/BaseEnv.ml" 78 2522 2534
)
"src/base/BaseEnv.ml" 88 2966 2985 "src/base/BaseEnv.ml" 88 2966 3007
type(
  char Stream.t
)
"src/base/BaseEnv.ml" 88 2966 2977 "src/base/BaseEnv.ml" 88 2966 3007
type(
  Genlex.token Stream.t
)
"src/base/BaseEnv.ml" 90 3020 3035 "src/base/BaseEnv.ml" 90 3020 3047
type(
  int -> Genlex.token Stream.t -> Genlex.token list
)
ident(
  int_ref Stdlib.Stream.npeek "stream.mli" 91 3296 3296 "stream.mli" 91 3296 3330
)
"src/base/BaseEnv.ml" 90 3020 3048 "src/base/BaseEnv.ml" 90 3020 3049
type(
  int
)
"src/base/BaseEnv.ml" 90 3020 3050 "src/base/BaseEnv.ml" 90 3020 3052
type(
  Genlex.token Stream.t
)
ident(
  int_ref st "src/base/BaseEnv.ml" 87 2948 2961 "src/base/BaseEnv.ml" 87 2948 2963
)
"src/base/BaseEnv.ml" 90 3020 3035 "src/base/BaseEnv.ml" 90 3020 3052
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 91 3058 3085 "src/base/BaseEnv.ml" 91 3058 3091
type(
  string
)
"src/base/BaseEnv.ml" 91 3058 3072 "src/base/BaseEnv.ml" 91 3058 3091
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 91 3058 3106 "src/base/BaseEnv.ml" 91 3058 3108
type(
  string
)
ident(
  def nm "src/base/BaseEnv.ml" 92 3113 3126 "src/base/BaseEnv.ml" 92 3113 3160
)
"src/base/BaseEnv.ml" 91 3058 3093 "src/base/BaseEnv.ml" 91 3058 3108
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 91 3058 3071 "src/base/BaseEnv.ml" 91 3058 3109
type(
  Genlex.token list
)
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 92 3113 3126 "src/base/BaseEnv.ml" 92 3113 3147
type(
  OASISTypes.unix_filename -> OASISTypes.host_filename
)
ident(
  int_ref OASISHostPath.of_unix "src/oasis/OASISHostPath.mli" 39 1931 1931 "src/oasis/OASISHostPath.mli" 39 1931 1974
)
"src/base/BaseEnv.ml" 92 3113 3149 "src/base/BaseEnv.ml" 92 3113 3156
type(
  PropList.name -> OASISTypes.unix_filename
)
ident(
  int_ref var_get "src/base/BaseEnv.ml" 123 4069 4073 "src/base/BaseEnv.ml" 123 4069 4080
)
"src/base/BaseEnv.ml" 92 3113 3157 "src/base/BaseEnv.ml" 92 3113 3159
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 91 3058 3106 "src/base/BaseEnv.ml" 91 3058 3108
)
"src/base/BaseEnv.ml" 92 3113 3148 "src/base/BaseEnv.ml" 92 3113 3160
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 92 3113 3126 "src/base/BaseEnv.ml" 92 3113 3160
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 93 3161 3188 "src/base/BaseEnv.ml" 93 3161 3194
type(
  string
)
"src/base/BaseEnv.ml" 93 3161 3175 "src/base/BaseEnv.ml" 93 3161 3194
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 93 3161 3210 "src/base/BaseEnv.ml" 93 3161 3211
type(
  string
)
ident(
  def s "src/base/BaseEnv.ml" 94 3216 3229 "src/base/BaseEnv.ml" 94 3216 3252
)
"src/base/BaseEnv.ml" 93 3161 3196 "src/base/BaseEnv.ml" 93 3161 3211
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 93 3161 3174 "src/base/BaseEnv.ml" 93 3161 3212
type(
  Genlex.token list
)
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 94 3216 3229 "src/base/BaseEnv.ml" 94 3216 3250
type(
  OASISTypes.unix_filename -> OASISTypes.host_filename
)
ident(
  int_ref OASISHostPath.of_unix "src/oasis/OASISHostPath.mli" 39 1931 1931 "src/oasis/OASISHostPath.mli" 39 1931 1974
)
"src/base/BaseEnv.ml" 94 3216 3251 "src/base/BaseEnv.ml" 94 3216 3252
type(
  OASISTypes.unix_filename
)
ident(
  int_ref s "src/base/BaseEnv.ml" 93 3161 3210 "src/base/BaseEnv.ml" 93 3161 3211
)
"src/base/BaseEnv.ml" 94 3216 3229 "src/base/BaseEnv.ml" 94 3216 3252
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 95 3253 3280 "src/base/BaseEnv.ml" 95 3253 3295
type(
  string
)
"src/base/BaseEnv.ml" 95 3253 3267 "src/base/BaseEnv.ml" 95 3253 3295
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 95 3253 3310 "src/base/BaseEnv.ml" 95 3253 3312
type(
  string
)
ident(
  def nm "src/base/BaseEnv.ml" 96 3317 3330 "src/base/BaseEnv.ml" 96 3317 3357
)
"src/base/BaseEnv.ml" 95 3253 3297 "src/base/BaseEnv.ml" 95 3253 3312
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 95 3253 3266 "src/base/BaseEnv.ml" 95 3253 3313
type(
  Genlex.token list
)
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 96 3317 3330 "src/base/BaseEnv.ml" 96 3317 3344
type(
  OASISTypes.unix_filename -> OASISTypes.host_filename
)
ident(
  int_ref Stdlib.String.escaped "string.mli" 251 9019 9019 "string.mli" 251 9019 9049
)
"src/base/BaseEnv.ml" 96 3317 3346 "src/base/BaseEnv.ml" 96 3317 3353
type(
  PropList.name -> OASISTypes.unix_filename
)
ident(
  int_ref var_get "src/base/BaseEnv.ml" 123 4069 4073 "src/base/BaseEnv.ml" 123 4069 4080
)
"src/base/BaseEnv.ml" 96 3317 3354 "src/base/BaseEnv.ml" 96 3317 3356
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 95 3253 3310 "src/base/BaseEnv.ml" 95 3253 3312
)
"src/base/BaseEnv.ml" 96 3317 3345 "src/base/BaseEnv.ml" 96 3317 3357
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 96 3317 3330 "src/base/BaseEnv.ml" 96 3317 3357
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 97 3358 3385 "src/base/BaseEnv.ml" 97 3358 3400
type(
  string
)
"src/base/BaseEnv.ml" 97 3358 3372 "src/base/BaseEnv.ml" 97 3358 3400
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 97 3358 3416 "src/base/BaseEnv.ml" 97 3358 3417
type(
  string
)
ident(
  def s "src/base/BaseEnv.ml" 98 3422 3435 "src/base/BaseEnv.ml" 98 3422 3451
)
"src/base/BaseEnv.ml" 97 3358 3402 "src/base/BaseEnv.ml" 97 3358 3417
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 97 3358 3371 "src/base/BaseEnv.ml" 97 3358 3418
type(
  Genlex.token list
)
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 98 3422 3435 "src/base/BaseEnv.ml" 98 3422 3449
type(
  string -> OASISTypes.host_filename
)
ident(
  int_ref Stdlib.String.escaped "string.mli" 251 9019 9019 "string.mli" 251 9019 9049
)
"src/base/BaseEnv.ml" 98 3422 3450 "src/base/BaseEnv.ml" 98 3422 3451
type(
  string
)
ident(
  int_ref s "src/base/BaseEnv.ml" 97 3358 3416 "src/base/BaseEnv.ml" 97 3358 3417
)
"src/base/BaseEnv.ml" 98 3422 3435 "src/base/BaseEnv.ml" 98 3422 3451
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 99 3452 3479 "src/base/BaseEnv.ml" 99 3452 3481
type(
  string
)
ident(
  def nm "src/base/BaseEnv.ml" 100 3486 3499 "src/base/BaseEnv.ml" 100 3486 3509
)
"src/base/BaseEnv.ml" 99 3452 3466 "src/base/BaseEnv.ml" 99 3452 3481
type(
  Genlex.token
)
"src/base/BaseEnv.ml" 99 3452 3465 "src/base/BaseEnv.ml" 99 3452 3482
type(
  Genlex.token list
)
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 100 3486 3499 "src/base/BaseEnv.ml" 100 3486 3506
type(
  PropList.name -> OASISTypes.unix_filename
)
ident(
  int_ref var_get "src/base/BaseEnv.ml" 123 4069 4073 "src/base/BaseEnv.ml" 123 4069 4080
)
"src/base/BaseEnv.ml" 100 3486 3507 "src/base/BaseEnv.ml" 100 3486 3509
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 99 3452 3479 "src/base/BaseEnv.ml" 99 3452 3481
)
"src/base/BaseEnv.ml" 100 3486 3499 "src/base/BaseEnv.ml" 100 3486 3509
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 101 3510 3523 "src/base/BaseEnv.ml" 101 3510 3524
type(
  Genlex.token list
)
type(
  Genlex.token list
)
"src/base/BaseEnv.ml" 102 3528 3541 "src/base/BaseEnv.ml" 102 3528 3550
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4 -> string -> string -> OASISTypes.host_filename
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/base/BaseEnv.ml" 103 3551 3567 "src/base/BaseEnv.ml" 103 3551 3569
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4 ->
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 103 3551 3570 "src/base/BaseEnv.ml" 103 3551 3624
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
"src/base/BaseEnv.ml" 103 3551 3566 "src/base/BaseEnv.ml" 103 3551 3625
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
"src/base/BaseEnv.ml" 104 3626 3641 "src/base/BaseEnv.ml" 104 3626 3644
type(
  string
)
ident(
  int_ref var "src/base/BaseEnv.ml" 78 2522 2531 "src/base/BaseEnv.ml" 78 2522 2534
)
"src/base/BaseEnv.ml" 105 3645 3660 "src/base/BaseEnv.ml" 105 3645 3663
type(
  string
)
ident(
  int_ref str "src/base/BaseEnv.ml" 72 2402 2421 "src/base/BaseEnv.ml" 72 2402 2424
)
"src/base/BaseEnv.ml" 102 3528 3541 "src/base/BaseEnv.ml" 105 3645 3663
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 90 3020 3029 "src/base/BaseEnv.ml" 105 3645 3663
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 87 2948 2957 "src/base/BaseEnv.ml" 105 3645 3663
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 107 3676 3702 "src/base/BaseEnv.ml" 107 3676 3703
type(
  PropList.name
)
"src/base/BaseEnv.ml" 107 3676 3705 "src/base/BaseEnv.ml" 107 3676 3706
type(
  PropList.name
)
"src/base/BaseEnv.ml" 107 3676 3687 "src/base/BaseEnv.ml" 107 3676 3707
type(
  exn
)
"src/base/BaseEnv.ml" 108 3711 3722 "src/base/BaseEnv.ml" 108 3711 3731
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4 -> string -> string -> OASISTypes.host_filename
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/base/BaseEnv.ml" 109 3732 3746 "src/base/BaseEnv.ml" 109 3732 3748
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4 ->
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 109 3732 3749 "src/base/BaseEnv.ml" 109 3732 3799
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
"src/base/BaseEnv.ml" 109 3732 3745 "src/base/BaseEnv.ml" 109 3732 3800
type(
  (string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
"src/base/BaseEnv.ml" 110 3801 3814 "src/base/BaseEnv.ml" 110 3801 3817
type(
  string
)
ident(
  int_ref var "src/base/BaseEnv.ml" 78 2522 2531 "src/base/BaseEnv.ml" 78 2522 2534
)
"src/base/BaseEnv.ml" 111 3818 3831 "src/base/BaseEnv.ml" 111 3818 3834
type(
  string
)
ident(
  int_ref str "src/base/BaseEnv.ml" 72 2402 2421 "src/base/BaseEnv.ml" 72 2402 2424
)
"src/base/BaseEnv.ml" 108 3711 3722 "src/base/BaseEnv.ml" 111 3818 3834
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 112 3835 3859 "src/base/BaseEnv.ml" 112 3835 3860
type(
  string
)
ident(
  def e "src/base/BaseEnv.ml" 113 3864 3875 "src/base/BaseEnv.ml" 118 4019 4033
)
"src/base/BaseEnv.ml" 112 3835 3846 "src/base/BaseEnv.ml" 112 3835 3860
type(
  exn
)
"src/base/BaseEnv.ml" 113 3864 3875 "src/base/BaseEnv.ml" 113 3864 3884
type(
  (string -> string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4 -> string -> string -> string -> OASISTypes.host_filename
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/base/BaseEnv.ml" 114 3885 3899 "src/base/BaseEnv.ml" 114 3885 3901
type(
  (string -> string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4 ->
  (string -> string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 114 3885 3902 "src/base/BaseEnv.ml" 115 3951 3983
type(
  (string -> string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
"src/base/BaseEnv.ml" 114 3885 3898 "src/base/BaseEnv.ml" 115 3951 3984
type(
  (string -> string -> string -> OASISTypes.host_filename, unit, string,
   OASISTypes.host_filename)
  format4
)
"src/base/BaseEnv.ml" 116 3985 3998 "src/base/BaseEnv.ml" 116 3985 4001
type(
  string
)
ident(
  int_ref var "src/base/BaseEnv.ml" 78 2522 2531 "src/base/BaseEnv.ml" 78 2522 2534
)
"src/base/BaseEnv.ml" 117 4002 4015 "src/base/BaseEnv.ml" 117 4002 4018
type(
  string
)
ident(
  int_ref str "src/base/BaseEnv.ml" 72 2402 2421 "src/base/BaseEnv.ml" 72 2402 2424
)
"src/base/BaseEnv.ml" 118 4019 4032 "src/base/BaseEnv.ml" 118 4019 4033
type(
  string
)
ident(
  int_ref e "src/base/BaseEnv.ml" 112 3835 3859 "src/base/BaseEnv.ml" 112 3835 3860
)
"src/base/BaseEnv.ml" 113 3864 3875 "src/base/BaseEnv.ml" 118 4019 4033
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 79 2538 2545 "src/base/BaseEnv.ml" 118 4019 4033
type(
  OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 78 2522 2526 "src/base/BaseEnv.ml" 118 4019 4034
type(
  string -> OASISTypes.host_filename
)
"src/base/BaseEnv.ml" 119 4035 4039 "src/base/BaseEnv.ml" 119 4035 4042
type(
  string
)
ident(
  int_ref str "src/base/BaseEnv.ml" 72 2402 2421 "src/base/BaseEnv.ml" 72 2402 2424
)
"src/base/BaseEnv.ml" 76 2489 2491 "src/base/BaseEnv.ml" 119 4035 4042
type(
  unit
)
"src/base/BaseEnv.ml" 120 4044 4046 "src/base/BaseEnv.ml" 120 4044 4061
type(
  Buffer.t -> OASISTypes.unix_filename
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/base/BaseEnv.ml" 120 4044 4062 "src/base/BaseEnv.ml" 120 4044 4066
type(
  Buffer.t
)
ident(
  int_ref buff "src/base/BaseEnv.ml" 73 2427 2433 "src/base/BaseEnv.ml" 73 2427 2437
)
"src/base/BaseEnv.ml" 120 4044 4046 "src/base/BaseEnv.ml" 120 4044 4066
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 76 2489 2491 "src/base/BaseEnv.ml" 120 4044 4066
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 73 2427 2429 "src/base/BaseEnv.ml" 120 4044 4066
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 123 4069 4073 "src/base/BaseEnv.ml" 123 4069 4080
type(
  PropList.name -> OASISTypes.unix_filename
)
ident(
  def var_get "src/base/BaseEnv.ml" 72 2402 2402 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 123 4069 4081 "src/base/BaseEnv.ml" 123 4069 4085
type(
  PropList.name
)
ident(
  def name "src/base/BaseEnv.ml" 124 4088 4090 "src/base/BaseEnv.ml" 135 4301 4316
)
"src/base/BaseEnv.ml" 124 4088 4094 "src/base/BaseEnv.ml" 124 4088 4096
type(
  string
)
ident(
  def vl "src/base/BaseEnv.ml" 135 4301 4303 "src/base/BaseEnv.ml" 135 4301 4316
)
"src/base/BaseEnv.ml" 126 4107 4113 "src/base/BaseEnv.ml" 126 4107 4123
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> string
)
ident(
  int_ref PropList.Schema.get "src/oasis/PropList.mli" 95 3064 3066 "src/oasis/PropList.mli" 95 3064 3113
)
"src/base/BaseEnv.ml" 126 4107 4124 "src/base/BaseEnv.ml" 126 4107 4130
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 126 4107 4131 "src/base/BaseEnv.ml" 126 4107 4134
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 126 4107 4135 "src/base/BaseEnv.ml" 126 4107 4139
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 123 4069 4081 "src/base/BaseEnv.ml" 123 4069 4085
)
"src/base/BaseEnv.ml" 126 4107 4113 "src/base/BaseEnv.ml" 126 4107 4139
type(
  string
)
"src/base/BaseEnv.ml" 127 4140 4163 "src/base/BaseEnv.ml" 127 4140 4164
type(
  PropList.name
)
type(
  PropList.name
)
"src/base/BaseEnv.ml" 127 4140 4149 "src/base/BaseEnv.ml" 127 4140 4164
type(
  exn
)
"src/base/BaseEnv.ml" 127 4140 4149 "src/base/BaseEnv.ml" 127 4140 4169
type(
  exn
)
ident(
  def e "src/base/BaseEnv.ml" 128 4173 4179 "src/base/BaseEnv.ml" 133 4286 4295
)
"src/base/BaseEnv.ml" 130 4197 4207 "src/base/BaseEnv.ml" 130 4197 4221
type(
  MapString.key -> string MapString.t -> string
)
ident(
  int_ref MapString.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/base/BaseEnv.ml" 130 4197 4222 "src/base/BaseEnv.ml" 130 4197 4226
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 123 4069 4081 "src/base/BaseEnv.ml" 123 4069 4085
)
"src/base/BaseEnv.ml" 130 4197 4227 "src/base/BaseEnv.ml" 130 4197 4228
type(
  string MapString.t ref -> string MapString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseEnv.ml" 130 4197 4228 "src/base/BaseEnv.ml" 130 4197 4241
type(
  string MapString.t ref
)
ident(
  int_ref env_from_file "src/base/BaseEnv.ml" 65 2303 2307 "src/base/BaseEnv.ml" 65 2303 2320
)
"src/base/BaseEnv.ml" 130 4197 4227 "src/base/BaseEnv.ml" 130 4197 4241
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 130 4197 4207 "src/base/BaseEnv.ml" 130 4197 4241
type(
  string
)
"src/base/BaseEnv.ml" 131 4242 4255 "src/base/BaseEnv.ml" 131 4242 4264
type(
  exn
)
"src/base/BaseEnv.ml" 132 4268 4278 "src/base/BaseEnv.ml" 132 4268 4283
type(
  exn -> string
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/base/BaseEnv.ml" 132 4268 4284 "src/base/BaseEnv.ml" 132 4268 4285
type(
  exn
)
ident(
  int_ref e "src/base/BaseEnv.ml" 127 4140 4149 "src/base/BaseEnv.ml" 127 4140 4169
)
"src/base/BaseEnv.ml" 132 4268 4278 "src/base/BaseEnv.ml" 132 4268 4285
type(
  string
)
"src/base/BaseEnv.ml" 128 4173 4179 "src/base/BaseEnv.ml" 133 4286 4295
type(
  string
)
"src/base/BaseEnv.ml" 125 4099 4103 "src/base/BaseEnv.ml" 133 4286 4295
type(
  string
)
"src/base/BaseEnv.ml" 135 4301 4303 "src/base/BaseEnv.ml" 135 4301 4313
type(
  string -> OASISTypes.unix_filename
)
ident(
  int_ref var_expand "src/base/BaseEnv.ml" 72 2402 2410 "src/base/BaseEnv.ml" 72 2402 2420
)
"src/base/BaseEnv.ml" 135 4301 4314 "src/base/BaseEnv.ml" 135 4301 4316
type(
  string
)
ident(
  int_ref vl "src/base/BaseEnv.ml" 124 4088 4094 "src/base/BaseEnv.ml" 124 4088 4096
)
"src/base/BaseEnv.ml" 135 4301 4303 "src/base/BaseEnv.ml" 135 4301 4316
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 124 4088 4090 "src/base/BaseEnv.ml" 135 4301 4316
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 138 4319 4323 "src/base/BaseEnv.ml" 138 4319 4333
type(
  ?printer:('a -> string) -> ?name:string -> 'a OASISExpr.choices -> 'a
)
ident(
  def var_choose "src/base/BaseEnv.ml" 146 4419 4419 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 138 4319 4335 "src/base/BaseEnv.ml" 138 4319 4342
type(
  ('a -> string) option
)
ident(
  def printer "src/base/BaseEnv.ml" 138 4319 4343 "src/base/BaseEnv.ml" 143 4409 4416
)
"src/base/BaseEnv.ml" 138 4319 4344 "src/base/BaseEnv.ml" 138 4319 4348
type(
  string option
)
ident(
  def name "src/base/BaseEnv.ml" 138 4319 4349 "src/base/BaseEnv.ml" 143 4409 4416
)
"src/base/BaseEnv.ml" 138 4319 4349 "src/base/BaseEnv.ml" 138 4319 4352
type(
  'a OASISExpr.choices
)
ident(
  def lst "src/base/BaseEnv.ml" 139 4355 4357 "src/base/BaseEnv.ml" 143 4409 4416
)
"src/base/BaseEnv.ml" 139 4355 4357 "src/base/BaseEnv.ml" 139 4355 4373
type(
  ?printer:('a -> string) ->
  ?name:string ->
  (PropList.name -> OASISTypes.unix_filename) -> 'a OASISExpr.choices -> 'a
)
ident(
  int_ref OASISExpr.choose "src/oasis/OASISExpr.mli" 88 3075 3075 "src/oasis/OASISExpr.mli" 91 3134 3175
)
"src/base/BaseEnv.ml" 140 4374 4379 "src/base/BaseEnv.ml" 140 4374 4386
type(
  ('a -> string) option
)
ident(
  int_ref printer "src/base/BaseEnv.ml" 138 4319 4335 "src/base/BaseEnv.ml" 138 4319 4342
)
"src/base/BaseEnv.ml" 141 4387 4392 "src/base/BaseEnv.ml" 141 4387 4396
type(
  string option
)
ident(
  int_ref name "src/base/BaseEnv.ml" 138 4319 4344 "src/base/BaseEnv.ml" 138 4319 4348
)
"src/base/BaseEnv.ml" 142 4397 4401 "src/base/BaseEnv.ml" 142 4397 4408
type(
  PropList.name -> OASISTypes.unix_filename
)
ident(
  int_ref var_get "src/base/BaseEnv.ml" 123 4069 4073 "src/base/BaseEnv.ml" 123 4069 4080
)
"src/base/BaseEnv.ml" 143 4409 4413 "src/base/BaseEnv.ml" 143 4409 4416
type(
  'a OASISExpr.choices
)
ident(
  int_ref lst "src/base/BaseEnv.ml" 138 4319 4349 "src/base/BaseEnv.ml" 138 4319 4352
)
"src/base/BaseEnv.ml" 139 4355 4357 "src/base/BaseEnv.ml" 143 4409 4416
type(
  'a
)
"src/base/BaseEnv.ml" 146 4419 4423 "src/base/BaseEnv.ml" 146 4419 4434
type(
  string -> string
)
ident(
  def var_protect "src/base/BaseEnv.ml" 158 4641 4641 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 146 4419 4435 "src/base/BaseEnv.ml" 146 4419 4437
type(
  string
)
ident(
  def vl "src/base/BaseEnv.ml" 147 4440 4442 "src/base/BaseEnv.ml" 155 4616 4638
)
"src/base/BaseEnv.ml" 147 4440 4446 "src/base/BaseEnv.ml" 147 4440 4450
type(
  Buffer.t
)
ident(
  def buff "src/base/BaseEnv.ml" 150 4495 4497 "src/base/BaseEnv.ml" 155 4616 4638
)
"src/base/BaseEnv.ml" 148 4453 4457 "src/base/BaseEnv.ml" 148 4453 4470
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/base/BaseEnv.ml" 148 4453 4472 "src/base/BaseEnv.ml" 148 4453 4485
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/base/BaseEnv.ml" 148 4453 4486 "src/base/BaseEnv.ml" 148 4453 4488
type(
  string
)
ident(
  int_ref vl "src/base/BaseEnv.ml" 146 4419 4435 "src/base/BaseEnv.ml" 146 4419 4437
)
"src/base/BaseEnv.ml" 148 4453 4471 "src/base/BaseEnv.ml" 148 4453 4489
type(
  int
)
"src/base/BaseEnv.ml" 148 4453 4457 "src/base/BaseEnv.ml" 148 4453 4489
type(
  Buffer.t
)
"src/base/BaseEnv.ml" 150 4495 4497 "src/base/BaseEnv.ml" 150 4495 4508
type(
  (char -> unit) -> string -> unit
)
ident(
  int_ref Stdlib.String.iter "string.mli" 291 10436 10436 "string.mli" 291 10436 10479
)
"src/base/BaseEnv.ml" 152 4523 4531 "src/base/BaseEnv.ml" 152 4523 4534
type(
  char
)
"src/base/BaseEnv.ml" 152 4523 4538 "src/base/BaseEnv.ml" 152 4523 4555
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/base/BaseEnv.ml" 152 4523 4556 "src/base/BaseEnv.ml" 152 4523 4560
type(
  Buffer.t
)
ident(
  int_ref buff "src/base/BaseEnv.ml" 147 4440 4446 "src/base/BaseEnv.ml" 147 4440 4450
)
"src/base/BaseEnv.ml" 152 4523 4561 "src/base/BaseEnv.ml" 152 4523 4566
type(
  string
)
"src/base/BaseEnv.ml" 152 4523 4538 "src/base/BaseEnv.ml" 152 4523 4566
type(
  unit
)
"src/base/BaseEnv.ml" 153 4567 4575 "src/base/BaseEnv.ml" 153 4567 4576
type(
  char
)
ident(
  def c "src/base/BaseEnv.ml" 153 4567 4582 "src/base/BaseEnv.ml" 153 4567 4606
)
"src/base/BaseEnv.ml" 153 4567 4582 "src/base/BaseEnv.ml" 153 4567 4597
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/base/BaseEnv.ml" 153 4567 4600 "src/base/BaseEnv.ml" 153 4567 4604
type(
  Buffer.t
)
ident(
  int_ref buff "src/base/BaseEnv.ml" 147 4440 4446 "src/base/BaseEnv.ml" 147 4440 4450
)
"src/base/BaseEnv.ml" 153 4567 4605 "src/base/BaseEnv.ml" 153 4567 4606
type(
  char
)
ident(
  int_ref c "src/base/BaseEnv.ml" 153 4567 4575 "src/base/BaseEnv.ml" 153 4567 4576
)
"src/base/BaseEnv.ml" 153 4567 4582 "src/base/BaseEnv.ml" 153 4567 4606
type(
  unit
)
"src/base/BaseEnv.ml" 151 4509 4513 "src/base/BaseEnv.ml" 153 4567 4607
type(
  char -> unit
)
"src/base/BaseEnv.ml" 154 4608 4612 "src/base/BaseEnv.ml" 154 4608 4614
type(
  string
)
ident(
  int_ref vl "src/base/BaseEnv.ml" 146 4419 4435 "src/base/BaseEnv.ml" 146 4419 4437
)
"src/base/BaseEnv.ml" 150 4495 4497 "src/base/BaseEnv.ml" 154 4608 4614
type(
  unit
)
"src/base/BaseEnv.ml" 155 4616 4618 "src/base/BaseEnv.ml" 155 4616 4633
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/base/BaseEnv.ml" 155 4616 4634 "src/base/BaseEnv.ml" 155 4616 4638
type(
  Buffer.t
)
ident(
  int_ref buff "src/base/BaseEnv.ml" 147 4440 4446 "src/base/BaseEnv.ml" 147 4440 4450
)
"src/base/BaseEnv.ml" 155 4616 4618 "src/base/BaseEnv.ml" 155 4616 4638
type(
  string
)
"src/base/BaseEnv.ml" 150 4495 4497 "src/base/BaseEnv.ml" 155 4616 4638
type(
  string
)
"src/base/BaseEnv.ml" 147 4440 4442 "src/base/BaseEnv.ml" 155 4616 4638
type(
  string
)
"src/base/BaseEnv.ml" 158 4641 4645 "src/base/BaseEnv.ml" 158 4641 4655
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:cli_handle_t ->
  ?arg_help:string ->
  ?group:string ->
  MapString.key -> (unit -> string) -> unit -> OASISTypes.unix_filename
)
ident(
  def var_define "src/base/BaseEnv.ml" 244 6489 6489 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 159 4656 4662 "src/base/BaseEnv.ml" 159 4656 4666
type(
  bool
)
ident(
  def hide "src/base/BaseEnv.ml" 160 4674 4678 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 159 4656 4667 "src/base/BaseEnv.ml" 159 4656 4672
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 159 4656 4667 "src/base/BaseEnv.ml" 159 4656 4672
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 159 4656 4667 "src/base/BaseEnv.ml" 159 4656 4672
)
"src/base/BaseEnv.ml" 160 4674 4680 "src/base/BaseEnv.ml" 160 4674 4684
type(
  bool
)
ident(
  def dump "src/base/BaseEnv.ml" 161 4691 4695 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 160 4674 4685 "src/base/BaseEnv.ml" 160 4674 4689
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 160 4674 4685 "src/base/BaseEnv.ml" 160 4674 4689
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 160 4674 4685 "src/base/BaseEnv.ml" 160 4674 4689
)
"src/base/BaseEnv.ml" 161 4691 4696 "src/base/BaseEnv.ml" 161 4691 4706
type(
  (unit -> string) option
)
ident(
  def short_desc "src/base/BaseEnv.ml" 162 4707 4711 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 162 4707 4713 "src/base/BaseEnv.ml" 162 4707 4716
type(
  cli_handle_t
)
ident(
  def cli "src/base/BaseEnv.ml" 163 4726 4730 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 162 4707 4717 "src/base/BaseEnv.ml" 162 4707 4724
type(
  cli_handle_t
)
type(
  cli_handle_t option
)
type(
  cli_handle_t option
)
type(
  cli_handle_t
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 162 4707 4717 "src/base/BaseEnv.ml" 162 4707 4724
)
type(
  cli_handle_t
)
type(
  cli_handle_t option
)
type(
  cli_handle_t option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 162 4707 4717 "src/base/BaseEnv.ml" 162 4707 4724
)
"src/base/BaseEnv.ml" 163 4726 4731 "src/base/BaseEnv.ml" 163 4726 4739
type(
  string option
)
ident(
  def arg_help "src/base/BaseEnv.ml" 164 4740 4744 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 164 4740 4745 "src/base/BaseEnv.ml" 164 4740 4750
type(
  string option
)
ident(
  def group "src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 165 4751 4759
type(
  MapString.key
)
ident(
  def name "src/base/BaseEnv.ml" 167 4849 4853 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 167 4849 4853 "src/base/BaseEnv.ml" 167 4849 4857
type(
  unit -> string
)
ident(
  def dflt "src/base/BaseEnv.ml" 169 4861 4863 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 169 4861 4867 "src/base/BaseEnv.ml" 169 4861 4874
type(
  (origin_t * (unit -> string)) list
)
ident(
  def default "src/base/BaseEnv.ml" 177 5029 5031 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 171 4883 4889 "src/base/BaseEnv.ml" 171 4883 4898
type(
  origin_t
)
"src/base/BaseEnv.ml" 171 4883 4905 "src/base/BaseEnv.ml" 171 4883 4907
type(
  unit
)
"src/base/BaseEnv.ml" 171 4883 4911 "src/base/BaseEnv.ml" 171 4883 4925
type(
  MapString.key -> string MapString.t -> string
)
ident(
  int_ref MapString.find "map.mli" 278 11164 11168 "map.mli" 278 11164 11195
)
"src/base/BaseEnv.ml" 171 4883 4926 "src/base/BaseEnv.ml" 171 4883 4930
type(
  MapString.key
)
ident(
  int_ref name "src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 165 4751 4759
)
"src/base/BaseEnv.ml" 171 4883 4931 "src/base/BaseEnv.ml" 171 4883 4932
type(
  string MapString.t ref -> string MapString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseEnv.ml" 171 4883 4932 "src/base/BaseEnv.ml" 171 4883 4945
type(
  string MapString.t ref
)
ident(
  int_ref env_from_file "src/base/BaseEnv.ml" 65 2303 2307 "src/base/BaseEnv.ml" 65 2303 2320
)
"src/base/BaseEnv.ml" 171 4883 4931 "src/base/BaseEnv.ml" 171 4883 4945
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 171 4883 4911 "src/base/BaseEnv.ml" 171 4883 4945
type(
  string
)
"src/base/BaseEnv.ml" 171 4883 4900 "src/base/BaseEnv.ml" 171 4883 4946
type(
  unit -> string
)
"src/base/BaseEnv.ml" 171 4883 4889 "src/base/BaseEnv.ml" 171 4883 4946
type(
  origin_t * (unit -> string)
)
"src/base/BaseEnv.ml" 172 4948 4954 "src/base/BaseEnv.ml" 172 4948 4962
type(
  origin_t
)
"src/base/BaseEnv.ml" 172 4948 4965 "src/base/BaseEnv.ml" 172 4948 4969
type(
  unit -> string
)
ident(
  int_ref dflt "src/base/BaseEnv.ml" 167 4849 4853 "src/base/BaseEnv.ml" 167 4849 4857
)
"src/base/BaseEnv.ml" 172 4948 4954 "src/base/BaseEnv.ml" 172 4948 4969
type(
  origin_t * (unit -> string)
)
"src/base/BaseEnv.ml" 173 4971 4977 "src/base/BaseEnv.ml" 173 4971 4984
type(
  origin_t
)
"src/base/BaseEnv.ml" 173 4971 4993 "src/base/BaseEnv.ml" 173 4971 4995
type(
  unit
)
"src/base/BaseEnv.ml" 173 4971 4999 "src/base/BaseEnv.ml" 173 4971 5009
type(
  MapString.key -> string
)
ident(
  int_ref Stdlib.Sys.getenv "sys.mli" 58 2794 2794 "sys.mli" 58 2794 2848
)
"src/base/BaseEnv.ml" 173 4971 5010 "src/base/BaseEnv.ml" 173 4971 5014
type(
  MapString.key
)
ident(
  int_ref name "src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 165 4751 4759
)
"src/base/BaseEnv.ml" 173 4971 4999 "src/base/BaseEnv.ml" 173 4971 5014
type(
  string
)
"src/base/BaseEnv.ml" 173 4971 4988 "src/base/BaseEnv.ml" 173 4971 5015
type(
  unit -> string
)
"src/base/BaseEnv.ml" 173 4971 4977 "src/base/BaseEnv.ml" 173 4971 5015
type(
  origin_t * (unit -> string)
)
"src/base/BaseEnv.ml" 170 4877 4881 "src/base/BaseEnv.ml" 174 5017 5022
type(
  (origin_t * (unit -> string)) list
)
"src/base/BaseEnv.ml" 177 5029 5035 "src/base/BaseEnv.ml" 177 5029 5040
type(
  definition_t
)
ident(
  def extra "src/base/BaseEnv.ml" 189 5230 5232 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 179 5049 5066 "src/base/BaseEnv.ml" 179 5049 5070
type(
  bool
)
ident(
  int_ref hide "src/base/BaseEnv.ml" 159 4656 4662 "src/base/BaseEnv.ml" 159 4656 4666
)
"src/base/BaseEnv.ml" 180 5072 5089 "src/base/BaseEnv.ml" 180 5072 5093
type(
  bool
)
ident(
  int_ref dump "src/base/BaseEnv.ml" 160 4674 4680 "src/base/BaseEnv.ml" 160 4674 4684
)
"src/base/BaseEnv.ml" 181 5095 5112 "src/base/BaseEnv.ml" 181 5095 5115
type(
  cli_handle_t
)
ident(
  int_ref cli "src/base/BaseEnv.ml" 162 4707 4713 "src/base/BaseEnv.ml" 162 4707 4716
)
"src/base/BaseEnv.ml" 182 5117 5134 "src/base/BaseEnv.ml" 182 5117 5142
type(
  string option
)
ident(
  int_ref arg_help "src/base/BaseEnv.ml" 163 4726 4731 "src/base/BaseEnv.ml" 163 4726 4739
)
"src/base/BaseEnv.ml" 183 5144 5161 "src/base/BaseEnv.ml" 183 5144 5166
type(
  string option
)
ident(
  int_ref group "src/base/BaseEnv.ml" 164 4740 4745 "src/base/BaseEnv.ml" 164 4740 4750
)
"src/base/BaseEnv.ml" 178 5043 5047 "src/base/BaseEnv.ml" 184 5168 5173
type(
  definition_t
)
"src/base/BaseEnv.ml" 189 5230 5236 "src/base/BaseEnv.ml" 189 5230 5247
type(
  ('a * (unit -> 'b)) list -> 'b
)
ident(
  def var_get_low "src/base/BaseEnv.ml" 222 6081 6083 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 189 5230 5248 "src/base/BaseEnv.ml" 189 5230 5251
type(
  ('a * (unit -> 'b)) list
)
ident(
  def lst "src/base/BaseEnv.ml" 190 5254 5258 "src/base/BaseEnv.ml" 219 6008 6074
)
"src/base/BaseEnv.ml" 190 5254 5262 "src/base/BaseEnv.ml" 190 5254 5268
type(
  string list
)
ident(
  def errors "src/base/BaseEnv.ml" 213 5872 5876 "src/base/BaseEnv.ml" 219 6008 6074
)
"src/base/BaseEnv.ml" 190 5254 5270 "src/base/BaseEnv.ml" 190 5254 5273
type(
  'b option
)
ident(
  def res "src/base/BaseEnv.ml" 213 5872 5876 "src/base/BaseEnv.ml" 219 6008 6074
)
"src/base/BaseEnv.ml" 190 5254 5262 "src/base/BaseEnv.ml" 190 5254 5273
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 191 5276 5282 "src/base/BaseEnv.ml" 191 5276 5296
type(
  (string list * 'b option -> 'a * (unit -> 'b) -> string list * 'b option) ->
  string list * 'b option ->
  ('a * (unit -> 'b)) list -> string list * 'b option
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/base/BaseEnv.ml" 192 5297 5311 "src/base/BaseEnv.ml" 192 5297 5317
type(
  string list
)
ident(
  def errors "src/base/BaseEnv.ml" 192 5297 5324 "src/base/BaseEnv.ml" 206 5710 5734
)
"src/base/BaseEnv.ml" 192 5297 5319 "src/base/BaseEnv.ml" 192 5297 5322
type(
  'b option
)
ident(
  def res "src/base/BaseEnv.ml" 192 5297 5324 "src/base/BaseEnv.ml" 206 5710 5734
)
"src/base/BaseEnv.ml" 192 5297 5310 "src/base/BaseEnv.ml" 192 5297 5323
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 192 5297 5325 "src/base/BaseEnv.ml" 192 5297 5326
type(
  'a
)
"src/base/BaseEnv.ml" 192 5297 5328 "src/base/BaseEnv.ml" 192 5297 5329
type(
  unit -> 'b
)
ident(
  def v "src/base/BaseEnv.ml" 193 5334 5345 "src/base/BaseEnv.ml" 206 5710 5734
)
"src/base/BaseEnv.ml" 192 5297 5324 "src/base/BaseEnv.ml" 192 5297 5330
type(
  'a * (unit -> 'b)
)
"src/base/BaseEnv.ml" 193 5334 5348 "src/base/BaseEnv.ml" 193 5334 5351
type(
  'b option
)
ident(
  int_ref res "src/base/BaseEnv.ml" 192 5297 5319 "src/base/BaseEnv.ml" 192 5297 5322
)
"src/base/BaseEnv.ml" 193 5334 5352 "src/base/BaseEnv.ml" 193 5334 5353
type(
  'b option -> 'b option -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/base/BaseEnv.ml" 193 5334 5354 "src/base/BaseEnv.ml" 193 5334 5358
type(
  'b option
)
"src/base/BaseEnv.ml" 193 5334 5348 "src/base/BaseEnv.ml" 193 5334 5358
type(
  bool
)
"src/base/BaseEnv.ml" 196 5402 5419 "src/base/BaseEnv.ml" 196 5402 5425
type(
  string list
)
ident(
  int_ref errors "src/base/BaseEnv.ml" 192 5297 5311 "src/base/BaseEnv.ml" 192 5297 5317
)
"src/base/BaseEnv.ml" 196 5402 5433 "src/base/BaseEnv.ml" 196 5402 5434
type(
  unit -> 'b
)
ident(
  int_ref v "src/base/BaseEnv.ml" 192 5297 5328 "src/base/BaseEnv.ml" 192 5297 5329
)
"src/base/BaseEnv.ml" 196 5402 5435 "src/base/BaseEnv.ml" 196 5402 5437
type(
  unit
)
"src/base/BaseEnv.ml" 196 5402 5432 "src/base/BaseEnv.ml" 196 5402 5438
type(
  'b
)
"src/base/BaseEnv.ml" 196 5402 5427 "src/base/BaseEnv.ml" 196 5402 5438
type(
  'b option
)
"src/base/BaseEnv.ml" 196 5402 5419 "src/base/BaseEnv.ml" 196 5402 5438
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 198 5459 5478 "src/base/BaseEnv.ml" 198 5459 5487
type(
  exn
)
"src/base/BaseEnv.ml" 199 5491 5510 "src/base/BaseEnv.ml" 199 5491 5516
type(
  string list
)
ident(
  int_ref errors "src/base/BaseEnv.ml" 192 5297 5311 "src/base/BaseEnv.ml" 192 5297 5317
)
"src/base/BaseEnv.ml" 199 5491 5518 "src/base/BaseEnv.ml" 199 5491 5521
type(
  'b option
)
ident(
  int_ref res "src/base/BaseEnv.ml" 192 5297 5319 "src/base/BaseEnv.ml" 192 5297 5322
)
"src/base/BaseEnv.ml" 199 5491 5510 "src/base/BaseEnv.ml" 199 5491 5521
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 200 5522 5549 "src/base/BaseEnv.ml" 200 5522 5552
type(
  string
)
ident(
  def rsn "src/base/BaseEnv.ml" 201 5556 5575 "src/base/BaseEnv.ml" 201 5556 5595
)
"src/base/BaseEnv.ml" 200 5522 5541 "src/base/BaseEnv.ml" 200 5522 5552
type(
  exn
)
"src/base/BaseEnv.ml" 201 5556 5576 "src/base/BaseEnv.ml" 201 5556 5579
type(
  string
)
ident(
  int_ref rsn "src/base/BaseEnv.ml" 200 5522 5549 "src/base/BaseEnv.ml" 200 5522 5552
)
"src/base/BaseEnv.ml" 201 5556 5583 "src/base/BaseEnv.ml" 201 5556 5589
type(
  string list
)
ident(
  int_ref errors "src/base/BaseEnv.ml" 192 5297 5311 "src/base/BaseEnv.ml" 192 5297 5317
)
"src/base/BaseEnv.ml" 201 5556 5575 "src/base/BaseEnv.ml" 201 5556 5590
type(
  string list
)
"src/base/BaseEnv.ml" 201 5556 5592 "src/base/BaseEnv.ml" 201 5556 5595
type(
  'b option
)
ident(
  int_ref res "src/base/BaseEnv.ml" 192 5297 5319 "src/base/BaseEnv.ml" 192 5297 5322
)
"src/base/BaseEnv.ml" 201 5556 5575 "src/base/BaseEnv.ml" 201 5556 5595
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 202 5596 5615 "src/base/BaseEnv.ml" 202 5596 5616
type(
  exn
)
ident(
  def e "src/base/BaseEnv.ml" 203 5620 5639 "src/base/BaseEnv.ml" 203 5620 5676
)
"src/base/BaseEnv.ml" 203 5620 5640 "src/base/BaseEnv.ml" 203 5620 5658
type(
  exn -> string
)
ident(
  int_ref Stdlib.Printexc.to_string "printexc.mli" 21 1213 1213 "printexc.mli" 21 1213 1241
)
"src/base/BaseEnv.ml" 203 5620 5659 "src/base/BaseEnv.ml" 203 5620 5660
type(
  exn
)
ident(
  int_ref e "src/base/BaseEnv.ml" 202 5596 5615 "src/base/BaseEnv.ml" 202 5596 5616
)
"src/base/BaseEnv.ml" 203 5620 5639 "src/base/BaseEnv.ml" 203 5620 5661
type(
  string
)
"src/base/BaseEnv.ml" 203 5620 5665 "src/base/BaseEnv.ml" 203 5620 5671
type(
  string list
)
ident(
  int_ref errors "src/base/BaseEnv.ml" 192 5297 5311 "src/base/BaseEnv.ml" 192 5297 5317
)
"src/base/BaseEnv.ml" 203 5620 5639 "src/base/BaseEnv.ml" 203 5620 5671
type(
  string list
)
"src/base/BaseEnv.ml" 203 5620 5673 "src/base/BaseEnv.ml" 203 5620 5676
type(
  'b option
)
ident(
  int_ref res "src/base/BaseEnv.ml" 192 5297 5319 "src/base/BaseEnv.ml" 192 5297 5322
)
"src/base/BaseEnv.ml" 203 5620 5639 "src/base/BaseEnv.ml" 203 5620 5676
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 194 5364 5377 "src/base/BaseEnv.ml" 204 5677 5693
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 206 5710 5723 "src/base/BaseEnv.ml" 206 5710 5729
type(
  string list
)
ident(
  int_ref errors "src/base/BaseEnv.ml" 192 5297 5311 "src/base/BaseEnv.ml" 192 5297 5317
)
"src/base/BaseEnv.ml" 206 5710 5731 "src/base/BaseEnv.ml" 206 5710 5734
type(
  'b option
)
ident(
  int_ref res "src/base/BaseEnv.ml" 192 5297 5319 "src/base/BaseEnv.ml" 192 5297 5322
)
"src/base/BaseEnv.ml" 206 5710 5723 "src/base/BaseEnv.ml" 206 5710 5734
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 193 5334 5345 "src/base/BaseEnv.ml" 206 5710 5734
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 192 5297 5305 "src/base/BaseEnv.ml" 206 5710 5735
type(
  string list * 'b option -> 'a * (unit -> 'b) -> string list * 'b option
)
"src/base/BaseEnv.ml" 207 5736 5745 "src/base/BaseEnv.ml" 207 5736 5747
type(
  string list
)
"src/base/BaseEnv.ml" 207 5736 5749 "src/base/BaseEnv.ml" 207 5736 5753
type(
  'b option
)
"src/base/BaseEnv.ml" 207 5736 5744 "src/base/BaseEnv.ml" 207 5736 5754
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 208 5755 5764 "src/base/BaseEnv.ml" 208 5755 5773
type(
  ('a * (unit -> 'b) -> 'a * (unit -> 'b) -> int) ->
  ('a * (unit -> 'b)) list -> ('a * (unit -> 'b)) list
)
ident(
  int_ref Stdlib.List.sort "list.mli" 444 14676 14676 "list.mli" 444 14676 14726
)
"src/base/BaseEnv.ml" 209 5774 5791 "src/base/BaseEnv.ml" 209 5774 5793
type(
  'a
)
ident(
  def o1 "src/base/BaseEnv.ml" 209 5774 5798 "src/base/BaseEnv.ml" 210 5809 5847
)
"src/base/BaseEnv.ml" 209 5774 5795 "src/base/BaseEnv.ml" 209 5774 5796
type(
  unit -> 'b
)
"src/base/BaseEnv.ml" 209 5774 5790 "src/base/BaseEnv.ml" 209 5774 5797
type(
  'a * (unit -> 'b)
)
"src/base/BaseEnv.ml" 209 5774 5799 "src/base/BaseEnv.ml" 209 5774 5801
type(
  'a
)
ident(
  def o2 "src/base/BaseEnv.ml" 210 5809 5823 "src/base/BaseEnv.ml" 210 5809 5847
)
"src/base/BaseEnv.ml" 209 5774 5803 "src/base/BaseEnv.ml" 209 5774 5804
type(
  unit -> 'b
)
"src/base/BaseEnv.ml" 209 5774 5798 "src/base/BaseEnv.ml" 209 5774 5805
type(
  'a * (unit -> 'b)
)
"src/base/BaseEnv.ml" 210 5809 5823 "src/base/BaseEnv.ml" 210 5809 5841
type(
  'a -> 'a -> int
)
ident(
  int_ref Stdlib.Pervasives.compare "pervasives.ml" 28 1493 1493 "pervasives.ml" 28 1493 1540
)
"src/base/BaseEnv.ml" 210 5809 5842 "src/base/BaseEnv.ml" 210 5809 5844
type(
  'a
)
ident(
  int_ref o2 "src/base/BaseEnv.ml" 209 5774 5799 "src/base/BaseEnv.ml" 209 5774 5801
)
"src/base/BaseEnv.ml" 210 5809 5845 "src/base/BaseEnv.ml" 210 5809 5847
type(
  'a
)
ident(
  int_ref o1 "src/base/BaseEnv.ml" 209 5774 5791 "src/base/BaseEnv.ml" 209 5774 5793
)
"src/base/BaseEnv.ml" 210 5809 5823 "src/base/BaseEnv.ml" 210 5809 5847
type(
  int
)
"src/base/BaseEnv.ml" 209 5774 5785 "src/base/BaseEnv.ml" 210 5809 5848
type(
  'a * (unit -> 'b) -> 'a * (unit -> 'b) -> int
)
"src/base/BaseEnv.ml" 211 5849 5860 "src/base/BaseEnv.ml" 211 5849 5863
type(
  ('a * (unit -> 'b)) list
)
ident(
  int_ref lst "src/base/BaseEnv.ml" 189 5230 5248 "src/base/BaseEnv.ml" 189 5230 5251
)
"src/base/BaseEnv.ml" 208 5755 5763 "src/base/BaseEnv.ml" 211 5849 5864
type(
  ('a * (unit -> 'b)) list
)
"src/base/BaseEnv.ml" 191 5276 5282 "src/base/BaseEnv.ml" 211 5849 5864
type(
  string list * 'b option
)
"src/base/BaseEnv.ml" 213 5872 5882 "src/base/BaseEnv.ml" 213 5872 5885
type(
  'b option
)
ident(
  int_ref res "src/base/BaseEnv.ml" 190 5254 5270 "src/base/BaseEnv.ml" 190 5254 5273
)
"src/base/BaseEnv.ml" 213 5872 5887 "src/base/BaseEnv.ml" 213 5872 5893
type(
  string list
)
ident(
  int_ref errors "src/base/BaseEnv.ml" 190 5254 5262 "src/base/BaseEnv.ml" 190 5254 5268
)
"src/base/BaseEnv.ml" 213 5872 5882 "src/base/BaseEnv.ml" 213 5872 5893
type(
  'b option * string list
)
"src/base/BaseEnv.ml" 214 5899 5912 "src/base/BaseEnv.ml" 214 5899 5913
type(
  'b
)
ident(
  def v "src/base/BaseEnv.ml" 215 5920 5928 "src/base/BaseEnv.ml" 215 5920 5929
)
"src/base/BaseEnv.ml" 214 5899 5907 "src/base/BaseEnv.ml" 214 5899 5913
type(
  'b option
)
"src/base/BaseEnv.ml" 214 5899 5915 "src/base/BaseEnv.ml" 214 5899 5916
type(
  string list
)
"src/base/BaseEnv.ml" 214 5899 5907 "src/base/BaseEnv.ml" 214 5899 5916
type(
  'b option * string list
)
type(
  'b option * string list
)
"src/base/BaseEnv.ml" 215 5920 5928 "src/base/BaseEnv.ml" 215 5920 5929
type(
  'b
)
ident(
  int_ref v "src/base/BaseEnv.ml" 214 5899 5912 "src/base/BaseEnv.ml" 214 5899 5913
)
"src/base/BaseEnv.ml" 216 5930 5938 "src/base/BaseEnv.ml" 216 5930 5942
type(
  'b option
)
"src/base/BaseEnv.ml" 216 5930 5944 "src/base/BaseEnv.ml" 216 5930 5946
type(
  string list
)
"src/base/BaseEnv.ml" 216 5930 5938 "src/base/BaseEnv.ml" 216 5930 5946
type(
  'b option * string list
)
type(
  'b option * string list
)
"src/base/BaseEnv.ml" 217 5950 5958 "src/base/BaseEnv.ml" 217 5950 5963
type(
  exn -> 'b
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/base/BaseEnv.ml" 217 5950 5974 "src/base/BaseEnv.ml" 217 5950 5978
type(
  MapString.key
)
ident(
  int_ref name "src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 165 4751 4759
)
"src/base/BaseEnv.ml" 217 5950 5980 "src/base/BaseEnv.ml" 217 5950 5984
type(
  string option
)
"src/base/BaseEnv.ml" 217 5950 5964 "src/base/BaseEnv.ml" 217 5950 5986
type(
  exn
)
"src/base/BaseEnv.ml" 217 5950 5958 "src/base/BaseEnv.ml" 217 5950 5986
type(
  'b
)
"src/base/BaseEnv.ml" 218 5987 5995 "src/base/BaseEnv.ml" 218 5987 5999
type(
  'b option
)
"src/base/BaseEnv.ml" 218 5987 6001 "src/base/BaseEnv.ml" 218 5987 6004
type(
  string list
)
ident(
  def lst "src/base/BaseEnv.ml" 219 6008 6016 "src/base/BaseEnv.ml" 219 6008 6074
)
"src/base/BaseEnv.ml" 218 5987 5995 "src/base/BaseEnv.ml" 218 5987 6004
type(
  'b option * string list
)
type(
  'b option * string list
)
"src/base/BaseEnv.ml" 219 6008 6016 "src/base/BaseEnv.ml" 219 6008 6021
type(
  exn -> 'b
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/base/BaseEnv.ml" 219 6008 6032 "src/base/BaseEnv.ml" 219 6008 6036
type(
  MapString.key
)
ident(
  int_ref name "src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 165 4751 4759
)
"src/base/BaseEnv.ml" 219 6008 6044 "src/base/BaseEnv.ml" 219 6008 6057
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/base/BaseEnv.ml" 219 6008 6059 "src/base/BaseEnv.ml" 219 6008 6061
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/base/BaseEnv.ml" 219 6008 6062 "src/base/BaseEnv.ml" 219 6008 6066
type(
  string
)
"src/base/BaseEnv.ml" 219 6008 6058 "src/base/BaseEnv.ml" 219 6008 6067
type(
  string
)
"src/base/BaseEnv.ml" 219 6008 6068 "src/base/BaseEnv.ml" 219 6008 6071
type(
  string list
)
ident(
  int_ref lst "src/base/BaseEnv.ml" 218 5987 6001 "src/base/BaseEnv.ml" 218 5987 6004
)
"src/base/BaseEnv.ml" 219 6008 6043 "src/base/BaseEnv.ml" 219 6008 6072
type(
  string
)
"src/base/BaseEnv.ml" 219 6008 6038 "src/base/BaseEnv.ml" 219 6008 6072
type(
  string option
)
"src/base/BaseEnv.ml" 219 6008 6022 "src/base/BaseEnv.ml" 219 6008 6074
type(
  exn
)
"src/base/BaseEnv.ml" 219 6008 6016 "src/base/BaseEnv.ml" 219 6008 6074
type(
  'b
)
"src/base/BaseEnv.ml" 213 5872 5876 "src/base/BaseEnv.ml" 219 6008 6074
type(
  'b
)
"src/base/BaseEnv.ml" 190 5254 5258 "src/base/BaseEnv.ml" 219 6008 6074
type(
  'b
)
"src/base/BaseEnv.ml" 222 6081 6087 "src/base/BaseEnv.ml" 222 6081 6091
type(
  (unit -> string) option
)
ident(
  def help "src/base/BaseEnv.ml" 228 6174 6176 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 223 6094 6104 "src/base/BaseEnv.ml" 223 6094 6114
type(
  (unit -> string) option
)
ident(
  int_ref short_desc "src/base/BaseEnv.ml" 161 4691 4696 "src/base/BaseEnv.ml" 161 4691 4706
)
"src/base/BaseEnv.ml" 224 6120 6133 "src/base/BaseEnv.ml" 224 6120 6135
type(
  unit -> string
)
ident(
  def fs "src/base/BaseEnv.ml" 224 6120 6139 "src/base/BaseEnv.ml" 224 6120 6146
)
"src/base/BaseEnv.ml" 224 6120 6128 "src/base/BaseEnv.ml" 224 6120 6135
type(
  (unit -> string) option
)
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 224 6120 6144 "src/base/BaseEnv.ml" 224 6120 6146
type(
  unit -> string
)
ident(
  int_ref fs "src/base/BaseEnv.ml" 224 6120 6133 "src/base/BaseEnv.ml" 224 6120 6135
)
"src/base/BaseEnv.ml" 224 6120 6139 "src/base/BaseEnv.ml" 224 6120 6146
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 225 6147 6155 "src/base/BaseEnv.ml" 225 6147 6159
type(
  (unit -> string) option
)
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 225 6147 6163 "src/base/BaseEnv.ml" 225 6147 6167
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 223 6094 6098 "src/base/BaseEnv.ml" 225 6147 6167
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 228 6174 6180 "src/base/BaseEnv.ml" 228 6174 6191
type(
  PropList.Data.t -> (origin_t * (unit -> string)) list
)
ident(
  def var_get_lst "src/base/BaseEnv.ml" 240 6428 6430 "src/base/BaseEnv.ml" 241 6440 6486
)
"src/base/BaseEnv.ml" 229 6194 6198 "src/base/BaseEnv.ml" 229 6194 6212
type(
  ?schema:(origin_t, definition_t) PropList.Schema.t ->
  ?name:PropList.name ->
  ?parse:(?context:origin_t -> string -> (origin_t * (unit -> string)) list) ->
  ?print:((origin_t * (unit -> string)) list -> string) ->
  ?default:(origin_t * (unit -> string)) list ->
  ?update:(?context:origin_t ->
           (origin_t * (unit -> string)) list ->
           (origin_t * (unit -> string)) list ->
           (origin_t * (unit -> string)) list) ->
  ?help:(unit -> string) ->
  definition_t -> PropList.Data.t -> (origin_t * (unit -> string)) list
)
ident(
  int_ref PropList.FieldRO.create "src/oasis/PropList.mli" 160 5010 5012 "src/oasis/PropList.mli" 167 5214 5262
)
"src/base/BaseEnv.ml" 230 6213 6220 "src/base/BaseEnv.ml" 230 6213 6226
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
type(
  (origin_t, definition_t) PropList.Schema.t option
)
"src/base/BaseEnv.ml" 231 6227 6234 "src/base/BaseEnv.ml" 231 6227 6238
type(
  MapString.key
)
ident(
  int_ref name "src/base/BaseEnv.ml" 165 4751 4755 "src/base/BaseEnv.ml" 165 4751 4759
)
type(
  MapString.key option
)
"src/base/BaseEnv.ml" 232 6239 6259 "src/base/BaseEnv.ml" 232 6239 6266
type(
  origin_t
)
ident(
  def context "src/base/BaseEnv.ml" 232 6239 6277 "src/base/BaseEnv.ml" 232 6239 6304
)
"src/base/BaseEnv.ml" 232 6239 6267 "src/base/BaseEnv.ml" 232 6239 6275
type(
  origin_t
)
type(
  origin_t option
)
type(
  origin_t option
)
type(
  origin_t
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 232 6239 6267 "src/base/BaseEnv.ml" 232 6239 6275
)
type(
  origin_t
)
type(
  origin_t option
)
type(
  origin_t option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 232 6239 6267 "src/base/BaseEnv.ml" 232 6239 6275
)
"src/base/BaseEnv.ml" 232 6239 6277 "src/base/BaseEnv.ml" 232 6239 6278
type(
  string
)
ident(
  def s "src/base/BaseEnv.ml" 232 6239 6282 "src/base/BaseEnv.ml" 232 6239 6304
)
"src/base/BaseEnv.ml" 232 6239 6283 "src/base/BaseEnv.ml" 232 6239 6290
type(
  origin_t
)
ident(
  int_ref context "src/base/BaseEnv.ml" 232 6239 6259 "src/base/BaseEnv.ml" 232 6239 6266
)
"src/base/BaseEnv.ml" 232 6239 6296 "src/base/BaseEnv.ml" 232 6239 6298
type(
  unit
)
"src/base/BaseEnv.ml" 232 6239 6302 "src/base/BaseEnv.ml" 232 6239 6303
type(
  string
)
ident(
  int_ref s "src/base/BaseEnv.ml" 232 6239 6277 "src/base/BaseEnv.ml" 232 6239 6278
)
"src/base/BaseEnv.ml" 232 6239 6292 "src/base/BaseEnv.ml" 232 6239 6303
type(
  unit -> string
)
"src/base/BaseEnv.ml" 232 6239 6283 "src/base/BaseEnv.ml" 232 6239 6303
type(
  origin_t * (unit -> string)
)
"src/base/BaseEnv.ml" 232 6239 6282 "src/base/BaseEnv.ml" 232 6239 6304
type(
  (origin_t * (unit -> string)) list
)
"src/base/BaseEnv.ml" 232 6239 6252 "src/base/BaseEnv.ml" 232 6239 6305
type(
  origin_t option
)
ident(
  ext_ref *opt*
)
type(
  string -> (origin_t * (unit -> string)) list
)
type(
  ?context:origin_t -> string -> (origin_t * (unit -> string)) list
)
type(
  (?context:origin_t -> string -> (origin_t * (unit -> string)) list) option
)
"src/base/BaseEnv.ml" 233 6306 6319 "src/base/BaseEnv.ml" 233 6306 6330
type(
  (origin_t * (unit -> string)) list -> string
)
ident(
  int_ref var_get_low "src/base/BaseEnv.ml" 189 5230 5236 "src/base/BaseEnv.ml" 189 5230 5247
)
type(
  ((origin_t * (unit -> string)) list -> string) option
)
"src/base/BaseEnv.ml" 234 6331 6338 "src/base/BaseEnv.ml" 234 6331 6345
type(
  (origin_t * (unit -> string)) list
)
ident(
  int_ref default "src/base/BaseEnv.ml" 169 4861 4867 "src/base/BaseEnv.ml" 169 4861 4874
)
type(
  (origin_t * (unit -> string)) list option
)
"src/base/BaseEnv.ml" 235 6346 6374 "src/base/BaseEnv.ml" 235 6346 6375
type(
  origin_t option
)
"src/base/BaseEnv.ml" 235 6346 6376 "src/base/BaseEnv.ml" 235 6346 6377
type(
  (origin_t * (unit -> string)) list
)
ident(
  def x "src/base/BaseEnv.ml" 235 6346 6378 "src/base/BaseEnv.ml" 235 6346 6396
)
"src/base/BaseEnv.ml" 235 6346 6378 "src/base/BaseEnv.ml" 235 6346 6383
type(
  (origin_t * (unit -> string)) list
)
ident(
  def old_x "src/base/BaseEnv.ml" 235 6346 6387 "src/base/BaseEnv.ml" 235 6346 6396
)
"src/base/BaseEnv.ml" 235 6346 6387 "src/base/BaseEnv.ml" 235 6346 6388
type(
  (origin_t * (unit -> string)) list
)
ident(
  int_ref x "src/base/BaseEnv.ml" 235 6346 6376 "src/base/BaseEnv.ml" 235 6346 6377
)
"src/base/BaseEnv.ml" 235 6346 6389 "src/base/BaseEnv.ml" 235 6346 6390
type(
  (origin_t * (unit -> string)) list ->
  (origin_t * (unit -> string)) list -> (origin_t * (unit -> string)) list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/base/BaseEnv.ml" 235 6346 6391 "src/base/BaseEnv.ml" 235 6346 6396
type(
  (origin_t * (unit -> string)) list
)
ident(
  int_ref old_x "src/base/BaseEnv.ml" 235 6346 6378 "src/base/BaseEnv.ml" 235 6346 6383
)
"src/base/BaseEnv.ml" 235 6346 6387 "src/base/BaseEnv.ml" 235 6346 6396
type(
  (origin_t * (unit -> string)) list
)
"src/base/BaseEnv.ml" 235 6346 6360 "src/base/BaseEnv.ml" 235 6346 6397
type(
  ?context:origin_t ->
  (origin_t * (unit -> string)) list ->
  (origin_t * (unit -> string)) list -> (origin_t * (unit -> string)) list
)
type(
  (?context:origin_t ->
   (origin_t * (unit -> string)) list ->
   (origin_t * (unit -> string)) list -> (origin_t * (unit -> string)) list)
  option
)
"src/base/BaseEnv.ml" 236 6398 6405 "src/base/BaseEnv.ml" 236 6398 6409
type(
  (unit -> string) option
)
ident(
  int_ref help "src/base/BaseEnv.ml" 222 6081 6087 "src/base/BaseEnv.ml" 222 6081 6091
)
"src/base/BaseEnv.ml" 237 6410 6416 "src/base/BaseEnv.ml" 237 6410 6421
type(
  definition_t
)
ident(
  int_ref extra "src/base/BaseEnv.ml" 177 5029 5035 "src/base/BaseEnv.ml" 177 5029 5040
)
"src/base/BaseEnv.ml" 229 6194 6198 "src/base/BaseEnv.ml" 237 6410 6421
type(
  PropList.Data.t -> (origin_t * (unit -> string)) list
)
"src/base/BaseEnv.ml" 240 6428 6434 "src/base/BaseEnv.ml" 240 6428 6436
type(
  unit
)
"src/base/BaseEnv.ml" 241 6440 6444 "src/base/BaseEnv.ml" 241 6440 6454
type(
  string -> OASISTypes.unix_filename
)
ident(
  int_ref var_expand "src/base/BaseEnv.ml" 72 2402 2410 "src/base/BaseEnv.ml" 72 2402 2420
)
"src/base/BaseEnv.ml" 241 6440 6456 "src/base/BaseEnv.ml" 241 6440 6467
type(
  (origin_t * (unit -> string)) list -> string
)
ident(
  int_ref var_get_low "src/base/BaseEnv.ml" 189 5230 5236 "src/base/BaseEnv.ml" 189 5230 5247
)
"src/base/BaseEnv.ml" 241 6440 6469 "src/base/BaseEnv.ml" 241 6440 6480
type(
  PropList.Data.t -> (origin_t * (unit -> string)) list
)
ident(
  int_ref var_get_lst "src/base/BaseEnv.ml" 228 6174 6180 "src/base/BaseEnv.ml" 228 6174 6191
)
"src/base/BaseEnv.ml" 241 6440 6481 "src/base/BaseEnv.ml" 241 6440 6484
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 241 6440 6468 "src/base/BaseEnv.ml" 241 6440 6485
type(
  (origin_t * (unit -> string)) list
)
"src/base/BaseEnv.ml" 241 6440 6455 "src/base/BaseEnv.ml" 241 6440 6486
type(
  string
)
"src/base/BaseEnv.ml" 241 6440 6444 "src/base/BaseEnv.ml" 241 6440 6486
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 240 6428 6430 "src/base/BaseEnv.ml" 241 6440 6486
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 228 6174 6176 "src/base/BaseEnv.ml" 241 6440 6486
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 222 6081 6083 "src/base/BaseEnv.ml" 241 6440 6486
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 189 5230 5232 "src/base/BaseEnv.ml" 241 6440 6486
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 177 5029 5031 "src/base/BaseEnv.ml" 241 6440 6486
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 169 4861 4863 "src/base/BaseEnv.ml" 241 6440 6486
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 244 6489 6493 "src/base/BaseEnv.ml" 244 6489 6505
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:cli_handle_t ->
  ?arg_help:string ->
  ?group:string ->
  PropList.name -> (unit -> string) -> unit -> OASISTypes.unix_filename
)
ident(
  def var_redefine "src/base/BaseEnv.ml" 273 6975 6975 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 245 6506 6511 "src/base/BaseEnv.ml" 245 6506 6515
type(
  bool option
)
ident(
  def hide "src/base/BaseEnv.ml" 246 6516 6520 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 246 6516 6521 "src/base/BaseEnv.ml" 246 6516 6525
type(
  bool option
)
ident(
  def dump "src/base/BaseEnv.ml" 247 6526 6530 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 247 6526 6531 "src/base/BaseEnv.ml" 247 6526 6541
type(
  (unit -> string) option
)
ident(
  def short_desc "src/base/BaseEnv.ml" 248 6542 6546 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 248 6542 6547 "src/base/BaseEnv.ml" 248 6542 6550
type(
  cli_handle_t option
)
ident(
  def cli "src/base/BaseEnv.ml" 249 6551 6555 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 249 6551 6556 "src/base/BaseEnv.ml" 249 6551 6564
type(
  string option
)
ident(
  def arg_help "src/base/BaseEnv.ml" 250 6565 6569 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 250 6565 6570 "src/base/BaseEnv.ml" 250 6565 6575
type(
  string option
)
ident(
  def group "src/base/BaseEnv.ml" 251 6576 6580 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 251 6576 6580 "src/base/BaseEnv.ml" 251 6576 6584
type(
  PropList.name
)
ident(
  def name "src/base/BaseEnv.ml" 252 6585 6589 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 252 6585 6589 "src/base/BaseEnv.ml" 252 6585 6593
type(
  unit -> string
)
ident(
  def dflt "src/base/BaseEnv.ml" 253 6596 6598 "src/base/BaseEnv.ml" 270 6965 6972
)
"src/base/BaseEnv.ml" 253 6596 6601 "src/base/BaseEnv.ml" 253 6596 6611
type(
  (origin_t, definition_t) PropList.Schema.t -> PropList.name -> bool
)
ident(
  int_ref PropList.Schema.mem "src/oasis/PropList.mli" 90 2918 2920 "src/oasis/PropList.mli" 90 2918 2955
)
"src/base/BaseEnv.ml" 253 6596 6612 "src/base/BaseEnv.ml" 253 6596 6618
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 253 6596 6619 "src/base/BaseEnv.ml" 253 6596 6623
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 251 6576 6580 "src/base/BaseEnv.ml" 251 6576 6584
)
"src/base/BaseEnv.ml" 253 6596 6601 "src/base/BaseEnv.ml" 253 6596 6623
type(
  bool
)
"src/base/BaseEnv.ml" 256 6712 6718 "src/base/BaseEnv.ml" 256 6712 6728
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> ?context:origin_t -> string -> unit
)
ident(
  int_ref PropList.Schema.set "src/oasis/PropList.mli" 100 3254 3256 "src/oasis/PropList.mli" 100 3254 3326
)
"src/base/BaseEnv.ml" 256 6712 6729 "src/base/BaseEnv.ml" 256 6712 6735
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 256 6712 6736 "src/base/BaseEnv.ml" 256 6712 6739
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 256 6712 6749 "src/base/BaseEnv.ml" 256 6712 6757
type(
  origin_t
)
type(
  origin_t option
)
"src/base/BaseEnv.ml" 256 6712 6758 "src/base/BaseEnv.ml" 256 6712 6762
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 251 6576 6580 "src/base/BaseEnv.ml" 251 6576 6584
)
"src/base/BaseEnv.ml" 256 6712 6764 "src/base/BaseEnv.ml" 256 6712 6768
type(
  unit -> string
)
ident(
  int_ref dflt "src/base/BaseEnv.ml" 252 6585 6589 "src/base/BaseEnv.ml" 252 6585 6593
)
"src/base/BaseEnv.ml" 256 6712 6769 "src/base/BaseEnv.ml" 256 6712 6771
type(
  unit
)
"src/base/BaseEnv.ml" 256 6712 6763 "src/base/BaseEnv.ml" 256 6712 6772
type(
  string
)
"src/base/BaseEnv.ml" 256 6712 6718 "src/base/BaseEnv.ml" 256 6712 6772
type(
  unit
)
"src/base/BaseEnv.ml" 257 6774 6784 "src/base/BaseEnv.ml" 257 6774 6786
type(
  unit
)
"src/base/BaseEnv.ml" 257 6774 6790 "src/base/BaseEnv.ml" 257 6774 6797
type(
  PropList.name -> OASISTypes.unix_filename
)
ident(
  int_ref var_get "src/base/BaseEnv.ml" 123 4069 4073 "src/base/BaseEnv.ml" 123 4069 4080
)
"src/base/BaseEnv.ml" 257 6774 6798 "src/base/BaseEnv.ml" 257 6774 6802
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 251 6576 6580 "src/base/BaseEnv.ml" 251 6576 6584
)
"src/base/BaseEnv.ml" 257 6774 6790 "src/base/BaseEnv.ml" 257 6774 6802
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 257 6774 6780 "src/base/BaseEnv.ml" 257 6774 6802
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 254 6629 6633 "src/base/BaseEnv.ml" 258 6803 6810
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 261 6828 6834 "src/base/BaseEnv.ml" 261 6828 6844
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:cli_handle_t ->
  ?arg_help:string ->
  ?group:string ->
  MapString.key -> (unit -> string) -> unit -> OASISTypes.unix_filename
)
ident(
  int_ref var_define "src/base/BaseEnv.ml" 158 4641 4645 "src/base/BaseEnv.ml" 158 4641 4655
)
"src/base/BaseEnv.ml" 262 6845 6854 "src/base/BaseEnv.ml" 262 6845 6858
type(
  bool option
)
ident(
  int_ref hide "src/base/BaseEnv.ml" 245 6506 6511 "src/base/BaseEnv.ml" 245 6506 6515
)
"src/base/BaseEnv.ml" 263 6859 6868 "src/base/BaseEnv.ml" 263 6859 6872
type(
  bool option
)
ident(
  int_ref dump "src/base/BaseEnv.ml" 246 6516 6521 "src/base/BaseEnv.ml" 246 6516 6525
)
"src/base/BaseEnv.ml" 264 6873 6882 "src/base/BaseEnv.ml" 264 6873 6892
type(
  (unit -> string) option
)
ident(
  int_ref short_desc "src/base/BaseEnv.ml" 247 6526 6531 "src/base/BaseEnv.ml" 247 6526 6541
)
"src/base/BaseEnv.ml" 265 6893 6902 "src/base/BaseEnv.ml" 265 6893 6905
type(
  cli_handle_t option
)
ident(
  int_ref cli "src/base/BaseEnv.ml" 248 6542 6547 "src/base/BaseEnv.ml" 248 6542 6550
)
"src/base/BaseEnv.ml" 266 6906 6915 "src/base/BaseEnv.ml" 266 6906 6923
type(
  string option
)
ident(
  int_ref arg_help "src/base/BaseEnv.ml" 249 6551 6556 "src/base/BaseEnv.ml" 249 6551 6564
)
"src/base/BaseEnv.ml" 267 6924 6933 "src/base/BaseEnv.ml" 267 6924 6938
type(
  string option
)
ident(
  int_ref group "src/base/BaseEnv.ml" 250 6565 6570 "src/base/BaseEnv.ml" 250 6565 6575
)
"src/base/BaseEnv.ml" 268 6939 6947 "src/base/BaseEnv.ml" 268 6939 6951
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 251 6576 6580 "src/base/BaseEnv.ml" 251 6576 6584
)
"src/base/BaseEnv.ml" 269 6952 6960 "src/base/BaseEnv.ml" 269 6952 6964
type(
  unit -> string
)
ident(
  int_ref dflt "src/base/BaseEnv.ml" 252 6585 6589 "src/base/BaseEnv.ml" 252 6585 6593
)
"src/base/BaseEnv.ml" 260 6818 6822 "src/base/BaseEnv.ml" 270 6965 6972
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 253 6596 6598 "src/base/BaseEnv.ml" 270 6965 6972
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 273 6975 6979 "src/base/BaseEnv.ml" 273 6975 6989
type(
  (unit -> string) -> unit
)
ident(
  def var_ignore "src/base/BaseEnv.ml" 276 7017 7017 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 273 6975 6991 "src/base/BaseEnv.ml" 273 6975 6992
type(
  unit -> string
)
"src/base/BaseEnv.ml" 273 6975 7012 "src/base/BaseEnv.ml" 273 6975 7014
type(
  unit
)
"src/base/BaseEnv.ml" 276 7017 7021 "src/base/BaseEnv.ml" 276 7017 7033
type(
  unit -> OASISTypes.unix_filename
)
ident(
  def print_hidden "src/base/BaseEnv.ml" 286 7201 7201 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 277 7036 7038 "src/base/BaseEnv.ml" 277 7036 7048
type(
  ?hide:bool ->
  ?dump:bool ->
  ?short_desc:(unit -> string) ->
  ?cli:cli_handle_t ->
  ?arg_help:string ->
  ?group:string ->
  MapString.key -> (unit -> string) -> unit -> OASISTypes.unix_filename
)
ident(
  int_ref var_define "src/base/BaseEnv.ml" 158 4641 4645 "src/base/BaseEnv.ml" 158 4641 4655
)
"src/base/BaseEnv.ml" 278 7049 7059 "src/base/BaseEnv.ml" 278 7049 7063
type(
  bool
)
type(
  bool option
)
"src/base/BaseEnv.ml" 279 7064 7074 "src/base/BaseEnv.ml" 279 7064 7079
type(
  bool
)
type(
  bool option
)
"src/base/BaseEnv.ml" 280 7080 7089 "src/base/BaseEnv.ml" 280 7080 7096
type(
  cli_handle_t
)
type(
  cli_handle_t option
)
"src/base/BaseEnv.ml" 281 7097 7111 "src/base/BaseEnv.ml" 281 7097 7155
type(
  string
)
type(
  string option
)
"src/base/BaseEnv.ml" 282 7156 7160 "src/base/BaseEnv.ml" 282 7156 7174
type(
  MapString.key
)
"src/base/BaseEnv.ml" 283 7175 7184 "src/base/BaseEnv.ml" 283 7175 7186
type(
  unit
)
"src/base/BaseEnv.ml" 283 7175 7190 "src/base/BaseEnv.ml" 283 7175 7197
type(
  string
)
"src/base/BaseEnv.ml" 283 7175 7179 "src/base/BaseEnv.ml" 283 7175 7198
type(
  unit -> string
)
"src/base/BaseEnv.ml" 277 7036 7038 "src/base/BaseEnv.ml" 283 7175 7198
type(
  unit -> OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 286 7201 7205 "src/base/BaseEnv.ml" 286 7201 7212
type(
  unit -> PropList.name list
)
ident(
  def var_all "src/base/BaseEnv.ml" 298 7422 7422 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 286 7201 7213 "src/base/BaseEnv.ml" 286 7201 7215
type(
  unit
)
"src/base/BaseEnv.ml" 287 7218 7220 "src/base/BaseEnv.ml" 287 7218 7228
type(
  PropList.name list -> PropList.name list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/base/BaseEnv.ml" 288 7229 7234 "src/base/BaseEnv.ml" 288 7229 7245
type(
  (PropList.name list ->
   PropList.name ->
   definition_t -> (unit -> string) option -> PropList.name list) ->
  PropList.name list ->
  (origin_t, definition_t) PropList.Schema.t -> PropList.name list
)
ident(
  int_ref PropList.Schema.fold "src/oasis/PropList.mli" 105 3445 3447 "src/oasis/PropList.mli" 107 3516 3542
)
"src/base/BaseEnv.ml" 289 7246 7258 "src/base/BaseEnv.ml" 289 7246 7261
type(
  PropList.name list
)
ident(
  def acc "src/base/BaseEnv.ml" 289 7246 7262 "src/base/BaseEnv.ml" 293 7378 7393
)
"src/base/BaseEnv.ml" 289 7246 7262 "src/base/BaseEnv.ml" 289 7246 7264
type(
  PropList.name
)
ident(
  def nm "src/base/BaseEnv.ml" 289 7246 7265 "src/base/BaseEnv.ml" 293 7378 7393
)
"src/base/BaseEnv.ml" 289 7246 7265 "src/base/BaseEnv.ml" 289 7246 7268
type(
  definition_t
)
ident(
  def def "src/base/BaseEnv.ml" 289 7246 7269 "src/base/BaseEnv.ml" 293 7378 7393
)
"src/base/BaseEnv.ml" 289 7246 7269 "src/base/BaseEnv.ml" 289 7246 7270
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 290 7274 7287 "src/base/BaseEnv.ml" 290 7274 7290
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/base/BaseEnv.ml" 290 7274 7291 "src/base/BaseEnv.ml" 290 7274 7294
type(
  definition_t
)
ident(
  int_ref def "src/base/BaseEnv.ml" 289 7246 7265 "src/base/BaseEnv.ml" 289 7246 7268
)
"src/base/BaseEnv.ml" 290 7274 7291 "src/base/BaseEnv.ml" 290 7274 7299
type(
  bool
)
"src/base/BaseEnv.ml" 290 7274 7287 "src/base/BaseEnv.ml" 290 7274 7299
type(
  bool
)
"src/base/BaseEnv.ml" 290 7274 7300 "src/base/BaseEnv.ml" 290 7274 7302
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/base/BaseEnv.ml" 290 7274 7303 "src/base/BaseEnv.ml" 290 7274 7317
type(
  OASISTypes.unix_filename -> bool
)
ident(
  int_ref Stdlib.bool_of_string "stdlib.mli" 746 27737 27737 "stdlib.mli" 746 27737 27772
)
"src/base/BaseEnv.ml" 290 7274 7319 "src/base/BaseEnv.ml" 290 7274 7331
type(
  unit -> OASISTypes.unix_filename
)
ident(
  int_ref print_hidden "src/base/BaseEnv.ml" 276 7017 7021 "src/base/BaseEnv.ml" 276 7017 7033
)
"src/base/BaseEnv.ml" 290 7274 7332 "src/base/BaseEnv.ml" 290 7274 7334
type(
  unit
)
"src/base/BaseEnv.ml" 290 7274 7318 "src/base/BaseEnv.ml" 290 7274 7335
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 290 7274 7303 "src/base/BaseEnv.ml" 290 7274 7335
type(
  bool
)
"src/base/BaseEnv.ml" 290 7274 7287 "src/base/BaseEnv.ml" 290 7274 7335
type(
  bool
)
"src/base/BaseEnv.ml" 291 7341 7353 "src/base/BaseEnv.ml" 291 7341 7355
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 289 7246 7262 "src/base/BaseEnv.ml" 289 7246 7264
)
"src/base/BaseEnv.ml" 291 7341 7359 "src/base/BaseEnv.ml" 291 7341 7362
type(
  PropList.name list
)
ident(
  int_ref acc "src/base/BaseEnv.ml" 289 7246 7258 "src/base/BaseEnv.ml" 289 7246 7261
)
"src/base/BaseEnv.ml" 291 7341 7353 "src/base/BaseEnv.ml" 291 7341 7362
type(
  PropList.name list
)
"src/base/BaseEnv.ml" 293 7378 7390 "src/base/BaseEnv.ml" 293 7378 7393
type(
  PropList.name list
)
ident(
  int_ref acc "src/base/BaseEnv.ml" 289 7246 7258 "src/base/BaseEnv.ml" 289 7246 7261
)
"src/base/BaseEnv.ml" 290 7274 7284 "src/base/BaseEnv.ml" 293 7378 7393
type(
  PropList.name list
)
"src/base/BaseEnv.ml" 289 7246 7253 "src/base/BaseEnv.ml" 293 7378 7394
type(
  PropList.name list ->
  PropList.name ->
  definition_t -> (unit -> string) option -> PropList.name list
)
"src/base/BaseEnv.ml" 294 7395 7402 "src/base/BaseEnv.ml" 294 7395 7404
type(
  PropList.name list
)
"src/base/BaseEnv.ml" 295 7405 7412 "src/base/BaseEnv.ml" 295 7405 7418
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 288 7229 7233 "src/base/BaseEnv.ml" 295 7405 7419
type(
  PropList.name list
)
"src/base/BaseEnv.ml" 287 7218 7220 "src/base/BaseEnv.ml" 295 7405 7419
type(
  PropList.name list
)
"src/base/BaseEnv.ml" 298 7422 7426 "src/base/BaseEnv.ml" 298 7422 7442
type(
  OASISContext.source_filename
)
ident(
  def default_filename "src/base/BaseEnv.ml" 301 7470 7470 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 298 7422 7445 "src/base/BaseEnv.ml" 298 7422 7454
type(
  OASISUnixPath.unix_filename -> OASISContext.source_filename
)
ident(
  int_ref OASISContext.in_srcdir "src/oasis/OASISContext.mli" 38 1905 1905 "src/oasis/OASISContext.mli" 38 1905 1966
)
"src/base/BaseEnv.ml" 298 7422 7455 "src/base/BaseEnv.ml" 298 7422 7467
type(
  OASISUnixPath.unix_filename
)
"src/base/BaseEnv.ml" 298 7422 7445 "src/base/BaseEnv.ml" 298 7422 7467
type(
  OASISContext.source_filename
)
"src/base/BaseEnv.ml" 301 7470 7474 "src/base/BaseEnv.ml" 301 7470 7478
type(
  ctxt:OASISContext.t ->
  ?allow_empty:bool -> ?filename:OASISContext.source_filename -> unit -> unit
)
ident(
  def load "src/base/BaseEnv.ml" 328 8395 8395 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 301 7470 7480 "src/base/BaseEnv.ml" 301 7470 7484
type(
  OASISContext.t
)
ident(
  def ctxt "src/base/BaseEnv.ml" 301 7470 7485 "src/base/BaseEnv.ml" 325 8385 8392
)
"src/base/BaseEnv.ml" 301 7470 7487 "src/base/BaseEnv.ml" 301 7470 7498
type(
  bool
)
ident(
  def allow_empty "src/base/BaseEnv.ml" 301 7470 7506 "src/base/BaseEnv.ml" 325 8385 8392
)
"src/base/BaseEnv.ml" 301 7470 7499 "src/base/BaseEnv.ml" 301 7470 7504
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 301 7470 7499 "src/base/BaseEnv.ml" 301 7470 7504
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 301 7470 7499 "src/base/BaseEnv.ml" 301 7470 7504
)
"src/base/BaseEnv.ml" 301 7470 7508 "src/base/BaseEnv.ml" 301 7470 7516
type(
  OASISContext.source_filename
)
ident(
  def filename "src/base/BaseEnv.ml" 301 7470 7535 "src/base/BaseEnv.ml" 325 8385 8392
)
"src/base/BaseEnv.ml" 301 7470 7517 "src/base/BaseEnv.ml" 301 7470 7533
type(
  OASISContext.source_filename
)
ident(
  int_ref default_filename "src/base/BaseEnv.ml" 298 7422 7426 "src/base/BaseEnv.ml" 298 7422 7442
)
type(
  OASISContext.source_filename option
)
type(
  OASISContext.source_filename option
)
type(
  OASISContext.source_filename
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 301 7470 7517 "src/base/BaseEnv.ml" 301 7470 7533
)
type(
  OASISContext.source_filename
)
type(
  OASISContext.source_filename option
)
type(
  OASISContext.source_filename option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 301 7470 7517 "src/base/BaseEnv.ml" 301 7470 7533
)
"src/base/BaseEnv.ml" 301 7470 7535 "src/base/BaseEnv.ml" 301 7470 7537
type(
  unit
)
"src/base/BaseEnv.ml" 303 7570 7572 "src/base/BaseEnv.ml" 303 7570 7585
type(
  string MapString.t ref
)
ident(
  int_ref env_from_file "src/base/BaseEnv.ml" 65 2303 2307 "src/base/BaseEnv.ml" 65 2303 2320
)
"src/base/BaseEnv.ml" 303 7570 7586 "src/base/BaseEnv.ml" 303 7570 7588
type(
  string MapString.t ref -> string MapString.t -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/base/BaseEnv.ml" 304 7589 7597 "src/base/BaseEnv.ml" 304 7589 7610
type(
  string
)
ident(
  def repr_filename "src/base/BaseEnv.ml" 305 7655 7659 "src/base/BaseEnv.ml" 325 8385 8392
)
"src/base/BaseEnv.ml" 304 7589 7613 "src/base/BaseEnv.ml" 304 7589 7617
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseEnv.ml" 301 7470 7480 "src/base/BaseEnv.ml" 301 7470 7484
)
"src/base/BaseEnv.ml" 304 7589 7613 "src/base/BaseEnv.ml" 304 7589 7623
type(
  OASISContext.source OASISFileSystem.fs
)
"src/base/BaseEnv.ml" 304 7589 7613 "src/base/BaseEnv.ml" 304 7589 7642
type(
  OASISContext.source_filename -> string
)
"src/base/BaseEnv.ml" 304 7589 7643 "src/base/BaseEnv.ml" 304 7589 7651
type(
  OASISContext.source_filename
)
ident(
  int_ref filename "src/base/BaseEnv.ml" 301 7470 7508 "src/base/BaseEnv.ml" 301 7470 7516
)
"src/base/BaseEnv.ml" 304 7589 7613 "src/base/BaseEnv.ml" 304 7589 7651
type(
  string
)
"src/base/BaseEnv.ml" 305 7655 7662 "src/base/BaseEnv.ml" 305 7655 7666
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseEnv.ml" 301 7470 7480 "src/base/BaseEnv.ml" 301 7470 7484
)
"src/base/BaseEnv.ml" 305 7655 7662 "src/base/BaseEnv.ml" 305 7655 7672
type(
  OASISContext.source OASISFileSystem.fs
)
"src/base/BaseEnv.ml" 305 7655 7662 "src/base/BaseEnv.ml" 305 7655 7684
type(
  OASISContext.source_filename -> bool
)
"src/base/BaseEnv.ml" 305 7655 7685 "src/base/BaseEnv.ml" 305 7655 7693
type(
  OASISContext.source_filename
)
ident(
  int_ref filename "src/base/BaseEnv.ml" 301 7470 7508 "src/base/BaseEnv.ml" 301 7470 7516
)
"src/base/BaseEnv.ml" 305 7655 7662 "src/base/BaseEnv.ml" 305 7655 7693
type(
  bool
)
"src/base/BaseEnv.ml" 306 7705 7715 "src/base/BaseEnv.ml" 306 7705 7718
type(
  Buffer.t
)
ident(
  def buf "src/base/BaseEnv.ml" 307 7741 7747 "src/base/BaseEnv.ml" 317 8135 8151
)
"src/base/BaseEnv.ml" 306 7705 7721 "src/base/BaseEnv.ml" 306 7705 7734
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/base/BaseEnv.ml" 306 7705 7735 "src/base/BaseEnv.ml" 306 7705 7737
type(
  int
)
"src/base/BaseEnv.ml" 306 7705 7721 "src/base/BaseEnv.ml" 306 7705 7737
type(
  Buffer.t
)
"src/base/BaseEnv.ml" 307 7741 7747 "src/base/BaseEnv.ml" 307 7741 7758
type(
  OASISFileSystem.reader -> (OASISFileSystem.reader -> unit) -> unit
)
ident(
  int_ref OASISFileSystem.defer_close "src/oasis/OASISFileSystem.mli" 63 2560 2560 "src/oasis/OASISFileSystem.mli" 63 2560 2612
)
"src/base/BaseEnv.ml" 308 7759 7768 "src/base/BaseEnv.ml" 308 7759 7772
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseEnv.ml" 301 7470 7480 "src/base/BaseEnv.ml" 301 7470 7484
)
"src/base/BaseEnv.ml" 308 7759 7768 "src/base/BaseEnv.ml" 308 7759 7778
type(
  OASISContext.source OASISFileSystem.fs
)
"src/base/BaseEnv.ml" 308 7759 7768 "src/base/BaseEnv.ml" 308 7759 7786
type(
  ?mode:open_flag list ->
  ?perm:int -> OASISContext.source_filename -> OASISFileSystem.reader
)
"src/base/BaseEnv.ml" 308 7759 7793 "src/base/BaseEnv.ml" 308 7759 7802
type(
  open_flag list
)
ident(
  int_ref OASISFileSystem.binary_in "src/oasis/OASISFileSystem.mli" 66 2645 2645 "src/oasis/OASISFileSystem.mli" 66 2645 2674
)
type(
  open_flag list option
)
"src/base/BaseEnv.ml" 308 7759 7803 "src/base/BaseEnv.ml" 308 7759 7811
type(
  OASISContext.source_filename
)
ident(
  int_ref filename "src/base/BaseEnv.ml" 301 7470 7508 "src/base/BaseEnv.ml" 301 7470 7516
)
"src/base/BaseEnv.ml" 308 7759 7767 "src/base/BaseEnv.ml" 308 7759 7812
type(
  OASISFileSystem.reader
)
"src/base/BaseEnv.ml" 309 7813 7822 "src/base/BaseEnv.ml" 309 7813 7830
type(
  Buffer.t -> OASISFileSystem.reader -> unit
)
ident(
  int_ref OASISFileSystem.read_all "src/oasis/OASISFileSystem.mli" 70 2724 2724 "src/oasis/OASISFileSystem.mli" 70 2724 2765
)
"src/base/BaseEnv.ml" 309 7813 7831 "src/base/BaseEnv.ml" 309 7813 7834
type(
  Buffer.t
)
ident(
  int_ref buf "src/base/BaseEnv.ml" 306 7705 7715 "src/base/BaseEnv.ml" 306 7705 7718
)
"src/base/BaseEnv.ml" 309 7813 7821 "src/base/BaseEnv.ml" 309 7813 7835
type(
  OASISFileSystem.reader -> unit
)
"src/base/BaseEnv.ml" 307 7741 7747 "src/base/BaseEnv.ml" 309 7813 7835
type(
  unit
)
"src/base/BaseEnv.ml" 310 7837 7843 "src/base/BaseEnv.ml" 310 7837 7854
type(
  OASISFileSystem.reader ->
  (OASISFileSystem.reader -> BaseEnvLight.t) -> BaseEnvLight.t
)
ident(
  int_ref OASISFileSystem.defer_close "src/oasis/OASISFileSystem.mli" 63 2560 2560 "src/oasis/OASISFileSystem.mli" 63 2560 2612
)
"src/base/BaseEnv.ml" 311 7855 7864 "src/base/BaseEnv.ml" 311 7855 7868
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseEnv.ml" 301 7470 7480 "src/base/BaseEnv.ml" 301 7470 7484
)
"src/base/BaseEnv.ml" 311 7855 7864 "src/base/BaseEnv.ml" 311 7855 7874
type(
  OASISContext.source OASISFileSystem.fs
)
"src/base/BaseEnv.ml" 311 7855 7864 "src/base/BaseEnv.ml" 311 7855 7882
type(
  ?mode:open_flag list ->
  ?perm:int -> OASISContext.source_filename -> OASISFileSystem.reader
)
"src/base/BaseEnv.ml" 311 7855 7889 "src/base/BaseEnv.ml" 311 7855 7898
type(
  open_flag list
)
ident(
  int_ref OASISFileSystem.binary_in "src/oasis/OASISFileSystem.mli" 66 2645 2645 "src/oasis/OASISFileSystem.mli" 66 2645 2674
)
type(
  open_flag list option
)
"src/base/BaseEnv.ml" 311 7855 7899 "src/base/BaseEnv.ml" 311 7855 7907
type(
  OASISContext.source_filename
)
ident(
  int_ref filename "src/base/BaseEnv.ml" 301 7470 7508 "src/base/BaseEnv.ml" 301 7470 7516
)
"src/base/BaseEnv.ml" 311 7855 7863 "src/base/BaseEnv.ml" 311 7855 7908
type(
  OASISFileSystem.reader
)
"src/base/BaseEnv.ml" 312 7909 7922 "src/base/BaseEnv.ml" 312 7909 7925
type(
  OASISFileSystem.reader
)
ident(
  def rdr "src/base/BaseEnv.ml" 313 7929 7940 "src/base/BaseEnv.ml" 317 8135 8150
)
"src/base/BaseEnv.ml" 313 7929 7940 "src/base/BaseEnv.ml" 313 7929 7957
type(
  ctxt:OASISContext.t ->
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref OASISMessage.info "src/oasis/OASISMessage.mli" 49 2287 2287 "src/oasis/OASISMessage.mli" 49 2287 2358
)
"src/base/BaseEnv.ml" 313 7929 7959 "src/base/BaseEnv.ml" 313 7929 7963
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseEnv.ml" 301 7470 7480 "src/base/BaseEnv.ml" 301 7470 7484
)
"src/base/BaseEnv.ml" 313 7929 7964 "src/base/BaseEnv.ml" 313 7929 7994
type(
  (string -> unit, unit, string, unit) format4
)
"src/base/BaseEnv.ml" 313 7929 7995 "src/base/BaseEnv.ml" 313 7929 8008
type(
  string
)
ident(
  int_ref repr_filename "src/base/BaseEnv.ml" 304 7589 7597 "src/base/BaseEnv.ml" 304 7589 7610
)
"src/base/BaseEnv.ml" 313 7929 7940 "src/base/BaseEnv.ml" 313 7929 8008
type(
  unit
)
"src/base/BaseEnv.ml" 314 8010 8021 "src/base/BaseEnv.ml" 314 8010 8038
type(
  ?allow_empty:bool ->
  ?filename:string -> ?stream:char Stream.t -> unit -> BaseEnvLight.t
)
ident(
  int_ref BaseEnvLight.load "src/base/BaseEnvLight.mli" 46 2190 2190 "src/base/BaseEnvLight.mli" 51 2282 2285
)
"src/base/BaseEnv.ml" 314 8010 8040 "src/base/BaseEnv.ml" 314 8010 8051
type(
  bool
)
ident(
  int_ref allow_empty "src/base/BaseEnv.ml" 301 7470 7487 "src/base/BaseEnv.ml" 301 7470 7498
)
type(
  bool option
)
"src/base/BaseEnv.ml" 315 8052 8075 "src/base/BaseEnv.ml" 315 8052 8090
type(
  string
)
ident(
  int_ref repr_filename "src/base/BaseEnv.ml" 304 7589 7597 "src/base/BaseEnv.ml" 304 7589 7610
)
type(
  string option
)
"src/base/BaseEnv.ml" 316 8091 8113 "src/base/BaseEnv.ml" 316 8091 8129
type(
  OASISFileSystem.reader -> char Stream.t
)
ident(
  int_ref OASISFileSystem.stream_of_reader "src/oasis/OASISFileSystem.mli" 68 2676 2676 "src/oasis/OASISFileSystem.mli" 68 2676 2722
)
"src/base/BaseEnv.ml" 316 8091 8130 "src/base/BaseEnv.ml" 316 8091 8133
type(
  OASISFileSystem.reader
)
ident(
  int_ref rdr "src/base/BaseEnv.ml" 312 7909 7922 "src/base/BaseEnv.ml" 312 7909 7925
)
"src/base/BaseEnv.ml" 316 8091 8112 "src/base/BaseEnv.ml" 316 8091 8134
type(
  char Stream.t
)
type(
  char Stream.t option
)
"src/base/BaseEnv.ml" 317 8135 8148 "src/base/BaseEnv.ml" 317 8135 8150
type(
  unit
)
"src/base/BaseEnv.ml" 314 8010 8021 "src/base/BaseEnv.ml" 317 8135 8150
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 313 7929 7940 "src/base/BaseEnv.ml" 317 8135 8150
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 312 7909 7917 "src/base/BaseEnv.ml" 317 8135 8151
type(
  OASISFileSystem.reader -> BaseEnvLight.t
)
"src/base/BaseEnv.ml" 310 7837 7843 "src/base/BaseEnv.ml" 317 8135 8151
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 307 7741 7747 "src/base/BaseEnv.ml" 317 8135 8151
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 305 7655 7699 "src/base/BaseEnv.ml" 318 8152 8159
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 318 8152 8168 "src/base/BaseEnv.ml" 318 8152 8179
type(
  bool
)
ident(
  int_ref allow_empty "src/base/BaseEnv.ml" 301 7470 7487 "src/base/BaseEnv.ml" 301 7470 7498
)
"src/base/BaseEnv.ml" 318 8152 8185 "src/base/BaseEnv.ml" 320 8226 8233
type(
  string MapString.t
)
ident(
  int_ref BaseEnvLight.MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/base/BaseEnv.ml" 321 8245 8251 "src/base/BaseEnv.ml" 321 8245 8259
type(
  string -> string MapString.t
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/base/BaseEnv.ml" 322 8260 8269 "src/base/BaseEnv.ml" 322 8260 8283
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/base/BaseEnv.ml" 323 8284 8296 "src/base/BaseEnv.ml" 323 8284 8298
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/base/BaseEnv.ml" 323 8284 8299 "src/base/BaseEnv.ml" 323 8284 8357
type(
  (string -> string, unit, string, string) format4
)
"src/base/BaseEnv.ml" 323 8284 8295 "src/base/BaseEnv.ml" 323 8284 8358
type(
  (string -> string, unit, string, string) format4
)
"src/base/BaseEnv.ml" 324 8359 8370 "src/base/BaseEnv.ml" 324 8359 8383
type(
  string
)
ident(
  int_ref repr_filename "src/base/BaseEnv.ml" 304 7589 7597 "src/base/BaseEnv.ml" 304 7589 7610
)
"src/base/BaseEnv.ml" 322 8260 8268 "src/base/BaseEnv.ml" 324 8359 8384
type(
  string
)
"src/base/BaseEnv.ml" 320 8226 8239 "src/base/BaseEnv.ml" 325 8385 8392
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 318 8152 8165 "src/base/BaseEnv.ml" 325 8385 8392
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 305 7655 7659 "src/base/BaseEnv.ml" 325 8385 8392
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 304 7589 7593 "src/base/BaseEnv.ml" 325 8385 8392
type(
  BaseEnvLight.t
)
"src/base/BaseEnv.ml" 303 7570 7572 "src/base/BaseEnv.ml" 325 8385 8392
type(
  unit
)
"src/base/BaseEnv.ml" 302 7540 7542 "src/base/BaseEnv.ml" 325 8385 8392
type(
  unit
)
"src/base/BaseEnv.ml" 328 8395 8399 "src/base/BaseEnv.ml" 328 8395 8405
type(
  unit -> unit
)
ident(
  def unload "src/base/BaseEnv.ml" 333 8466 8466 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 328 8395 8406 "src/base/BaseEnv.ml" 328 8395 8408
type(
  unit
)
"src/base/BaseEnv.ml" 329 8411 8413 "src/base/BaseEnv.ml" 329 8411 8426
type(
  string MapString.t ref
)
ident(
  int_ref env_from_file "src/base/BaseEnv.ml" 65 2303 2307 "src/base/BaseEnv.ml" 65 2303 2320
)
"src/base/BaseEnv.ml" 329 8411 8427 "src/base/BaseEnv.ml" 329 8411 8429
type(
  string MapString.t ref -> string MapString.t -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/base/BaseEnv.ml" 329 8411 8430 "src/base/BaseEnv.ml" 329 8411 8445
type(
  string MapString.t
)
ident(
  int_ref MapString.empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/base/BaseEnv.ml" 329 8411 8413 "src/base/BaseEnv.ml" 329 8411 8445
type(
  unit
)
"src/base/BaseEnv.ml" 330 8447 8449 "src/base/BaseEnv.ml" 330 8447 8459
type(
  PropList.Data.t -> unit
)
ident(
  int_ref PropList.Data.clear "src/oasis/PropList.mli" 65 2357 2359 "src/oasis/PropList.mli" 65 2357 2379
)
"src/base/BaseEnv.ml" 330 8447 8460 "src/base/BaseEnv.ml" 330 8447 8463
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 330 8447 8449 "src/base/BaseEnv.ml" 330 8447 8463
type(
  unit
)
"src/base/BaseEnv.ml" 329 8411 8413 "src/base/BaseEnv.ml" 330 8447 8463
type(
  unit
)
"src/base/BaseEnv.ml" 333 8466 8470 "src/base/BaseEnv.ml" 333 8466 8474
type(
  ctxt:OASISContext.t ->
  ?filename:OASISContext.source_filename -> unit -> unit
)
ident(
  def dump "src/base/BaseEnv.ml" 360 9294 9294 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 333 8466 8476 "src/base/BaseEnv.ml" 333 8466 8480
type(
  OASISContext.t
)
ident(
  def ctxt "src/base/BaseEnv.ml" 333 8466 8481 "src/base/BaseEnv.ml" 358 9269 9292
)
"src/base/BaseEnv.ml" 333 8466 8483 "src/base/BaseEnv.ml" 333 8466 8491
type(
  OASISContext.source_filename
)
ident(
  def filename "src/base/BaseEnv.ml" 333 8466 8510 "src/base/BaseEnv.ml" 358 9269 9292
)
"src/base/BaseEnv.ml" 333 8466 8492 "src/base/BaseEnv.ml" 333 8466 8508
type(
  OASISContext.source_filename
)
ident(
  int_ref default_filename "src/base/BaseEnv.ml" 298 7422 7426 "src/base/BaseEnv.ml" 298 7422 7442
)
type(
  OASISContext.source_filename option
)
type(
  OASISContext.source_filename option
)
type(
  OASISContext.source_filename
)
ident(
  int_ref *sth* "src/base/BaseEnv.ml" 333 8466 8492 "src/base/BaseEnv.ml" 333 8466 8508
)
type(
  OASISContext.source_filename
)
type(
  OASISContext.source_filename option
)
type(
  OASISContext.source_filename option
)
ident(
  def *sth* "src/base/BaseEnv.ml" 333 8466 8492 "src/base/BaseEnv.ml" 333 8466 8508
)
"src/base/BaseEnv.ml" 333 8466 8510 "src/base/BaseEnv.ml" 333 8466 8512
type(
  unit
)
"src/base/BaseEnv.ml" 335 8545 8547 "src/base/BaseEnv.ml" 335 8545 8558
type(
  OASISFileSystem.writer -> (OASISFileSystem.writer -> unit) -> unit
)
ident(
  int_ref OASISFileSystem.defer_close "src/oasis/OASISFileSystem.mli" 63 2560 2560 "src/oasis/OASISFileSystem.mli" 63 2560 2612
)
"src/base/BaseEnv.ml" 336 8559 8564 "src/base/BaseEnv.ml" 336 8559 8568
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/base/BaseEnv.ml" 333 8466 8476 "src/base/BaseEnv.ml" 333 8466 8480
)
"src/base/BaseEnv.ml" 336 8559 8564 "src/base/BaseEnv.ml" 336 8559 8587
type(
  OASISContext.source OASISFileSystem.fs
)
"src/base/BaseEnv.ml" 336 8559 8564 "src/base/BaseEnv.ml" 336 8559 8596
type(
  ?mode:open_flag list ->
  ?perm:int -> OASISContext.source_filename -> OASISFileSystem.writer
)
"src/base/BaseEnv.ml" 336 8559 8603 "src/base/BaseEnv.ml" 336 8559 8613
type(
  open_flag list
)
ident(
  int_ref OASISFileSystem.binary_out "src/oasis/OASISFileSystem.mli" 65 2614 2614 "src/oasis/OASISFileSystem.mli" 65 2614 2644
)
type(
  open_flag list option
)
"src/base/BaseEnv.ml" 336 8559 8614 "src/base/BaseEnv.ml" 336 8559 8622
type(
  OASISContext.source_filename
)
ident(
  int_ref filename "src/base/BaseEnv.ml" 333 8466 8483 "src/base/BaseEnv.ml" 333 8466 8491
)
"src/base/BaseEnv.ml" 336 8559 8563 "src/base/BaseEnv.ml" 336 8559 8623
type(
  OASISFileSystem.writer
)
"src/base/BaseEnv.ml" 337 8624 8633 "src/base/BaseEnv.ml" 337 8624 8637
type(
  OASISFileSystem.writer
)
ident(
  def wrtr "src/base/BaseEnv.ml" 338 8641 8648 "src/base/BaseEnv.ml" 358 9269 9291
)
"src/base/BaseEnv.ml" 338 8641 8652 "src/base/BaseEnv.ml" 338 8641 8655
type(
  Buffer.t
)
ident(
  def buf "src/base/BaseEnv.ml" 339 8678 8685 "src/base/BaseEnv.ml" 358 9269 9291
)
"src/base/BaseEnv.ml" 338 8641 8658 "src/base/BaseEnv.ml" 338 8641 8671
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/base/BaseEnv.ml" 338 8641 8672 "src/base/BaseEnv.ml" 338 8641 8674
type(
  int
)
"src/base/BaseEnv.ml" 338 8641 8658 "src/base/BaseEnv.ml" 338 8641 8674
type(
  Buffer.t
)
"src/base/BaseEnv.ml" 339 8678 8689 "src/base/BaseEnv.ml" 339 8678 8695
type(
  string -> string -> unit
)
ident(
  def output "src/base/BaseEnv.ml" 342 8784 8791 "src/base/BaseEnv.ml" 358 9269 9291
)
"src/base/BaseEnv.ml" 339 8678 8696 "src/base/BaseEnv.ml" 339 8678 8698
type(
  string
)
ident(
  def nm "src/base/BaseEnv.ml" 339 8678 8699 "src/base/BaseEnv.ml" 340 8707 8773
)
"src/base/BaseEnv.ml" 339 8678 8699 "src/base/BaseEnv.ml" 339 8678 8704
type(
  string
)
ident(
  def value "src/base/BaseEnv.ml" 340 8707 8716 "src/base/BaseEnv.ml" 340 8707 8773
)
"src/base/BaseEnv.ml" 340 8707 8716 "src/base/BaseEnv.ml" 340 8707 8733
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/base/BaseEnv.ml" 340 8707 8734 "src/base/BaseEnv.ml" 340 8707 8737
type(
  Buffer.t
)
ident(
  int_ref buf "src/base/BaseEnv.ml" 338 8641 8652 "src/base/BaseEnv.ml" 338 8641 8655
)
"src/base/BaseEnv.ml" 340 8707 8739 "src/base/BaseEnv.ml" 340 8707 8753
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/base/BaseEnv.ml" 340 8707 8754 "src/base/BaseEnv.ml" 340 8707 8763
type(
  (string -> string -> string, unit, string) format
)
"src/base/BaseEnv.ml" 340 8707 8764 "src/base/BaseEnv.ml" 340 8707 8766
type(
  string
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 339 8678 8696 "src/base/BaseEnv.ml" 339 8678 8698
)
"src/base/BaseEnv.ml" 340 8707 8767 "src/base/BaseEnv.ml" 340 8707 8772
type(
  string
)
ident(
  int_ref value "src/base/BaseEnv.ml" 339 8678 8699 "src/base/BaseEnv.ml" 339 8678 8704
)
"src/base/BaseEnv.ml" 340 8707 8738 "src/base/BaseEnv.ml" 340 8707 8773
type(
  string
)
"src/base/BaseEnv.ml" 340 8707 8716 "src/base/BaseEnv.ml" 340 8707 8773
type(
  unit
)
"src/base/BaseEnv.ml" 342 8784 8795 "src/base/BaseEnv.ml" 342 8784 8802
type(
  string MapString.t
)
ident(
  def mp_todo "src/base/BaseEnv.ml" 357 9231 9238 "src/base/BaseEnv.ml" 358 9269 9291
)
"src/base/BaseEnv.ml" 344 8842 8851 "src/base/BaseEnv.ml" 344 8842 8862
type(
  (string MapString.t ->
   PropList.name ->
   definition_t -> (unit -> string) option -> string MapString.t) ->
  string MapString.t ->
  (origin_t, definition_t) PropList.Schema.t -> string MapString.t
)
ident(
  int_ref PropList.Schema.fold "src/oasis/PropList.mli" 105 3445 3447 "src/oasis/PropList.mli" 107 3516 3542
)
"src/base/BaseEnv.ml" 345 8863 8879 "src/base/BaseEnv.ml" 345 8863 8886
type(
  string MapString.t
)
ident(
  def mp_todo "src/base/BaseEnv.ml" 345 8863 8887 "src/base/BaseEnv.ml" 352 9085 9126
)
"src/base/BaseEnv.ml" 345 8863 8887 "src/base/BaseEnv.ml" 345 8863 8889
type(
  PropList.name
)
ident(
  def nm "src/base/BaseEnv.ml" 345 8863 8890 "src/base/BaseEnv.ml" 352 9085 9126
)
"src/base/BaseEnv.ml" 345 8863 8890 "src/base/BaseEnv.ml" 345 8863 8893
type(
  definition_t
)
ident(
  def def "src/base/BaseEnv.ml" 345 8863 8894 "src/base/BaseEnv.ml" 352 9085 9126
)
"src/base/BaseEnv.ml" 345 8863 8894 "src/base/BaseEnv.ml" 345 8863 8895
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 346 8899 8916 "src/base/BaseEnv.ml" 346 8899 8919
type(
  definition_t
)
ident(
  int_ref def "src/base/BaseEnv.ml" 345 8863 8890 "src/base/BaseEnv.ml" 345 8863 8893
)
"src/base/BaseEnv.ml" 346 8899 8916 "src/base/BaseEnv.ml" 346 8899 8924
type(
  bool
)
"src/base/BaseEnv.ml" 348 8956 8974 "src/base/BaseEnv.ml" 348 8956 8980
type(
  PropList.name -> string -> unit
)
ident(
  int_ref output "src/base/BaseEnv.ml" 339 8678 8689 "src/base/BaseEnv.ml" 339 8678 8695
)
"src/base/BaseEnv.ml" 348 8956 8981 "src/base/BaseEnv.ml" 348 8956 8983
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 345 8863 8887 "src/base/BaseEnv.ml" 345 8863 8889
)
"src/base/BaseEnv.ml" 348 8956 8985 "src/base/BaseEnv.ml" 348 8956 8995
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> string
)
ident(
  int_ref PropList.Schema.get "src/oasis/PropList.mli" 95 3064 3066 "src/oasis/PropList.mli" 95 3064 3113
)
"src/base/BaseEnv.ml" 348 8956 8996 "src/base/BaseEnv.ml" 348 8956 9002
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 348 8956 9003 "src/base/BaseEnv.ml" 348 8956 9006
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 348 8956 9007 "src/base/BaseEnv.ml" 348 8956 9009
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 345 8863 8887 "src/base/BaseEnv.ml" 345 8863 8889
)
"src/base/BaseEnv.ml" 348 8956 8984 "src/base/BaseEnv.ml" 348 8956 9010
type(
  string
)
"src/base/BaseEnv.ml" 348 8956 8974 "src/base/BaseEnv.ml" 348 8956 9010
type(
  unit
)
"src/base/BaseEnv.ml" 349 9011 9040 "src/base/BaseEnv.ml" 349 9011 9041
type(
  string option
)
type(
  PropList.name
)
"src/base/BaseEnv.ml" 349 9011 9032 "src/base/BaseEnv.ml" 349 9011 9041
type(
  exn
)
"src/base/BaseEnv.ml" 350 9045 9063 "src/base/BaseEnv.ml" 350 9045 9065
type(
  unit
)
"src/base/BaseEnv.ml" 346 8899 8930 "src/base/BaseEnv.ml" 351 9066 9083
type(
  unit
)
"src/base/BaseEnv.ml" 346 8899 8913 "src/base/BaseEnv.ml" 351 9066 9083
type(
  unit
)
"src/base/BaseEnv.ml" 352 9085 9099 "src/base/BaseEnv.ml" 352 9085 9115
type(
  MapString.key -> string MapString.t -> string MapString.t
)
ident(
  int_ref MapString.remove "map.mli" 111 4538 4542 "map.mli" 111 4538 4573
)
"src/base/BaseEnv.ml" 352 9085 9116 "src/base/BaseEnv.ml" 352 9085 9118
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 345 8863 8887 "src/base/BaseEnv.ml" 345 8863 8889
)
"src/base/BaseEnv.ml" 352 9085 9119 "src/base/BaseEnv.ml" 352 9085 9126
type(
  string MapString.t
)
ident(
  int_ref mp_todo "src/base/BaseEnv.ml" 345 8863 8879 "src/base/BaseEnv.ml" 345 8863 8886
)
"src/base/BaseEnv.ml" 352 9085 9099 "src/base/BaseEnv.ml" 352 9085 9126
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 346 8899 8913 "src/base/BaseEnv.ml" 352 9085 9126
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 345 8863 8874 "src/base/BaseEnv.ml" 352 9085 9127
type(
  string MapString.t ->
  PropList.name ->
  definition_t -> (unit -> string) option -> string MapString.t
)
"src/base/BaseEnv.ml" 353 9128 9139 "src/base/BaseEnv.ml" 353 9128 9140
type(
  string MapString.t ref -> string MapString.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseEnv.ml" 353 9128 9140 "src/base/BaseEnv.ml" 353 9128 9153
type(
  string MapString.t ref
)
ident(
  int_ref env_from_file "src/base/BaseEnv.ml" 65 2303 2307 "src/base/BaseEnv.ml" 65 2303 2320
)
"src/base/BaseEnv.ml" 353 9128 9139 "src/base/BaseEnv.ml" 353 9128 9153
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 354 9154 9165 "src/base/BaseEnv.ml" 354 9154 9171
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 344 8842 8851 "src/base/BaseEnv.ml" 354 9154 9171
type(
  string MapString.t
)
"src/base/BaseEnv.ml" 357 9231 9238 "src/base/BaseEnv.ml" 357 9231 9252
type(
  (MapString.key -> string -> unit) -> string MapString.t -> unit
)
ident(
  int_ref MapString.iter "map.mli" 154 6537 6541 "map.mli" 154 6537 6586
)
"src/base/BaseEnv.ml" 357 9231 9253 "src/base/BaseEnv.ml" 357 9231 9259
type(
  MapString.key -> string -> unit
)
ident(
  int_ref output "src/base/BaseEnv.ml" 339 8678 8689 "src/base/BaseEnv.ml" 339 8678 8695
)
"src/base/BaseEnv.ml" 357 9231 9260 "src/base/BaseEnv.ml" 357 9231 9267
type(
  string MapString.t
)
ident(
  int_ref mp_todo "src/base/BaseEnv.ml" 342 8784 8795 "src/base/BaseEnv.ml" 342 8784 8802
)
"src/base/BaseEnv.ml" 357 9231 9238 "src/base/BaseEnv.ml" 357 9231 9267
type(
  unit
)
"src/base/BaseEnv.ml" 358 9269 9276 "src/base/BaseEnv.ml" 358 9269 9280
type(
  OASISFileSystem.writer
)
ident(
  int_ref wrtr "src/base/BaseEnv.ml" 337 8624 8633 "src/base/BaseEnv.ml" 337 8624 8637
)
"src/base/BaseEnv.ml" 358 9269 9276 "src/base/BaseEnv.ml" 358 9269 9287
type(
  Buffer.t -> unit
)
"src/base/BaseEnv.ml" 358 9269 9288 "src/base/BaseEnv.ml" 358 9269 9291
type(
  Buffer.t
)
ident(
  int_ref buf "src/base/BaseEnv.ml" 338 8641 8652 "src/base/BaseEnv.ml" 338 8641 8655
)
"src/base/BaseEnv.ml" 358 9269 9276 "src/base/BaseEnv.ml" 358 9269 9291
type(
  unit
)
"src/base/BaseEnv.ml" 357 9231 9238 "src/base/BaseEnv.ml" 358 9269 9291
type(
  unit
)
"src/base/BaseEnv.ml" 342 8784 8791 "src/base/BaseEnv.ml" 358 9269 9291
type(
  unit
)
"src/base/BaseEnv.ml" 339 8678 8685 "src/base/BaseEnv.ml" 358 9269 9291
type(
  unit
)
"src/base/BaseEnv.ml" 338 8641 8648 "src/base/BaseEnv.ml" 358 9269 9291
type(
  unit
)
"src/base/BaseEnv.ml" 337 8624 8628 "src/base/BaseEnv.ml" 358 9269 9292
type(
  OASISFileSystem.writer -> unit
)
"src/base/BaseEnv.ml" 335 8545 8547 "src/base/BaseEnv.ml" 358 9269 9292
type(
  unit
)
"src/base/BaseEnv.ml" 334 8515 8517 "src/base/BaseEnv.ml" 358 9269 9292
type(
  unit
)
"src/base/BaseEnv.ml" 360 9294 9298 "src/base/BaseEnv.ml" 360 9294 9303
type(
  unit -> unit
)
ident(
  def print "src/base/BaseEnv.ml" 400 10350 10350 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 360 9294 9304 "src/base/BaseEnv.ml" 360 9294 9306
type(
  unit
)
"src/base/BaseEnv.ml" 361 9309 9315 "src/base/BaseEnv.ml" 361 9309 9329
type(
  (PropList.name * string) list
)
ident(
  def printable_vars "src/base/BaseEnv.ml" 382 9856 9858 "src/base/BaseEnv.ml" 397 10325 10347
)
"src/base/BaseEnv.ml" 362 9332 9336 "src/base/BaseEnv.ml" 362 9332 9347
type(
  ((PropList.name * string) list ->
   PropList.name ->
   definition_t -> (unit -> string) option -> (PropList.name * string) list) ->
  (PropList.name * string) list ->
  (origin_t, definition_t) PropList.Schema.t -> (PropList.name * string) list
)
ident(
  int_ref PropList.Schema.fold "src/oasis/PropList.mli" 105 3445 3447 "src/oasis/PropList.mli" 107 3516 3542
)
"src/base/BaseEnv.ml" 363 9348 9359 "src/base/BaseEnv.ml" 363 9348 9362
type(
  (PropList.name * string) list
)
ident(
  def acc "src/base/BaseEnv.ml" 363 9348 9363 "src/base/BaseEnv.ml" 378 9813 9827
)
"src/base/BaseEnv.ml" 363 9348 9363 "src/base/BaseEnv.ml" 363 9348 9365
type(
  PropList.name
)
ident(
  def nm "src/base/BaseEnv.ml" 363 9348 9366 "src/base/BaseEnv.ml" 378 9813 9827
)
"src/base/BaseEnv.ml" 363 9348 9366 "src/base/BaseEnv.ml" 363 9348 9369
type(
  definition_t
)
ident(
  def def "src/base/BaseEnv.ml" 363 9348 9370 "src/base/BaseEnv.ml" 378 9813 9827
)
"src/base/BaseEnv.ml" 363 9348 9370 "src/base/BaseEnv.ml" 363 9348 9385
type(
  (unit -> string) option
)
ident(
  def short_descr_opt "src/base/BaseEnv.ml" 364 9389 9398 "src/base/BaseEnv.ml" 378 9813 9827
)
"src/base/BaseEnv.ml" 364 9389 9401 "src/base/BaseEnv.ml" 364 9389 9404
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/base/BaseEnv.ml" 364 9389 9405 "src/base/BaseEnv.ml" 364 9389 9408
type(
  definition_t
)
ident(
  int_ref def "src/base/BaseEnv.ml" 363 9348 9366 "src/base/BaseEnv.ml" 363 9348 9369
)
"src/base/BaseEnv.ml" 364 9389 9405 "src/base/BaseEnv.ml" 364 9389 9413
type(
  bool
)
"src/base/BaseEnv.ml" 364 9389 9401 "src/base/BaseEnv.ml" 364 9389 9413
type(
  bool
)
"src/base/BaseEnv.ml" 364 9389 9414 "src/base/BaseEnv.ml" 364 9389 9416
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/base/BaseEnv.ml" 364 9389 9417 "src/base/BaseEnv.ml" 364 9389 9431
type(
  OASISTypes.unix_filename -> bool
)
ident(
  int_ref Stdlib.bool_of_string "stdlib.mli" 746 27737 27737 "stdlib.mli" 746 27737 27772
)
"src/base/BaseEnv.ml" 364 9389 9433 "src/base/BaseEnv.ml" 364 9389 9445
type(
  unit -> OASISTypes.unix_filename
)
ident(
  int_ref print_hidden "src/base/BaseEnv.ml" 276 7017 7021 "src/base/BaseEnv.ml" 276 7017 7033
)
"src/base/BaseEnv.ml" 364 9389 9446 "src/base/BaseEnv.ml" 364 9389 9448
type(
  unit
)
"src/base/BaseEnv.ml" 364 9389 9432 "src/base/BaseEnv.ml" 364 9389 9449
type(
  OASISTypes.unix_filename
)
"src/base/BaseEnv.ml" 364 9389 9417 "src/base/BaseEnv.ml" 364 9389 9449
type(
  bool
)
"src/base/BaseEnv.ml" 364 9389 9401 "src/base/BaseEnv.ml" 364 9389 9449
type(
  bool
)
"src/base/BaseEnv.ml" 367 9489 9508 "src/base/BaseEnv.ml" 367 9489 9513
type(
  string
)
ident(
  def value "src/base/BaseEnv.ml" 368 9544 9559 "src/base/BaseEnv.ml" 373 9699 9733
)
"src/base/BaseEnv.ml" 367 9489 9516 "src/base/BaseEnv.ml" 367 9489 9526
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> string
)
ident(
  int_ref PropList.Schema.get "src/oasis/PropList.mli" 95 3064 3066 "src/oasis/PropList.mli" 95 3064 3113
)
"src/base/BaseEnv.ml" 367 9489 9527 "src/base/BaseEnv.ml" 367 9489 9533
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 367 9489 9534 "src/base/BaseEnv.ml" 367 9489 9537
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 367 9489 9538 "src/base/BaseEnv.ml" 367 9489 9540
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 363 9348 9363 "src/base/BaseEnv.ml" 363 9348 9365
)
"src/base/BaseEnv.ml" 367 9489 9516 "src/base/BaseEnv.ml" 367 9489 9540
type(
  string
)
"src/base/BaseEnv.ml" 368 9544 9563 "src/base/BaseEnv.ml" 368 9544 9566
type(
  PropList.name
)
ident(
  def txt "src/base/BaseEnv.ml" 373 9699 9714 "src/base/BaseEnv.ml" 373 9699 9733
)
"src/base/BaseEnv.ml" 369 9569 9592 "src/base/BaseEnv.ml" 369 9569 9607
type(
  (unit -> string) option
)
ident(
  int_ref short_descr_opt "src/base/BaseEnv.ml" 363 9348 9370 "src/base/BaseEnv.ml" 363 9348 9385
)
"src/base/BaseEnv.ml" 370 9613 9639 "src/base/BaseEnv.ml" 370 9613 9640
type(
  unit -> string
)
ident(
  def s "src/base/BaseEnv.ml" 370 9613 9644 "src/base/BaseEnv.ml" 370 9613 9648
)
"src/base/BaseEnv.ml" 370 9613 9634 "src/base/BaseEnv.ml" 370 9613 9640
type(
  (unit -> string) option
)
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 370 9613 9644 "src/base/BaseEnv.ml" 370 9613 9645
type(
  unit -> PropList.name
)
ident(
  int_ref s "src/base/BaseEnv.ml" 370 9613 9639 "src/base/BaseEnv.ml" 370 9613 9640
)
"src/base/BaseEnv.ml" 370 9613 9646 "src/base/BaseEnv.ml" 370 9613 9648
type(
  unit
)
"src/base/BaseEnv.ml" 370 9613 9644 "src/base/BaseEnv.ml" 370 9613 9648
type(
  PropList.name
)
"src/base/BaseEnv.ml" 371 9649 9670 "src/base/BaseEnv.ml" 371 9649 9674
type(
  (unit -> string) option
)
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 371 9649 9678 "src/base/BaseEnv.ml" 371 9649 9680
type(
  PropList.name
)
ident(
  int_ref nm "src/base/BaseEnv.ml" 363 9348 9363 "src/base/BaseEnv.ml" 363 9348 9365
)
"src/base/BaseEnv.ml" 369 9569 9586 "src/base/BaseEnv.ml" 371 9649 9680
type(
  PropList.name
)
"src/base/BaseEnv.ml" 373 9699 9715 "src/base/BaseEnv.ml" 373 9699 9718
type(
  PropList.name
)
ident(
  int_ref txt "src/base/BaseEnv.ml" 368 9544 9563 "src/base/BaseEnv.ml" 368 9544 9566
)
"src/base/BaseEnv.ml" 373 9699 9720 "src/base/BaseEnv.ml" 373 9699 9725
type(
  string
)
ident(
  int_ref value "src/base/BaseEnv.ml" 367 9489 9508 "src/base/BaseEnv.ml" 367 9489 9513
)
"src/base/BaseEnv.ml" 373 9699 9714 "src/base/BaseEnv.ml" 373 9699 9726
type(
  PropList.name * string
)
"src/base/BaseEnv.ml" 373 9699 9730 "src/base/BaseEnv.ml" 373 9699 9733
type(
  (PropList.name * string) list
)
ident(
  int_ref acc "src/base/BaseEnv.ml" 363 9348 9359 "src/base/BaseEnv.ml" 363 9348 9362
)
"src/base/BaseEnv.ml" 373 9699 9714 "src/base/BaseEnv.ml" 373 9699 9733
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 368 9544 9559 "src/base/BaseEnv.ml" 373 9699 9733
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 367 9489 9504 "src/base/BaseEnv.ml" 373 9699 9733
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 374 9734 9760 "src/base/BaseEnv.ml" 374 9734 9761
type(
  string option
)
type(
  PropList.name
)
"src/base/BaseEnv.ml" 374 9734 9752 "src/base/BaseEnv.ml" 374 9734 9761
type(
  exn
)
"src/base/BaseEnv.ml" 375 9765 9780 "src/base/BaseEnv.ml" 375 9765 9783
type(
  (PropList.name * string) list
)
ident(
  int_ref acc "src/base/BaseEnv.ml" 363 9348 9359 "src/base/BaseEnv.ml" 363 9348 9362
)
"src/base/BaseEnv.ml" 365 9455 9466 "src/base/BaseEnv.ml" 376 9784 9798
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 378 9813 9824 "src/base/BaseEnv.ml" 378 9813 9827
type(
  (PropList.name * string) list
)
ident(
  int_ref acc "src/base/BaseEnv.ml" 363 9348 9359 "src/base/BaseEnv.ml" 363 9348 9362
)
"src/base/BaseEnv.ml" 364 9389 9398 "src/base/BaseEnv.ml" 378 9813 9827
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 363 9348 9354 "src/base/BaseEnv.ml" 378 9813 9828
type(
  (PropList.name * string) list ->
  PropList.name ->
  definition_t -> (unit -> string) option -> (PropList.name * string) list
)
"src/base/BaseEnv.ml" 379 9829 9835 "src/base/BaseEnv.ml" 379 9829 9837
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 380 9838 9844 "src/base/BaseEnv.ml" 380 9838 9850
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 362 9332 9336 "src/base/BaseEnv.ml" 380 9838 9850
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 382 9856 9862 "src/base/BaseEnv.ml" 382 9856 9872
type(
  int
)
ident(
  def max_length "src/base/BaseEnv.ml" 387 9983 9985 "src/base/BaseEnv.ml" 397 10325 10347
)
"src/base/BaseEnv.ml" 383 9875 9879 "src/base/BaseEnv.ml" 383 9875 9893
type(
  (int -> int -> int) -> int -> int list -> int
)
ident(
  int_ref Stdlib.List.fold_left "list.mli" 211 7387 7387 "list.mli" 211 7387 7442
)
"src/base/BaseEnv.ml" 383 9875 9894 "src/base/BaseEnv.ml" 383 9875 9897
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.max "stdlib.mli" 186 7963 7963 "stdlib.mli" 186 7963 7987
)
"src/base/BaseEnv.ml" 383 9875 9898 "src/base/BaseEnv.ml" 383 9875 9899
type(
  int
)
"src/base/BaseEnv.ml" 384 9900 9907 "src/base/BaseEnv.ml" 384 9900 9919
type(
  (PropList.name -> int) -> PropList.name list -> int list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/base/BaseEnv.ml" 384 9900 9920 "src/base/BaseEnv.ml" 384 9900 9933
type(
  PropList.name -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/base/BaseEnv.ml" 385 9934 9944 "src/base/BaseEnv.ml" 385 9934 9956
type(
  (PropList.name * string -> PropList.name) ->
  (PropList.name * string) list -> PropList.name list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/base/BaseEnv.ml" 385 9934 9957 "src/base/BaseEnv.ml" 385 9934 9960
type(
  PropList.name * string -> PropList.name
)
ident(
  int_ref Stdlib.fst "stdlib.mli" 814 30361 30361 "stdlib.mli" 814 30361 30401
)
"src/base/BaseEnv.ml" 385 9934 9961 "src/base/BaseEnv.ml" 385 9934 9975
type(
  (PropList.name * string) list
)
ident(
  int_ref printable_vars "src/base/BaseEnv.ml" 361 9309 9315 "src/base/BaseEnv.ml" 361 9309 9329
)
"src/base/BaseEnv.ml" 385 9934 9943 "src/base/BaseEnv.ml" 385 9934 9976
type(
  PropList.name list
)
"src/base/BaseEnv.ml" 384 9900 9906 "src/base/BaseEnv.ml" 385 9934 9977
type(
  int list
)
"src/base/BaseEnv.ml" 383 9875 9879 "src/base/BaseEnv.ml" 385 9934 9977
type(
  int
)
"src/base/BaseEnv.ml" 387 9983 9989 "src/base/BaseEnv.ml" 387 9983 9996
type(
  string -> string
)
ident(
  def dot_pad "src/base/BaseEnv.ml" 388 10063 10065 "src/base/BaseEnv.ml" 397 10325 10347
)
"src/base/BaseEnv.ml" 387 9983 9997 "src/base/BaseEnv.ml" 387 9983 10000
type(
  string
)
ident(
  def str "src/base/BaseEnv.ml" 387 9983 10003 "src/base/BaseEnv.ml" 387 9983 10059
)
"src/base/BaseEnv.ml" 387 9983 10003 "src/base/BaseEnv.ml" 387 9983 10014
type(
  int -> char -> string
)
ident(
  int_ref Stdlib.String.make "string.mli" 85 3764 3764 "string.mli" 85 3764 3796
)
"src/base/BaseEnv.ml" 387 9983 10017 "src/base/BaseEnv.ml" 387 9983 10027
type(
  int
)
ident(
  int_ref max_length "src/base/BaseEnv.ml" 382 9856 9862 "src/base/BaseEnv.ml" 382 9856 9872
)
"src/base/BaseEnv.ml" 387 9983 10028 "src/base/BaseEnv.ml" 387 9983 10029
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/base/BaseEnv.ml" 387 9983 10031 "src/base/BaseEnv.ml" 387 9983 10044
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/base/BaseEnv.ml" 387 9983 10045 "src/base/BaseEnv.ml" 387 9983 10048
type(
  string
)
ident(
  int_ref str "src/base/BaseEnv.ml" 387 9983 9997 "src/base/BaseEnv.ml" 387 9983 10000
)
"src/base/BaseEnv.ml" 387 9983 10030 "src/base/BaseEnv.ml" 387 9983 10049
type(
  int
)
"src/base/BaseEnv.ml" 387 9983 10016 "src/base/BaseEnv.ml" 387 9983 10050
type(
  int
)
"src/base/BaseEnv.ml" 387 9983 10051 "src/base/BaseEnv.ml" 387 9983 10052
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/base/BaseEnv.ml" 387 9983 10053 "src/base/BaseEnv.ml" 387 9983 10054
type(
  int
)
"src/base/BaseEnv.ml" 387 9983 10015 "src/base/BaseEnv.ml" 387 9983 10055
type(
  int
)
"src/base/BaseEnv.ml" 387 9983 10056 "src/base/BaseEnv.ml" 387 9983 10059
type(
  char
)
"src/base/BaseEnv.ml" 387 9983 10003 "src/base/BaseEnv.ml" 387 9983 10059
type(
  string
)
"src/base/BaseEnv.ml" 388 10063 10065 "src/base/BaseEnv.ml" 388 10063 10078
type(
  (unit, out_channel, unit) format -> unit
)
ident(
  int_ref Stdlib.Printf.printf "printf.mli" 129 6889 6889 "printf.mli" 129 6889 6938
)
"src/base/BaseEnv.ml" 388 10063 10079 "src/base/BaseEnv.ml" 388 10063 10099
type(
  (unit, out_channel, unit) format
)
"src/base/BaseEnv.ml" 388 10063 10065 "src/base/BaseEnv.ml" 388 10063 10099
type(
  unit
)
"src/base/BaseEnv.ml" 389 10101 10103 "src/base/BaseEnv.ml" 389 10101 10112
type(
  (PropList.name * string -> unit) -> (PropList.name * string) list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/base/BaseEnv.ml" 390 10113 10123 "src/base/BaseEnv.ml" 390 10113 10127
type(
  PropList.name
)
ident(
  def name "src/base/BaseEnv.ml" 391 10139 10146 "src/base/BaseEnv.ml" 395 10256 10292
)
"src/base/BaseEnv.ml" 390 10113 10129 "src/base/BaseEnv.ml" 390 10113 10134
type(
  string
)
ident(
  def value "src/base/BaseEnv.ml" 391 10139 10146 "src/base/BaseEnv.ml" 395 10256 10292
)
"src/base/BaseEnv.ml" 390 10113 10122 "src/base/BaseEnv.ml" 390 10113 10135
type(
  PropList.name * string
)
"src/base/BaseEnv.ml" 391 10139 10146 "src/base/BaseEnv.ml" 391 10139 10159
type(
  (PropList.name -> string -> unit, out_channel, unit) format ->
  PropList.name -> string -> unit
)
ident(
  int_ref Stdlib.Printf.printf "printf.mli" 129 6889 6889 "printf.mli" 129 6889 6938
)
"src/base/BaseEnv.ml" 391 10139 10160 "src/base/BaseEnv.ml" 391 10139 10168
type(
  (PropList.name -> string -> unit, out_channel, unit) format
)
"src/base/BaseEnv.ml" 391 10139 10169 "src/base/BaseEnv.ml" 391 10139 10173
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 390 10113 10123 "src/base/BaseEnv.ml" 390 10113 10127
)
"src/base/BaseEnv.ml" 391 10139 10175 "src/base/BaseEnv.ml" 391 10139 10182
type(
  PropList.name -> string
)
ident(
  int_ref dot_pad "src/base/BaseEnv.ml" 387 9983 9989 "src/base/BaseEnv.ml" 387 9983 9996
)
"src/base/BaseEnv.ml" 391 10139 10183 "src/base/BaseEnv.ml" 391 10139 10187
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 390 10113 10123 "src/base/BaseEnv.ml" 390 10113 10127
)
"src/base/BaseEnv.ml" 391 10139 10174 "src/base/BaseEnv.ml" 391 10139 10188
type(
  string
)
"src/base/BaseEnv.ml" 391 10139 10146 "src/base/BaseEnv.ml" 391 10139 10188
type(
  unit
)
"src/base/BaseEnv.ml" 392 10190 10200 "src/base/BaseEnv.ml" 392 10190 10205
type(
  string
)
ident(
  int_ref value "src/base/BaseEnv.ml" 390 10113 10129 "src/base/BaseEnv.ml" 390 10113 10134
)
"src/base/BaseEnv.ml" 392 10190 10206 "src/base/BaseEnv.ml" 392 10190 10207
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/base/BaseEnv.ml" 392 10190 10208 "src/base/BaseEnv.ml" 392 10190 10210
type(
  string
)
"src/base/BaseEnv.ml" 392 10190 10200 "src/base/BaseEnv.ml" 392 10190 10210
type(
  bool
)
"src/base/BaseEnv.ml" 393 10216 10225 "src/base/BaseEnv.ml" 393 10216 10238
type(
  (unit, out_channel, unit) format -> unit
)
ident(
  int_ref Stdlib.Printf.printf "printf.mli" 129 6889 6889 "printf.mli" 129 6889 6938
)
"src/base/BaseEnv.ml" 393 10216 10239 "src/base/BaseEnv.ml" 393 10216 10243
type(
  (unit, out_channel, unit) format
)
"src/base/BaseEnv.ml" 393 10216 10225 "src/base/BaseEnv.ml" 393 10216 10243
type(
  unit
)
"src/base/BaseEnv.ml" 395 10256 10265 "src/base/BaseEnv.ml" 395 10256 10278
type(
  (string -> unit, out_channel, unit) format -> string -> unit
)
ident(
  int_ref Stdlib.Printf.printf "printf.mli" 129 6889 6889 "printf.mli" 129 6889 6938
)
"src/base/BaseEnv.ml" 395 10256 10279 "src/base/BaseEnv.ml" 395 10256 10286
type(
  (string -> unit, out_channel, unit) format
)
"src/base/BaseEnv.ml" 395 10256 10287 "src/base/BaseEnv.ml" 395 10256 10292
type(
  string
)
ident(
  int_ref value "src/base/BaseEnv.ml" 390 10113 10129 "src/base/BaseEnv.ml" 390 10113 10134
)
"src/base/BaseEnv.ml" 395 10256 10265 "src/base/BaseEnv.ml" 395 10256 10292
type(
  unit
)
"src/base/BaseEnv.ml" 392 10190 10197 "src/base/BaseEnv.ml" 395 10256 10292
type(
  unit
)
"src/base/BaseEnv.ml" 391 10139 10146 "src/base/BaseEnv.ml" 395 10256 10292
type(
  unit
)
"src/base/BaseEnv.ml" 390 10113 10117 "src/base/BaseEnv.ml" 395 10256 10293
type(
  PropList.name * string -> unit
)
"src/base/BaseEnv.ml" 396 10294 10299 "src/base/BaseEnv.ml" 396 10294 10307
type(
  (PropList.name * string) list -> (PropList.name * string) list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/base/BaseEnv.ml" 396 10294 10308 "src/base/BaseEnv.ml" 396 10294 10322
type(
  (PropList.name * string) list
)
ident(
  int_ref printable_vars "src/base/BaseEnv.ml" 361 9309 9315 "src/base/BaseEnv.ml" 361 9309 9329
)
"src/base/BaseEnv.ml" 396 10294 10298 "src/base/BaseEnv.ml" 396 10294 10323
type(
  (PropList.name * string) list
)
"src/base/BaseEnv.ml" 389 10101 10103 "src/base/BaseEnv.ml" 396 10294 10323
type(
  unit
)
"src/base/BaseEnv.ml" 397 10325 10327 "src/base/BaseEnv.ml" 397 10325 10340
type(
  (unit, out_channel, unit) format -> unit
)
ident(
  int_ref Stdlib.Printf.printf "printf.mli" 129 6889 6889 "printf.mli" 129 6889 6938
)
"src/base/BaseEnv.ml" 397 10325 10341 "src/base/BaseEnv.ml" 397 10325 10347
type(
  (unit, out_channel, unit) format
)
"src/base/BaseEnv.ml" 397 10325 10327 "src/base/BaseEnv.ml" 397 10325 10347
type(
  unit
)
"src/base/BaseEnv.ml" 389 10101 10103 "src/base/BaseEnv.ml" 397 10325 10347
type(
  unit
)
"src/base/BaseEnv.ml" 388 10063 10065 "src/base/BaseEnv.ml" 397 10325 10347
type(
  unit
)
"src/base/BaseEnv.ml" 387 9983 9985 "src/base/BaseEnv.ml" 397 10325 10347
type(
  unit
)
"src/base/BaseEnv.ml" 382 9856 9858 "src/base/BaseEnv.ml" 397 10325 10347
type(
  unit
)
"src/base/BaseEnv.ml" 361 9309 9311 "src/base/BaseEnv.ml" 397 10325 10347
type(
  unit
)
"src/base/BaseEnv.ml" 400 10350 10354 "src/base/BaseEnv.ml" 400 10350 10358
type(
  unit -> (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  def args "src/base/BaseEnv.ml" 504 13153 13169 "src/base/BaseEnv.ml" 0 0 -1
)
"src/base/BaseEnv.ml" 400 10350 10359 "src/base/BaseEnv.ml" 400 10350 10361
type(
  unit
)
"src/base/BaseEnv.ml" 401 10364 10370 "src/base/BaseEnv.ml" 401 10364 10380
type(
  string -> string -> string
)
ident(
  def arg_concat "src/base/BaseEnv.ml" 402 10424 10426 "src/base/BaseEnv.ml" 504 13153 13169
)
"src/base/BaseEnv.ml" 401 10364 10383 "src/base/BaseEnv.ml" 401 10364 10408
type(
  ?hyphen:char -> string -> string -> string
)
ident(
  int_ref OASISUtils.varname_concat "src/oasis/OASISUtils.mli" 104 3336 3336 "src/oasis/OASISUtils.mli" 104 3336 3398
)
"src/base/BaseEnv.ml" 401 10364 10417 "src/base/BaseEnv.ml" 401 10364 10420
type(
  char
)
type(
  char option
)
"src/base/BaseEnv.ml" 401 10364 10383 "src/base/BaseEnv.ml" 401 10364 10420
type(
  string -> string -> string
)
"src/base/BaseEnv.ml" 403 10428 10432 "src/base/BaseEnv.ml" 403 10428 10444
type(
  Arg.key
)
"src/base/BaseEnv.ml" 406 10468 10480 "src/base/BaseEnv.ml" 406 10468 10483
type(
  string ref
)
ident(
  def rvr "src/base/BaseEnv.ml" 408 10504 10512 "src/base/BaseEnv.ml" 421 10807 10816
)
"src/base/BaseEnv.ml" 406 10468 10486 "src/base/BaseEnv.ml" 406 10468 10489
type(
  string -> string ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/base/BaseEnv.ml" 406 10468 10490 "src/base/BaseEnv.ml" 406 10468 10492
type(
  string
)
"src/base/BaseEnv.ml" 406 10468 10486 "src/base/BaseEnv.ml" 406 10468 10492
type(
  string ref
)
"src/base/BaseEnv.ml" 408 10504 10516 "src/base/BaseEnv.ml" 408 10504 10519
type(
  string ref
)
ident(
  def rvl "src/base/BaseEnv.ml" 410 10540 10548 "src/base/BaseEnv.ml" 421 10807 10816
)
"src/base/BaseEnv.ml" 408 10504 10522 "src/base/BaseEnv.ml" 408 10504 10525
type(
  string -> string ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/base/BaseEnv.ml" 408 10504 10526 "src/base/BaseEnv.ml" 408 10504 10528
type(
  string
)
"src/base/BaseEnv.ml" 408 10504 10522 "src/base/BaseEnv.ml" 408 10504 10528
type(
  string ref
)
"src/base/BaseEnv.ml" 411 10550 10575 "src/base/BaseEnv.ml" 411 10550 10578
type(
  string ref
)
ident(
  int_ref rvr "src/base/BaseEnv.ml" 406 10468 10480 "src/base/BaseEnv.ml" 406 10468 10483
)
"src/base/BaseEnv.ml" 411 10550 10560 "src/base/BaseEnv.ml" 411 10550 10578
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 412 10580 10605 "src/base/BaseEnv.ml" 412 10580 10608
type(
  string ref
)
ident(
  int_ref rvl "src/base/BaseEnv.ml" 408 10504 10516 "src/base/BaseEnv.ml" 408 10504 10519
)
"src/base/BaseEnv.ml" 412 10580 10590 "src/base/BaseEnv.ml" 412 10580 10608
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 414 10629 10646 "src/base/BaseEnv.ml" 414 10629 10648
type(
  unit
)
"src/base/BaseEnv.ml" 415 10652 10667 "src/base/BaseEnv.ml" 415 10652 10677
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> ?context:origin_t -> string -> unit
)
ident(
  int_ref PropList.Schema.set "src/oasis/PropList.mli" 100 3254 3256 "src/oasis/PropList.mli" 100 3254 3326
)
"src/base/BaseEnv.ml" 416 10678 10695 "src/base/BaseEnv.ml" 416 10678 10701
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 417 10702 10719 "src/base/BaseEnv.ml" 417 10702 10722
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 418 10723 10749 "src/base/BaseEnv.ml" 418 10723 10761
type(
  origin_t
)
type(
  origin_t option
)
"src/base/BaseEnv.ml" 419 10762 10779 "src/base/BaseEnv.ml" 419 10762 10780
type(
  PropList.name ref -> PropList.name
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseEnv.ml" 419 10762 10780 "src/base/BaseEnv.ml" 419 10762 10783
type(
  PropList.name ref
)
ident(
  int_ref rvr "src/base/BaseEnv.ml" 406 10468 10480 "src/base/BaseEnv.ml" 406 10468 10483
)
"src/base/BaseEnv.ml" 419 10762 10779 "src/base/BaseEnv.ml" 419 10762 10783
type(
  PropList.name
)
"src/base/BaseEnv.ml" 420 10784 10801 "src/base/BaseEnv.ml" 420 10784 10802
type(
  string ref -> string
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/base/BaseEnv.ml" 420 10784 10802 "src/base/BaseEnv.ml" 420 10784 10805
type(
  string ref
)
ident(
  int_ref rvl "src/base/BaseEnv.ml" 408 10504 10516 "src/base/BaseEnv.ml" 408 10504 10519
)
"src/base/BaseEnv.ml" 420 10784 10801 "src/base/BaseEnv.ml" 420 10784 10805
type(
  string
)
"src/base/BaseEnv.ml" 415 10652 10667 "src/base/BaseEnv.ml" 420 10784 10805
type(
  unit
)
"src/base/BaseEnv.ml" 414 10629 10641 "src/base/BaseEnv.ml" 420 10784 10806
type(
  unit -> unit
)
"src/base/BaseEnv.ml" 413 10610 10620 "src/base/BaseEnv.ml" 420 10784 10806
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 410 10540 10548 "src/base/BaseEnv.ml" 421 10807 10816
type(
  Arg.spec list
)
"src/base/BaseEnv.ml" 408 10504 10512 "src/base/BaseEnv.ml" 421 10807 10816
type(
  Arg.spec list
)
"src/base/BaseEnv.ml" 405 10460 10466 "src/base/BaseEnv.ml" 422 10817 10824
type(
  Arg.spec list
)
"src/base/BaseEnv.ml" 404 10446 10450 "src/base/BaseEnv.ml" 422 10817 10824
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 423 10826 10830 "src/base/BaseEnv.ml" 423 10826 10877
type(
  Arg.doc
)
"src/base/BaseEnv.ml" 403 10428 10432 "src/base/BaseEnv.ml" 423 10826 10877
type(
  Arg.key * Arg.spec * Arg.doc
)
"src/base/BaseEnv.ml" 402 10424 10426 "src/base/BaseEnv.ml" 425 10880 10883
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 426 10884 10886 "src/base/BaseEnv.ml" 426 10884 10887
type(
  (Arg.key * Arg.spec * Arg.doc) list ->
  (Arg.key * Arg.spec * Arg.doc) list -> (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref Stdlib.( @ ) "stdlib.mli" 826 30622 30622 "stdlib.mli" 826 30622 30663
)
"src/base/BaseEnv.ml" 427 10888 10892 "src/base/BaseEnv.ml" 427 10888 10904
type(
  (Arg.key * Arg.spec * Arg.doc) list list ->
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref Stdlib.List.flatten "list.mli" 118 4456 4456 "list.mli" 118 4456 4493
)
"src/base/BaseEnv.ml" 428 10905 10912 "src/base/BaseEnv.ml" 428 10905 10923
type(
  ((Arg.key * Arg.spec * Arg.doc) list list ->
   PropList.name ->
   definition_t ->
   (unit -> string) option -> (Arg.key * Arg.spec * Arg.doc) list list) ->
  (Arg.key * Arg.spec * Arg.doc) list list ->
  (origin_t, definition_t) PropList.Schema.t ->
  (Arg.key * Arg.spec * Arg.doc) list list
)
ident(
  int_ref PropList.Schema.fold "src/oasis/PropList.mli" 105 3445 3447 "src/oasis/PropList.mli" 107 3516 3542
)
"src/base/BaseEnv.ml" 429 10924 10938 "src/base/BaseEnv.ml" 429 10924 10941
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
ident(
  def acc "src/base/BaseEnv.ml" 429 10924 10942 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 429 10924 10942 "src/base/BaseEnv.ml" 429 10924 10946
type(
  PropList.name
)
ident(
  def name "src/base/BaseEnv.ml" 429 10924 10947 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 429 10924 10947 "src/base/BaseEnv.ml" 429 10924 10950
type(
  definition_t
)
ident(
  def def "src/base/BaseEnv.ml" 429 10924 10951 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 429 10924 10951 "src/base/BaseEnv.ml" 429 10924 10966
type(
  (unit -> string) option
)
ident(
  def short_descr_opt "src/base/BaseEnv.ml" 430 10970 10982 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 430 10970 10986 "src/base/BaseEnv.ml" 430 10970 10993
type(
  string -> unit
)
ident(
  def var_set "src/base/BaseEnv.ml" 439 11159 11171 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 430 10970 10994 "src/base/BaseEnv.ml" 430 10970 10995
type(
  string
)
ident(
  def s "src/base/BaseEnv.ml" 431 10998 11012 "src/base/BaseEnv.ml" 436 11125 11142
)
"src/base/BaseEnv.ml" 431 10998 11012 "src/base/BaseEnv.ml" 431 10998 11022
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> ?context:origin_t -> string -> unit
)
ident(
  int_ref PropList.Schema.set "src/oasis/PropList.mli" 100 3254 3256 "src/oasis/PropList.mli" 100 3254 3326
)
"src/base/BaseEnv.ml" 432 11023 11039 "src/base/BaseEnv.ml" 432 11023 11045
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 433 11046 11062 "src/base/BaseEnv.ml" 433 11046 11065
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 434 11066 11091 "src/base/BaseEnv.ml" 434 11066 11103
type(
  origin_t
)
type(
  origin_t option
)
"src/base/BaseEnv.ml" 435 11104 11120 "src/base/BaseEnv.ml" 435 11104 11124
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 429 10924 10942 "src/base/BaseEnv.ml" 429 10924 10946
)
"src/base/BaseEnv.ml" 436 11125 11141 "src/base/BaseEnv.ml" 436 11125 11142
type(
  string
)
ident(
  int_ref s "src/base/BaseEnv.ml" 430 10970 10994 "src/base/BaseEnv.ml" 430 10970 10995
)
"src/base/BaseEnv.ml" 431 10998 11012 "src/base/BaseEnv.ml" 436 11125 11142
type(
  unit
)
"src/base/BaseEnv.ml" 439 11159 11175 "src/base/BaseEnv.ml" 439 11159 11183
type(
  string
)
ident(
  def arg_name "src/base/BaseEnv.ml" 443 11262 11274 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 440 11186 11200 "src/base/BaseEnv.ml" 440 11186 11228
type(
  ?hyphen:char -> PropList.name -> string
)
ident(
  int_ref OASISUtils.varname_of_string "src/oasis/OASISUtils.mli" 98 3161 3161 "src/oasis/OASISUtils.mli" 98 3161 3216
)
"src/base/BaseEnv.ml" 440 11186 11237 "src/base/BaseEnv.ml" 440 11186 11240
type(
  char
)
type(
  char option
)
"src/base/BaseEnv.ml" 440 11186 11241 "src/base/BaseEnv.ml" 440 11186 11245
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 429 10924 10942 "src/base/BaseEnv.ml" 429 10924 10946
)
"src/base/BaseEnv.ml" 440 11186 11200 "src/base/BaseEnv.ml" 440 11186 11245
type(
  string
)
"src/base/BaseEnv.ml" 443 11262 11278 "src/base/BaseEnv.ml" 443 11262 11281
type(
  string
)
ident(
  def hlp "src/base/BaseEnv.ml" 449 11407 11419 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 444 11284 11304 "src/base/BaseEnv.ml" 444 11284 11319
type(
  (unit -> string) option
)
ident(
  int_ref short_descr_opt "src/base/BaseEnv.ml" 429 10924 10951 "src/base/BaseEnv.ml" 429 10924 10966
)
"src/base/BaseEnv.ml" 445 11325 11348 "src/base/BaseEnv.ml" 445 11325 11351
type(
  unit -> string
)
ident(
  def txt "src/base/BaseEnv.ml" 445 11325 11355 "src/base/BaseEnv.ml" 445 11325 11361
)
"src/base/BaseEnv.ml" 445 11325 11343 "src/base/BaseEnv.ml" 445 11325 11351
type(
  (unit -> string) option
)
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 445 11325 11355 "src/base/BaseEnv.ml" 445 11325 11358
type(
  unit -> string
)
ident(
  int_ref txt "src/base/BaseEnv.ml" 445 11325 11348 "src/base/BaseEnv.ml" 445 11325 11351
)
"src/base/BaseEnv.ml" 445 11325 11359 "src/base/BaseEnv.ml" 445 11325 11361
type(
  unit
)
"src/base/BaseEnv.ml" 445 11325 11355 "src/base/BaseEnv.ml" 445 11325 11361
type(
  string
)
"src/base/BaseEnv.ml" 446 11362 11380 "src/base/BaseEnv.ml" 446 11362 11384
type(
  (unit -> string) option
)
type(
  (unit -> string) option
)
"src/base/BaseEnv.ml" 446 11362 11388 "src/base/BaseEnv.ml" 446 11362 11390
type(
  string
)
"src/base/BaseEnv.ml" 444 11284 11298 "src/base/BaseEnv.ml" 446 11362 11390
type(
  string
)
"src/base/BaseEnv.ml" 449 11407 11423 "src/base/BaseEnv.ml" 449 11407 11430
type(
  string
)
ident(
  def arg_hlp "src/base/BaseEnv.ml" 455 11551 11563 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 450 11433 11453 "src/base/BaseEnv.ml" 450 11433 11456
type(
  definition_t
)
ident(
  int_ref def "src/base/BaseEnv.ml" 429 10924 10947 "src/base/BaseEnv.ml" 429 10924 10950
)
"src/base/BaseEnv.ml" 450 11433 11453 "src/base/BaseEnv.ml" 450 11433 11465
type(
  string option
)
"src/base/BaseEnv.ml" 451 11471 11494 "src/base/BaseEnv.ml" 451 11471 11495
type(
  string
)
ident(
  def s "src/base/BaseEnv.ml" 451 11471 11499 "src/base/BaseEnv.ml" 451 11471 11500
)
"src/base/BaseEnv.ml" 451 11471 11489 "src/base/BaseEnv.ml" 451 11471 11495
type(
  string option
)
type(
  string option
)
"src/base/BaseEnv.ml" 451 11471 11499 "src/base/BaseEnv.ml" 451 11471 11500
type(
  string
)
ident(
  int_ref s "src/base/BaseEnv.ml" 451 11471 11494 "src/base/BaseEnv.ml" 451 11471 11495
)
"src/base/BaseEnv.ml" 452 11501 11519 "src/base/BaseEnv.ml" 452 11501 11523
type(
  string option
)
type(
  string option
)
"src/base/BaseEnv.ml" 452 11501 11529 "src/base/BaseEnv.ml" 452 11501 11534
type(
  string
)
"src/base/BaseEnv.ml" 450 11433 11447 "src/base/BaseEnv.ml" 452 11501 11534
type(
  string
)
"src/base/BaseEnv.ml" 455 11551 11567 "src/base/BaseEnv.ml" 455 11551 11580
type(
  string
)
ident(
  def default_value "src/base/BaseEnv.ml" 467 11840 11852 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 457 11601 11617 "src/base/BaseEnv.ml" 457 11601 11631
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/base/BaseEnv.ml" 458 11632 11651 "src/base/BaseEnv.ml" 458 11632 11653
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/base/BaseEnv.ml" 458 11632 11654 "src/base/BaseEnv.ml" 458 11632 11661
type(
  (string -> string, unit, string, string) format4
)
"src/base/BaseEnv.ml" 458 11632 11650 "src/base/BaseEnv.ml" 458 11632 11662
type(
  (string -> string, unit, string, string) format4
)
"src/base/BaseEnv.ml" 459 11663 11682 "src/base/BaseEnv.ml" 459 11663 11692
type(
  (origin_t, definition_t) PropList.Schema.t ->
  PropList.Data.t -> PropList.name -> string
)
ident(
  int_ref PropList.Schema.get "src/oasis/PropList.mli" 95 3064 3066 "src/oasis/PropList.mli" 95 3064 3113
)
"src/base/BaseEnv.ml" 460 11693 11714 "src/base/BaseEnv.ml" 460 11693 11720
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 461 11721 11742 "src/base/BaseEnv.ml" 461 11721 11745
type(
  PropList.Data.t
)
ident(
  int_ref env "src/base/BaseEnv.ml" 61 2243 2247 "src/base/BaseEnv.ml" 61 2243 2250
)
"src/base/BaseEnv.ml" 462 11746 11767 "src/base/BaseEnv.ml" 462 11746 11771
type(
  PropList.name
)
ident(
  int_ref name "src/base/BaseEnv.ml" 429 10924 10942 "src/base/BaseEnv.ml" 429 10924 10946
)
"src/base/BaseEnv.ml" 459 11663 11681 "src/base/BaseEnv.ml" 462 11746 11772
type(
  string
)
"src/base/BaseEnv.ml" 457 11601 11617 "src/base/BaseEnv.ml" 462 11746 11772
type(
  string
)
"src/base/BaseEnv.ml" 463 11773 11800 "src/base/BaseEnv.ml" 463 11773 11801
type(
  string option
)
type(
  PropList.name
)
"src/base/BaseEnv.ml" 463 11773 11792 "src/base/BaseEnv.ml" 463 11773 11801
type(
  exn
)
"src/base/BaseEnv.ml" 464 11805 11821 "src/base/BaseEnv.ml" 464 11805 11823
type(
  string
)
"src/base/BaseEnv.ml" 456 11583 11597 "src/base/BaseEnv.ml" 464 11805 11823
type(
  string
)
"src/base/BaseEnv.ml" 467 11840 11856 "src/base/BaseEnv.ml" 467 11840 11860
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  def args "src/base/BaseEnv.ml" 502 13116 13128 "src/base/BaseEnv.ml" 502 13116 13139
)
"src/base/BaseEnv.ml" 468 11863 11883 "src/base/BaseEnv.ml" 468 11863 11886
type(
  definition_t
)
ident(
  int_ref def "src/base/BaseEnv.ml" 429 10924 10947 "src/base/BaseEnv.ml" 429 10924 10950
)
"src/base/BaseEnv.ml" 468 11863 11883 "src/base/BaseEnv.ml" 468 11863 11890
type(
  cli_handle_t
)
"src/base/BaseEnv.ml" 469 11896 11914 "src/base/BaseEnv.ml" 469 11896 11921
type(
  cli_handle_t
)
type(
  cli_handle_t
)
"src/base/BaseEnv.ml" 470 11925 11943 "src/base/BaseEnv.ml" 470 11925 11945
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 471 11946 11964 "src/base/BaseEnv.ml" 471 11946 11971
type(
  cli_handle_t
)
type(
  cli_handle_t
)
"src/base/BaseEnv.ml" 473 11995 12015 "src/base/BaseEnv.ml" 473 11995 12025
type(
  string -> string -> Arg.key
)
ident(
  int_ref arg_concat "src/base/BaseEnv.ml" 401 10364 10370 "src/base/BaseEnv.ml" 401 10364 10380
)
"src/base/BaseEnv.ml" 473 11995 12026 "src/base/BaseEnv.ml" 473 11995 12030
type(
  string
)
"src/base/BaseEnv.ml" 473 11995 12031 "src/base/BaseEnv.ml" 473 11995 12039
type(
  string
)
ident(
  int_ref arg_name "src/base/BaseEnv.ml" 439 11159 11175 "src/base/BaseEnv.ml" 439 11159 11183
)
"src/base/BaseEnv.ml" 473 11995 12015 "src/base/BaseEnv.ml" 473 11995 12039
type(
  Arg.key
)
"src/base/BaseEnv.ml" 474 12041 12072 "src/base/BaseEnv.ml" 474 12041 12079
type(
  string -> unit
)
ident(
  int_ref var_set "src/base/BaseEnv.ml" 430 10970 10986 "src/base/BaseEnv.ml" 430 10970 10993
)
"src/base/BaseEnv.ml" 474 12041 12061 "src/base/BaseEnv.ml" 474 12041 12079
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 475 12081 12101 "src/base/BaseEnv.ml" 475 12081 12115
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc) format ->
  string -> string -> string -> Arg.doc
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseEnv.ml" 475 12081 12117 "src/base/BaseEnv.ml" 475 12081 12119
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4 ->
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 475 12081 12120 "src/base/BaseEnv.ml" 475 12081 12129
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 475 12081 12116 "src/base/BaseEnv.ml" 475 12081 12130
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 475 12081 12131 "src/base/BaseEnv.ml" 475 12081 12138
type(
  string
)
ident(
  int_ref arg_hlp "src/base/BaseEnv.ml" 449 11407 11423 "src/base/BaseEnv.ml" 449 11407 11430
)
"src/base/BaseEnv.ml" 475 12081 12139 "src/base/BaseEnv.ml" 475 12081 12142
type(
  string
)
ident(
  int_ref hlp "src/base/BaseEnv.ml" 443 11262 11278 "src/base/BaseEnv.ml" 443 11262 11281
)
"src/base/BaseEnv.ml" 475 12081 12143 "src/base/BaseEnv.ml" 475 12081 12156
type(
  string
)
ident(
  int_ref default_value "src/base/BaseEnv.ml" 455 11551 11567 "src/base/BaseEnv.ml" 455 11551 11580
)
"src/base/BaseEnv.ml" 475 12081 12101 "src/base/BaseEnv.ml" 475 12081 12156
type(
  Arg.doc
)
"src/base/BaseEnv.ml" 473 11995 12015 "src/base/BaseEnv.ml" 475 12081 12156
type(
  Arg.key * Arg.spec * Arg.doc
)
"src/base/BaseEnv.ml" 472 11975 11993 "src/base/BaseEnv.ml" 476 12157 12176
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 477 12177 12195 "src/base/BaseEnv.ml" 477 12177 12202
type(
  cli_handle_t
)
type(
  cli_handle_t
)
"src/base/BaseEnv.ml" 479 12226 12246 "src/base/BaseEnv.ml" 479 12226 12256
type(
  string -> string -> Arg.key
)
ident(
  int_ref arg_concat "src/base/BaseEnv.ml" 401 10364 10370 "src/base/BaseEnv.ml" 401 10364 10380
)
"src/base/BaseEnv.ml" 479 12226 12257 "src/base/BaseEnv.ml" 479 12226 12266
type(
  string
)
"src/base/BaseEnv.ml" 479 12226 12267 "src/base/BaseEnv.ml" 479 12226 12275
type(
  string
)
ident(
  int_ref arg_name "src/base/BaseEnv.ml" 439 11159 11175 "src/base/BaseEnv.ml" 439 11159 11183
)
"src/base/BaseEnv.ml" 479 12226 12246 "src/base/BaseEnv.ml" 479 12226 12275
type(
  Arg.key
)
"src/base/BaseEnv.ml" 480 12277 12308 "src/base/BaseEnv.ml" 480 12277 12315
type(
  string -> unit
)
ident(
  int_ref var_set "src/base/BaseEnv.ml" 430 10970 10986 "src/base/BaseEnv.ml" 430 10970 10993
)
"src/base/BaseEnv.ml" 480 12277 12297 "src/base/BaseEnv.ml" 480 12277 12315
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 481 12317 12337 "src/base/BaseEnv.ml" 481 12317 12351
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc) format ->
  string -> string -> string -> Arg.doc
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseEnv.ml" 481 12317 12353 "src/base/BaseEnv.ml" 481 12317 12355
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4 ->
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 481 12317 12356 "src/base/BaseEnv.ml" 481 12317 12365
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 481 12317 12352 "src/base/BaseEnv.ml" 481 12317 12366
type(
  (string -> string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 481 12317 12367 "src/base/BaseEnv.ml" 481 12317 12374
type(
  string
)
ident(
  int_ref arg_hlp "src/base/BaseEnv.ml" 449 11407 11423 "src/base/BaseEnv.ml" 449 11407 11430
)
"src/base/BaseEnv.ml" 481 12317 12375 "src/base/BaseEnv.ml" 481 12317 12378
type(
  string
)
ident(
  int_ref hlp "src/base/BaseEnv.ml" 443 11262 11278 "src/base/BaseEnv.ml" 443 11262 11281
)
"src/base/BaseEnv.ml" 481 12317 12379 "src/base/BaseEnv.ml" 481 12317 12392
type(
  string
)
ident(
  int_ref default_value "src/base/BaseEnv.ml" 455 11551 11567 "src/base/BaseEnv.ml" 455 11551 11580
)
"src/base/BaseEnv.ml" 481 12317 12337 "src/base/BaseEnv.ml" 481 12317 12392
type(
  Arg.doc
)
"src/base/BaseEnv.ml" 479 12226 12246 "src/base/BaseEnv.ml" 481 12317 12392
type(
  Arg.key * Arg.spec * Arg.doc
)
"src/base/BaseEnv.ml" 478 12206 12224 "src/base/BaseEnv.ml" 482 12393 12412
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 483 12413 12431 "src/base/BaseEnv.ml" 483 12413 12440
type(
  cli_handle_t
)
type(
  cli_handle_t
)
"src/base/BaseEnv.ml" 484 12444 12466 "src/base/BaseEnv.ml" 484 12444 12470
type(
  string
)
ident(
  def dflt "src/base/BaseEnv.ml" 490 12668 12686 "src/base/BaseEnv.ml" 498 13026 13045
)
"src/base/BaseEnv.ml" 485 12473 12496 "src/base/BaseEnv.ml" 485 12473 12509
type(
  string
)
ident(
  int_ref default_value "src/base/BaseEnv.ml" 455 11551 11567 "src/base/BaseEnv.ml" 455 11551 11580
)
"src/base/BaseEnv.ml" 485 12473 12510 "src/base/BaseEnv.ml" 485 12473 12511
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/base/BaseEnv.ml" 485 12473 12512 "src/base/BaseEnv.ml" 485 12473 12521
type(
  string
)
"src/base/BaseEnv.ml" 485 12473 12496 "src/base/BaseEnv.ml" 485 12473 12521
type(
  bool
)
"src/base/BaseEnv.ml" 486 12527 12549 "src/base/BaseEnv.ml" 486 12527 12551
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/base/BaseEnv.ml" 486 12527 12552 "src/base/BaseEnv.ml" 486 12527 12573
type(
  string
)
"src/base/BaseEnv.ml" 486 12527 12549 "src/base/BaseEnv.ml" 486 12527 12573
type(
  string
)
"src/base/BaseEnv.ml" 488 12599 12621 "src/base/BaseEnv.ml" 488 12599 12623
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/base/BaseEnv.ml" 488 12599 12624 "src/base/BaseEnv.ml" 488 12599 12646
type(
  string
)
"src/base/BaseEnv.ml" 488 12599 12621 "src/base/BaseEnv.ml" 488 12599 12646
type(
  string
)
"src/base/BaseEnv.ml" 485 12473 12493 "src/base/BaseEnv.ml" 488 12599 12646
type(
  string
)
"src/base/BaseEnv.ml" 491 12688 12708 "src/base/BaseEnv.ml" 491 12688 12718
type(
  string -> string -> Arg.key
)
ident(
  int_ref arg_concat "src/base/BaseEnv.ml" 401 10364 10370 "src/base/BaseEnv.ml" 401 10364 10380
)
"src/base/BaseEnv.ml" 491 12688 12719 "src/base/BaseEnv.ml" 491 12688 12730
type(
  string
)
"src/base/BaseEnv.ml" 491 12688 12731 "src/base/BaseEnv.ml" 491 12688 12739
type(
  string
)
ident(
  int_ref arg_name "src/base/BaseEnv.ml" 439 11159 11175 "src/base/BaseEnv.ml" 439 11159 11183
)
"src/base/BaseEnv.ml" 491 12688 12708 "src/base/BaseEnv.ml" 491 12688 12739
type(
  Arg.key
)
"src/base/BaseEnv.ml" 492 12741 12775 "src/base/BaseEnv.ml" 492 12741 12777
type(
  unit
)
"src/base/BaseEnv.ml" 492 12741 12781 "src/base/BaseEnv.ml" 492 12741 12788
type(
  string -> unit
)
ident(
  int_ref var_set "src/base/BaseEnv.ml" 430 10970 10986 "src/base/BaseEnv.ml" 430 10970 10993
)
"src/base/BaseEnv.ml" 492 12741 12789 "src/base/BaseEnv.ml" 492 12741 12795
type(
  string
)
"src/base/BaseEnv.ml" 492 12741 12781 "src/base/BaseEnv.ml" 492 12741 12795
type(
  unit
)
"src/base/BaseEnv.ml" 492 12741 12770 "src/base/BaseEnv.ml" 492 12741 12796
type(
  unit -> unit
)
"src/base/BaseEnv.ml" 492 12741 12761 "src/base/BaseEnv.ml" 492 12741 12796
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 493 12798 12818 "src/base/BaseEnv.ml" 493 12798 12832
type(
  (string -> string -> Arg.doc, unit, Arg.doc) format ->
  string -> string -> Arg.doc
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseEnv.ml" 493 12798 12834 "src/base/BaseEnv.ml" 493 12798 12836
type(
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4 ->
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 493 12798 12837 "src/base/BaseEnv.ml" 493 12798 12844
type(
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 493 12798 12833 "src/base/BaseEnv.ml" 493 12798 12845
type(
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 493 12798 12846 "src/base/BaseEnv.ml" 493 12798 12849
type(
  string
)
ident(
  int_ref hlp "src/base/BaseEnv.ml" 443 11262 11278 "src/base/BaseEnv.ml" 443 11262 11281
)
"src/base/BaseEnv.ml" 493 12798 12850 "src/base/BaseEnv.ml" 493 12798 12854
type(
  string
)
ident(
  int_ref dflt "src/base/BaseEnv.ml" 484 12444 12466 "src/base/BaseEnv.ml" 484 12444 12470
)
"src/base/BaseEnv.ml" 493 12798 12818 "src/base/BaseEnv.ml" 493 12798 12854
type(
  Arg.doc
)
"src/base/BaseEnv.ml" 491 12688 12708 "src/base/BaseEnv.ml" 493 12798 12854
type(
  Arg.key * Arg.spec * Arg.doc
)
"src/base/BaseEnv.ml" 495 12857 12877 "src/base/BaseEnv.ml" 495 12857 12887
type(
  string -> string -> Arg.key
)
ident(
  int_ref arg_concat "src/base/BaseEnv.ml" 401 10364 10370 "src/base/BaseEnv.ml" 401 10364 10380
)
"src/base/BaseEnv.ml" 495 12857 12888 "src/base/BaseEnv.ml" 495 12857 12900
type(
  string
)
"src/base/BaseEnv.ml" 495 12857 12901 "src/base/BaseEnv.ml" 495 12857 12909
type(
  string
)
ident(
  int_ref arg_name "src/base/BaseEnv.ml" 439 11159 11175 "src/base/BaseEnv.ml" 439 11159 11183
)
"src/base/BaseEnv.ml" 495 12857 12877 "src/base/BaseEnv.ml" 495 12857 12909
type(
  Arg.key
)
"src/base/BaseEnv.ml" 496 12911 12945 "src/base/BaseEnv.ml" 496 12911 12947
type(
  unit
)
"src/base/BaseEnv.ml" 496 12911 12951 "src/base/BaseEnv.ml" 496 12911 12958
type(
  string -> unit
)
ident(
  int_ref var_set "src/base/BaseEnv.ml" 430 10970 10986 "src/base/BaseEnv.ml" 430 10970 10993
)
"src/base/BaseEnv.ml" 496 12911 12959 "src/base/BaseEnv.ml" 496 12911 12966
type(
  string
)
"src/base/BaseEnv.ml" 496 12911 12951 "src/base/BaseEnv.ml" 496 12911 12966
type(
  unit
)
"src/base/BaseEnv.ml" 496 12911 12940 "src/base/BaseEnv.ml" 496 12911 12967
type(
  unit -> unit
)
"src/base/BaseEnv.ml" 496 12911 12931 "src/base/BaseEnv.ml" 496 12911 12967
type(
  Arg.spec
)
"src/base/BaseEnv.ml" 497 12969 12989 "src/base/BaseEnv.ml" 497 12969 13003
type(
  (string -> string -> Arg.doc, unit, Arg.doc) format ->
  string -> string -> Arg.doc
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseEnv.ml" 497 12969 13005 "src/base/BaseEnv.ml" 497 12969 13007
type(
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4 ->
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseEnv.ml" 497 12969 13008 "src/base/BaseEnv.ml" 497 12969 13015
type(
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 497 12969 13004 "src/base/BaseEnv.ml" 497 12969 13016
type(
  (string -> string -> Arg.doc, unit, Arg.doc, Arg.doc) format4
)
"src/base/BaseEnv.ml" 497 12969 13017 "src/base/BaseEnv.ml" 497 12969 13020
type(
  string
)
ident(
  int_ref hlp "src/base/BaseEnv.ml" 443 11262 11278 "src/base/BaseEnv.ml" 443 11262 11281
)
"src/base/BaseEnv.ml" 497 12969 13021 "src/base/BaseEnv.ml" 497 12969 13025
type(
  string
)
ident(
  int_ref dflt "src/base/BaseEnv.ml" 484 12444 12466 "src/base/BaseEnv.ml" 484 12444 12470
)
"src/base/BaseEnv.ml" 497 12969 12989 "src/base/BaseEnv.ml" 497 12969 13025
type(
  Arg.doc
)
"src/base/BaseEnv.ml" 495 12857 12877 "src/base/BaseEnv.ml" 497 12969 13025
type(
  Arg.key * Arg.spec * Arg.doc
)
"src/base/BaseEnv.ml" 490 12668 12686 "src/base/BaseEnv.ml" 498 13026 13045
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 484 12444 12462 "src/base/BaseEnv.ml" 498 13026 13045
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 499 13046 13072 "src/base/BaseEnv.ml" 499 13046 13075
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  def lst "src/base/BaseEnv.ml" 500 13079 13097 "src/base/BaseEnv.ml" 500 13079 13100
)
"src/base/BaseEnv.ml" 499 13046 13064 "src/base/BaseEnv.ml" 499 13046 13075
type(
  cli_handle_t
)
type(
  cli_handle_t
)
"src/base/BaseEnv.ml" 500 13079 13097 "src/base/BaseEnv.ml" 500 13079 13100
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref lst "src/base/BaseEnv.ml" 499 13046 13072 "src/base/BaseEnv.ml" 499 13046 13075
)
"src/base/BaseEnv.ml" 468 11863 11877 "src/base/BaseEnv.ml" 500 13079 13100
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 502 13116 13128 "src/base/BaseEnv.ml" 502 13116 13132
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
ident(
  int_ref args "src/base/BaseEnv.ml" 467 11840 11856 "src/base/BaseEnv.ml" 467 11840 11860
)
"src/base/BaseEnv.ml" 502 13116 13136 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
ident(
  int_ref acc "src/base/BaseEnv.ml" 429 10924 10938 "src/base/BaseEnv.ml" 429 10924 10941
)
"src/base/BaseEnv.ml" 502 13116 13128 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 467 11840 11852 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 455 11551 11563 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 449 11407 11419 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 443 11262 11274 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 439 11159 11171 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 430 10970 10982 "src/base/BaseEnv.ml" 502 13116 13139
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 429 10924 10933 "src/base/BaseEnv.ml" 502 13116 13140
type(
  (Arg.key * Arg.spec * Arg.doc) list list ->
  PropList.name ->
  definition_t ->
  (unit -> string) option -> (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 503 13141 13150 "src/base/BaseEnv.ml" 503 13141 13152
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 504 13153 13162 "src/base/BaseEnv.ml" 504 13153 13168
type(
  (origin_t, definition_t) PropList.Schema.t
)
ident(
  int_ref schema "src/base/BaseEnv.ml" 57 2177 2181 "src/base/BaseEnv.ml" 57 2177 2187
)
"src/base/BaseEnv.ml" 428 10905 10911 "src/base/BaseEnv.ml" 504 13153 13169
type(
  (Arg.key * Arg.spec * Arg.doc) list list
)
"src/base/BaseEnv.ml" 427 10888 10892 "src/base/BaseEnv.ml" 504 13153 13169
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 402 10424 10426 "src/base/BaseEnv.ml" 504 13153 13169
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
"src/base/BaseEnv.ml" 401 10364 10366 "src/base/BaseEnv.ml" 504 13153 13169
type(
  (Arg.key * Arg.spec * Arg.doc) list
)
