"src/oasis/PropList.ml" 35 1856 1860 "src/oasis/PropList.ml" 35 1856 1862
type(
  unit
)
"src/oasis/PropList.ml" 36 1865 1867 "src/oasis/PropList.ml" 36 1865 1892
type(
  (exn -> string option) -> unit
)
ident(
  int_ref Stdlib.Printexc.register_printer "printexc.mli" 85 3761 3761 "printexc.mli" 85 3761 3813
)
"src/oasis/PropList.ml" 38 1907 1924 "src/oasis/PropList.ml" 38 1907 1926
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 39 1941 1949 "src/oasis/PropList.ml" 40 1954 2020
)
"src/oasis/PropList.ml" 38 1907 1933 "src/oasis/PropList.ml" 38 1907 1936
type(
  string
)
ident(
  def rsn "src/oasis/PropList.ml" 39 1941 1949 "src/oasis/PropList.ml" 40 1954 2020
)
"src/oasis/PropList.ml" 38 1907 1928 "src/oasis/PropList.ml" 38 1907 1936
type(
  string option
)
"src/oasis/PropList.ml" 38 1907 1915 "src/oasis/PropList.ml" 38 1907 1937
type(
  exn
)
"src/oasis/PropList.ml" 40 1954 1965 "src/oasis/PropList.ml" 40 1954 1979
type(
  (name -> string -> string, unit, string) format -> name -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 40 1954 1981 "src/oasis/PropList.ml" 40 1954 1983
type(
  (name -> string -> string, unit, string, string) format4 ->
  (name -> 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/oasis/PropList.ml" 40 1954 1984 "src/oasis/PropList.ml" 40 1954 2011
type(
  (name -> string -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 40 1954 1980 "src/oasis/PropList.ml" 40 1954 2012
type(
  (name -> string -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 40 1954 2013 "src/oasis/PropList.ml" 40 1954 2015
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 38 1907 1924 "src/oasis/PropList.ml" 38 1907 1926
)
"src/oasis/PropList.ml" 40 1954 2016 "src/oasis/PropList.ml" 40 1954 2019
type(
  string
)
ident(
  int_ref rsn "src/oasis/PropList.ml" 38 1907 1933 "src/oasis/PropList.ml" 38 1907 1936
)
"src/oasis/PropList.ml" 40 1954 1964 "src/oasis/PropList.ml" 40 1954 2020
type(
  string
)
"src/oasis/PropList.ml" 39 1941 1949 "src/oasis/PropList.ml" 40 1954 2020
type(
  string option
)
"src/oasis/PropList.ml" 41 2021 2038 "src/oasis/PropList.ml" 41 2021 2040
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 42 2051 2059 "src/oasis/PropList.ml" 43 2064 2122
)
"src/oasis/PropList.ml" 41 2021 2042 "src/oasis/PropList.ml" 41 2021 2046
type(
  string option
)
"src/oasis/PropList.ml" 41 2021 2029 "src/oasis/PropList.ml" 41 2021 2047
type(
  exn
)
"src/oasis/PropList.ml" 43 2064 2075 "src/oasis/PropList.ml" 43 2064 2089
type(
  (name -> string, unit, string) format -> name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 43 2064 2091 "src/oasis/PropList.ml" 43 2064 2093
type(
  (name -> string, unit, string, string) format4 ->
  (name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/PropList.ml" 43 2064 2094 "src/oasis/PropList.ml" 43 2064 2117
type(
  (name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 43 2064 2090 "src/oasis/PropList.ml" 43 2064 2118
type(
  (name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 43 2064 2119 "src/oasis/PropList.ml" 43 2064 2121
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 41 2021 2038 "src/oasis/PropList.ml" 41 2021 2040
)
"src/oasis/PropList.ml" 43 2064 2074 "src/oasis/PropList.ml" 43 2064 2122
type(
  string
)
"src/oasis/PropList.ml" 42 2051 2059 "src/oasis/PropList.ml" 43 2064 2122
type(
  string option
)
"src/oasis/PropList.ml" 44 2123 2142 "src/oasis/PropList.ml" 44 2123 2144
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 45 2148 2156 "src/oasis/PropList.ml" 46 2161 2229
)
"src/oasis/PropList.ml" 44 2123 2131 "src/oasis/PropList.ml" 44 2123 2144
type(
  exn
)
"src/oasis/PropList.ml" 46 2161 2172 "src/oasis/PropList.ml" 46 2161 2186
type(
  (name -> string, unit, string) format -> name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 46 2161 2188 "src/oasis/PropList.ml" 46 2161 2190
type(
  (name -> string, unit, string, string) format4 ->
  (name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/PropList.ml" 46 2161 2191 "src/oasis/PropList.ml" 46 2161 2224
type(
  (name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 46 2161 2187 "src/oasis/PropList.ml" 46 2161 2225
type(
  (name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 46 2161 2226 "src/oasis/PropList.ml" 46 2161 2228
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 44 2123 2142 "src/oasis/PropList.ml" 44 2123 2144
)
"src/oasis/PropList.ml" 46 2161 2171 "src/oasis/PropList.ml" 46 2161 2229
type(
  string
)
"src/oasis/PropList.ml" 45 2148 2156 "src/oasis/PropList.ml" 46 2161 2229
type(
  string option
)
"src/oasis/PropList.ml" 47 2230 2253 "src/oasis/PropList.ml" 47 2230 2255
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 48 2266 2274 "src/oasis/PropList.ml" 50 2305 2370
)
"src/oasis/PropList.ml" 47 2230 2257 "src/oasis/PropList.ml" 47 2230 2261
type(
  name
)
ident(
  def schm "src/oasis/PropList.ml" 48 2266 2274 "src/oasis/PropList.ml" 50 2305 2370
)
"src/oasis/PropList.ml" 47 2230 2238 "src/oasis/PropList.ml" 47 2230 2262
type(
  exn
)
"src/oasis/PropList.ml" 49 2279 2290 "src/oasis/PropList.ml" 49 2279 2304
type(
  (name -> name -> string, unit, string) format -> name -> name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 50 2305 2319 "src/oasis/PropList.ml" 50 2305 2321
type(
  (name -> name -> string, unit, string, string) format4 ->
  (name -> name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/PropList.ml" 50 2305 2322 "src/oasis/PropList.ml" 50 2305 2360
type(
  (name -> name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 50 2305 2318 "src/oasis/PropList.ml" 50 2305 2361
type(
  (name -> name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 50 2305 2362 "src/oasis/PropList.ml" 50 2305 2364
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 47 2230 2253 "src/oasis/PropList.ml" 47 2230 2255
)
"src/oasis/PropList.ml" 50 2305 2365 "src/oasis/PropList.ml" 50 2305 2369
type(
  name
)
ident(
  int_ref schm "src/oasis/PropList.ml" 47 2230 2257 "src/oasis/PropList.ml" 47 2230 2261
)
"src/oasis/PropList.ml" 49 2279 2289 "src/oasis/PropList.ml" 50 2305 2370
type(
  string
)
"src/oasis/PropList.ml" 48 2266 2274 "src/oasis/PropList.ml" 50 2305 2370
type(
  string option
)
"src/oasis/PropList.ml" 51 2371 2379 "src/oasis/PropList.ml" 51 2371 2380
type(
  exn
)
"src/oasis/PropList.ml" 52 2384 2392 "src/oasis/PropList.ml" 52 2384 2396
type(
  string option
)
"src/oasis/PropList.ml" 37 1893 1897 "src/oasis/PropList.ml" 52 2384 2397
type(
  exn -> string option
)
"src/oasis/PropList.ml" 36 1865 1867 "src/oasis/PropList.ml" 52 2384 2397
type(
  unit
)
"src/oasis/PropList.ml" 55 2400 2407 "src/oasis/PropList.ml" 55 2400 2411
ident(
  def Data "src/oasis/PropList.ml" 77 2705 2708 "src/oasis/PropList.ml" 0 0 -1
)
"src/oasis/PropList.ml" 60 2468 2474 "src/oasis/PropList.ml" 60 2468 2480
type(
  unit -> ('a, 'b) Hashtbl.t
)
ident(
  def create "src/oasis/PropList.ml" 63 2509 2511 "src/oasis/PropList.ml" 77 2705 2708
)
"src/oasis/PropList.ml" 60 2468 2481 "src/oasis/PropList.ml" 60 2468 2483
type(
  unit
)
"src/oasis/PropList.ml" 61 2486 2490 "src/oasis/PropList.ml" 61 2486 2504
type(
  ?random:bool -> int -> ('a, 'b) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/PropList.ml" 61 2486 2505 "src/oasis/PropList.ml" 61 2486 2507
type(
  int
)
"src/oasis/PropList.ml" 61 2486 2490 "src/oasis/PropList.ml" 61 2486 2507
type(
  ('a, 'b) Hashtbl.t
)
"src/oasis/PropList.ml" 63 2509 2515 "src/oasis/PropList.ml" 63 2509 2520
type(
  ('c, 'd) Hashtbl.t -> unit
)
ident(
  def clear "src/oasis/PropList.ml" 69 2565 2567 "src/oasis/PropList.ml" 77 2705 2708
)
"src/oasis/PropList.ml" 63 2509 2521 "src/oasis/PropList.ml" 63 2509 2522
type(
  ('c, 'd) Hashtbl.t
)
ident(
  def t "src/oasis/PropList.ml" 64 2525 2529 "src/oasis/PropList.ml" 64 2525 2544
)
"src/oasis/PropList.ml" 64 2525 2529 "src/oasis/PropList.ml" 64 2525 2542
type(
  ('c, 'd) Hashtbl.t -> unit
)
ident(
  int_ref Stdlib.Hashtbl.clear "hashtbl.mli" 70 3541 3541 "hashtbl.mli" 70 3541 3571
)
"src/oasis/PropList.ml" 64 2525 2543 "src/oasis/PropList.ml" 64 2525 2544
type(
  ('c, 'd) Hashtbl.t
)
ident(
  int_ref t "src/oasis/PropList.ml" 63 2509 2521 "src/oasis/PropList.ml" 63 2509 2522
)
"src/oasis/PropList.ml" 64 2525 2529 "src/oasis/PropList.ml" 64 2525 2544
type(
  unit
)
"src/oasis/PropList.ml" 69 2565 2571 "src/oasis/PropList.ml" 69 2565 2579
type(
  ('e, 'f) Hashtbl.t -> 'e list
)
ident(
  def elements "src/oasis/PropList.ml" 74 2675 2684 "src/oasis/PropList.ml" 77 2705 2708
)
"src/oasis/PropList.ml" 69 2565 2580 "src/oasis/PropList.ml" 69 2565 2581
type(
  ('e, 'f) Hashtbl.t
)
ident(
  def t "src/oasis/PropList.ml" 70 2584 2588 "src/oasis/PropList.ml" 74 2675 2684
)
"src/oasis/PropList.ml" 70 2584 2592 "src/oasis/PropList.ml" 70 2584 2596
type(
  'e list ref
)
ident(
  def rlst "src/oasis/PropList.ml" 71 2609 2613 "src/oasis/PropList.ml" 74 2675 2684
)
"src/oasis/PropList.ml" 70 2584 2599 "src/oasis/PropList.ml" 70 2584 2602
type(
  'e list -> 'e list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/PropList.ml" 70 2584 2603 "src/oasis/PropList.ml" 70 2584 2605
type(
  'e list
)
"src/oasis/PropList.ml" 70 2584 2599 "src/oasis/PropList.ml" 70 2584 2605
type(
  'e list ref
)
"src/oasis/PropList.ml" 71 2609 2613 "src/oasis/PropList.ml" 71 2609 2625
type(
  ('e -> 'f -> unit) -> ('e, 'f) Hashtbl.t -> unit
)
ident(
  int_ref Stdlib.Hashtbl.iter "hashtbl.mli" 120 5516 5516 "hashtbl.mli" 120 5516 5567
)
"src/oasis/PropList.ml" 72 2626 2637 "src/oasis/PropList.ml" 72 2626 2639
type(
  'e
)
ident(
  def nm "src/oasis/PropList.ml" 72 2626 2640 "src/oasis/PropList.ml" 72 2626 2664
)
"src/oasis/PropList.ml" 72 2626 2640 "src/oasis/PropList.ml" 72 2626 2641
type(
  'f
)
"src/oasis/PropList.ml" 72 2626 2645 "src/oasis/PropList.ml" 72 2626 2649
type(
  'e list ref
)
ident(
  int_ref rlst "src/oasis/PropList.ml" 70 2584 2592 "src/oasis/PropList.ml" 70 2584 2596
)
"src/oasis/PropList.ml" 72 2626 2650 "src/oasis/PropList.ml" 72 2626 2652
type(
  'e list ref -> 'e list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/PropList.ml" 72 2626 2653 "src/oasis/PropList.ml" 72 2626 2655
type(
  'e
)
ident(
  int_ref nm "src/oasis/PropList.ml" 72 2626 2637 "src/oasis/PropList.ml" 72 2626 2639
)
"src/oasis/PropList.ml" 72 2626 2659 "src/oasis/PropList.ml" 72 2626 2660
type(
  'e list ref -> 'e list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/PropList.ml" 72 2626 2660 "src/oasis/PropList.ml" 72 2626 2664
type(
  'e list ref
)
ident(
  int_ref rlst "src/oasis/PropList.ml" 70 2584 2592 "src/oasis/PropList.ml" 70 2584 2596
)
"src/oasis/PropList.ml" 72 2626 2659 "src/oasis/PropList.ml" 72 2626 2664
type(
  'e list
)
"src/oasis/PropList.ml" 72 2626 2653 "src/oasis/PropList.ml" 72 2626 2664
type(
  'e list
)
"src/oasis/PropList.ml" 72 2626 2645 "src/oasis/PropList.ml" 72 2626 2664
type(
  unit
)
"src/oasis/PropList.ml" 72 2626 2632 "src/oasis/PropList.ml" 72 2626 2665
type(
  'e -> 'f -> unit
)
"src/oasis/PropList.ml" 73 2666 2672 "src/oasis/PropList.ml" 73 2666 2673
type(
  ('e, 'f) Hashtbl.t
)
ident(
  int_ref t "src/oasis/PropList.ml" 69 2565 2580 "src/oasis/PropList.ml" 69 2565 2581
)
"src/oasis/PropList.ml" 71 2609 2613 "src/oasis/PropList.ml" 73 2666 2673
type(
  unit
)
"src/oasis/PropList.ml" 74 2675 2679 "src/oasis/PropList.ml" 74 2675 2680
type(
  'e list ref -> 'e list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/PropList.ml" 74 2675 2680 "src/oasis/PropList.ml" 74 2675 2684
type(
  'e list ref
)
ident(
  int_ref rlst "src/oasis/PropList.ml" 70 2584 2592 "src/oasis/PropList.ml" 70 2584 2596
)
"src/oasis/PropList.ml" 74 2675 2679 "src/oasis/PropList.ml" 74 2675 2684
type(
  'e list
)
"src/oasis/PropList.ml" 71 2609 2613 "src/oasis/PropList.ml" 74 2675 2684
type(
  'e list
)
"src/oasis/PropList.ml" 70 2584 2588 "src/oasis/PropList.ml" 74 2675 2684
type(
  'e list
)
"src/oasis/PropList.ml" 80 2711 2718 "src/oasis/PropList.ml" 80 2711 2724
ident(
  def Schema "src/oasis/PropList.ml" 167 4374 4377 "src/oasis/PropList.ml" 0 0 -1
)
"src/oasis/PropList.ml" 98 3112 3118 "src/oasis/PropList.ml" 98 3112 3124
type(
  ?case_insensitive:bool -> name -> ('a, 'b) t
)
ident(
  def create "src/oasis/PropList.ml" 110 3392 3394 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 98 3112 3127 "src/oasis/PropList.ml" 98 3112 3143
type(
  bool
)
ident(
  def case_insensitive "src/oasis/PropList.ml" 98 3112 3151 "src/oasis/PropList.ml" 108 3385 3390
)
"src/oasis/PropList.ml" 98 3112 3144 "src/oasis/PropList.ml" 98 3112 3149
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/oasis/PropList.ml" 98 3112 3144 "src/oasis/PropList.ml" 98 3112 3149
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/oasis/PropList.ml" 98 3112 3144 "src/oasis/PropList.ml" 98 3112 3149
)
"src/oasis/PropList.ml" 98 3112 3151 "src/oasis/PropList.ml" 98 3112 3153
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 99 3156 3160 "src/oasis/PropList.ml" 108 3385 3390
)
"src/oasis/PropList.ml" 100 3162 3180 "src/oasis/PropList.ml" 100 3162 3182
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 98 3112 3151 "src/oasis/PropList.ml" 98 3112 3153
)
"src/oasis/PropList.ml" 101 3184 3202 "src/oasis/PropList.ml" 101 3184 3216
type(
  ?random:bool -> int -> (name, ('a, 'b) value) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/PropList.ml" 101 3184 3217 "src/oasis/PropList.ml" 101 3184 3219
type(
  int
)
"src/oasis/PropList.ml" 101 3184 3202 "src/oasis/PropList.ml" 101 3184 3219
type(
  (name, ('a, 'b) value) Hashtbl.t
)
"src/oasis/PropList.ml" 102 3221 3239 "src/oasis/PropList.ml" 102 3221 3251
type(
  unit -> name Queue.t
)
ident(
  int_ref Stdlib.Queue.create "queue.mli" 33 1536 1536 "queue.mli" 33 1536 1561
)
"src/oasis/PropList.ml" 102 3221 3252 "src/oasis/PropList.ml" 102 3221 3254
type(
  unit
)
"src/oasis/PropList.ml" 102 3221 3239 "src/oasis/PropList.ml" 102 3221 3254
type(
  name Queue.t
)
"src/oasis/PropList.ml" 104 3274 3286 "src/oasis/PropList.ml" 104 3274 3302
type(
  bool
)
ident(
  int_ref case_insensitive "src/oasis/PropList.ml" 98 3112 3127 "src/oasis/PropList.ml" 98 3112 3143
)
"src/oasis/PropList.ml" 105 3308 3319 "src/oasis/PropList.ml" 105 3308 3346
type(
  string -> string
)
ident(
  int_ref OASISString.lowercase_ascii "src/oasis/OASISString.ml" 144 4212 4216 "src/oasis/OASISString.ml" 144 4212 4231
)
"src/oasis/PropList.ml" 107 3361 3376 "src/oasis/PropList.ml" 107 3361 3377
type(
  string
)
ident(
  def s "src/oasis/PropList.ml" 107 3361 3381 "src/oasis/PropList.ml" 107 3361 3382
)
"src/oasis/PropList.ml" 107 3361 3381 "src/oasis/PropList.ml" 107 3361 3382
type(
  string
)
ident(
  int_ref s "src/oasis/PropList.ml" 107 3361 3376 "src/oasis/PropList.ml" 107 3361 3377
)
"src/oasis/PropList.ml" 107 3361 3372 "src/oasis/PropList.ml" 107 3361 3382
type(
  string -> string
)
"src/oasis/PropList.ml" 104 3274 3282 "src/oasis/PropList.ml" 107 3361 3383
type(
  string -> string
)
"src/oasis/PropList.ml" 99 3156 3160 "src/oasis/PropList.ml" 108 3385 3390
type(
  ('a, 'b) t
)
"src/oasis/PropList.ml" 110 3392 3398 "src/oasis/PropList.ml" 110 3392 3401
type(
  ('c, 'd) t ->
  name ->
  (Data.t -> ?context:'c -> string -> unit) ->
  (Data.t -> string) -> 'd -> (unit -> string) option -> unit
)
ident(
  def add "src/oasis/PropList.ml" 131 3804 3806 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 110 3392 3402 "src/oasis/PropList.ml" 110 3392 3403
type(
  ('c, 'd) t
)
ident(
  def t "src/oasis/PropList.ml" 110 3392 3404 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 110 3392 3404 "src/oasis/PropList.ml" 110 3392 3406
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 110 3392 3407 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 110 3392 3407 "src/oasis/PropList.ml" 110 3392 3410
type(
  Data.t -> ?context:'c -> string -> unit
)
ident(
  def set "src/oasis/PropList.ml" 110 3392 3411 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 110 3392 3411 "src/oasis/PropList.ml" 110 3392 3414
type(
  Data.t -> string
)
ident(
  def get "src/oasis/PropList.ml" 110 3392 3415 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 110 3392 3415 "src/oasis/PropList.ml" 110 3392 3420
type(
  'd
)
ident(
  def extra "src/oasis/PropList.ml" 110 3392 3421 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 110 3392 3421 "src/oasis/PropList.ml" 110 3392 3425
type(
  (unit -> string) option
)
ident(
  def help "src/oasis/PropList.ml" 111 3428 3432 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 111 3428 3436 "src/oasis/PropList.ml" 111 3428 3439
type(
  string
)
ident(
  def key "src/oasis/PropList.ml" 115 3471 3475 "src/oasis/PropList.ml" 129 3778 3802
)
"src/oasis/PropList.ml" 112 3442 3448 "src/oasis/PropList.ml" 112 3442 3449
type(
  ('c, 'd) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 110 3392 3402 "src/oasis/PropList.ml" 110 3392 3403
)
"src/oasis/PropList.ml" 112 3442 3448 "src/oasis/PropList.ml" 112 3442 3459
type(
  name -> string
)
"src/oasis/PropList.ml" 112 3442 3460 "src/oasis/PropList.ml" 112 3442 3462
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 110 3392 3404 "src/oasis/PropList.ml" 110 3392 3406
)
"src/oasis/PropList.ml" 112 3442 3448 "src/oasis/PropList.ml" 112 3442 3462
type(
  string
)
"src/oasis/PropList.ml" 115 3471 3478 "src/oasis/PropList.ml" 115 3471 3489
type(
  (name, ('c, 'd) value) Hashtbl.t -> name -> bool
)
ident(
  int_ref Stdlib.Hashtbl.mem "hashtbl.mli" 105 4864 4864 "hashtbl.mli" 105 4864 4898
)
"src/oasis/PropList.ml" 115 3471 3490 "src/oasis/PropList.ml" 115 3471 3491
type(
  ('c, 'd) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 110 3392 3402 "src/oasis/PropList.ml" 110 3392 3403
)
"src/oasis/PropList.ml" 115 3471 3490 "src/oasis/PropList.ml" 115 3471 3498
type(
  (name, ('c, 'd) value) Hashtbl.t
)
"src/oasis/PropList.ml" 115 3471 3499 "src/oasis/PropList.ml" 115 3471 3502
type(
  name
)
ident(
  int_ref key "src/oasis/PropList.ml" 111 3428 3436 "src/oasis/PropList.ml" 111 3428 3439
)
"src/oasis/PropList.ml" 115 3471 3478 "src/oasis/PropList.ml" 115 3471 3502
type(
  bool
)
"src/oasis/PropList.ml" 116 3508 3514 "src/oasis/PropList.ml" 116 3508 3522
type(
  string -> unit
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/PropList.ml" 117 3523 3532 "src/oasis/PropList.ml" 117 3523 3546
type(
  (name -> name -> string, unit, string) format -> name -> name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 118 3547 3559 "src/oasis/PropList.ml" 118 3547 3561
type(
  (name -> name -> string, unit, string, string) format4 ->
  (name -> name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/PropList.ml" 118 3547 3562 "src/oasis/PropList.ml" 118 3547 3608
type(
  (name -> name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 118 3547 3558 "src/oasis/PropList.ml" 118 3547 3609
type(
  (name -> name -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 119 3610 3621 "src/oasis/PropList.ml" 119 3610 3623
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 110 3392 3404 "src/oasis/PropList.ml" 110 3392 3406
)
"src/oasis/PropList.ml" 119 3610 3624 "src/oasis/PropList.ml" 119 3610 3625
type(
  ('c, 'd) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 110 3392 3402 "src/oasis/PropList.ml" 110 3392 3403
)
"src/oasis/PropList.ml" 119 3610 3624 "src/oasis/PropList.ml" 119 3610 3630
type(
  name
)
"src/oasis/PropList.ml" 117 3523 3531 "src/oasis/PropList.ml" 119 3610 3631
type(
  string
)
"src/oasis/PropList.ml" 116 3508 3514 "src/oasis/PropList.ml" 119 3610 3631
type(
  unit
)
"src/oasis/PropList.ml" 115 3471 3475 "src/oasis/PropList.ml" 119 3610 3631
type(
  unit
)
"src/oasis/PropList.ml" 120 3633 3637 "src/oasis/PropList.ml" 120 3633 3648
type(
  (name, ('c, 'd) value) Hashtbl.t -> name -> ('c, 'd) value -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/PropList.ml" 121 3649 3655 "src/oasis/PropList.ml" 121 3649 3656
type(
  ('c, 'd) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 110 3392 3402 "src/oasis/PropList.ml" 110 3392 3403
)
"src/oasis/PropList.ml" 121 3649 3655 "src/oasis/PropList.ml" 121 3649 3663
type(
  (name, ('c, 'd) value) Hashtbl.t
)
"src/oasis/PropList.ml" 122 3664 3670 "src/oasis/PropList.ml" 122 3664 3673
type(
  name
)
ident(
  int_ref key "src/oasis/PropList.ml" 111 3428 3436 "src/oasis/PropList.ml" 111 3428 3439
)
"src/oasis/PropList.ml" 124 3682 3698 "src/oasis/PropList.ml" 124 3682 3701
type(
  Data.t -> ?context:'c -> string -> unit
)
ident(
  int_ref set "src/oasis/PropList.ml" 110 3392 3407 "src/oasis/PropList.ml" 110 3392 3410
)
"src/oasis/PropList.ml" 125 3703 3719 "src/oasis/PropList.ml" 125 3703 3722
type(
  Data.t -> string
)
ident(
  int_ref get "src/oasis/PropList.ml" 110 3392 3411 "src/oasis/PropList.ml" 110 3392 3414
)
"src/oasis/PropList.ml" 126 3724 3740 "src/oasis/PropList.ml" 126 3724 3744
type(
  (unit -> string) option
)
ident(
  int_ref help "src/oasis/PropList.ml" 110 3392 3421 "src/oasis/PropList.ml" 110 3392 3425
)
"src/oasis/PropList.ml" 127 3746 3762 "src/oasis/PropList.ml" 127 3746 3767
type(
  'd
)
ident(
  int_ref extra "src/oasis/PropList.ml" 110 3392 3415 "src/oasis/PropList.ml" 110 3392 3420
)
"src/oasis/PropList.ml" 123 3674 3680 "src/oasis/PropList.ml" 128 3769 3776
type(
  ('c, 'd) value
)
"src/oasis/PropList.ml" 120 3633 3637 "src/oasis/PropList.ml" 128 3769 3776
type(
  unit
)
"src/oasis/PropList.ml" 129 3778 3782 "src/oasis/PropList.ml" 129 3778 3791
type(
  name -> name Queue.t -> unit
)
ident(
  int_ref Stdlib.Queue.add "queue.mli" 36 1607 1607 "queue.mli" 36 1607 1635
)
"src/oasis/PropList.ml" 129 3778 3792 "src/oasis/PropList.ml" 129 3778 3794
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 110 3392 3404 "src/oasis/PropList.ml" 110 3392 3406
)
"src/oasis/PropList.ml" 129 3778 3795 "src/oasis/PropList.ml" 129 3778 3796
type(
  ('c, 'd) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 110 3392 3402 "src/oasis/PropList.ml" 110 3392 3403
)
"src/oasis/PropList.ml" 129 3778 3795 "src/oasis/PropList.ml" 129 3778 3802
type(
  name Queue.t
)
"src/oasis/PropList.ml" 129 3778 3782 "src/oasis/PropList.ml" 129 3778 3802
type(
  unit
)
"src/oasis/PropList.ml" 120 3633 3637 "src/oasis/PropList.ml" 129 3778 3802
type(
  unit
)
"src/oasis/PropList.ml" 115 3471 3475 "src/oasis/PropList.ml" 129 3778 3802
type(
  unit
)
"src/oasis/PropList.ml" 111 3428 3432 "src/oasis/PropList.ml" 129 3778 3802
type(
  unit
)
"src/oasis/PropList.ml" 131 3804 3810 "src/oasis/PropList.ml" 131 3804 3813
type(
  ('e, 'f) t -> name -> bool
)
ident(
  def mem "src/oasis/PropList.ml" 134 3850 3852 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 131 3804 3814 "src/oasis/PropList.ml" 131 3804 3815
type(
  ('e, 'f) t
)
ident(
  def t "src/oasis/PropList.ml" 131 3804 3816 "src/oasis/PropList.ml" 132 3821 3848
)
"src/oasis/PropList.ml" 131 3804 3816 "src/oasis/PropList.ml" 131 3804 3818
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 132 3821 3825 "src/oasis/PropList.ml" 132 3821 3848
)
"src/oasis/PropList.ml" 132 3821 3825 "src/oasis/PropList.ml" 132 3821 3836
type(
  (name, ('e, 'f) value) Hashtbl.t -> name -> bool
)
ident(
  int_ref Stdlib.Hashtbl.mem "hashtbl.mli" 105 4864 4864 "hashtbl.mli" 105 4864 4898
)
"src/oasis/PropList.ml" 132 3821 3837 "src/oasis/PropList.ml" 132 3821 3838
type(
  ('e, 'f) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 131 3804 3814 "src/oasis/PropList.ml" 131 3804 3815
)
"src/oasis/PropList.ml" 132 3821 3837 "src/oasis/PropList.ml" 132 3821 3845
type(
  (name, ('e, 'f) value) Hashtbl.t
)
"src/oasis/PropList.ml" 132 3821 3846 "src/oasis/PropList.ml" 132 3821 3848
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 131 3804 3816 "src/oasis/PropList.ml" 131 3804 3818
)
"src/oasis/PropList.ml" 132 3821 3825 "src/oasis/PropList.ml" 132 3821 3848
type(
  bool
)
"src/oasis/PropList.ml" 134 3850 3856 "src/oasis/PropList.ml" 134 3850 3860
type(
  ('g, 'h) t -> name -> ('g, 'h) value
)
ident(
  def find "src/oasis/PropList.ml" 140 3985 3987 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 134 3850 3861 "src/oasis/PropList.ml" 134 3850 3862
type(
  ('g, 'h) t
)
ident(
  def t "src/oasis/PropList.ml" 134 3850 3863 "src/oasis/PropList.ml" 138 3943 3983
)
"src/oasis/PropList.ml" 134 3850 3863 "src/oasis/PropList.ml" 134 3850 3865
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 135 3868 3872 "src/oasis/PropList.ml" 138 3943 3983
)
"src/oasis/PropList.ml" 136 3876 3882 "src/oasis/PropList.ml" 136 3876 3894
type(
  (name, ('g, 'h) value) Hashtbl.t -> name -> ('g, 'h) value
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/PropList.ml" 136 3876 3895 "src/oasis/PropList.ml" 136 3876 3896
type(
  ('g, 'h) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 134 3850 3861 "src/oasis/PropList.ml" 134 3850 3862
)
"src/oasis/PropList.ml" 136 3876 3895 "src/oasis/PropList.ml" 136 3876 3903
type(
  (name, ('g, 'h) value) Hashtbl.t
)
"src/oasis/PropList.ml" 136 3876 3905 "src/oasis/PropList.ml" 136 3876 3906
type(
  ('g, 'h) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 134 3850 3861 "src/oasis/PropList.ml" 134 3850 3862
)
"src/oasis/PropList.ml" 136 3876 3905 "src/oasis/PropList.ml" 136 3876 3916
type(
  name -> name
)
"src/oasis/PropList.ml" 136 3876 3917 "src/oasis/PropList.ml" 136 3876 3919
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 134 3850 3863 "src/oasis/PropList.ml" 134 3850 3865
)
"src/oasis/PropList.ml" 136 3876 3904 "src/oasis/PropList.ml" 136 3876 3920
type(
  name
)
"src/oasis/PropList.ml" 136 3876 3882 "src/oasis/PropList.ml" 136 3876 3920
type(
  ('g, 'h) value
)
"src/oasis/PropList.ml" 137 3921 3930 "src/oasis/PropList.ml" 137 3921 3939
type(
  exn
)
"src/oasis/PropList.ml" 138 3943 3949 "src/oasis/PropList.ml" 138 3943 3954
type(
  exn -> ('g, 'h) value
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/PropList.ml" 138 3943 3971 "src/oasis/PropList.ml" 138 3943 3973
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 134 3850 3863 "src/oasis/PropList.ml" 134 3850 3865
)
"src/oasis/PropList.ml" 138 3943 3975 "src/oasis/PropList.ml" 138 3943 3976
type(
  ('g, 'h) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 134 3850 3861 "src/oasis/PropList.ml" 134 3850 3862
)
"src/oasis/PropList.ml" 138 3943 3975 "src/oasis/PropList.ml" 138 3943 3981
type(
  name
)
"src/oasis/PropList.ml" 138 3943 3955 "src/oasis/PropList.ml" 138 3943 3983
type(
  exn
)
"src/oasis/PropList.ml" 138 3943 3949 "src/oasis/PropList.ml" 138 3943 3983
type(
  ('g, 'h) value
)
"src/oasis/PropList.ml" 135 3868 3872 "src/oasis/PropList.ml" 138 3943 3983
type(
  ('g, 'h) value
)
"src/oasis/PropList.ml" 140 3985 3991 "src/oasis/PropList.ml" 140 3985 3994
type(
  ('i, 'j) t -> Data.t -> name -> string
)
ident(
  def get "src/oasis/PropList.ml" 143 4033 4035 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 140 3985 3995 "src/oasis/PropList.ml" 140 3985 3996
type(
  ('i, 'j) t
)
ident(
  def t "src/oasis/PropList.ml" 140 3985 3997 "src/oasis/PropList.ml" 141 4007 4031
)
"src/oasis/PropList.ml" 140 3985 3997 "src/oasis/PropList.ml" 140 3985 4001
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 140 3985 4002 "src/oasis/PropList.ml" 141 4007 4031
)
"src/oasis/PropList.ml" 140 3985 4002 "src/oasis/PropList.ml" 140 3985 4004
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 141 4007 4011 "src/oasis/PropList.ml" 141 4007 4031
)
"src/oasis/PropList.ml" 141 4007 4012 "src/oasis/PropList.ml" 141 4007 4016
type(
  ('i, 'j) t -> name -> ('i, 'j) value
)
ident(
  int_ref find "src/oasis/PropList.ml" 134 3850 3856 "src/oasis/PropList.ml" 134 3850 3860
)
"src/oasis/PropList.ml" 141 4007 4017 "src/oasis/PropList.ml" 141 4007 4018
type(
  ('i, 'j) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 140 3985 3995 "src/oasis/PropList.ml" 140 3985 3996
)
"src/oasis/PropList.ml" 141 4007 4019 "src/oasis/PropList.ml" 141 4007 4021
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 140 3985 4002 "src/oasis/PropList.ml" 140 3985 4004
)
"src/oasis/PropList.ml" 141 4007 4011 "src/oasis/PropList.ml" 141 4007 4022
type(
  ('i, 'j) value
)
"src/oasis/PropList.ml" 141 4007 4011 "src/oasis/PropList.ml" 141 4007 4026
type(
  Data.t -> string
)
"src/oasis/PropList.ml" 141 4007 4027 "src/oasis/PropList.ml" 141 4007 4031
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 140 3985 3997 "src/oasis/PropList.ml" 140 3985 4001
)
"src/oasis/PropList.ml" 141 4007 4011 "src/oasis/PropList.ml" 141 4007 4031
type(
  string
)
"src/oasis/PropList.ml" 143 4033 4039 "src/oasis/PropList.ml" 143 4033 4042
type(
  ('k, 'l) t -> Data.t -> name -> ?context:'k -> string -> unit
)
ident(
  def set "src/oasis/PropList.ml" 149 4121 4123 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 143 4033 4043 "src/oasis/PropList.ml" 143 4033 4044
type(
  ('k, 'l) t
)
ident(
  def t "src/oasis/PropList.ml" 143 4033 4045 "src/oasis/PropList.ml" 147 4112 4119
)
"src/oasis/PropList.ml" 143 4033 4045 "src/oasis/PropList.ml" 143 4033 4049
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 143 4033 4050 "src/oasis/PropList.ml" 147 4112 4119
)
"src/oasis/PropList.ml" 143 4033 4050 "src/oasis/PropList.ml" 143 4033 4052
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 143 4033 4053 "src/oasis/PropList.ml" 147 4112 4119
)
"src/oasis/PropList.ml" 143 4033 4054 "src/oasis/PropList.ml" 143 4033 4061
type(
  'k option
)
ident(
  def context "src/oasis/PropList.ml" 143 4033 4062 "src/oasis/PropList.ml" 147 4112 4119
)
"src/oasis/PropList.ml" 143 4033 4062 "src/oasis/PropList.ml" 143 4033 4063
type(
  string
)
ident(
  def x "src/oasis/PropList.ml" 144 4066 4070 "src/oasis/PropList.ml" 147 4112 4119
)
"src/oasis/PropList.ml" 144 4066 4071 "src/oasis/PropList.ml" 144 4066 4075
type(
  ('k, 'l) t -> name -> ('k, 'l) value
)
ident(
  int_ref find "src/oasis/PropList.ml" 134 3850 3856 "src/oasis/PropList.ml" 134 3850 3860
)
"src/oasis/PropList.ml" 144 4066 4076 "src/oasis/PropList.ml" 144 4066 4077
type(
  ('k, 'l) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 143 4033 4043 "src/oasis/PropList.ml" 143 4033 4044
)
"src/oasis/PropList.ml" 144 4066 4078 "src/oasis/PropList.ml" 144 4066 4080
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 143 4033 4050 "src/oasis/PropList.ml" 143 4033 4052
)
"src/oasis/PropList.ml" 144 4066 4070 "src/oasis/PropList.ml" 144 4066 4081
type(
  ('k, 'l) value
)
"src/oasis/PropList.ml" 144 4066 4070 "src/oasis/PropList.ml" 144 4066 4085
type(
  Data.t -> ?context:'k -> string -> unit
)
"src/oasis/PropList.ml" 145 4086 4092 "src/oasis/PropList.ml" 145 4086 4096
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 143 4033 4045 "src/oasis/PropList.ml" 143 4033 4049
)
"src/oasis/PropList.ml" 146 4097 4104 "src/oasis/PropList.ml" 146 4097 4111
type(
  'k option
)
ident(
  int_ref context "src/oasis/PropList.ml" 143 4033 4054 "src/oasis/PropList.ml" 143 4033 4061
)
"src/oasis/PropList.ml" 147 4112 4118 "src/oasis/PropList.ml" 147 4112 4119
type(
  string
)
ident(
  int_ref x "src/oasis/PropList.ml" 143 4033 4062 "src/oasis/PropList.ml" 143 4033 4063
)
"src/oasis/PropList.ml" 144 4066 4070 "src/oasis/PropList.ml" 147 4112 4119
type(
  unit
)
"src/oasis/PropList.ml" 149 4121 4127 "src/oasis/PropList.ml" 149 4121 4131
type(
  ('m -> name -> 'n -> (unit -> string) option -> 'm) ->
  'm -> ('o, 'n) t -> 'm
)
ident(
  def fold "src/oasis/PropList.ml" 159 4284 4286 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 149 4121 4132 "src/oasis/PropList.ml" 149 4121 4133
type(
  'm -> name -> 'n -> (unit -> string) option -> 'm
)
ident(
  def f "src/oasis/PropList.ml" 149 4121 4134 "src/oasis/PropList.ml" 157 4269 4282
)
"src/oasis/PropList.ml" 149 4121 4134 "src/oasis/PropList.ml" 149 4121 4137
type(
  'm
)
ident(
  def acc "src/oasis/PropList.ml" 149 4121 4138 "src/oasis/PropList.ml" 157 4269 4282
)
"src/oasis/PropList.ml" 149 4121 4138 "src/oasis/PropList.ml" 149 4121 4139
type(
  ('o, 'n) t
)
ident(
  def t "src/oasis/PropList.ml" 150 4142 4146 "src/oasis/PropList.ml" 157 4269 4282
)
"src/oasis/PropList.ml" 150 4142 4146 "src/oasis/PropList.ml" 150 4142 4156
type(
  ('m -> name -> 'm) -> 'm -> name Queue.t -> 'm
)
ident(
  int_ref Stdlib.Queue.fold "queue.mli" 83 3052 3052 "queue.mli" 83 3052 3099
)
"src/oasis/PropList.ml" 151 4157 4168 "src/oasis/PropList.ml" 151 4157 4171
type(
  'm
)
ident(
  def acc "src/oasis/PropList.ml" 151 4157 4172 "src/oasis/PropList.ml" 155 4226 4257
)
"src/oasis/PropList.ml" 151 4157 4172 "src/oasis/PropList.ml" 151 4157 4173
type(
  name
)
ident(
  def k "src/oasis/PropList.ml" 152 4177 4186 "src/oasis/PropList.ml" 155 4226 4257
)
"src/oasis/PropList.ml" 152 4177 4190 "src/oasis/PropList.ml" 152 4177 4191
type(
  ('o, 'n) value
)
ident(
  def v "src/oasis/PropList.ml" 155 4226 4235 "src/oasis/PropList.ml" 155 4226 4257
)
"src/oasis/PropList.ml" 153 4194 4205 "src/oasis/PropList.ml" 153 4194 4209
type(
  ('o, 'n) t -> name -> ('o, 'n) value
)
ident(
  int_ref find "src/oasis/PropList.ml" 134 3850 3856 "src/oasis/PropList.ml" 134 3850 3860
)
"src/oasis/PropList.ml" 153 4194 4210 "src/oasis/PropList.ml" 153 4194 4211
type(
  ('o, 'n) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 149 4121 4138 "src/oasis/PropList.ml" 149 4121 4139
)
"src/oasis/PropList.ml" 153 4194 4212 "src/oasis/PropList.ml" 153 4194 4213
type(
  name
)
ident(
  int_ref k "src/oasis/PropList.ml" 151 4157 4172 "src/oasis/PropList.ml" 151 4157 4173
)
"src/oasis/PropList.ml" 153 4194 4205 "src/oasis/PropList.ml" 153 4194 4213
type(
  ('o, 'n) value
)
"src/oasis/PropList.ml" 155 4226 4235 "src/oasis/PropList.ml" 155 4226 4236
type(
  'm -> name -> 'n -> (unit -> string) option -> 'm
)
ident(
  int_ref f "src/oasis/PropList.ml" 149 4121 4132 "src/oasis/PropList.ml" 149 4121 4133
)
"src/oasis/PropList.ml" 155 4226 4237 "src/oasis/PropList.ml" 155 4226 4240
type(
  'm
)
ident(
  int_ref acc "src/oasis/PropList.ml" 151 4157 4168 "src/oasis/PropList.ml" 151 4157 4171
)
"src/oasis/PropList.ml" 155 4226 4241 "src/oasis/PropList.ml" 155 4226 4242
type(
  name
)
ident(
  int_ref k "src/oasis/PropList.ml" 151 4157 4172 "src/oasis/PropList.ml" 151 4157 4173
)
"src/oasis/PropList.ml" 155 4226 4243 "src/oasis/PropList.ml" 155 4226 4244
type(
  ('o, 'n) value
)
ident(
  int_ref v "src/oasis/PropList.ml" 152 4177 4190 "src/oasis/PropList.ml" 152 4177 4191
)
"src/oasis/PropList.ml" 155 4226 4243 "src/oasis/PropList.ml" 155 4226 4250
type(
  'n
)
"src/oasis/PropList.ml" 155 4226 4251 "src/oasis/PropList.ml" 155 4226 4252
type(
  ('o, 'n) value
)
ident(
  int_ref v "src/oasis/PropList.ml" 152 4177 4190 "src/oasis/PropList.ml" 152 4177 4191
)
"src/oasis/PropList.ml" 155 4226 4251 "src/oasis/PropList.ml" 155 4226 4257
type(
  (unit -> string) option
)
"src/oasis/PropList.ml" 155 4226 4235 "src/oasis/PropList.ml" 155 4226 4257
type(
  'm
)
"src/oasis/PropList.ml" 152 4177 4186 "src/oasis/PropList.ml" 155 4226 4257
type(
  'm
)
"src/oasis/PropList.ml" 151 4157 4163 "src/oasis/PropList.ml" 155 4226 4258
type(
  'm -> name -> 'm
)
"src/oasis/PropList.ml" 156 4259 4265 "src/oasis/PropList.ml" 156 4259 4268
type(
  'm
)
ident(
  int_ref acc "src/oasis/PropList.ml" 149 4121 4134 "src/oasis/PropList.ml" 149 4121 4137
)
"src/oasis/PropList.ml" 157 4269 4275 "src/oasis/PropList.ml" 157 4269 4276
type(
  ('o, 'n) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 149 4121 4138 "src/oasis/PropList.ml" 149 4121 4139
)
"src/oasis/PropList.ml" 157 4269 4275 "src/oasis/PropList.ml" 157 4269 4282
type(
  name Queue.t
)
"src/oasis/PropList.ml" 150 4142 4146 "src/oasis/PropList.ml" 157 4269 4282
type(
  'm
)
"src/oasis/PropList.ml" 159 4284 4290 "src/oasis/PropList.ml" 159 4284 4294
type(
  (name -> 'p -> (unit -> string) option -> unit) -> ('q, 'p) t -> unit
)
ident(
  def iter "src/oasis/PropList.ml" 165 4348 4350 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 159 4284 4295 "src/oasis/PropList.ml" 159 4284 4296
type(
  name -> 'p -> (unit -> string) option -> unit
)
ident(
  def f "src/oasis/PropList.ml" 159 4284 4297 "src/oasis/PropList.ml" 163 4339 4346
)
"src/oasis/PropList.ml" 159 4284 4297 "src/oasis/PropList.ml" 159 4284 4298
type(
  ('q, 'p) t
)
ident(
  def t "src/oasis/PropList.ml" 160 4301 4305 "src/oasis/PropList.ml" 163 4339 4346
)
"src/oasis/PropList.ml" 160 4301 4305 "src/oasis/PropList.ml" 160 4301 4309
type(
  (unit -> name -> 'p -> (unit -> string) option -> unit) ->
  unit -> ('q, 'p) t -> unit
)
ident(
  int_ref fold "src/oasis/PropList.ml" 149 4121 4127 "src/oasis/PropList.ml" 149 4121 4131
)
"src/oasis/PropList.ml" 161 4310 4321 "src/oasis/PropList.ml" 161 4310 4323
type(
  unit
)
"src/oasis/PropList.ml" 161 4310 4327 "src/oasis/PropList.ml" 161 4310 4328
type(
  name -> 'p -> (unit -> string) option -> unit
)
ident(
  int_ref f "src/oasis/PropList.ml" 159 4284 4295 "src/oasis/PropList.ml" 159 4284 4296
)
"src/oasis/PropList.ml" 161 4310 4316 "src/oasis/PropList.ml" 161 4310 4329
type(
  unit -> name -> 'p -> (unit -> string) option -> unit
)
"src/oasis/PropList.ml" 162 4330 4336 "src/oasis/PropList.ml" 162 4330 4338
type(
  unit
)
"src/oasis/PropList.ml" 163 4339 4345 "src/oasis/PropList.ml" 163 4339 4346
type(
  ('q, 'p) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 159 4284 4297 "src/oasis/PropList.ml" 159 4284 4298
)
"src/oasis/PropList.ml" 160 4301 4305 "src/oasis/PropList.ml" 163 4339 4346
type(
  unit
)
"src/oasis/PropList.ml" 165 4348 4354 "src/oasis/PropList.ml" 165 4348 4358
type(
  ('r, 's) t -> name
)
ident(
  def name "src/oasis/PropList.ml" 166 4363 4373 "src/oasis/PropList.ml" 167 4374 4377
)
"src/oasis/PropList.ml" 165 4348 4359 "src/oasis/PropList.ml" 165 4348 4360
type(
  ('r, 's) t
)
ident(
  def t "src/oasis/PropList.ml" 166 4363 4367 "src/oasis/PropList.ml" 166 4363 4373
)
"src/oasis/PropList.ml" 166 4363 4367 "src/oasis/PropList.ml" 166 4363 4368
type(
  ('r, 's) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 165 4348 4359 "src/oasis/PropList.ml" 165 4348 4360
)
"src/oasis/PropList.ml" 166 4363 4367 "src/oasis/PropList.ml" 166 4363 4373
type(
  name
)
"src/oasis/PropList.ml" 170 4380 4387 "src/oasis/PropList.ml" 170 4380 4392
ident(
  def Field "src/oasis/PropList.ml" 301 7077 7080 "src/oasis/PropList.ml" 0 0 -1
)
"src/oasis/PropList.ml" 182 4691 4697 "src/oasis/PropList.ml" 182 4691 4703
type(
  unit -> int
)
ident(
  def new_id "src/oasis/PropList.ml" 188 4781 4783 "src/oasis/PropList.ml" 301 7077 7080
)
"src/oasis/PropList.ml" 183 4706 4714 "src/oasis/PropList.ml" 183 4706 4721
type(
  int ref
)
ident(
  def last_id "src/oasis/PropList.ml" 186 4743 4747 "src/oasis/PropList.ml" 186 4743 4779
)
"src/oasis/PropList.ml" 184 4724 4730 "src/oasis/PropList.ml" 184 4724 4733
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/PropList.ml" 184 4724 4734 "src/oasis/PropList.ml" 184 4724 4735
type(
  int
)
"src/oasis/PropList.ml" 184 4724 4730 "src/oasis/PropList.ml" 184 4724 4735
type(
  int ref
)
"src/oasis/PropList.ml" 186 4743 4751 "src/oasis/PropList.ml" 186 4743 4753
type(
  unit
)
"src/oasis/PropList.ml" 186 4743 4757 "src/oasis/PropList.ml" 186 4743 4761
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/PropList.ml" 186 4743 4762 "src/oasis/PropList.ml" 186 4743 4769
type(
  int ref
)
ident(
  int_ref last_id "src/oasis/PropList.ml" 183 4706 4714 "src/oasis/PropList.ml" 183 4706 4721
)
"src/oasis/PropList.ml" 186 4743 4757 "src/oasis/PropList.ml" 186 4743 4769
type(
  unit
)
"src/oasis/PropList.ml" 186 4743 4771 "src/oasis/PropList.ml" 186 4743 4772
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/PropList.ml" 186 4743 4772 "src/oasis/PropList.ml" 186 4743 4779
type(
  int ref
)
ident(
  int_ref last_id "src/oasis/PropList.ml" 183 4706 4714 "src/oasis/PropList.ml" 183 4706 4721
)
"src/oasis/PropList.ml" 186 4743 4771 "src/oasis/PropList.ml" 186 4743 4779
type(
  int
)
"src/oasis/PropList.ml" 186 4743 4757 "src/oasis/PropList.ml" 186 4743 4779
type(
  int
)
"src/oasis/PropList.ml" 186 4743 4747 "src/oasis/PropList.ml" 186 4743 4779
type(
  unit -> int
)
"src/oasis/PropList.ml" 183 4706 4710 "src/oasis/PropList.ml" 186 4743 4779
type(
  unit -> int
)
"src/oasis/PropList.ml" 188 4781 4787 "src/oasis/PropList.ml" 188 4781 4793
type(
  ?schema:('a, 'b) Schema.t ->
  ?name:name ->
  ?parse:(?context:'a -> string -> 'c) ->
  ?print:('c -> string) ->
  ?default:'c ->
  ?update:(?context:'a -> 'c -> 'c -> 'c) ->
  ?help:(unit -> string) -> 'b -> ('a, 'c, 'b) t
)
ident(
  def create "src/oasis/PropList.ml" 290 6886 6888 "src/oasis/PropList.ml" 301 7077 7080
)
"src/oasis/PropList.ml" 188 4781 4795 "src/oasis/PropList.ml" 188 4781 4801
type(
  ('a, 'b) Schema.t option
)
ident(
  def schema "src/oasis/PropList.ml" 188 4781 4802 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4803 "src/oasis/PropList.ml" 188 4781 4807
type(
  name option
)
ident(
  def name "src/oasis/PropList.ml" 188 4781 4808 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4809 "src/oasis/PropList.ml" 188 4781 4814
type(
  (?context:'a -> string -> 'c) option
)
ident(
  def parse "src/oasis/PropList.ml" 188 4781 4815 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4816 "src/oasis/PropList.ml" 188 4781 4821
type(
  ('c -> string) option
)
ident(
  def print "src/oasis/PropList.ml" 188 4781 4822 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4823 "src/oasis/PropList.ml" 188 4781 4830
type(
  'c option
)
ident(
  def default "src/oasis/PropList.ml" 188 4781 4831 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4832 "src/oasis/PropList.ml" 188 4781 4838
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
ident(
  def update "src/oasis/PropList.ml" 188 4781 4839 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4840 "src/oasis/PropList.ml" 188 4781 4844
type(
  (unit -> string) option
)
ident(
  def help "src/oasis/PropList.ml" 188 4781 4845 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 188 4781 4845 "src/oasis/PropList.ml" 188 4781 4850
type(
  'b
)
ident(
  def extra "src/oasis/PropList.ml" 190 4887 4891 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 190 4887 4895 "src/oasis/PropList.ml" 190 4887 4896
type(
  'c option ref
)
ident(
  def v "src/oasis/PropList.ml" 195 4972 4976 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 191 4899 4905 "src/oasis/PropList.ml" 191 4899 4908
type(
  'c option -> 'c option ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/PropList.ml" 191 4899 4909 "src/oasis/PropList.ml" 191 4899 4913
type(
  'c option
)
"src/oasis/PropList.ml" 191 4899 4905 "src/oasis/PropList.ml" 191 4899 4913
type(
  'c option ref
)
"src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
type(
  name
)
ident(
  def nm "src/oasis/PropList.ml" 202 5143 5147 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 196 4985 4997 "src/oasis/PropList.ml" 196 4985 5001
type(
  name option
)
ident(
  int_ref name "src/oasis/PropList.ml" 188 4781 4803 "src/oasis/PropList.ml" 188 4781 4807
)
"src/oasis/PropList.ml" 197 5007 5022 "src/oasis/PropList.ml" 197 5007 5023
type(
  name
)
ident(
  def s "src/oasis/PropList.ml" 197 5007 5027 "src/oasis/PropList.ml" 197 5007 5028
)
"src/oasis/PropList.ml" 197 5007 5017 "src/oasis/PropList.ml" 197 5007 5023
type(
  name option
)
type(
  name option
)
"src/oasis/PropList.ml" 197 5007 5027 "src/oasis/PropList.ml" 197 5007 5028
type(
  name
)
ident(
  int_ref s "src/oasis/PropList.ml" 197 5007 5022 "src/oasis/PropList.ml" 197 5007 5023
)
"src/oasis/PropList.ml" 198 5029 5039 "src/oasis/PropList.ml" 198 5029 5043
type(
  name option
)
type(
  name option
)
"src/oasis/PropList.ml" 198 5029 5047 "src/oasis/PropList.ml" 198 5029 5061
type(
  (int -> name, unit, name) format -> int -> name
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 198 5029 5062 "src/oasis/PropList.ml" 198 5029 5072
type(
  (int -> name, unit, name) format
)
"src/oasis/PropList.ml" 198 5029 5074 "src/oasis/PropList.ml" 198 5029 5080
type(
  unit -> int
)
ident(
  int_ref new_id "src/oasis/PropList.ml" 182 4691 4697 "src/oasis/PropList.ml" 182 4691 4703
)
"src/oasis/PropList.ml" 198 5029 5081 "src/oasis/PropList.ml" 198 5029 5083
type(
  unit
)
"src/oasis/PropList.ml" 198 5029 5073 "src/oasis/PropList.ml" 198 5029 5084
type(
  int
)
"src/oasis/PropList.ml" 198 5029 5047 "src/oasis/PropList.ml" 198 5029 5084
type(
  name
)
"src/oasis/PropList.ml" 196 4985 4991 "src/oasis/PropList.ml" 198 5029 5084
type(
  name
)
"src/oasis/PropList.ml" 202 5143 5151 "src/oasis/PropList.ml" 202 5143 5158
type(
  unit -> 'c
)
ident(
  def default "src/oasis/PropList.ml" 209 5307 5311 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 202 5143 5159 "src/oasis/PropList.ml" 202 5143 5161
type(
  unit
)
"src/oasis/PropList.ml" 203 5164 5176 "src/oasis/PropList.ml" 203 5164 5183
type(
  'c option
)
ident(
  int_ref default "src/oasis/PropList.ml" 188 4781 4823 "src/oasis/PropList.ml" 188 4781 4830
)
"src/oasis/PropList.ml" 204 5189 5204 "src/oasis/PropList.ml" 204 5189 5205
type(
  'c
)
ident(
  def d "src/oasis/PropList.ml" 204 5189 5209 "src/oasis/PropList.ml" 204 5189 5210
)
"src/oasis/PropList.ml" 204 5189 5199 "src/oasis/PropList.ml" 204 5189 5205
type(
  'c option
)
type(
  'c option
)
"src/oasis/PropList.ml" 204 5189 5209 "src/oasis/PropList.ml" 204 5189 5210
type(
  'c
)
ident(
  int_ref d "src/oasis/PropList.ml" 204 5189 5204 "src/oasis/PropList.ml" 204 5189 5205
)
"src/oasis/PropList.ml" 205 5211 5221 "src/oasis/PropList.ml" 205 5211 5225
type(
  'c option
)
type(
  'c option
)
"src/oasis/PropList.ml" 205 5211 5229 "src/oasis/PropList.ml" 205 5211 5234
type(
  exn -> 'c
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/PropList.ml" 205 5211 5245 "src/oasis/PropList.ml" 205 5211 5247
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
)
"src/oasis/PropList.ml" 205 5211 5255 "src/oasis/PropList.ml" 205 5211 5257
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/PropList.ml" 205 5211 5258 "src/oasis/PropList.ml" 205 5211 5276
type(
  string
)
"src/oasis/PropList.ml" 205 5211 5254 "src/oasis/PropList.ml" 205 5211 5277
type(
  string
)
"src/oasis/PropList.ml" 205 5211 5249 "src/oasis/PropList.ml" 205 5211 5277
type(
  string option
)
"src/oasis/PropList.ml" 205 5211 5235 "src/oasis/PropList.ml" 205 5211 5279
type(
  exn
)
"src/oasis/PropList.ml" 205 5211 5229 "src/oasis/PropList.ml" 205 5211 5279
type(
  'c
)
"src/oasis/PropList.ml" 203 5164 5170 "src/oasis/PropList.ml" 205 5211 5279
type(
  'c
)
"src/oasis/PropList.ml" 209 5307 5315 "src/oasis/PropList.ml" 209 5307 5318
type(
  (name, unit -> 'd) Hashtbl.t -> 'c
)
ident(
  def get "src/oasis/PropList.ml" 221 5540 5544 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 209 5307 5319 "src/oasis/PropList.ml" 209 5307 5323
type(
  (name, unit -> 'd) Hashtbl.t
)
ident(
  def data "src/oasis/PropList.ml" 211 5348 5354 "src/oasis/PropList.ml" 217 5494 5512
)
"src/oasis/PropList.ml" 212 5358 5367 "src/oasis/PropList.ml" 212 5358 5379
type(
  (name, unit -> 'd) Hashtbl.t -> name -> unit -> 'd
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/PropList.ml" 212 5358 5380 "src/oasis/PropList.ml" 212 5358 5384
type(
  (name, unit -> 'd) Hashtbl.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 209 5307 5319 "src/oasis/PropList.ml" 209 5307 5323
)
"src/oasis/PropList.ml" 212 5358 5385 "src/oasis/PropList.ml" 212 5358 5387
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
)
"src/oasis/PropList.ml" 212 5358 5366 "src/oasis/PropList.ml" 212 5358 5388
type(
  unit -> 'd
)
"src/oasis/PropList.ml" 212 5358 5389 "src/oasis/PropList.ml" 212 5358 5391
type(
  unit
)
"src/oasis/PropList.ml" 212 5358 5366 "src/oasis/PropList.ml" 212 5358 5391
type(
  'd
)
"src/oasis/PropList.ml" 213 5393 5407 "src/oasis/PropList.ml" 213 5393 5408
type(
  'c option ref -> 'c option
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/PropList.ml" 213 5393 5408 "src/oasis/PropList.ml" 213 5393 5409
type(
  'c option ref
)
ident(
  int_ref v "src/oasis/PropList.ml" 190 4887 4895 "src/oasis/PropList.ml" 190 4887 4896
)
"src/oasis/PropList.ml" 213 5393 5407 "src/oasis/PropList.ml" 213 5393 5409
type(
  'c option
)
"src/oasis/PropList.ml" 214 5415 5432 "src/oasis/PropList.ml" 214 5415 5433
type(
  'c
)
ident(
  def x "src/oasis/PropList.ml" 214 5415 5437 "src/oasis/PropList.ml" 214 5415 5438
)
"src/oasis/PropList.ml" 214 5415 5427 "src/oasis/PropList.ml" 214 5415 5433
type(
  'c option
)
type(
  'c option
)
"src/oasis/PropList.ml" 214 5415 5437 "src/oasis/PropList.ml" 214 5415 5438
type(
  'c
)
ident(
  int_ref x "src/oasis/PropList.ml" 214 5415 5432 "src/oasis/PropList.ml" 214 5415 5433
)
"src/oasis/PropList.ml" 215 5439 5451 "src/oasis/PropList.ml" 215 5439 5455
type(
  'c option
)
type(
  'c option
)
"src/oasis/PropList.ml" 215 5439 5459 "src/oasis/PropList.ml" 215 5439 5466
type(
  unit -> 'c
)
ident(
  int_ref default "src/oasis/PropList.ml" 202 5143 5151 "src/oasis/PropList.ml" 202 5143 5158
)
"src/oasis/PropList.ml" 215 5439 5467 "src/oasis/PropList.ml" 215 5439 5469
type(
  unit
)
"src/oasis/PropList.ml" 215 5439 5459 "src/oasis/PropList.ml" 215 5439 5469
type(
  'c
)
"src/oasis/PropList.ml" 213 5393 5401 "src/oasis/PropList.ml" 215 5439 5469
type(
  'c
)
"src/oasis/PropList.ml" 212 5358 5366 "src/oasis/PropList.ml" 215 5439 5469
type(
  'c
)
"src/oasis/PropList.ml" 216 5470 5481 "src/oasis/PropList.ml" 216 5470 5490
type(
  exn
)
"src/oasis/PropList.ml" 217 5494 5502 "src/oasis/PropList.ml" 217 5494 5509
type(
  unit -> 'c
)
ident(
  int_ref default "src/oasis/PropList.ml" 202 5143 5151 "src/oasis/PropList.ml" 202 5143 5158
)
"src/oasis/PropList.ml" 217 5494 5510 "src/oasis/PropList.ml" 217 5494 5512
type(
  unit
)
"src/oasis/PropList.ml" 217 5494 5502 "src/oasis/PropList.ml" 217 5494 5512
type(
  'c
)
"src/oasis/PropList.ml" 211 5348 5354 "src/oasis/PropList.ml" 217 5494 5512
type(
  'c
)
"src/oasis/PropList.ml" 221 5540 5548 "src/oasis/PropList.ml" 221 5540 5551
type(
  (name, unit -> unit) Hashtbl.t -> ?context:'a -> 'c -> unit
)
ident(
  def set "src/oasis/PropList.ml" 241 5945 5949 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 221 5540 5552 "src/oasis/PropList.ml" 221 5540 5556
type(
  (name, unit -> unit) Hashtbl.t
)
ident(
  def data "src/oasis/PropList.ml" 221 5540 5557 "src/oasis/PropList.ml" 237 5863 5894
)
"src/oasis/PropList.ml" 221 5540 5558 "src/oasis/PropList.ml" 221 5540 5565
type(
  'a option
)
ident(
  def context "src/oasis/PropList.ml" 221 5540 5566 "src/oasis/PropList.ml" 237 5863 5894
)
"src/oasis/PropList.ml" 221 5540 5566 "src/oasis/PropList.ml" 221 5540 5567
type(
  'c
)
ident(
  def x "src/oasis/PropList.ml" 222 5570 5576 "src/oasis/PropList.ml" 237 5863 5894
)
"src/oasis/PropList.ml" 222 5570 5580 "src/oasis/PropList.ml" 222 5570 5581
type(
  'c
)
ident(
  def x "src/oasis/PropList.ml" 234 5817 5823 "src/oasis/PropList.ml" 237 5863 5894
)
"src/oasis/PropList.ml" 223 5584 5598 "src/oasis/PropList.ml" 223 5584 5604
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
ident(
  int_ref update "src/oasis/PropList.ml" 188 4781 4832 "src/oasis/PropList.ml" 188 4781 4838
)
"src/oasis/PropList.ml" 224 5610 5627 "src/oasis/PropList.ml" 224 5610 5628
type(
  ?context:'a -> 'c -> 'c -> 'c
)
ident(
  def f "src/oasis/PropList.ml" 225 5632 5644 "src/oasis/PropList.ml" 230 5758 5773
)
"src/oasis/PropList.ml" 224 5610 5622 "src/oasis/PropList.ml" 224 5610 5628
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
"src/oasis/PropList.ml" 227 5668 5684 "src/oasis/PropList.ml" 227 5668 5685
type(
  ?context:'a -> 'c -> 'c -> 'c
)
ident(
  int_ref f "src/oasis/PropList.ml" 224 5610 5627 "src/oasis/PropList.ml" 224 5610 5628
)
"src/oasis/PropList.ml" 227 5668 5687 "src/oasis/PropList.ml" 227 5668 5694
type(
  'a option
)
ident(
  int_ref context "src/oasis/PropList.ml" 221 5540 5558 "src/oasis/PropList.ml" 221 5540 5565
)
"src/oasis/PropList.ml" 227 5668 5696 "src/oasis/PropList.ml" 227 5668 5699
type(
  (name, unit -> unit) Hashtbl.t -> 'c
)
ident(
  int_ref get "src/oasis/PropList.ml" 209 5307 5315 "src/oasis/PropList.ml" 209 5307 5318
)
"src/oasis/PropList.ml" 227 5668 5700 "src/oasis/PropList.ml" 227 5668 5704
type(
  (name, unit -> unit) Hashtbl.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 221 5540 5552 "src/oasis/PropList.ml" 221 5540 5556
)
"src/oasis/PropList.ml" 227 5668 5695 "src/oasis/PropList.ml" 227 5668 5705
type(
  'c
)
"src/oasis/PropList.ml" 227 5668 5706 "src/oasis/PropList.ml" 227 5668 5707
type(
  'c
)
ident(
  int_ref x "src/oasis/PropList.ml" 221 5540 5566 "src/oasis/PropList.ml" 221 5540 5567
)
"src/oasis/PropList.ml" 227 5668 5684 "src/oasis/PropList.ml" 227 5668 5707
type(
  'c
)
"src/oasis/PropList.ml" 228 5708 5735 "src/oasis/PropList.ml" 228 5708 5736
type(
  string option
)
type(
  name
)
"src/oasis/PropList.ml" 228 5708 5727 "src/oasis/PropList.ml" 228 5708 5736
type(
  exn
)
"src/oasis/PropList.ml" 229 5740 5756 "src/oasis/PropList.ml" 229 5740 5757
type(
  'c
)
ident(
  int_ref x "src/oasis/PropList.ml" 221 5540 5566 "src/oasis/PropList.ml" 221 5540 5567
)
"src/oasis/PropList.ml" 225 5632 5644 "src/oasis/PropList.ml" 230 5758 5773
type(
  'c
)
"src/oasis/PropList.ml" 231 5774 5786 "src/oasis/PropList.ml" 231 5774 5790
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
"src/oasis/PropList.ml" 232 5794 5806 "src/oasis/PropList.ml" 232 5794 5807
type(
  'c
)
ident(
  int_ref x "src/oasis/PropList.ml" 221 5540 5566 "src/oasis/PropList.ml" 221 5540 5567
)
"src/oasis/PropList.ml" 223 5584 5592 "src/oasis/PropList.ml" 232 5794 5807
type(
  'c
)
"src/oasis/PropList.ml" 234 5817 5823 "src/oasis/PropList.ml" 234 5817 5838
type(
  (name, unit -> unit) Hashtbl.t -> name -> (unit -> unit) -> unit
)
ident(
  int_ref Stdlib.Hashtbl.replace "hashtbl.mli" 113 5171 5171 "hashtbl.mli" 113 5171 5215
)
"src/oasis/PropList.ml" 235 5839 5847 "src/oasis/PropList.ml" 235 5839 5851
type(
  (name, unit -> unit) Hashtbl.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 221 5540 5552 "src/oasis/PropList.ml" 221 5540 5556
)
"src/oasis/PropList.ml" 236 5852 5860 "src/oasis/PropList.ml" 236 5852 5862
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
)
"src/oasis/PropList.ml" 237 5863 5876 "src/oasis/PropList.ml" 237 5863 5878
type(
  unit
)
"src/oasis/PropList.ml" 237 5863 5882 "src/oasis/PropList.ml" 237 5863 5883
type(
  'c option ref
)
ident(
  int_ref v "src/oasis/PropList.ml" 190 4887 4895 "src/oasis/PropList.ml" 190 4887 4896
)
"src/oasis/PropList.ml" 237 5863 5884 "src/oasis/PropList.ml" 237 5863 5886
type(
  'c option ref -> 'c option -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/PropList.ml" 237 5863 5892 "src/oasis/PropList.ml" 237 5863 5893
type(
  'c
)
ident(
  int_ref x "src/oasis/PropList.ml" 222 5570 5580 "src/oasis/PropList.ml" 222 5570 5581
)
"src/oasis/PropList.ml" 237 5863 5887 "src/oasis/PropList.ml" 237 5863 5893
type(
  'c option
)
"src/oasis/PropList.ml" 237 5863 5882 "src/oasis/PropList.ml" 237 5863 5893
type(
  unit
)
"src/oasis/PropList.ml" 237 5863 5871 "src/oasis/PropList.ml" 237 5863 5894
type(
  unit -> unit
)
"src/oasis/PropList.ml" 234 5817 5823 "src/oasis/PropList.ml" 237 5863 5894
type(
  unit
)
"src/oasis/PropList.ml" 222 5570 5576 "src/oasis/PropList.ml" 237 5863 5894
type(
  unit
)
"src/oasis/PropList.ml" 241 5945 5953 "src/oasis/PropList.ml" 241 5945 5958
type(
  ?context:'a -> string -> 'c
)
ident(
  def parse "src/oasis/PropList.ml" 255 6263 6267 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 242 5961 5973 "src/oasis/PropList.ml" 242 5961 5978
type(
  (?context:'a -> string -> 'c) option
)
ident(
  int_ref parse "src/oasis/PropList.ml" 188 4781 4809 "src/oasis/PropList.ml" 188 4781 4814
)
"src/oasis/PropList.ml" 243 5984 5999 "src/oasis/PropList.ml" 243 5984 6000
type(
  ?context:'a -> string -> 'c
)
ident(
  def f "src/oasis/PropList.ml" 244 6004 6014 "src/oasis/PropList.ml" 244 6004 6015
)
"src/oasis/PropList.ml" 243 5984 5994 "src/oasis/PropList.ml" 243 5984 6000
type(
  (?context:'a -> string -> 'c) option
)
type(
  (?context:'a -> string -> 'c) option
)
"src/oasis/PropList.ml" 244 6004 6014 "src/oasis/PropList.ml" 244 6004 6015
type(
  ?context:'a -> string -> 'c
)
ident(
  int_ref f "src/oasis/PropList.ml" 243 5984 5999 "src/oasis/PropList.ml" 243 5984 6000
)
"src/oasis/PropList.ml" 245 6016 6026 "src/oasis/PropList.ml" 245 6016 6030
type(
  (?context:'a -> string -> 'c) option
)
type(
  (?context:'a -> string -> 'c) option
)
"src/oasis/PropList.ml" 246 6034 6049 "src/oasis/PropList.ml" 246 6034 6056
type(
  'a option
)
ident(
  def context "src/oasis/PropList.ml" 246 6034 6057 "src/oasis/PropList.ml" 251 6203 6222
)
"src/oasis/PropList.ml" 246 6034 6057 "src/oasis/PropList.ml" 246 6034 6058
type(
  string
)
ident(
  def s "src/oasis/PropList.ml" 247 6062 6074 "src/oasis/PropList.ml" 251 6203 6222
)
"src/oasis/PropList.ml" 247 6062 6074 "src/oasis/PropList.ml" 247 6062 6082
type(
  string -> 'c
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/PropList.ml" 248 6083 6098 "src/oasis/PropList.ml" 248 6083 6112
type(
  (name -> string -> string, unit, string) format -> name -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/PropList.ml" 249 6113 6131 "src/oasis/PropList.ml" 249 6113 6133
type(
  (name -> string -> string, unit, string, string) format4 ->
  (name -> 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/oasis/PropList.ml" 249 6113 6134 "src/oasis/PropList.ml" 249 6113 6181
type(
  (name -> string -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 249 6113 6130 "src/oasis/PropList.ml" 249 6113 6182
type(
  (name -> string -> string, unit, string, string) format4
)
"src/oasis/PropList.ml" 250 6183 6200 "src/oasis/PropList.ml" 250 6183 6202
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
)
"src/oasis/PropList.ml" 251 6203 6220 "src/oasis/PropList.ml" 251 6203 6221
type(
  string
)
ident(
  int_ref s "src/oasis/PropList.ml" 246 6034 6057 "src/oasis/PropList.ml" 246 6034 6058
)
"src/oasis/PropList.ml" 248 6083 6097 "src/oasis/PropList.ml" 251 6203 6222
type(
  string
)
"src/oasis/PropList.ml" 247 6062 6074 "src/oasis/PropList.ml" 251 6203 6222
type(
  'c
)
"src/oasis/PropList.ml" 246 6034 6044 "src/oasis/PropList.ml" 251 6203 6222
type(
  ?context:'a -> string -> 'c
)
"src/oasis/PropList.ml" 242 5961 5967 "src/oasis/PropList.ml" 251 6203 6222
type(
  ?context:'a -> string -> 'c
)
"src/oasis/PropList.ml" 255 6263 6271 "src/oasis/PropList.ml" 255 6263 6275
type(
  (name, unit -> unit) Hashtbl.t -> ?context:'a -> string -> unit
)
ident(
  def sets "src/oasis/PropList.ml" 260 6391 6395 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 255 6263 6276 "src/oasis/PropList.ml" 255 6263 6280
type(
  (name, unit -> unit) Hashtbl.t
)
ident(
  def data "src/oasis/PropList.ml" 255 6263 6281 "src/oasis/PropList.ml" 256 6294 6336
)
"src/oasis/PropList.ml" 255 6263 6282 "src/oasis/PropList.ml" 255 6263 6289
type(
  'a option
)
ident(
  def context "src/oasis/PropList.ml" 255 6263 6290 "src/oasis/PropList.ml" 256 6294 6336
)
"src/oasis/PropList.ml" 255 6263 6290 "src/oasis/PropList.ml" 255 6263 6291
type(
  string
)
ident(
  def s "src/oasis/PropList.ml" 256 6294 6300 "src/oasis/PropList.ml" 256 6294 6336
)
"src/oasis/PropList.ml" 256 6294 6300 "src/oasis/PropList.ml" 256 6294 6303
type(
  (name, unit -> unit) Hashtbl.t -> ?context:'a -> 'c -> unit
)
ident(
  int_ref set "src/oasis/PropList.ml" 221 5540 5548 "src/oasis/PropList.ml" 221 5540 5551
)
"src/oasis/PropList.ml" 256 6294 6305 "src/oasis/PropList.ml" 256 6294 6312
type(
  'a option
)
ident(
  int_ref context "src/oasis/PropList.ml" 255 6263 6282 "src/oasis/PropList.ml" 255 6263 6289
)
"src/oasis/PropList.ml" 256 6294 6313 "src/oasis/PropList.ml" 256 6294 6317
type(
  (name, unit -> unit) Hashtbl.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 255 6263 6276 "src/oasis/PropList.ml" 255 6263 6280
)
"src/oasis/PropList.ml" 256 6294 6319 "src/oasis/PropList.ml" 256 6294 6324
type(
  ?context:'a -> string -> 'c
)
ident(
  int_ref parse "src/oasis/PropList.ml" 241 5945 5953 "src/oasis/PropList.ml" 241 5945 5958
)
"src/oasis/PropList.ml" 256 6294 6326 "src/oasis/PropList.ml" 256 6294 6333
type(
  'a option
)
ident(
  int_ref context "src/oasis/PropList.ml" 255 6263 6282 "src/oasis/PropList.ml" 255 6263 6289
)
"src/oasis/PropList.ml" 256 6294 6334 "src/oasis/PropList.ml" 256 6294 6335
type(
  string
)
ident(
  int_ref s "src/oasis/PropList.ml" 255 6263 6290 "src/oasis/PropList.ml" 255 6263 6291
)
"src/oasis/PropList.ml" 256 6294 6318 "src/oasis/PropList.ml" 256 6294 6336
type(
  'c
)
"src/oasis/PropList.ml" 256 6294 6300 "src/oasis/PropList.ml" 256 6294 6336
type(
  unit
)
"src/oasis/PropList.ml" 260 6391 6399 "src/oasis/PropList.ml" 260 6391 6404
type(
  'c -> string
)
ident(
  def print "src/oasis/PropList.ml" 269 6561 6565 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 261 6407 6419 "src/oasis/PropList.ml" 261 6407 6424
type(
  ('c -> string) option
)
ident(
  int_ref print "src/oasis/PropList.ml" 188 4781 4816 "src/oasis/PropList.ml" 188 4781 4821
)
"src/oasis/PropList.ml" 262 6430 6445 "src/oasis/PropList.ml" 262 6430 6446
type(
  'c -> string
)
ident(
  def f "src/oasis/PropList.ml" 263 6450 6460 "src/oasis/PropList.ml" 263 6450 6461
)
"src/oasis/PropList.ml" 262 6430 6440 "src/oasis/PropList.ml" 262 6430 6446
type(
  ('c -> string) option
)
type(
  ('c -> string) option
)
"src/oasis/PropList.ml" 263 6450 6460 "src/oasis/PropList.ml" 263 6450 6461
type(
  'c -> string
)
ident(
  int_ref f "src/oasis/PropList.ml" 262 6430 6445 "src/oasis/PropList.ml" 262 6430 6446
)
"src/oasis/PropList.ml" 264 6462 6472 "src/oasis/PropList.ml" 264 6462 6476
type(
  ('c -> string) option
)
type(
  ('c -> string) option
)
"src/oasis/PropList.ml" 265 6480 6494 "src/oasis/PropList.ml" 265 6480 6495
type(
  'c
)
"src/oasis/PropList.ml" 265 6480 6499 "src/oasis/PropList.ml" 265 6480 6504
type(
  exn -> string
)
ident(
  int_ref Stdlib.raise "stdlib.mli" 30 1602 1602 "stdlib.mli" 30 1602 1639
)
"src/oasis/PropList.ml" 265 6480 6517 "src/oasis/PropList.ml" 265 6480 6519
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
)
"src/oasis/PropList.ml" 265 6480 6505 "src/oasis/PropList.ml" 265 6480 6520
type(
  exn
)
"src/oasis/PropList.ml" 265 6480 6499 "src/oasis/PropList.ml" 265 6480 6520
type(
  string
)
"src/oasis/PropList.ml" 265 6480 6490 "src/oasis/PropList.ml" 265 6480 6520
type(
  'c -> string
)
"src/oasis/PropList.ml" 261 6407 6413 "src/oasis/PropList.ml" 265 6480 6520
type(
  'c -> string
)
"src/oasis/PropList.ml" 269 6561 6569 "src/oasis/PropList.ml" 269 6561 6573
type(
  (name, unit -> 'e) Hashtbl.t -> string
)
ident(
  def gets "src/oasis/PropList.ml" 273 6612 6616 "src/oasis/PropList.ml" 288 6879 6884
)
"src/oasis/PropList.ml" 269 6561 6574 "src/oasis/PropList.ml" 269 6561 6578
type(
  (name, unit -> 'e) Hashtbl.t
)
ident(
  def data "src/oasis/PropList.ml" 270 6581 6587 "src/oasis/PropList.ml" 270 6581 6603
)
"src/oasis/PropList.ml" 270 6581 6587 "src/oasis/PropList.ml" 270 6581 6592
type(
  'c -> string
)
ident(
  int_ref print "src/oasis/PropList.ml" 260 6391 6399 "src/oasis/PropList.ml" 260 6391 6404
)
"src/oasis/PropList.ml" 270 6581 6594 "src/oasis/PropList.ml" 270 6581 6597
type(
  (name, unit -> 'e) Hashtbl.t -> 'c
)
ident(
  int_ref get "src/oasis/PropList.ml" 209 5307 5315 "src/oasis/PropList.ml" 209 5307 5318
)
"src/oasis/PropList.ml" 270 6581 6598 "src/oasis/PropList.ml" 270 6581 6602
type(
  (name, unit -> 'e) Hashtbl.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 269 6561 6574 "src/oasis/PropList.ml" 269 6561 6578
)
"src/oasis/PropList.ml" 270 6581 6593 "src/oasis/PropList.ml" 270 6581 6603
type(
  'c
)
"src/oasis/PropList.ml" 270 6581 6587 "src/oasis/PropList.ml" 270 6581 6603
type(
  string
)
"src/oasis/PropList.ml" 274 6622 6634 "src/oasis/PropList.ml" 274 6622 6640
type(
  ('a, 'b) Schema.t option
)
ident(
  int_ref schema "src/oasis/PropList.ml" 188 4781 4795 "src/oasis/PropList.ml" 188 4781 4801
)
"src/oasis/PropList.ml" 275 6646 6661 "src/oasis/PropList.ml" 275 6646 6662
type(
  ('a, 'b) Schema.t
)
ident(
  def t "src/oasis/PropList.ml" 276 6666 6676 "src/oasis/PropList.ml" 276 6666 6712
)
"src/oasis/PropList.ml" 275 6646 6656 "src/oasis/PropList.ml" 275 6646 6662
type(
  ('a, 'b) Schema.t option
)
type(
  ('a, 'b) Schema.t option
)
"src/oasis/PropList.ml" 276 6666 6676 "src/oasis/PropList.ml" 276 6666 6686
type(
  ('a, 'b) Schema.t ->
  name ->
  (Data.t -> ?context:'a -> string -> unit) ->
  (Data.t -> string) -> 'b -> (unit -> string) option -> unit
)
ident(
  int_ref Schema.add "src/oasis/PropList.ml" 110 3392 3398 "src/oasis/PropList.ml" 110 3392 3401
)
"src/oasis/PropList.ml" 276 6666 6687 "src/oasis/PropList.ml" 276 6666 6688
type(
  ('a, 'b) Schema.t
)
ident(
  int_ref t "src/oasis/PropList.ml" 275 6646 6661 "src/oasis/PropList.ml" 275 6646 6662
)
"src/oasis/PropList.ml" 276 6666 6689 "src/oasis/PropList.ml" 276 6666 6691
type(
  name
)
ident(
  int_ref nm "src/oasis/PropList.ml" 195 4972 4980 "src/oasis/PropList.ml" 195 4972 4982
)
"src/oasis/PropList.ml" 276 6666 6692 "src/oasis/PropList.ml" 276 6666 6696
type(
  Data.t -> ?context:'a -> string -> unit
)
ident(
  int_ref sets "src/oasis/PropList.ml" 255 6263 6271 "src/oasis/PropList.ml" 255 6263 6275
)
"src/oasis/PropList.ml" 276 6666 6697 "src/oasis/PropList.ml" 276 6666 6701
type(
  Data.t -> string
)
ident(
  int_ref gets "src/oasis/PropList.ml" 269 6561 6569 "src/oasis/PropList.ml" 269 6561 6573
)
"src/oasis/PropList.ml" 276 6666 6702 "src/oasis/PropList.ml" 276 6666 6707
type(
  'b
)
ident(
  int_ref extra "src/oasis/PropList.ml" 188 4781 4845 "src/oasis/PropList.ml" 188 4781 4850
)
"src/oasis/PropList.ml" 276 6666 6708 "src/oasis/PropList.ml" 276 6666 6712
type(
  (unit -> string) option
)
ident(
  int_ref help "src/oasis/PropList.ml" 188 4781 4840 "src/oasis/PropList.ml" 188 4781 4844
)
"src/oasis/PropList.ml" 276 6666 6676 "src/oasis/PropList.ml" 276 6666 6712
type(
  unit
)
"src/oasis/PropList.ml" 277 6713 6723 "src/oasis/PropList.ml" 277 6713 6727
type(
  ('a, 'b) Schema.t option
)
type(
  ('a, 'b) Schema.t option
)
"src/oasis/PropList.ml" 278 6731 6741 "src/oasis/PropList.ml" 278 6731 6743
type(
  unit
)
"src/oasis/PropList.ml" 273 6612 6616 "src/oasis/PropList.ml" 279 6744 6751
type(
  unit
)
"src/oasis/PropList.ml" 282 6760 6774 "src/oasis/PropList.ml" 282 6760 6777
type(
  Data.t -> ?context:'a -> 'c -> unit
)
ident(
  int_ref set "src/oasis/PropList.ml" 221 5540 5548 "src/oasis/PropList.ml" 221 5540 5551
)
"src/oasis/PropList.ml" 283 6779 6793 "src/oasis/PropList.ml" 283 6779 6796
type(
  Data.t -> 'c
)
ident(
  int_ref get "src/oasis/PropList.ml" 209 5307 5315 "src/oasis/PropList.ml" 209 5307 5318
)
"src/oasis/PropList.ml" 284 6798 6812 "src/oasis/PropList.ml" 284 6798 6816
type(
  Data.t -> ?context:'a -> string -> unit
)
ident(
  int_ref sets "src/oasis/PropList.ml" 255 6263 6271 "src/oasis/PropList.ml" 255 6263 6275
)
"src/oasis/PropList.ml" 285 6818 6832 "src/oasis/PropList.ml" 285 6818 6836
type(
  Data.t -> string
)
ident(
  int_ref gets "src/oasis/PropList.ml" 269 6561 6569 "src/oasis/PropList.ml" 269 6561 6573
)
"src/oasis/PropList.ml" 286 6838 6852 "src/oasis/PropList.ml" 286 6838 6856
type(
  (unit -> string) option
)
ident(
  int_ref help "src/oasis/PropList.ml" 188 4781 4840 "src/oasis/PropList.ml" 188 4781 4844
)
"src/oasis/PropList.ml" 287 6858 6872 "src/oasis/PropList.ml" 287 6858 6877
type(
  'b
)
ident(
  int_ref extra "src/oasis/PropList.ml" 188 4781 4845 "src/oasis/PropList.ml" 188 4781 4850
)
"src/oasis/PropList.ml" 281 6754 6758 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 273 6612 6616 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 269 6561 6565 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 260 6391 6395 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 255 6263 6267 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 241 5945 5949 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 221 5540 5544 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 209 5307 5311 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 202 5143 5147 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 195 4972 4976 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 190 4887 4891 "src/oasis/PropList.ml" 288 6879 6884
type(
  ('a, 'c, 'b) t
)
"src/oasis/PropList.ml" 290 6886 6892 "src/oasis/PropList.ml" 290 6886 6896
type(
  Data.t -> ('f, 'g, 'h) t -> ?context:'f -> 'g -> unit
)
ident(
  def fset "src/oasis/PropList.ml" 293 6944 6946 "src/oasis/PropList.ml" 301 7077 7080
)
"src/oasis/PropList.ml" 290 6886 6897 "src/oasis/PropList.ml" 290 6886 6901
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 290 6886 6902 "src/oasis/PropList.ml" 291 6917 6942
)
"src/oasis/PropList.ml" 290 6886 6902 "src/oasis/PropList.ml" 290 6886 6903
type(
  ('f, 'g, 'h) t
)
ident(
  def t "src/oasis/PropList.ml" 290 6886 6904 "src/oasis/PropList.ml" 291 6917 6942
)
"src/oasis/PropList.ml" 290 6886 6905 "src/oasis/PropList.ml" 290 6886 6912
type(
  'f option
)
ident(
  def context "src/oasis/PropList.ml" 290 6886 6913 "src/oasis/PropList.ml" 291 6917 6942
)
"src/oasis/PropList.ml" 290 6886 6913 "src/oasis/PropList.ml" 290 6886 6914
type(
  'g
)
ident(
  def x "src/oasis/PropList.ml" 291 6917 6921 "src/oasis/PropList.ml" 291 6917 6942
)
"src/oasis/PropList.ml" 291 6917 6921 "src/oasis/PropList.ml" 291 6917 6922
type(
  ('f, 'g, 'h) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 290 6886 6902 "src/oasis/PropList.ml" 290 6886 6903
)
"src/oasis/PropList.ml" 291 6917 6921 "src/oasis/PropList.ml" 291 6917 6926
type(
  Data.t -> ?context:'f -> 'g -> unit
)
"src/oasis/PropList.ml" 291 6917 6927 "src/oasis/PropList.ml" 291 6917 6931
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 290 6886 6897 "src/oasis/PropList.ml" 290 6886 6901
)
"src/oasis/PropList.ml" 291 6917 6933 "src/oasis/PropList.ml" 291 6917 6940
type(
  'f option
)
ident(
  int_ref context "src/oasis/PropList.ml" 290 6886 6905 "src/oasis/PropList.ml" 290 6886 6912
)
"src/oasis/PropList.ml" 291 6917 6941 "src/oasis/PropList.ml" 291 6917 6942
type(
  'g
)
ident(
  int_ref x "src/oasis/PropList.ml" 290 6886 6913 "src/oasis/PropList.ml" 290 6886 6914
)
"src/oasis/PropList.ml" 291 6917 6921 "src/oasis/PropList.ml" 291 6917 6942
type(
  unit
)
"src/oasis/PropList.ml" 293 6944 6950 "src/oasis/PropList.ml" 293 6944 6954
type(
  Data.t -> ('i, 'j, 'k) t -> 'j
)
ident(
  def fget "src/oasis/PropList.ml" 296 6980 6982 "src/oasis/PropList.ml" 301 7077 7080
)
"src/oasis/PropList.ml" 293 6944 6955 "src/oasis/PropList.ml" 293 6944 6959
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 293 6944 6960 "src/oasis/PropList.ml" 294 6964 6978
)
"src/oasis/PropList.ml" 293 6944 6960 "src/oasis/PropList.ml" 293 6944 6961
type(
  ('i, 'j, 'k) t
)
ident(
  def t "src/oasis/PropList.ml" 294 6964 6968 "src/oasis/PropList.ml" 294 6964 6978
)
"src/oasis/PropList.ml" 294 6964 6968 "src/oasis/PropList.ml" 294 6964 6969
type(
  ('i, 'j, 'k) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 293 6944 6960 "src/oasis/PropList.ml" 293 6944 6961
)
"src/oasis/PropList.ml" 294 6964 6968 "src/oasis/PropList.ml" 294 6964 6973
type(
  Data.t -> 'j
)
"src/oasis/PropList.ml" 294 6964 6974 "src/oasis/PropList.ml" 294 6964 6978
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 293 6944 6955 "src/oasis/PropList.ml" 293 6944 6959
)
"src/oasis/PropList.ml" 294 6964 6968 "src/oasis/PropList.ml" 294 6964 6978
type(
  'j
)
"src/oasis/PropList.ml" 296 6980 6986 "src/oasis/PropList.ml" 296 6980 6991
type(
  Data.t -> ('l, 'm, 'n) t -> ?context:'l -> string -> unit
)
ident(
  def fsets "src/oasis/PropList.ml" 299 7040 7042 "src/oasis/PropList.ml" 301 7077 7080
)
"src/oasis/PropList.ml" 296 6980 6992 "src/oasis/PropList.ml" 296 6980 6996
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 296 6980 6997 "src/oasis/PropList.ml" 297 7012 7038
)
"src/oasis/PropList.ml" 296 6980 6997 "src/oasis/PropList.ml" 296 6980 6998
type(
  ('l, 'm, 'n) t
)
ident(
  def t "src/oasis/PropList.ml" 296 6980 6999 "src/oasis/PropList.ml" 297 7012 7038
)
"src/oasis/PropList.ml" 296 6980 7000 "src/oasis/PropList.ml" 296 6980 7007
type(
  'l option
)
ident(
  def context "src/oasis/PropList.ml" 296 6980 7008 "src/oasis/PropList.ml" 297 7012 7038
)
"src/oasis/PropList.ml" 296 6980 7008 "src/oasis/PropList.ml" 296 6980 7009
type(
  string
)
ident(
  def s "src/oasis/PropList.ml" 297 7012 7016 "src/oasis/PropList.ml" 297 7012 7038
)
"src/oasis/PropList.ml" 297 7012 7016 "src/oasis/PropList.ml" 297 7012 7017
type(
  ('l, 'm, 'n) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 296 6980 6997 "src/oasis/PropList.ml" 296 6980 6998
)
"src/oasis/PropList.ml" 297 7012 7016 "src/oasis/PropList.ml" 297 7012 7022
type(
  Data.t -> ?context:'l -> string -> unit
)
"src/oasis/PropList.ml" 297 7012 7023 "src/oasis/PropList.ml" 297 7012 7027
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 296 6980 6992 "src/oasis/PropList.ml" 296 6980 6996
)
"src/oasis/PropList.ml" 297 7012 7029 "src/oasis/PropList.ml" 297 7012 7036
type(
  'l option
)
ident(
  int_ref context "src/oasis/PropList.ml" 296 6980 7000 "src/oasis/PropList.ml" 296 6980 7007
)
"src/oasis/PropList.ml" 297 7012 7037 "src/oasis/PropList.ml" 297 7012 7038
type(
  string
)
ident(
  int_ref s "src/oasis/PropList.ml" 296 6980 7008 "src/oasis/PropList.ml" 296 6980 7009
)
"src/oasis/PropList.ml" 297 7012 7016 "src/oasis/PropList.ml" 297 7012 7038
type(
  unit
)
"src/oasis/PropList.ml" 299 7040 7046 "src/oasis/PropList.ml" 299 7040 7051
type(
  Data.t -> ('o, 'p, 'q) t -> string
)
ident(
  def fgets "src/oasis/PropList.ml" 300 7061 7076 "src/oasis/PropList.ml" 301 7077 7080
)
"src/oasis/PropList.ml" 299 7040 7052 "src/oasis/PropList.ml" 299 7040 7056
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 299 7040 7057 "src/oasis/PropList.ml" 300 7061 7076
)
"src/oasis/PropList.ml" 299 7040 7057 "src/oasis/PropList.ml" 299 7040 7058
type(
  ('o, 'p, 'q) t
)
ident(
  def t "src/oasis/PropList.ml" 300 7061 7065 "src/oasis/PropList.ml" 300 7061 7076
)
"src/oasis/PropList.ml" 300 7061 7065 "src/oasis/PropList.ml" 300 7061 7066
type(
  ('o, 'p, 'q) t
)
ident(
  int_ref t "src/oasis/PropList.ml" 299 7040 7057 "src/oasis/PropList.ml" 299 7040 7058
)
"src/oasis/PropList.ml" 300 7061 7065 "src/oasis/PropList.ml" 300 7061 7071
type(
  Data.t -> string
)
"src/oasis/PropList.ml" 300 7061 7072 "src/oasis/PropList.ml" 300 7061 7076
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 299 7040 7052 "src/oasis/PropList.ml" 299 7040 7056
)
"src/oasis/PropList.ml" 300 7061 7065 "src/oasis/PropList.ml" 300 7061 7076
type(
  string
)
"src/oasis/PropList.ml" 304 7083 7090 "src/oasis/PropList.ml" 304 7083 7097
ident(
  def FieldRO "src/oasis/PropList.ml" 311 7312 7315 "src/oasis/PropList.ml" 0 0 -1
)
"src/oasis/PropList.ml" 306 7107 7113 "src/oasis/PropList.ml" 306 7107 7119
type(
  ?schema:('a, 'b) Schema.t ->
  ?name:name ->
  ?parse:(?context:'a -> string -> 'c) ->
  ?print:('c -> string) ->
  ?default:'c ->
  ?update:(?context:'a -> 'c -> 'c -> 'c) ->
  ?help:(unit -> string) -> 'b -> Data.t -> 'c
)
ident(
  def create "src/oasis/PropList.ml" 310 7276 7311 "src/oasis/PropList.ml" 311 7312 7315
)
"src/oasis/PropList.ml" 306 7107 7121 "src/oasis/PropList.ml" 306 7107 7127
type(
  ('a, 'b) Schema.t option
)
ident(
  def schema "src/oasis/PropList.ml" 306 7107 7128 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7129 "src/oasis/PropList.ml" 306 7107 7133
type(
  name option
)
ident(
  def name "src/oasis/PropList.ml" 306 7107 7134 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7135 "src/oasis/PropList.ml" 306 7107 7140
type(
  (?context:'a -> string -> 'c) option
)
ident(
  def parse "src/oasis/PropList.ml" 306 7107 7141 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7142 "src/oasis/PropList.ml" 306 7107 7147
type(
  ('c -> string) option
)
ident(
  def print "src/oasis/PropList.ml" 306 7107 7148 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7149 "src/oasis/PropList.ml" 306 7107 7156
type(
  'c option
)
ident(
  def default "src/oasis/PropList.ml" 306 7107 7157 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7158 "src/oasis/PropList.ml" 306 7107 7164
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
ident(
  def update "src/oasis/PropList.ml" 306 7107 7165 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7166 "src/oasis/PropList.ml" 306 7107 7170
type(
  (unit -> string) option
)
ident(
  def help "src/oasis/PropList.ml" 306 7107 7171 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 306 7107 7171 "src/oasis/PropList.ml" 306 7107 7176
type(
  'b
)
ident(
  def extra "src/oasis/PropList.ml" 307 7179 7183 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 307 7179 7187 "src/oasis/PropList.ml" 307 7179 7190
type(
  ('a, 'c, 'b) Field.t
)
ident(
  def fld "src/oasis/PropList.ml" 310 7276 7280 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 308 7193 7199 "src/oasis/PropList.ml" 308 7193 7211
type(
  ?schema:('a, 'b) Schema.t ->
  ?name:name ->
  ?parse:(?context:'a -> string -> 'c) ->
  ?print:('c -> string) ->
  ?default:'c ->
  ?update:(?context:'a -> 'c -> 'c -> 'c) ->
  ?help:(unit -> string) -> 'b -> ('a, 'c, 'b) Field.t
)
ident(
  int_ref Field.create "src/oasis/PropList.ml" 188 4781 4787 "src/oasis/PropList.ml" 188 4781 4793
)
"src/oasis/PropList.ml" 308 7193 7213 "src/oasis/PropList.ml" 308 7193 7219
type(
  ('a, 'b) Schema.t option
)
ident(
  int_ref schema "src/oasis/PropList.ml" 306 7107 7121 "src/oasis/PropList.ml" 306 7107 7127
)
"src/oasis/PropList.ml" 308 7193 7221 "src/oasis/PropList.ml" 308 7193 7225
type(
  name option
)
ident(
  int_ref name "src/oasis/PropList.ml" 306 7107 7129 "src/oasis/PropList.ml" 306 7107 7133
)
"src/oasis/PropList.ml" 308 7193 7227 "src/oasis/PropList.ml" 308 7193 7232
type(
  (?context:'a -> string -> 'c) option
)
ident(
  int_ref parse "src/oasis/PropList.ml" 306 7107 7135 "src/oasis/PropList.ml" 306 7107 7140
)
"src/oasis/PropList.ml" 308 7193 7234 "src/oasis/PropList.ml" 308 7193 7239
type(
  ('c -> string) option
)
ident(
  int_ref print "src/oasis/PropList.ml" 306 7107 7142 "src/oasis/PropList.ml" 306 7107 7147
)
"src/oasis/PropList.ml" 308 7193 7241 "src/oasis/PropList.ml" 308 7193 7248
type(
  'c option
)
ident(
  int_ref default "src/oasis/PropList.ml" 306 7107 7149 "src/oasis/PropList.ml" 306 7107 7156
)
"src/oasis/PropList.ml" 308 7193 7250 "src/oasis/PropList.ml" 308 7193 7256
type(
  (?context:'a -> 'c -> 'c -> 'c) option
)
ident(
  int_ref update "src/oasis/PropList.ml" 306 7107 7158 "src/oasis/PropList.ml" 306 7107 7164
)
"src/oasis/PropList.ml" 308 7193 7258 "src/oasis/PropList.ml" 308 7193 7262
type(
  (unit -> string) option
)
ident(
  int_ref help "src/oasis/PropList.ml" 306 7107 7166 "src/oasis/PropList.ml" 306 7107 7170
)
"src/oasis/PropList.ml" 308 7193 7263 "src/oasis/PropList.ml" 308 7193 7268
type(
  'b
)
ident(
  int_ref extra "src/oasis/PropList.ml" 306 7107 7171 "src/oasis/PropList.ml" 306 7107 7176
)
"src/oasis/PropList.ml" 308 7193 7199 "src/oasis/PropList.ml" 308 7193 7268
type(
  ('a, 'c, 'b) Field.t
)
"src/oasis/PropList.ml" 310 7276 7284 "src/oasis/PropList.ml" 310 7276 7288
type(
  Data.t
)
ident(
  def data "src/oasis/PropList.ml" 310 7276 7292 "src/oasis/PropList.ml" 310 7276 7311
)
"src/oasis/PropList.ml" 310 7276 7292 "src/oasis/PropList.ml" 310 7276 7302
type(
  Data.t -> ('a, 'c, 'b) Field.t -> 'c
)
ident(
  int_ref Field.fget "src/oasis/PropList.ml" 293 6944 6950 "src/oasis/PropList.ml" 293 6944 6954
)
"src/oasis/PropList.ml" 310 7276 7303 "src/oasis/PropList.ml" 310 7276 7307
type(
  Data.t
)
ident(
  int_ref data "src/oasis/PropList.ml" 310 7276 7284 "src/oasis/PropList.ml" 310 7276 7288
)
"src/oasis/PropList.ml" 310 7276 7308 "src/oasis/PropList.ml" 310 7276 7311
type(
  ('a, 'c, 'b) Field.t
)
ident(
  int_ref fld "src/oasis/PropList.ml" 307 7179 7187 "src/oasis/PropList.ml" 307 7179 7190
)
"src/oasis/PropList.ml" 310 7276 7292 "src/oasis/PropList.ml" 310 7276 7311
type(
  'c
)
"src/oasis/PropList.ml" 310 7276 7280 "src/oasis/PropList.ml" 310 7276 7311
type(
  Data.t -> 'c
)
"src/oasis/PropList.ml" 307 7179 7183 "src/oasis/PropList.ml" 310 7276 7311
type(
  Data.t -> 'c
)
