"src/oasis/OASISUtils.ml" 27 1723 1730 "src/oasis/OASISUtils.ml" 27 1723 1736
ident(
  def MapExt "src/oasis/OASISUtils.ml" 50 2220 2223 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 37 1927 1936 "src/oasis/OASISUtils.ml" 37 1927 1940
ident(
  def Make "src/oasis/OASISUtils.ml" 49 2214 2219 "src/oasis/OASISUtils.ml" 50 2220 2223
)
"src/oasis/OASISUtils.ml" 41 2002 2014 "src/oasis/OASISUtils.ml" 41 2002 2022
type(
  'a t -> (key * 'a) list -> 'a t
)
ident(
  def add_list "src/oasis/OASISUtils.ml" 41 2002 2006 "src/oasis/OASISUtils.ml" 49 2214 2219
)
"src/oasis/OASISUtils.ml" 41 2002 2023 "src/oasis/OASISUtils.ml" 41 2002 2024
type(
  'a t
)
ident(
  def t "src/oasis/OASISUtils.ml" 42 2027 2033 "src/oasis/OASISUtils.ml" 44 2092 2109
)
"src/oasis/OASISUtils.ml" 43 2042 2053 "src/oasis/OASISUtils.ml" 43 2042 2054
type(
  key
)
ident(
  def k "src/oasis/OASISUtils.ml" 43 2042 2068 "src/oasis/OASISUtils.ml" 43 2042 2091
)
"src/oasis/OASISUtils.ml" 43 2042 2056 "src/oasis/OASISUtils.ml" 43 2042 2057
type(
  'a
)
ident(
  def v "src/oasis/OASISUtils.ml" 43 2042 2068 "src/oasis/OASISUtils.ml" 43 2042 2091
)
"src/oasis/OASISUtils.ml" 43 2042 2052 "src/oasis/OASISUtils.ml" 43 2042 2058
type(
  key * 'a
)
"src/oasis/OASISUtils.ml" 43 2042 2062 "src/oasis/OASISUtils.ml" 43 2042 2064
type(
  (key * 'a) list
)
ident(
  def tl "src/oasis/OASISUtils.ml" 43 2042 2068 "src/oasis/OASISUtils.ml" 43 2042 2091
)
"src/oasis/OASISUtils.ml" 43 2042 2052 "src/oasis/OASISUtils.ml" 43 2042 2064
type(
  (key * 'a) list
)
"src/oasis/OASISUtils.ml" 43 2042 2068 "src/oasis/OASISUtils.ml" 43 2042 2076
type(
  'a t -> (key * 'a) list -> 'a t
)
ident(
  int_ref add_list "src/oasis/OASISUtils.ml" 41 2002 2014 "src/oasis/OASISUtils.ml" 41 2002 2022
)
"src/oasis/OASISUtils.ml" 43 2042 2078 "src/oasis/OASISUtils.ml" 43 2042 2081
type(
  key -> 'a -> 'a t -> 'a t
)
ident(
  int_ref add "map.mli" 83 3211 3215 "map.mli" 83 3211 3249
)
"src/oasis/OASISUtils.ml" 43 2042 2082 "src/oasis/OASISUtils.ml" 43 2042 2083
type(
  key
)
ident(
  int_ref k "src/oasis/OASISUtils.ml" 43 2042 2053 "src/oasis/OASISUtils.ml" 43 2042 2054
)
"src/oasis/OASISUtils.ml" 43 2042 2084 "src/oasis/OASISUtils.ml" 43 2042 2085
type(
  'a
)
ident(
  int_ref v "src/oasis/OASISUtils.ml" 43 2042 2056 "src/oasis/OASISUtils.ml" 43 2042 2057
)
"src/oasis/OASISUtils.ml" 43 2042 2086 "src/oasis/OASISUtils.ml" 43 2042 2087
type(
  'a t
)
ident(
  int_ref t "src/oasis/OASISUtils.ml" 41 2002 2023 "src/oasis/OASISUtils.ml" 41 2002 2024
)
"src/oasis/OASISUtils.ml" 43 2042 2077 "src/oasis/OASISUtils.ml" 43 2042 2088
type(
  'a t
)
"src/oasis/OASISUtils.ml" 43 2042 2089 "src/oasis/OASISUtils.ml" 43 2042 2091
type(
  (key * 'a) list
)
ident(
  int_ref tl "src/oasis/OASISUtils.ml" 43 2042 2062 "src/oasis/OASISUtils.ml" 43 2042 2064
)
"src/oasis/OASISUtils.ml" 43 2042 2068 "src/oasis/OASISUtils.ml" 43 2042 2091
type(
  'a t
)
"src/oasis/OASISUtils.ml" 44 2092 2102 "src/oasis/OASISUtils.ml" 44 2092 2104
type(
  (key * 'a) list
)
"src/oasis/OASISUtils.ml" 44 2092 2108 "src/oasis/OASISUtils.ml" 44 2092 2109
type(
  'a t
)
ident(
  int_ref t "src/oasis/OASISUtils.ml" 41 2002 2023 "src/oasis/OASISUtils.ml" 41 2002 2024
)
"src/oasis/OASISUtils.ml" 42 2027 2033 "src/oasis/OASISUtils.ml" 44 2092 2109
type(
  (key * 'a) list -> 'a t
)
"src/oasis/OASISUtils.ml" 46 2111 2119 "src/oasis/OASISUtils.ml" 46 2111 2126
type(
  (key * 'b) list -> 'b t
)
ident(
  def of_list "src/oasis/OASISUtils.ml" 48 2153 2157 "src/oasis/OASISUtils.ml" 49 2214 2219
)
"src/oasis/OASISUtils.ml" 46 2111 2127 "src/oasis/OASISUtils.ml" 46 2111 2130
type(
  (key * 'b) list
)
ident(
  def lst "src/oasis/OASISUtils.ml" 46 2111 2133 "src/oasis/OASISUtils.ml" 46 2111 2151
)
"src/oasis/OASISUtils.ml" 46 2111 2133 "src/oasis/OASISUtils.ml" 46 2111 2141
type(
  'b t -> (key * 'b) list -> 'b t
)
ident(
  int_ref add_list "src/oasis/OASISUtils.ml" 41 2002 2014 "src/oasis/OASISUtils.ml" 41 2002 2022
)
"src/oasis/OASISUtils.ml" 46 2111 2142 "src/oasis/OASISUtils.ml" 46 2111 2147
type(
  'b t
)
ident(
  int_ref empty "map.mli" 73 2950 2954 "map.mli" 73 2950 2969
)
"src/oasis/OASISUtils.ml" 46 2111 2148 "src/oasis/OASISUtils.ml" 46 2111 2151
type(
  (key * 'b) list
)
ident(
  int_ref lst "src/oasis/OASISUtils.ml" 46 2111 2127 "src/oasis/OASISUtils.ml" 46 2111 2130
)
"src/oasis/OASISUtils.ml" 46 2111 2133 "src/oasis/OASISUtils.ml" 46 2111 2151
type(
  'b t
)
"src/oasis/OASISUtils.ml" 48 2153 2161 "src/oasis/OASISUtils.ml" 48 2153 2168
type(
  'c t -> (key * 'c) list
)
ident(
  def to_list "src/oasis/OASISUtils.ml" 48 2153 2213 "src/oasis/OASISUtils.ml" 49 2214 2219
)
"src/oasis/OASISUtils.ml" 48 2153 2169 "src/oasis/OASISUtils.ml" 48 2153 2170
type(
  'c t
)
ident(
  def t "src/oasis/OASISUtils.ml" 48 2153 2173 "src/oasis/OASISUtils.ml" 48 2153 2213
)
"src/oasis/OASISUtils.ml" 48 2153 2173 "src/oasis/OASISUtils.ml" 48 2153 2177
type(
  (key -> 'c -> (key * 'c) list -> (key * 'c) list) ->
  'c t -> (key * 'c) list -> (key * 'c) list
)
ident(
  int_ref fold "map.mli" 160 6864 6868 "map.mli" 160 6864 6921
)
"src/oasis/OASISUtils.ml" 48 2153 2183 "src/oasis/OASISUtils.ml" 48 2153 2184
type(
  key
)
ident(
  def k "src/oasis/OASISUtils.ml" 48 2153 2185 "src/oasis/OASISUtils.ml" 48 2153 2207
)
"src/oasis/OASISUtils.ml" 48 2153 2185 "src/oasis/OASISUtils.ml" 48 2153 2186
type(
  'c
)
ident(
  def v "src/oasis/OASISUtils.ml" 48 2153 2187 "src/oasis/OASISUtils.ml" 48 2153 2207
)
"src/oasis/OASISUtils.ml" 48 2153 2187 "src/oasis/OASISUtils.ml" 48 2153 2190
type(
  (key * 'c) list
)
ident(
  def acc "src/oasis/OASISUtils.ml" 48 2153 2194 "src/oasis/OASISUtils.ml" 48 2153 2207
)
"src/oasis/OASISUtils.ml" 48 2153 2195 "src/oasis/OASISUtils.ml" 48 2153 2196
type(
  key
)
ident(
  int_ref k "src/oasis/OASISUtils.ml" 48 2153 2183 "src/oasis/OASISUtils.ml" 48 2153 2184
)
"src/oasis/OASISUtils.ml" 48 2153 2198 "src/oasis/OASISUtils.ml" 48 2153 2199
type(
  'c
)
ident(
  int_ref v "src/oasis/OASISUtils.ml" 48 2153 2185 "src/oasis/OASISUtils.ml" 48 2153 2186
)
"src/oasis/OASISUtils.ml" 48 2153 2194 "src/oasis/OASISUtils.ml" 48 2153 2200
type(
  key * 'c
)
"src/oasis/OASISUtils.ml" 48 2153 2204 "src/oasis/OASISUtils.ml" 48 2153 2207
type(
  (key * 'c) list
)
ident(
  int_ref acc "src/oasis/OASISUtils.ml" 48 2153 2187 "src/oasis/OASISUtils.ml" 48 2153 2190
)
"src/oasis/OASISUtils.ml" 48 2153 2194 "src/oasis/OASISUtils.ml" 48 2153 2207
type(
  (key * 'c) list
)
"src/oasis/OASISUtils.ml" 48 2153 2178 "src/oasis/OASISUtils.ml" 48 2153 2208
type(
  key -> 'c -> (key * 'c) list -> (key * 'c) list
)
"src/oasis/OASISUtils.ml" 48 2153 2209 "src/oasis/OASISUtils.ml" 48 2153 2210
type(
  'c t
)
ident(
  int_ref t "src/oasis/OASISUtils.ml" 48 2153 2169 "src/oasis/OASISUtils.ml" 48 2153 2170
)
"src/oasis/OASISUtils.ml" 48 2153 2211 "src/oasis/OASISUtils.ml" 48 2153 2213
type(
  (key * 'c) list
)
"src/oasis/OASISUtils.ml" 48 2153 2173 "src/oasis/OASISUtils.ml" 48 2153 2213
type(
  (key * 'c) list
)
"src/oasis/OASISUtils.ml" 53 2226 2233 "src/oasis/OASISUtils.ml" 53 2226 2242
ident(
  def MapString "src/oasis/OASISUtils.ml" 53 2226 2264 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 56 2267 2274 "src/oasis/OASISUtils.ml" 56 2267 2280
ident(
  def SetExt "src/oasis/OASISUtils.ml" 79 2691 2694 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 66 2439 2448 "src/oasis/OASISUtils.ml" 66 2439 2452
ident(
  def Make "src/oasis/OASISUtils.ml" 78 2685 2690 "src/oasis/OASISUtils.ml" 79 2691 2694
)
"src/oasis/OASISUtils.ml" 70 2514 2526 "src/oasis/OASISUtils.ml" 70 2514 2534
type(
  t -> elt list -> t
)
ident(
  def add_list "src/oasis/OASISUtils.ml" 70 2514 2518 "src/oasis/OASISUtils.ml" 78 2685 2690
)
"src/oasis/OASISUtils.ml" 70 2514 2535 "src/oasis/OASISUtils.ml" 70 2514 2536
type(
  t
)
ident(
  def t "src/oasis/OASISUtils.ml" 71 2539 2545 "src/oasis/OASISUtils.ml" 73 2597 2614
)
"src/oasis/OASISUtils.ml" 72 2554 2564 "src/oasis/OASISUtils.ml" 72 2554 2565
type(
  elt
)
ident(
  def e "src/oasis/OASISUtils.ml" 72 2554 2575 "src/oasis/OASISUtils.ml" 72 2554 2596
)
"src/oasis/OASISUtils.ml" 72 2554 2569 "src/oasis/OASISUtils.ml" 72 2554 2571
type(
  elt list
)
ident(
  def tl "src/oasis/OASISUtils.ml" 72 2554 2575 "src/oasis/OASISUtils.ml" 72 2554 2596
)
"src/oasis/OASISUtils.ml" 72 2554 2564 "src/oasis/OASISUtils.ml" 72 2554 2571
type(
  elt list
)
"src/oasis/OASISUtils.ml" 72 2554 2575 "src/oasis/OASISUtils.ml" 72 2554 2583
type(
  t -> elt list -> t
)
ident(
  int_ref add_list "src/oasis/OASISUtils.ml" 70 2514 2526 "src/oasis/OASISUtils.ml" 70 2514 2534
)
"src/oasis/OASISUtils.ml" 72 2554 2585 "src/oasis/OASISUtils.ml" 72 2554 2588
type(
  elt -> t -> t
)
ident(
  int_ref add "set.mli" 83 3129 3133 "set.mli" 83 3129 3155
)
"src/oasis/OASISUtils.ml" 72 2554 2589 "src/oasis/OASISUtils.ml" 72 2554 2590
type(
  elt
)
ident(
  int_ref e "src/oasis/OASISUtils.ml" 72 2554 2564 "src/oasis/OASISUtils.ml" 72 2554 2565
)
"src/oasis/OASISUtils.ml" 72 2554 2591 "src/oasis/OASISUtils.ml" 72 2554 2592
type(
  t
)
ident(
  int_ref t "src/oasis/OASISUtils.ml" 70 2514 2535 "src/oasis/OASISUtils.ml" 70 2514 2536
)
"src/oasis/OASISUtils.ml" 72 2554 2584 "src/oasis/OASISUtils.ml" 72 2554 2593
type(
  t
)
"src/oasis/OASISUtils.ml" 72 2554 2594 "src/oasis/OASISUtils.ml" 72 2554 2596
type(
  elt list
)
ident(
  int_ref tl "src/oasis/OASISUtils.ml" 72 2554 2569 "src/oasis/OASISUtils.ml" 72 2554 2571
)
"src/oasis/OASISUtils.ml" 72 2554 2575 "src/oasis/OASISUtils.ml" 72 2554 2596
type(
  t
)
"src/oasis/OASISUtils.ml" 73 2597 2607 "src/oasis/OASISUtils.ml" 73 2597 2609
type(
  elt list
)
"src/oasis/OASISUtils.ml" 73 2597 2613 "src/oasis/OASISUtils.ml" 73 2597 2614
type(
  t
)
ident(
  int_ref t "src/oasis/OASISUtils.ml" 70 2514 2535 "src/oasis/OASISUtils.ml" 70 2514 2536
)
"src/oasis/OASISUtils.ml" 71 2539 2545 "src/oasis/OASISUtils.ml" 73 2597 2614
type(
  elt list -> t
)
"src/oasis/OASISUtils.ml" 75 2616 2624 "src/oasis/OASISUtils.ml" 75 2616 2631
type(
  elt list -> t
)
ident(
  def of_list "src/oasis/OASISUtils.ml" 77 2658 2662 "src/oasis/OASISUtils.ml" 78 2685 2690
)
"src/oasis/OASISUtils.ml" 75 2616 2632 "src/oasis/OASISUtils.ml" 75 2616 2635
type(
  elt list
)
ident(
  def lst "src/oasis/OASISUtils.ml" 75 2616 2638 "src/oasis/OASISUtils.ml" 75 2616 2656
)
"src/oasis/OASISUtils.ml" 75 2616 2638 "src/oasis/OASISUtils.ml" 75 2616 2646
type(
  t -> elt list -> t
)
ident(
  int_ref add_list "src/oasis/OASISUtils.ml" 70 2514 2526 "src/oasis/OASISUtils.ml" 70 2514 2534
)
"src/oasis/OASISUtils.ml" 75 2616 2647 "src/oasis/OASISUtils.ml" 75 2616 2652
type(
  t
)
ident(
  int_ref empty "set.mli" 74 2915 2919 "set.mli" 74 2915 2931
)
"src/oasis/OASISUtils.ml" 75 2616 2653 "src/oasis/OASISUtils.ml" 75 2616 2656
type(
  elt list
)
ident(
  int_ref lst "src/oasis/OASISUtils.ml" 75 2616 2632 "src/oasis/OASISUtils.ml" 75 2616 2635
)
"src/oasis/OASISUtils.ml" 75 2616 2638 "src/oasis/OASISUtils.ml" 75 2616 2656
type(
  t
)
"src/oasis/OASISUtils.ml" 77 2658 2666 "src/oasis/OASISUtils.ml" 77 2658 2673
type(
  t -> elt list
)
ident(
  def to_list "src/oasis/OASISUtils.ml" 77 2658 2684 "src/oasis/OASISUtils.ml" 78 2685 2690
)
"src/oasis/OASISUtils.ml" 77 2658 2676 "src/oasis/OASISUtils.ml" 77 2658 2684
type(
  t -> elt list
)
ident(
  int_ref elements "set.mli" 185 7039 7043 "set.mli" 185 7039 7070
)
"src/oasis/OASISUtils.ml" 82 2697 2704 "src/oasis/OASISUtils.ml" 82 2697 2713
ident(
  def SetString "src/oasis/OASISUtils.ml" 82 2697 2735 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 85 2738 2742 "src/oasis/OASISUtils.ml" 85 2738 2753
type(
  string -> string -> int
)
ident(
  def compare_csl "src/oasis/OASISUtils.ml" 89 2847 2847 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 85 2738 2754 "src/oasis/OASISUtils.ml" 85 2738 2756
type(
  string
)
ident(
  def s1 "src/oasis/OASISUtils.ml" 85 2738 2757 "src/oasis/OASISUtils.ml" 86 2762 2844
)
"src/oasis/OASISUtils.ml" 85 2738 2757 "src/oasis/OASISUtils.ml" 85 2738 2759
type(
  string
)
ident(
  def s2 "src/oasis/OASISUtils.ml" 86 2762 2764 "src/oasis/OASISUtils.ml" 86 2762 2844
)
"src/oasis/OASISUtils.ml" 86 2762 2764 "src/oasis/OASISUtils.ml" 86 2762 2778
type(
  String.t -> String.t -> int
)
ident(
  int_ref Stdlib.String.compare "string.mli" 155 5690 5690 "string.mli" 155 5690 5717
)
"src/oasis/OASISUtils.ml" 86 2762 2780 "src/oasis/OASISUtils.ml" 86 2762 2807
type(
  string -> String.t
)
ident(
  int_ref OASISString.lowercase_ascii "src/oasis/OASISString.ml" 144 4212 4216 "src/oasis/OASISString.ml" 144 4212 4231
)
"src/oasis/OASISUtils.ml" 86 2762 2808 "src/oasis/OASISUtils.ml" 86 2762 2810
type(
  string
)
ident(
  int_ref s1 "src/oasis/OASISUtils.ml" 85 2738 2754 "src/oasis/OASISUtils.ml" 85 2738 2756
)
"src/oasis/OASISUtils.ml" 86 2762 2779 "src/oasis/OASISUtils.ml" 86 2762 2811
type(
  String.t
)
"src/oasis/OASISUtils.ml" 86 2762 2813 "src/oasis/OASISUtils.ml" 86 2762 2840
type(
  string -> String.t
)
ident(
  int_ref OASISString.lowercase_ascii "src/oasis/OASISString.ml" 144 4212 4216 "src/oasis/OASISString.ml" 144 4212 4231
)
"src/oasis/OASISUtils.ml" 86 2762 2841 "src/oasis/OASISUtils.ml" 86 2762 2843
type(
  string
)
ident(
  int_ref s2 "src/oasis/OASISUtils.ml" 85 2738 2757 "src/oasis/OASISUtils.ml" 85 2738 2759
)
"src/oasis/OASISUtils.ml" 86 2762 2812 "src/oasis/OASISUtils.ml" 86 2762 2844
type(
  String.t
)
"src/oasis/OASISUtils.ml" 86 2762 2764 "src/oasis/OASISUtils.ml" 86 2762 2844
type(
  int
)
"src/oasis/OASISUtils.ml" 89 2847 2854 "src/oasis/OASISUtils.ml" 89 2847 2867
ident(
  def HashStringCsl "src/oasis/OASISUtils.ml" 95 3034 3043 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 93 2920 2931 "src/oasis/OASISUtils.ml" 93 2920 2936
type(
  string -> string -> bool
)
ident(
  def equal "src/oasis/OASISUtils.ml" 94 2969 2976 "src/oasis/OASISUtils.ml" 95 3034 3042
)
"src/oasis/OASISUtils.ml" 93 2920 2937 "src/oasis/OASISUtils.ml" 93 2920 2939
type(
  string
)
ident(
  def s1 "src/oasis/OASISUtils.ml" 93 2920 2940 "src/oasis/OASISUtils.ml" 93 2920 2968
)
"src/oasis/OASISUtils.ml" 93 2920 2940 "src/oasis/OASISUtils.ml" 93 2920 2942
type(
  string
)
ident(
  def s2 "src/oasis/OASISUtils.ml" 93 2920 2945 "src/oasis/OASISUtils.ml" 93 2920 2968
)
"src/oasis/OASISUtils.ml" 93 2920 2946 "src/oasis/OASISUtils.ml" 93 2920 2957
type(
  string -> string -> int
)
ident(
  int_ref compare_csl "src/oasis/OASISUtils.ml" 85 2738 2742 "src/oasis/OASISUtils.ml" 85 2738 2753
)
"src/oasis/OASISUtils.ml" 93 2920 2958 "src/oasis/OASISUtils.ml" 93 2920 2960
type(
  string
)
ident(
  int_ref s1 "src/oasis/OASISUtils.ml" 93 2920 2937 "src/oasis/OASISUtils.ml" 93 2920 2939
)
"src/oasis/OASISUtils.ml" 93 2920 2961 "src/oasis/OASISUtils.ml" 93 2920 2963
type(
  string
)
ident(
  int_ref s2 "src/oasis/OASISUtils.ml" 93 2920 2940 "src/oasis/OASISUtils.ml" 93 2920 2942
)
"src/oasis/OASISUtils.ml" 93 2920 2945 "src/oasis/OASISUtils.ml" 93 2920 2964
type(
  int
)
"src/oasis/OASISUtils.ml" 93 2920 2965 "src/oasis/OASISUtils.ml" 93 2920 2966
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 93 2920 2967 "src/oasis/OASISUtils.ml" 93 2920 2968
type(
  int
)
"src/oasis/OASISUtils.ml" 93 2920 2945 "src/oasis/OASISUtils.ml" 93 2920 2968
type(
  bool
)
"src/oasis/OASISUtils.ml" 94 2969 2980 "src/oasis/OASISUtils.ml" 94 2969 2984
type(
  string -> int
)
ident(
  def hash "src/oasis/OASISUtils.ml" 94 2969 3033 "src/oasis/OASISUtils.ml" 95 3034 3042
)
"src/oasis/OASISUtils.ml" 94 2969 2985 "src/oasis/OASISUtils.ml" 94 2969 2986
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 94 2969 2989 "src/oasis/OASISUtils.ml" 94 2969 3033
)
"src/oasis/OASISUtils.ml" 94 2969 2989 "src/oasis/OASISUtils.ml" 94 2969 3001
type(
  string -> int
)
ident(
  int_ref Stdlib.Hashtbl.hash "hashtbl.mli" 474 18341 18341 "hashtbl.mli" 474 18341 18361
)
"src/oasis/OASISUtils.ml" 94 2969 3003 "src/oasis/OASISUtils.ml" 94 2969 3030
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/OASISUtils.ml" 94 2969 3031 "src/oasis/OASISUtils.ml" 94 2969 3032
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 94 2969 2985 "src/oasis/OASISUtils.ml" 94 2969 2986
)
"src/oasis/OASISUtils.ml" 94 2969 3002 "src/oasis/OASISUtils.ml" 94 2969 3033
type(
  string
)
"src/oasis/OASISUtils.ml" 94 2969 2989 "src/oasis/OASISUtils.ml" 94 2969 3033
type(
  int
)
"src/oasis/OASISUtils.ml" 97 3045 3052 "src/oasis/OASISUtils.ml" 97 3045 3064
ident(
  def SetStringCsl "src/oasis/OASISUtils.ml" 102 3149 3158 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 101 3116 3127 "src/oasis/OASISUtils.ml" 101 3116 3134
type(
  string -> string -> int
)
ident(
  def compare "src/oasis/OASISUtils.ml" 101 3116 3148 "src/oasis/OASISUtils.ml" 102 3149 3157
)
"src/oasis/OASISUtils.ml" 101 3116 3137 "src/oasis/OASISUtils.ml" 101 3116 3148
type(
  string -> string -> int
)
ident(
  int_ref compare_csl "src/oasis/OASISUtils.ml" 85 2738 2742 "src/oasis/OASISUtils.ml" 85 2738 2753
)
"src/oasis/OASISUtils.ml" 105 3161 3165 "src/oasis/OASISUtils.ml" 105 3161 3182
type(
  ?hyphen:char -> string -> string
)
ident(
  def varname_of_string "src/oasis/OASISUtils.ml" 136 3815 3815 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 105 3161 3185 "src/oasis/OASISUtils.ml" 105 3161 3191
type(
  char
)
ident(
  def hyphen "src/oasis/OASISUtils.ml" 105 3161 3197 "src/oasis/OASISUtils.ml" 133 3805 3812
)
"src/oasis/OASISUtils.ml" 105 3161 3192 "src/oasis/OASISUtils.ml" 105 3161 3195
type(
  char
)
type(
  char option
)
type(
  char option
)
type(
  char
)
ident(
  int_ref *sth* "src/oasis/OASISUtils.ml" 105 3161 3192 "src/oasis/OASISUtils.ml" 105 3161 3195
)
type(
  char
)
type(
  char option
)
type(
  char option
)
ident(
  def *sth* "src/oasis/OASISUtils.ml" 105 3161 3192 "src/oasis/OASISUtils.ml" 105 3161 3195
)
"src/oasis/OASISUtils.ml" 105 3161 3197 "src/oasis/OASISUtils.ml" 105 3161 3198
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 106 3201 3203 "src/oasis/OASISUtils.ml" 133 3805 3812
)
"src/oasis/OASISUtils.ml" 106 3201 3206 "src/oasis/OASISUtils.ml" 106 3201 3219
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISUtils.ml" 106 3201 3220 "src/oasis/OASISUtils.ml" 106 3201 3221
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 105 3161 3197 "src/oasis/OASISUtils.ml" 105 3161 3198
)
"src/oasis/OASISUtils.ml" 106 3201 3206 "src/oasis/OASISUtils.ml" 106 3201 3221
type(
  int
)
"src/oasis/OASISUtils.ml" 106 3201 3222 "src/oasis/OASISUtils.ml" 106 3201 3223
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 106 3201 3224 "src/oasis/OASISUtils.ml" 106 3201 3225
type(
  int
)
"src/oasis/OASISUtils.ml" 106 3201 3206 "src/oasis/OASISUtils.ml" 106 3201 3225
type(
  bool
)
"src/oasis/OASISUtils.ml" 108 3241 3247 "src/oasis/OASISUtils.ml" 108 3241 3258
type(
  string -> string
)
ident(
  int_ref Stdlib.invalid_arg "stdlib.mli" 38 1822 1822 "stdlib.mli" 38 1822 1852
)
"src/oasis/OASISUtils.ml" 108 3241 3259 "src/oasis/OASISUtils.ml" 108 3241 3278
type(
  string
)
"src/oasis/OASISUtils.ml" 107 3231 3235 "src/oasis/OASISUtils.ml" 109 3279 3286
type(
  string
)
"src/oasis/OASISUtils.ml" 112 3304 3314 "src/oasis/OASISUtils.ml" 112 3304 3317
type(
  string
)
ident(
  def buf "src/oasis/OASISUtils.ml" 125 3612 3618 "src/oasis/OASISUtils.ml" 132 3765 3804
)
"src/oasis/OASISUtils.ml" 113 3320 3328 "src/oasis/OASISUtils.ml" 113 3320 3353
type(
  (char -> char) -> string -> string
)
ident(
  int_ref OASISString.replace_chars "src/oasis/OASISString.ml" 139 4064 4068 "src/oasis/OASISString.ml" 139 4064 4081
)
"src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 115 3374 3387 "src/oasis/OASISUtils.ml" 122 3567 3588
)
"src/oasis/OASISUtils.ml" 115 3374 3391 "src/oasis/OASISUtils.ml" 115 3374 3394
type(
  char
)
"src/oasis/OASISUtils.ml" 115 3374 3395 "src/oasis/OASISUtils.ml" 115 3374 3397
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 115 3374 3398 "src/oasis/OASISUtils.ml" 115 3374 3399
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 115 3374 3391 "src/oasis/OASISUtils.ml" 115 3374 3399
type(
  bool
)
"src/oasis/OASISUtils.ml" 115 3374 3400 "src/oasis/OASISUtils.ml" 115 3374 3402
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISUtils.ml" 115 3374 3403 "src/oasis/OASISUtils.ml" 115 3374 3404
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 115 3374 3405 "src/oasis/OASISUtils.ml" 115 3374 3407
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 115 3374 3408 "src/oasis/OASISUtils.ml" 115 3374 3411
type(
  char
)
"src/oasis/OASISUtils.ml" 115 3374 3403 "src/oasis/OASISUtils.ml" 115 3374 3411
type(
  bool
)
"src/oasis/OASISUtils.ml" 115 3374 3390 "src/oasis/OASISUtils.ml" 115 3374 3412
type(
  bool
)
"src/oasis/OASISUtils.ml" 116 3413 3428 "src/oasis/OASISUtils.ml" 116 3413 3430
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 117 3431 3448 "src/oasis/OASISUtils.ml" 117 3431 3451
type(
  char
)
"src/oasis/OASISUtils.ml" 117 3431 3452 "src/oasis/OASISUtils.ml" 117 3431 3454
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 117 3431 3455 "src/oasis/OASISUtils.ml" 117 3431 3456
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 117 3431 3448 "src/oasis/OASISUtils.ml" 117 3431 3456
type(
  bool
)
"src/oasis/OASISUtils.ml" 117 3431 3457 "src/oasis/OASISUtils.ml" 117 3431 3459
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISUtils.ml" 117 3431 3460 "src/oasis/OASISUtils.ml" 117 3431 3461
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 117 3431 3462 "src/oasis/OASISUtils.ml" 117 3431 3464
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 117 3431 3465 "src/oasis/OASISUtils.ml" 117 3431 3468
type(
  char
)
"src/oasis/OASISUtils.ml" 117 3431 3460 "src/oasis/OASISUtils.ml" 117 3431 3468
type(
  bool
)
"src/oasis/OASISUtils.ml" 117 3431 3447 "src/oasis/OASISUtils.ml" 117 3431 3469
type(
  bool
)
"src/oasis/OASISUtils.ml" 118 3470 3485 "src/oasis/OASISUtils.ml" 118 3470 3487
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 119 3488 3505 "src/oasis/OASISUtils.ml" 119 3488 3508
type(
  char
)
"src/oasis/OASISUtils.ml" 119 3488 3509 "src/oasis/OASISUtils.ml" 119 3488 3511
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 119 3488 3512 "src/oasis/OASISUtils.ml" 119 3488 3513
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 119 3488 3505 "src/oasis/OASISUtils.ml" 119 3488 3513
type(
  bool
)
"src/oasis/OASISUtils.ml" 119 3488 3514 "src/oasis/OASISUtils.ml" 119 3488 3516
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISUtils.ml" 119 3488 3517 "src/oasis/OASISUtils.ml" 119 3488 3518
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 119 3488 3519 "src/oasis/OASISUtils.ml" 119 3488 3521
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 119 3488 3522 "src/oasis/OASISUtils.ml" 119 3488 3525
type(
  char
)
"src/oasis/OASISUtils.ml" 119 3488 3517 "src/oasis/OASISUtils.ml" 119 3488 3525
type(
  bool
)
"src/oasis/OASISUtils.ml" 119 3488 3504 "src/oasis/OASISUtils.ml" 119 3488 3526
type(
  bool
)
"src/oasis/OASISUtils.ml" 117 3431 3447 "src/oasis/OASISUtils.ml" 119 3488 3526
type(
  bool
)
"src/oasis/OASISUtils.ml" 115 3374 3390 "src/oasis/OASISUtils.ml" 119 3488 3526
type(
  bool
)
"src/oasis/OASISUtils.ml" 120 3532 3547 "src/oasis/OASISUtils.ml" 120 3532 3548
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 114 3354 3369 "src/oasis/OASISUtils.ml" 114 3354 3370
)
"src/oasis/OASISUtils.ml" 122 3567 3582 "src/oasis/OASISUtils.ml" 122 3567 3588
type(
  char
)
ident(
  int_ref hyphen "src/oasis/OASISUtils.ml" 105 3161 3185 "src/oasis/OASISUtils.ml" 105 3161 3191
)
"src/oasis/OASISUtils.ml" 115 3374 3387 "src/oasis/OASISUtils.ml" 122 3567 3588
type(
  char
)
"src/oasis/OASISUtils.ml" 114 3354 3364 "src/oasis/OASISUtils.ml" 122 3567 3589
type(
  char -> char
)
"src/oasis/OASISUtils.ml" 123 3590 3600 "src/oasis/OASISUtils.ml" 123 3590 3601
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 105 3161 3197 "src/oasis/OASISUtils.ml" 105 3161 3198
)
"src/oasis/OASISUtils.ml" 113 3320 3328 "src/oasis/OASISUtils.ml" 123 3590 3601
type(
  string
)
"src/oasis/OASISUtils.ml" 125 3612 3622 "src/oasis/OASISUtils.ml" 125 3612 3625
type(
  string
)
ident(
  def buf "src/oasis/OASISUtils.ml" 132 3765 3773 "src/oasis/OASISUtils.ml" 132 3765 3804
)
"src/oasis/OASISUtils.ml" 127 3666 3677 "src/oasis/OASISUtils.ml" 127 3666 3680
type(
  char
)
"src/oasis/OASISUtils.ml" 127 3666 3681 "src/oasis/OASISUtils.ml" 127 3666 3683
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 127 3666 3684 "src/oasis/OASISUtils.ml" 127 3666 3685
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 105 3161 3197 "src/oasis/OASISUtils.ml" 105 3161 3198
)
"src/oasis/OASISUtils.ml" 127 3666 3687 "src/oasis/OASISUtils.ml" 127 3666 3688
type(
  int
)
"src/oasis/OASISUtils.ml" 127 3666 3684 "src/oasis/OASISUtils.ml" 127 3666 3689
type(
  char
)
"src/oasis/OASISUtils.ml" 127 3666 3677 "src/oasis/OASISUtils.ml" 127 3666 3689
type(
  bool
)
"src/oasis/OASISUtils.ml" 127 3666 3690 "src/oasis/OASISUtils.ml" 127 3666 3692
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISUtils.ml" 127 3666 3693 "src/oasis/OASISUtils.ml" 127 3666 3694
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 105 3161 3197 "src/oasis/OASISUtils.ml" 105 3161 3198
)
"src/oasis/OASISUtils.ml" 127 3666 3696 "src/oasis/OASISUtils.ml" 127 3666 3697
type(
  int
)
"src/oasis/OASISUtils.ml" 127 3666 3693 "src/oasis/OASISUtils.ml" 127 3666 3698
type(
  char
)
"src/oasis/OASISUtils.ml" 127 3666 3699 "src/oasis/OASISUtils.ml" 127 3666 3701
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( <= ) "stdlib.mli" 145 6033 6033 "stdlib.mli" 145 6033 6082
)
"src/oasis/OASISUtils.ml" 127 3666 3702 "src/oasis/OASISUtils.ml" 127 3666 3705
type(
  char
)
"src/oasis/OASISUtils.ml" 127 3666 3693 "src/oasis/OASISUtils.ml" 127 3666 3705
type(
  bool
)
"src/oasis/OASISUtils.ml" 127 3666 3677 "src/oasis/OASISUtils.ml" 127 3666 3705
type(
  bool
)
"src/oasis/OASISUtils.ml" 128 3711 3721 "src/oasis/OASISUtils.ml" 128 3711 3724
type(
  string
)
"src/oasis/OASISUtils.ml" 128 3711 3724 "src/oasis/OASISUtils.ml" 128 3711 3725
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 128 3711 3725 "src/oasis/OASISUtils.ml" 128 3711 3728
type(
  string
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 112 3304 3314 "src/oasis/OASISUtils.ml" 112 3304 3317
)
"src/oasis/OASISUtils.ml" 128 3711 3721 "src/oasis/OASISUtils.ml" 128 3711 3728
type(
  string
)
"src/oasis/OASISUtils.ml" 130 3742 3752 "src/oasis/OASISUtils.ml" 130 3742 3755
type(
  string
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 112 3304 3314 "src/oasis/OASISUtils.ml" 112 3304 3317
)
"src/oasis/OASISUtils.ml" 127 3666 3674 "src/oasis/OASISUtils.ml" 130 3742 3755
type(
  string
)
"src/oasis/OASISUtils.ml" 132 3765 3773 "src/oasis/OASISUtils.ml" 132 3765 3800
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/OASISUtils.ml" 132 3765 3801 "src/oasis/OASISUtils.ml" 132 3765 3804
type(
  string
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 125 3612 3622 "src/oasis/OASISUtils.ml" 125 3612 3625
)
"src/oasis/OASISUtils.ml" 132 3765 3773 "src/oasis/OASISUtils.ml" 132 3765 3804
type(
  string
)
"src/oasis/OASISUtils.ml" 125 3612 3618 "src/oasis/OASISUtils.ml" 132 3765 3804
type(
  string
)
"src/oasis/OASISUtils.ml" 111 3294 3298 "src/oasis/OASISUtils.ml" 133 3805 3812
type(
  string
)
"src/oasis/OASISUtils.ml" 106 3201 3203 "src/oasis/OASISUtils.ml" 133 3805 3812
type(
  string
)
"src/oasis/OASISUtils.ml" 136 3815 3819 "src/oasis/OASISUtils.ml" 136 3815 3833
type(
  ?hyphen:char -> string -> string -> string
)
ident(
  def varname_concat "src/oasis/OASISUtils.ml" 153 4098 4098 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 136 3815 3836 "src/oasis/OASISUtils.ml" 136 3815 3842
type(
  char
)
ident(
  def hyphen "src/oasis/OASISUtils.ml" 136 3815 3848 "src/oasis/OASISUtils.ml" 150 4083 4095
)
"src/oasis/OASISUtils.ml" 136 3815 3843 "src/oasis/OASISUtils.ml" 136 3815 3846
type(
  char
)
type(
  char option
)
type(
  char option
)
type(
  char
)
ident(
  int_ref *sth* "src/oasis/OASISUtils.ml" 136 3815 3843 "src/oasis/OASISUtils.ml" 136 3815 3846
)
type(
  char
)
type(
  char option
)
type(
  char option
)
ident(
  def *sth* "src/oasis/OASISUtils.ml" 136 3815 3843 "src/oasis/OASISUtils.ml" 136 3815 3846
)
"src/oasis/OASISUtils.ml" 136 3815 3848 "src/oasis/OASISUtils.ml" 136 3815 3849
type(
  string
)
ident(
  def p "src/oasis/OASISUtils.ml" 136 3815 3850 "src/oasis/OASISUtils.ml" 150 4083 4095
)
"src/oasis/OASISUtils.ml" 136 3815 3850 "src/oasis/OASISUtils.ml" 136 3815 3851
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 137 3854 3856 "src/oasis/OASISUtils.ml" 150 4083 4095
)
"src/oasis/OASISUtils.ml" 137 3854 3860 "src/oasis/OASISUtils.ml" 137 3854 3864
type(
  string
)
ident(
  def what "src/oasis/OASISUtils.ml" 138 3891 3893 "src/oasis/OASISUtils.ml" 150 4083 4095
)
"src/oasis/OASISUtils.ml" 137 3854 3867 "src/oasis/OASISUtils.ml" 137 3854 3878
type(
  int -> char -> string
)
ident(
  int_ref Stdlib.String.make "string.mli" 85 3764 3764 "string.mli" 85 3764 3796
)
"src/oasis/OASISUtils.ml" 137 3854 3879 "src/oasis/OASISUtils.ml" 137 3854 3880
type(
  int
)
"src/oasis/OASISUtils.ml" 137 3854 3881 "src/oasis/OASISUtils.ml" 137 3854 3887
type(
  char
)
ident(
  int_ref hyphen "src/oasis/OASISUtils.ml" 136 3815 3836 "src/oasis/OASISUtils.ml" 136 3815 3842
)
"src/oasis/OASISUtils.ml" 137 3854 3867 "src/oasis/OASISUtils.ml" 137 3854 3887
type(
  string
)
"src/oasis/OASISUtils.ml" 138 3891 3897 "src/oasis/OASISUtils.ml" 138 3891 3898
type(
  string
)
ident(
  def p "src/oasis/OASISUtils.ml" 144 3986 3988 "src/oasis/OASISUtils.ml" 150 4083 4095
)
"src/oasis/OASISUtils.ml" 140 3909 3915 "src/oasis/OASISUtils.ml" 140 3909 3942
type(
  what:string -> string -> string
)
ident(
  int_ref OASISString.strip_ends_with "src/oasis/OASISString.ml" 132 3936 3940 "src/oasis/OASISString.ml" 132 3936 3955
)
"src/oasis/OASISUtils.ml" 140 3909 3944 "src/oasis/OASISUtils.ml" 140 3909 3948
type(
  string
)
ident(
  int_ref what "src/oasis/OASISUtils.ml" 137 3854 3860 "src/oasis/OASISUtils.ml" 137 3854 3864
)
"src/oasis/OASISUtils.ml" 140 3909 3949 "src/oasis/OASISUtils.ml" 140 3909 3950
type(
  string
)
ident(
  int_ref p "src/oasis/OASISUtils.ml" 136 3815 3848 "src/oasis/OASISUtils.ml" 136 3815 3849
)
"src/oasis/OASISUtils.ml" 140 3909 3915 "src/oasis/OASISUtils.ml" 140 3909 3950
type(
  string
)
"src/oasis/OASISUtils.ml" 141 3951 3960 "src/oasis/OASISUtils.ml" 141 3951 3969
type(
  exn
)
"src/oasis/OASISUtils.ml" 142 3973 3979 "src/oasis/OASISUtils.ml" 142 3973 3980
type(
  string
)
ident(
  int_ref p "src/oasis/OASISUtils.ml" 136 3815 3848 "src/oasis/OASISUtils.ml" 136 3815 3849
)
"src/oasis/OASISUtils.ml" 139 3901 3905 "src/oasis/OASISUtils.ml" 142 3973 3980
type(
  string
)
"src/oasis/OASISUtils.ml" 144 3986 3992 "src/oasis/OASISUtils.ml" 144 3986 3993
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 150 4083 4087 "src/oasis/OASISUtils.ml" 150 4083 4095
)
"src/oasis/OASISUtils.ml" 146 4004 4010 "src/oasis/OASISUtils.ml" 146 4004 4039
type(
  what:string -> string -> string
)
ident(
  int_ref OASISString.strip_starts_with "src/oasis/OASISString.ml" 109 3432 3436 "src/oasis/OASISString.ml" 109 3432 3453
)
"src/oasis/OASISUtils.ml" 146 4004 4041 "src/oasis/OASISUtils.ml" 146 4004 4045
type(
  string
)
ident(
  int_ref what "src/oasis/OASISUtils.ml" 137 3854 3860 "src/oasis/OASISUtils.ml" 137 3854 3864
)
"src/oasis/OASISUtils.ml" 146 4004 4046 "src/oasis/OASISUtils.ml" 146 4004 4047
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 136 3815 3850 "src/oasis/OASISUtils.ml" 136 3815 3851
)
"src/oasis/OASISUtils.ml" 146 4004 4010 "src/oasis/OASISUtils.ml" 146 4004 4047
type(
  string
)
"src/oasis/OASISUtils.ml" 147 4048 4057 "src/oasis/OASISUtils.ml" 147 4048 4066
type(
  exn
)
"src/oasis/OASISUtils.ml" 148 4070 4076 "src/oasis/OASISUtils.ml" 148 4070 4077
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 136 3815 3850 "src/oasis/OASISUtils.ml" 136 3815 3851
)
"src/oasis/OASISUtils.ml" 145 3996 4000 "src/oasis/OASISUtils.ml" 148 4070 4077
type(
  string
)
"src/oasis/OASISUtils.ml" 150 4083 4087 "src/oasis/OASISUtils.ml" 150 4083 4088
type(
  string
)
ident(
  int_ref p "src/oasis/OASISUtils.ml" 138 3891 3897 "src/oasis/OASISUtils.ml" 138 3891 3898
)
"src/oasis/OASISUtils.ml" 150 4083 4088 "src/oasis/OASISUtils.ml" 150 4083 4089
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 150 4083 4089 "src/oasis/OASISUtils.ml" 150 4083 4093
type(
  string
)
ident(
  int_ref what "src/oasis/OASISUtils.ml" 137 3854 3860 "src/oasis/OASISUtils.ml" 137 3854 3864
)
"src/oasis/OASISUtils.ml" 150 4083 4093 "src/oasis/OASISUtils.ml" 150 4083 4094
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 150 4083 4094 "src/oasis/OASISUtils.ml" 150 4083 4095
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 144 3986 3992 "src/oasis/OASISUtils.ml" 144 3986 3993
)
"src/oasis/OASISUtils.ml" 150 4083 4089 "src/oasis/OASISUtils.ml" 150 4083 4095
type(
  string
)
"src/oasis/OASISUtils.ml" 150 4083 4087 "src/oasis/OASISUtils.ml" 150 4083 4095
type(
  string
)
"src/oasis/OASISUtils.ml" 144 3986 3988 "src/oasis/OASISUtils.ml" 150 4083 4095
type(
  string
)
"src/oasis/OASISUtils.ml" 138 3891 3893 "src/oasis/OASISUtils.ml" 150 4083 4095
type(
  string
)
"src/oasis/OASISUtils.ml" 137 3854 3856 "src/oasis/OASISUtils.ml" 150 4083 4095
type(
  string
)
"src/oasis/OASISUtils.ml" 153 4098 4102 "src/oasis/OASISUtils.ml" 153 4098 4112
type(
  string -> bool
)
ident(
  def is_varname "src/oasis/OASISUtils.ml" 157 4151 4151 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 153 4098 4113 "src/oasis/OASISUtils.ml" 153 4098 4116
type(
  string
)
ident(
  def str "src/oasis/OASISUtils.ml" 154 4119 4121 "src/oasis/OASISUtils.ml" 154 4119 4148
)
"src/oasis/OASISUtils.ml" 154 4119 4121 "src/oasis/OASISUtils.ml" 154 4119 4124
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 153 4098 4113 "src/oasis/OASISUtils.ml" 153 4098 4116
)
"src/oasis/OASISUtils.ml" 154 4119 4125 "src/oasis/OASISUtils.ml" 154 4119 4126
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 154 4119 4127 "src/oasis/OASISUtils.ml" 154 4119 4144
type(
  ?hyphen:char -> string -> string
)
ident(
  int_ref varname_of_string "src/oasis/OASISUtils.ml" 105 3161 3165 "src/oasis/OASISUtils.ml" 105 3161 3182
)
"src/oasis/OASISUtils.ml" 154 4119 4145 "src/oasis/OASISUtils.ml" 154 4119 4148
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 153 4098 4113 "src/oasis/OASISUtils.ml" 153 4098 4116
)
"src/oasis/OASISUtils.ml" 154 4119 4127 "src/oasis/OASISUtils.ml" 154 4119 4148
type(
  string
)
"src/oasis/OASISUtils.ml" 154 4119 4121 "src/oasis/OASISUtils.ml" 154 4119 4148
type(
  bool
)
"src/oasis/OASISUtils.ml" 157 4151 4155 "src/oasis/OASISUtils.ml" 157 4151 4164
type(
  ('a, unit, string, 'b) format4 -> 'a
)
ident(
  def failwithf "src/oasis/OASISUtils.ml" 160 4202 4202 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 157 4151 4165 "src/oasis/OASISUtils.ml" 157 4151 4168
type(
  ('a, unit, string, 'b) format4
)
ident(
  def fmt "src/oasis/OASISUtils.ml" 157 4151 4171 "src/oasis/OASISUtils.ml" 157 4151 4199
)
"src/oasis/OASISUtils.ml" 157 4151 4171 "src/oasis/OASISUtils.ml" 157 4151 4186
type(
  (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a
)
ident(
  int_ref Stdlib.Printf.ksprintf "printf.mli" 171 8473 8473 "printf.mli" 171 8473 8542
)
"src/oasis/OASISUtils.ml" 157 4151 4187 "src/oasis/OASISUtils.ml" 157 4151 4195
type(
  string -> 'b
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/OASISUtils.ml" 157 4151 4196 "src/oasis/OASISUtils.ml" 157 4151 4199
type(
  ('a, unit, string, 'b) format4
)
ident(
  int_ref fmt "src/oasis/OASISUtils.ml" 157 4151 4165 "src/oasis/OASISUtils.ml" 157 4151 4168
)
"src/oasis/OASISUtils.ml" 157 4151 4171 "src/oasis/OASISUtils.ml" 157 4151 4199
type(
  'a
)
"src/oasis/OASISUtils.ml" 160 4202 4210 "src/oasis/OASISUtils.ml" 160 4202 4223
type(
  ?pos1:Lexing.position ->
  ?pos2:Lexing.position -> ?lexbuf:Lexing.lexbuf -> unit -> string
)
ident(
  def file_location "src/oasis/OASISUtils.ml" 160 4202 4202 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 160 4202 4225 "src/oasis/OASISUtils.ml" 160 4202 4229
type(
  Lexing.position option
)
ident(
  def pos1 "src/oasis/OASISUtils.ml" 160 4202 4230 "src/oasis/OASISUtils.ml" 176 4825 4856
)
"src/oasis/OASISUtils.ml" 160 4202 4231 "src/oasis/OASISUtils.ml" 160 4202 4235
type(
  Lexing.position option
)
ident(
  def pos2 "src/oasis/OASISUtils.ml" 160 4202 4236 "src/oasis/OASISUtils.ml" 176 4825 4856
)
"src/oasis/OASISUtils.ml" 160 4202 4237 "src/oasis/OASISUtils.ml" 160 4202 4243
type(
  Lexing.lexbuf option
)
ident(
  def lexbuf "src/oasis/OASISUtils.ml" 160 4202 4244 "src/oasis/OASISUtils.ml" 176 4825 4856
)
"src/oasis/OASISUtils.ml" 160 4202 4244 "src/oasis/OASISUtils.ml" 160 4202 4246
type(
  unit
)
"src/oasis/OASISUtils.ml" 161 4249 4259 "src/oasis/OASISUtils.ml" 161 4249 4263
type(
  Lexing.position option
)
ident(
  int_ref pos1 "src/oasis/OASISUtils.ml" 160 4202 4225 "src/oasis/OASISUtils.ml" 160 4202 4229
)
"src/oasis/OASISUtils.ml" 161 4249 4265 "src/oasis/OASISUtils.ml" 161 4249 4269
type(
  Lexing.position option
)
ident(
  int_ref pos2 "src/oasis/OASISUtils.ml" 160 4202 4231 "src/oasis/OASISUtils.ml" 160 4202 4235
)
"src/oasis/OASISUtils.ml" 161 4249 4271 "src/oasis/OASISUtils.ml" 161 4249 4277
type(
  Lexing.lexbuf option
)
ident(
  int_ref lexbuf "src/oasis/OASISUtils.ml" 160 4202 4237 "src/oasis/OASISUtils.ml" 160 4202 4243
)
"src/oasis/OASISUtils.ml" 161 4249 4259 "src/oasis/OASISUtils.ml" 161 4249 4277
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 162 4283 4294 "src/oasis/OASISUtils.ml" 162 4283 4295
type(
  Lexing.position
)
ident(
  def p "src/oasis/OASISUtils.ml" 163 4326 4332 "src/oasis/OASISUtils.ml" 163 4326 4372
)
"src/oasis/OASISUtils.ml" 162 4283 4289 "src/oasis/OASISUtils.ml" 162 4283 4295
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 162 4283 4297 "src/oasis/OASISUtils.ml" 162 4283 4301
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 162 4283 4303 "src/oasis/OASISUtils.ml" 162 4283 4304
type(
  Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 162 4283 4289 "src/oasis/OASISUtils.ml" 162 4283 4304
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 162 4283 4307 "src/oasis/OASISUtils.ml" 162 4283 4311
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 162 4283 4318 "src/oasis/OASISUtils.ml" 162 4283 4319
type(
  Lexing.position
)
ident(
  def p "src/oasis/OASISUtils.ml" 163 4326 4332 "src/oasis/OASISUtils.ml" 163 4326 4372
)
"src/oasis/OASISUtils.ml" 162 4283 4313 "src/oasis/OASISUtils.ml" 162 4283 4319
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 162 4283 4321 "src/oasis/OASISUtils.ml" 162 4283 4322
type(
  Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 162 4283 4307 "src/oasis/OASISUtils.ml" 162 4283 4322
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 162 4283 4289 "src/oasis/OASISUtils.ml" 162 4283 4322
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 163 4326 4332 "src/oasis/OASISUtils.ml" 163 4326 4345
type(
  ?pos1:Lexing.position ->
  ?pos2:Lexing.position -> ?lexbuf:Lexing.lexbuf -> unit -> string
)
ident(
  int_ref file_location "src/oasis/OASISUtils.ml" 160 4202 4210 "src/oasis/OASISUtils.ml" 160 4202 4223
)
"src/oasis/OASISUtils.ml" 163 4326 4352 "src/oasis/OASISUtils.ml" 163 4326 4353
type(
  Lexing.position
)
ident(
  int_ref p "src/oasis/OASISUtils.ml" 162 4283 4294 "src/oasis/OASISUtils.ml" 162 4283 4295
)
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 163 4326 4360 "src/oasis/OASISUtils.ml" 163 4326 4361
type(
  Lexing.position
)
ident(
  int_ref p "src/oasis/OASISUtils.ml" 162 4283 4294 "src/oasis/OASISUtils.ml" 162 4283 4295
)
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 163 4326 4363 "src/oasis/OASISUtils.ml" 163 4326 4369
type(
  Lexing.lexbuf option
)
ident(
  int_ref lexbuf "src/oasis/OASISUtils.ml" 160 4202 4237 "src/oasis/OASISUtils.ml" 160 4202 4243
)
"src/oasis/OASISUtils.ml" 163 4326 4370 "src/oasis/OASISUtils.ml" 163 4326 4372
type(
  unit
)
"src/oasis/OASISUtils.ml" 163 4326 4332 "src/oasis/OASISUtils.ml" 163 4326 4372
type(
  string
)
"src/oasis/OASISUtils.ml" 164 4373 4384 "src/oasis/OASISUtils.ml" 164 4373 4386
type(
  Lexing.position
)
ident(
  def p1 "src/oasis/OASISUtils.ml" 165 4402 4408 "src/oasis/OASISUtils.ml" 169 4573 4652
)
"src/oasis/OASISUtils.ml" 164 4373 4379 "src/oasis/OASISUtils.ml" 164 4373 4386
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 164 4373 4393 "src/oasis/OASISUtils.ml" 164 4373 4395
type(
  Lexing.position
)
ident(
  def p2 "src/oasis/OASISUtils.ml" 165 4402 4408 "src/oasis/OASISUtils.ml" 169 4573 4652
)
"src/oasis/OASISUtils.ml" 164 4373 4388 "src/oasis/OASISUtils.ml" 164 4373 4395
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 164 4373 4397 "src/oasis/OASISUtils.ml" 164 4373 4398
type(
  Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 164 4373 4379 "src/oasis/OASISUtils.ml" 164 4373 4398
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 166 4427 4437 "src/oasis/OASISUtils.ml" 166 4427 4439
type(
  string
)
ident(
  def fn "src/oasis/OASISUtils.ml" 167 4479 4485 "src/oasis/OASISUtils.ml" 169 4573 4652
)
"src/oasis/OASISUtils.ml" 166 4427 4441 "src/oasis/OASISUtils.ml" 166 4427 4447
type(
  int
)
ident(
  def lineno "src/oasis/OASISUtils.ml" 167 4479 4485 "src/oasis/OASISUtils.ml" 169 4573 4652
)
"src/oasis/OASISUtils.ml" 166 4427 4437 "src/oasis/OASISUtils.ml" 166 4427 4447
type(
  string * int
)
"src/oasis/OASISUtils.ml" 166 4427 4450 "src/oasis/OASISUtils.ml" 166 4427 4452
type(
  Lexing.position
)
ident(
  int_ref p1 "src/oasis/OASISUtils.ml" 164 4373 4384 "src/oasis/OASISUtils.ml" 164 4373 4386
)
"src/oasis/OASISUtils.ml" 166 4427 4450 "src/oasis/OASISUtils.ml" 166 4427 4462
type(
  string
)
"src/oasis/OASISUtils.ml" 166 4427 4464 "src/oasis/OASISUtils.ml" 166 4427 4466
type(
  Lexing.position
)
ident(
  int_ref p1 "src/oasis/OASISUtils.ml" 164 4373 4384 "src/oasis/OASISUtils.ml" 164 4373 4386
)
"src/oasis/OASISUtils.ml" 166 4427 4464 "src/oasis/OASISUtils.ml" 166 4427 4475
type(
  int
)
"src/oasis/OASISUtils.ml" 166 4427 4450 "src/oasis/OASISUtils.ml" 166 4427 4475
type(
  string * int
)
"src/oasis/OASISUtils.ml" 167 4479 4489 "src/oasis/OASISUtils.ml" 167 4479 4491
type(
  int
)
ident(
  def c1 "src/oasis/OASISUtils.ml" 168 4522 4528 "src/oasis/OASISUtils.ml" 169 4573 4652
)
"src/oasis/OASISUtils.ml" 167 4479 4494 "src/oasis/OASISUtils.ml" 167 4479 4496
type(
  Lexing.position
)
ident(
  int_ref p1 "src/oasis/OASISUtils.ml" 164 4373 4384 "src/oasis/OASISUtils.ml" 164 4373 4386
)
"src/oasis/OASISUtils.ml" 167 4479 4494 "src/oasis/OASISUtils.ml" 167 4479 4505
type(
  int
)
"src/oasis/OASISUtils.ml" 167 4479 4506 "src/oasis/OASISUtils.ml" 167 4479 4507
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISUtils.ml" 167 4479 4508 "src/oasis/OASISUtils.ml" 167 4479 4510
type(
  Lexing.position
)
ident(
  int_ref p1 "src/oasis/OASISUtils.ml" 164 4373 4384 "src/oasis/OASISUtils.ml" 164 4373 4386
)
"src/oasis/OASISUtils.ml" 167 4479 4508 "src/oasis/OASISUtils.ml" 167 4479 4518
type(
  int
)
"src/oasis/OASISUtils.ml" 167 4479 4494 "src/oasis/OASISUtils.ml" 167 4479 4518
type(
  int
)
"src/oasis/OASISUtils.ml" 168 4522 4532 "src/oasis/OASISUtils.ml" 168 4522 4534
type(
  int
)
ident(
  def c2 "src/oasis/OASISUtils.ml" 169 4573 4579 "src/oasis/OASISUtils.ml" 169 4573 4652
)
"src/oasis/OASISUtils.ml" 168 4522 4537 "src/oasis/OASISUtils.ml" 168 4522 4539
type(
  int
)
ident(
  int_ref c1 "src/oasis/OASISUtils.ml" 167 4479 4489 "src/oasis/OASISUtils.ml" 167 4479 4491
)
"src/oasis/OASISUtils.ml" 168 4522 4540 "src/oasis/OASISUtils.ml" 168 4522 4541
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISUtils.ml" 168 4522 4543 "src/oasis/OASISUtils.ml" 168 4522 4545
type(
  Lexing.position
)
ident(
  int_ref p2 "src/oasis/OASISUtils.ml" 164 4373 4393 "src/oasis/OASISUtils.ml" 164 4373 4395
)
"src/oasis/OASISUtils.ml" 168 4522 4543 "src/oasis/OASISUtils.ml" 168 4522 4554
type(
  int
)
"src/oasis/OASISUtils.ml" 168 4522 4555 "src/oasis/OASISUtils.ml" 168 4522 4556
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISUtils.ml" 168 4522 4557 "src/oasis/OASISUtils.ml" 168 4522 4559
type(
  Lexing.position
)
ident(
  int_ref p1 "src/oasis/OASISUtils.ml" 164 4373 4384 "src/oasis/OASISUtils.ml" 164 4373 4386
)
"src/oasis/OASISUtils.ml" 168 4522 4557 "src/oasis/OASISUtils.ml" 168 4522 4568
type(
  int
)
"src/oasis/OASISUtils.ml" 168 4522 4542 "src/oasis/OASISUtils.ml" 168 4522 4569
type(
  int
)
"src/oasis/OASISUtils.ml" 168 4522 4537 "src/oasis/OASISUtils.ml" 168 4522 4569
type(
  int
)
"src/oasis/OASISUtils.ml" 169 4573 4579 "src/oasis/OASISUtils.ml" 169 4573 4593
type(
  (string -> int -> int -> int -> string, unit, string) format ->
  string -> int -> int -> int -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISUtils.ml" 169 4573 4595 "src/oasis/OASISUtils.ml" 169 4573 4597
type(
  (string -> int -> int -> int -> string, unit, string, string) format4 ->
  (string -> int -> int -> int -> 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/OASISUtils.ml" 169 4573 4598 "src/oasis/OASISUtils.ml" 169 4573 4634
type(
  (string -> int -> int -> int -> string, unit, string, string) format4
)
"src/oasis/OASISUtils.ml" 169 4573 4594 "src/oasis/OASISUtils.ml" 169 4573 4635
type(
  (string -> int -> int -> int -> string, unit, string, string) format4
)
"src/oasis/OASISUtils.ml" 169 4573 4637 "src/oasis/OASISUtils.ml" 169 4573 4639
type(
  string
)
ident(
  int_ref fn "src/oasis/OASISUtils.ml" 166 4427 4437 "src/oasis/OASISUtils.ml" 166 4427 4439
)
"src/oasis/OASISUtils.ml" 169 4573 4640 "src/oasis/OASISUtils.ml" 169 4573 4646
type(
  int
)
ident(
  int_ref lineno "src/oasis/OASISUtils.ml" 166 4427 4441 "src/oasis/OASISUtils.ml" 166 4427 4447
)
"src/oasis/OASISUtils.ml" 169 4573 4647 "src/oasis/OASISUtils.ml" 169 4573 4649
type(
  int
)
ident(
  int_ref c1 "src/oasis/OASISUtils.ml" 167 4479 4489 "src/oasis/OASISUtils.ml" 167 4479 4491
)
"src/oasis/OASISUtils.ml" 169 4573 4650 "src/oasis/OASISUtils.ml" 169 4573 4652
type(
  int
)
ident(
  int_ref c2 "src/oasis/OASISUtils.ml" 168 4522 4532 "src/oasis/OASISUtils.ml" 168 4522 4534
)
"src/oasis/OASISUtils.ml" 169 4573 4579 "src/oasis/OASISUtils.ml" 169 4573 4652
type(
  string
)
"src/oasis/OASISUtils.ml" 168 4522 4528 "src/oasis/OASISUtils.ml" 169 4573 4652
type(
  string
)
"src/oasis/OASISUtils.ml" 167 4479 4485 "src/oasis/OASISUtils.ml" 169 4573 4652
type(
  string
)
"src/oasis/OASISUtils.ml" 166 4427 4433 "src/oasis/OASISUtils.ml" 169 4573 4652
type(
  string
)
"src/oasis/OASISUtils.ml" 165 4402 4408 "src/oasis/OASISUtils.ml" 169 4573 4652
type(
  string
)
"src/oasis/OASISUtils.ml" 170 4653 4659 "src/oasis/OASISUtils.ml" 170 4653 4660
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 170 4653 4662 "src/oasis/OASISUtils.ml" 170 4653 4663
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 170 4653 4670 "src/oasis/OASISUtils.ml" 170 4653 4676
type(
  Lexing.lexbuf
)
ident(
  def lexbuf "src/oasis/OASISUtils.ml" 171 4680 4686 "src/oasis/OASISUtils.ml" 174 4788 4798
)
"src/oasis/OASISUtils.ml" 170 4653 4665 "src/oasis/OASISUtils.ml" 170 4653 4676
type(
  Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 170 4653 4659 "src/oasis/OASISUtils.ml" 170 4653 4676
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 171 4680 4686 "src/oasis/OASISUtils.ml" 171 4680 4699
type(
  ?pos1:Lexing.position ->
  ?pos2:Lexing.position -> ?lexbuf:Lexing.lexbuf -> unit -> string
)
ident(
  int_ref file_location "src/oasis/OASISUtils.ml" 160 4202 4210 "src/oasis/OASISUtils.ml" 160 4202 4223
)
"src/oasis/OASISUtils.ml" 172 4700 4715 "src/oasis/OASISUtils.ml" 172 4700 4736
type(
  Lexing.lexbuf -> Lexing.position
)
ident(
  int_ref Stdlib.Lexing.lexeme_start_p "lexing.mli" 163 7161 7161 "lexing.mli" 163 7161 7200
)
"src/oasis/OASISUtils.ml" 172 4700 4737 "src/oasis/OASISUtils.ml" 172 4700 4743
type(
  Lexing.lexbuf
)
ident(
  int_ref lexbuf "src/oasis/OASISUtils.ml" 170 4653 4670 "src/oasis/OASISUtils.ml" 170 4653 4676
)
"src/oasis/OASISUtils.ml" 172 4700 4714 "src/oasis/OASISUtils.ml" 172 4700 4744
type(
  Lexing.position
)
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 173 4745 4760 "src/oasis/OASISUtils.ml" 173 4745 4779
type(
  Lexing.lexbuf -> Lexing.position
)
ident(
  int_ref Stdlib.Lexing.lexeme_end_p "lexing.mli" 168 7364 7364 "lexing.mli" 168 7364 7401
)
"src/oasis/OASISUtils.ml" 173 4745 4780 "src/oasis/OASISUtils.ml" 173 4745 4786
type(
  Lexing.lexbuf
)
ident(
  int_ref lexbuf "src/oasis/OASISUtils.ml" 170 4653 4670 "src/oasis/OASISUtils.ml" 170 4653 4676
)
"src/oasis/OASISUtils.ml" 173 4745 4759 "src/oasis/OASISUtils.ml" 173 4745 4787
type(
  Lexing.position
)
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 174 4788 4796 "src/oasis/OASISUtils.ml" 174 4788 4798
type(
  unit
)
"src/oasis/OASISUtils.ml" 171 4680 4686 "src/oasis/OASISUtils.ml" 174 4788 4798
type(
  string
)
"src/oasis/OASISUtils.ml" 175 4799 4805 "src/oasis/OASISUtils.ml" 175 4799 4809
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 175 4799 4811 "src/oasis/OASISUtils.ml" 175 4799 4815
type(
  Lexing.position option
)
"src/oasis/OASISUtils.ml" 175 4799 4817 "src/oasis/OASISUtils.ml" 175 4799 4821
type(
  Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 175 4799 4805 "src/oasis/OASISUtils.ml" 175 4799 4821
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
type(
  Lexing.position option * Lexing.position option * Lexing.lexbuf option
)
"src/oasis/OASISUtils.ml" 176 4825 4831 "src/oasis/OASISUtils.ml" 176 4825 4833
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISUtils.ml" 176 4825 4834 "src/oasis/OASISUtils.ml" 176 4825 4856
type(
  string
)
"src/oasis/OASISUtils.ml" 176 4825 4831 "src/oasis/OASISUtils.ml" 176 4825 4856
type(
  string
)
"src/oasis/OASISUtils.ml" 161 4249 4253 "src/oasis/OASISUtils.ml" 176 4825 4856
type(
  string
)
"src/oasis/OASISUtils.ml" 179 4859 4863 "src/oasis/OASISUtils.ml" 179 4859 4873
type(
  ?pos1:Lexing.position ->
  ?pos2:Lexing.position ->
  ?lexbuf:Lexing.lexbuf -> ('a, unit, string, 'b) format4 -> 'a
)
ident(
  def failwithpf "src/oasis/OASISUtils.ml" 187 5047 5047 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 179 4859 4875 "src/oasis/OASISUtils.ml" 179 4859 4879
type(
  Lexing.position option
)
ident(
  def pos1 "src/oasis/OASISUtils.ml" 179 4859 4880 "src/oasis/OASISUtils.ml" 181 4952 5025
)
"src/oasis/OASISUtils.ml" 179 4859 4881 "src/oasis/OASISUtils.ml" 179 4859 4885
type(
  Lexing.position option
)
ident(
  def pos2 "src/oasis/OASISUtils.ml" 179 4859 4886 "src/oasis/OASISUtils.ml" 181 4952 5025
)
"src/oasis/OASISUtils.ml" 179 4859 4887 "src/oasis/OASISUtils.ml" 179 4859 4893
type(
  Lexing.lexbuf option
)
ident(
  def lexbuf "src/oasis/OASISUtils.ml" 179 4859 4894 "src/oasis/OASISUtils.ml" 181 4952 5025
)
"src/oasis/OASISUtils.ml" 179 4859 4894 "src/oasis/OASISUtils.ml" 179 4859 4897
type(
  ('a, unit, string, 'b) format4
)
ident(
  def fmt "src/oasis/OASISUtils.ml" 180 4900 4902 "src/oasis/OASISUtils.ml" 181 4952 5025
)
"src/oasis/OASISUtils.ml" 180 4900 4906 "src/oasis/OASISUtils.ml" 180 4900 4909
type(
  string
)
ident(
  def loc "src/oasis/OASISUtils.ml" 181 4952 4954 "src/oasis/OASISUtils.ml" 181 4952 5025
)
"src/oasis/OASISUtils.ml" 180 4900 4912 "src/oasis/OASISUtils.ml" 180 4900 4925
type(
  ?pos1:Lexing.position ->
  ?pos2:Lexing.position -> ?lexbuf:Lexing.lexbuf -> unit -> string
)
ident(
  int_ref file_location "src/oasis/OASISUtils.ml" 160 4202 4210 "src/oasis/OASISUtils.ml" 160 4202 4223
)
"src/oasis/OASISUtils.ml" 180 4900 4927 "src/oasis/OASISUtils.ml" 180 4900 4931
type(
  Lexing.position option
)
ident(
  int_ref pos1 "src/oasis/OASISUtils.ml" 179 4859 4875 "src/oasis/OASISUtils.ml" 179 4859 4879
)
"src/oasis/OASISUtils.ml" 180 4900 4933 "src/oasis/OASISUtils.ml" 180 4900 4937
type(
  Lexing.position option
)
ident(
  int_ref pos2 "src/oasis/OASISUtils.ml" 179 4859 4881 "src/oasis/OASISUtils.ml" 179 4859 4885
)
"src/oasis/OASISUtils.ml" 180 4900 4939 "src/oasis/OASISUtils.ml" 180 4900 4945
type(
  Lexing.lexbuf option
)
ident(
  int_ref lexbuf "src/oasis/OASISUtils.ml" 179 4859 4887 "src/oasis/OASISUtils.ml" 179 4859 4893
)
"src/oasis/OASISUtils.ml" 180 4900 4946 "src/oasis/OASISUtils.ml" 180 4900 4948
type(
  unit
)
"src/oasis/OASISUtils.ml" 180 4900 4912 "src/oasis/OASISUtils.ml" 180 4900 4948
type(
  string
)
"src/oasis/OASISUtils.ml" 181 4952 4954 "src/oasis/OASISUtils.ml" 181 4952 4969
type(
  (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a
)
ident(
  int_ref Stdlib.Printf.ksprintf "printf.mli" 171 8473 8473 "printf.mli" 171 8473 8542
)
"src/oasis/OASISUtils.ml" 181 4952 4975 "src/oasis/OASISUtils.ml" 181 4952 4976
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 181 4952 4980 "src/oasis/OASISUtils.ml" 181 4952 5020
)
"src/oasis/OASISUtils.ml" 181 4952 4980 "src/oasis/OASISUtils.ml" 181 4952 4988
type(
  string -> 'b
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/OASISUtils.ml" 181 4952 4990 "src/oasis/OASISUtils.ml" 181 4952 5004
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/oasis/OASISUtils.ml" 181 4952 5005 "src/oasis/OASISUtils.ml" 181 4952 5013
type(
  (string -> string -> string, unit, string) format
)
"src/oasis/OASISUtils.ml" 181 4952 5014 "src/oasis/OASISUtils.ml" 181 4952 5017
type(
  string
)
ident(
  int_ref loc "src/oasis/OASISUtils.ml" 180 4900 4906 "src/oasis/OASISUtils.ml" 180 4900 4909
)
"src/oasis/OASISUtils.ml" 181 4952 5018 "src/oasis/OASISUtils.ml" 181 4952 5019
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 181 4952 4975 "src/oasis/OASISUtils.ml" 181 4952 4976
)
"src/oasis/OASISUtils.ml" 181 4952 4989 "src/oasis/OASISUtils.ml" 181 4952 5020
type(
  string
)
"src/oasis/OASISUtils.ml" 181 4952 4980 "src/oasis/OASISUtils.ml" 181 4952 5020
type(
  'b
)
"src/oasis/OASISUtils.ml" 181 4952 4970 "src/oasis/OASISUtils.ml" 181 4952 5021
type(
  string -> 'b
)
"src/oasis/OASISUtils.ml" 181 4952 5022 "src/oasis/OASISUtils.ml" 181 4952 5025
type(
  ('a, unit, string, 'b) format4
)
ident(
  int_ref fmt "src/oasis/OASISUtils.ml" 179 4859 4894 "src/oasis/OASISUtils.ml" 179 4859 4897
)
"src/oasis/OASISUtils.ml" 181 4952 4954 "src/oasis/OASISUtils.ml" 181 4952 5025
type(
  'a
)
"src/oasis/OASISUtils.ml" 180 4900 4902 "src/oasis/OASISUtils.ml" 181 4952 5025
type(
  'a
)
"src/oasis/OASISUtils.ml" 187 5047 5051 "src/oasis/OASISUtils.ml" 187 5047 5054
type(
  ('a -> unit) -> 'a option -> unit
)
ident(
  def may "src/oasis/OASISUtils.ml" 193 5109 5109 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 187 5047 5055 "src/oasis/OASISUtils.ml" 187 5047 5056
type(
  'a -> unit
)
ident(
  def f "src/oasis/OASISUtils.ml" 188 5059 5061 "src/oasis/OASISUtils.ml" 190 5090 5106
)
"src/oasis/OASISUtils.ml" 189 5070 5081 "src/oasis/OASISUtils.ml" 189 5070 5082
type(
  'a
)
ident(
  def x "src/oasis/OASISUtils.ml" 189 5070 5086 "src/oasis/OASISUtils.ml" 189 5070 5089
)
"src/oasis/OASISUtils.ml" 189 5070 5076 "src/oasis/OASISUtils.ml" 189 5070 5082
type(
  'a option
)
"src/oasis/OASISUtils.ml" 189 5070 5086 "src/oasis/OASISUtils.ml" 189 5070 5087
type(
  'a -> unit
)
ident(
  int_ref f "src/oasis/OASISUtils.ml" 187 5047 5055 "src/oasis/OASISUtils.ml" 187 5047 5056
)
"src/oasis/OASISUtils.ml" 189 5070 5088 "src/oasis/OASISUtils.ml" 189 5070 5089
type(
  'a
)
ident(
  int_ref x "src/oasis/OASISUtils.ml" 189 5070 5081 "src/oasis/OASISUtils.ml" 189 5070 5082
)
"src/oasis/OASISUtils.ml" 189 5070 5086 "src/oasis/OASISUtils.ml" 189 5070 5089
type(
  unit
)
"src/oasis/OASISUtils.ml" 190 5090 5096 "src/oasis/OASISUtils.ml" 190 5090 5100
type(
  'a option
)
"src/oasis/OASISUtils.ml" 190 5090 5104 "src/oasis/OASISUtils.ml" 190 5090 5106
type(
  unit
)
"src/oasis/OASISUtils.ml" 188 5059 5061 "src/oasis/OASISUtils.ml" 190 5090 5106
type(
  'a option -> unit
)
"src/oasis/OASISUtils.ml" 193 5109 5116 "src/oasis/OASISUtils.ml" 193 5109 5126
ident(
  def POSIXShell "src/oasis/OASISUtils.ml" 406 10854 10857 "src/oasis/OASISUtils.ml" 0 0 -1
)
"src/oasis/OASISUtils.ml" 195 5136 5142 "src/oasis/OASISUtils.ml" 195 5136 5150
type(
  string -> string
)
ident(
  def unescape "src/oasis/OASISUtils.ml" 212 5636 5638 "src/oasis/OASISUtils.ml" 406 10854 10857
)
"src/oasis/OASISUtils.ml" 195 5136 5151 "src/oasis/OASISUtils.ml" 195 5136 5152
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 196 5155 5159 "src/oasis/OASISUtils.ml" 208 5513 5538
)
"src/oasis/OASISUtils.ml" 196 5155 5163 "src/oasis/OASISUtils.ml" 196 5155 5166
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISUtils.ml" 197 5204 5208 "src/oasis/OASISUtils.ml" 208 5513 5538
)
"src/oasis/OASISUtils.ml" 196 5155 5169 "src/oasis/OASISUtils.ml" 196 5155 5182
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISUtils.ml" 196 5155 5184 "src/oasis/OASISUtils.ml" 196 5155 5197
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISUtils.ml" 196 5155 5198 "src/oasis/OASISUtils.ml" 196 5155 5199
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 195 5136 5151 "src/oasis/OASISUtils.ml" 195 5136 5152
)
"src/oasis/OASISUtils.ml" 196 5155 5183 "src/oasis/OASISUtils.ml" 196 5155 5200
type(
  int
)
"src/oasis/OASISUtils.ml" 196 5155 5169 "src/oasis/OASISUtils.ml" 196 5155 5200
type(
  Buffer.t
)
"src/oasis/OASISUtils.ml" 197 5204 5212 "src/oasis/OASISUtils.ml" 197 5204 5214
type(
  bool
)
ident(
  def _b "src/oasis/OASISUtils.ml" 208 5513 5519 "src/oasis/OASISUtils.ml" 208 5513 5538
)
"src/oasis/OASISUtils.ml" 198 5223 5229 "src/oasis/OASISUtils.ml" 198 5223 5250
type(
  (bool -> char -> bool) -> bool -> string -> bool
)
ident(
  int_ref OASISString.fold_left "src/oasis/OASISString.ml" 259 6828 6832 "src/oasis/OASISString.ml" 259 6828 6841
)
"src/oasis/OASISUtils.ml" 199 5251 5264 "src/oasis/OASISUtils.ml" 199 5251 5276
type(
  bool
)
ident(
  def escaped_char "src/oasis/OASISUtils.ml" 200 5280 5291 "src/oasis/OASISUtils.ml" 205 5466 5488
)
"src/oasis/OASISUtils.ml" 201 5300 5315 "src/oasis/OASISUtils.ml" 201 5300 5319
type(
  char
)
"src/oasis/OASISUtils.ml" 201 5300 5325 "src/oasis/OASISUtils.ml" 201 5300 5328
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISUtils.ml" 201 5300 5329 "src/oasis/OASISUtils.ml" 201 5300 5341
type(
  bool
)
ident(
  int_ref escaped_char "src/oasis/OASISUtils.ml" 199 5251 5264 "src/oasis/OASISUtils.ml" 199 5251 5276
)
"src/oasis/OASISUtils.ml" 201 5300 5325 "src/oasis/OASISUtils.ml" 201 5300 5341
type(
  bool
)
"src/oasis/OASISUtils.ml" 202 5345 5362 "src/oasis/OASISUtils.ml" 202 5345 5366
type(
  bool
)
"src/oasis/OASISUtils.ml" 203 5406 5421 "src/oasis/OASISUtils.ml" 203 5406 5422
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 204 5426 5443 "src/oasis/OASISUtils.ml" 205 5466 5488
)
"src/oasis/OASISUtils.ml" 204 5426 5443 "src/oasis/OASISUtils.ml" 204 5426 5458
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUtils.ml" 204 5426 5459 "src/oasis/OASISUtils.ml" 204 5426 5462
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 196 5155 5163 "src/oasis/OASISUtils.ml" 196 5155 5166
)
"src/oasis/OASISUtils.ml" 204 5426 5463 "src/oasis/OASISUtils.ml" 204 5426 5464
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 203 5406 5421 "src/oasis/OASISUtils.ml" 203 5406 5422
)
"src/oasis/OASISUtils.ml" 204 5426 5443 "src/oasis/OASISUtils.ml" 204 5426 5464
type(
  unit
)
"src/oasis/OASISUtils.ml" 205 5466 5483 "src/oasis/OASISUtils.ml" 205 5466 5488
type(
  bool
)
"src/oasis/OASISUtils.ml" 204 5426 5443 "src/oasis/OASISUtils.ml" 205 5466 5488
type(
  bool
)
"src/oasis/OASISUtils.ml" 200 5280 5291 "src/oasis/OASISUtils.ml" 205 5466 5488
type(
  char -> bool
)
"src/oasis/OASISUtils.ml" 199 5251 5259 "src/oasis/OASISUtils.ml" 205 5466 5489
type(
  bool -> char -> bool
)
"src/oasis/OASISUtils.ml" 206 5490 5498 "src/oasis/OASISUtils.ml" 206 5490 5503
type(
  bool
)
"src/oasis/OASISUtils.ml" 206 5490 5504 "src/oasis/OASISUtils.ml" 206 5490 5505
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 195 5136 5151 "src/oasis/OASISUtils.ml" 195 5136 5152
)
"src/oasis/OASISUtils.ml" 198 5223 5229 "src/oasis/OASISUtils.ml" 206 5490 5505
type(
  bool
)
"src/oasis/OASISUtils.ml" 208 5513 5519 "src/oasis/OASISUtils.ml" 208 5513 5534
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISUtils.ml" 208 5513 5535 "src/oasis/OASISUtils.ml" 208 5513 5538
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 196 5155 5163 "src/oasis/OASISUtils.ml" 196 5155 5166
)
"src/oasis/OASISUtils.ml" 208 5513 5519 "src/oasis/OASISUtils.ml" 208 5513 5538
type(
  string
)
"src/oasis/OASISUtils.ml" 197 5204 5208 "src/oasis/OASISUtils.ml" 208 5513 5538
type(
  string
)
"src/oasis/OASISUtils.ml" 196 5155 5159 "src/oasis/OASISUtils.ml" 208 5513 5538
type(
  string
)
"src/oasis/OASISUtils.ml" 212 5636 5642 "src/oasis/OASISUtils.ml" 212 5636 5648
type(
  string -> string
)
ident(
  def escape "src/oasis/OASISUtils.ml" 237 6348 6350 "src/oasis/OASISUtils.ml" 406 10854 10857
)
"src/oasis/OASISUtils.ml" 212 5636 5649 "src/oasis/OASISUtils.ml" 212 5636 5650
type(
  string
)
ident(
  def s "src/oasis/OASISUtils.ml" 213 5653 5657 "src/oasis/OASISUtils.ml" 232 6249 6259
)
"src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISUtils.ml" 214 5706 5710 "src/oasis/OASISUtils.ml" 232 6249 6259
)
"src/oasis/OASISUtils.ml" 213 5653 5667 "src/oasis/OASISUtils.ml" 213 5653 5680
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISUtils.ml" 213 5653 5682 "src/oasis/OASISUtils.ml" 213 5653 5695
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISUtils.ml" 213 5653 5696 "src/oasis/OASISUtils.ml" 213 5653 5697
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 212 5636 5649 "src/oasis/OASISUtils.ml" 212 5636 5650
)
"src/oasis/OASISUtils.ml" 213 5653 5682 "src/oasis/OASISUtils.ml" 213 5653 5697
type(
  int
)
"src/oasis/OASISUtils.ml" 213 5653 5698 "src/oasis/OASISUtils.ml" 213 5653 5699
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/OASISUtils.ml" 213 5653 5700 "src/oasis/OASISUtils.ml" 213 5653 5701
type(
  int
)
"src/oasis/OASISUtils.ml" 213 5653 5681 "src/oasis/OASISUtils.ml" 213 5653 5702
type(
  int
)
"src/oasis/OASISUtils.ml" 213 5653 5667 "src/oasis/OASISUtils.ml" 213 5653 5702
type(
  Buffer.t
)
"src/oasis/OASISUtils.ml" 214 5706 5714 "src/oasis/OASISUtils.ml" 214 5706 5727
type(
  bool
)
ident(
  def need_to_quote "src/oasis/OASISUtils.ml" 231 6176 6180 "src/oasis/OASISUtils.ml" 232 6249 6259
)
"src/oasis/OASISUtils.ml" 215 5730 5736 "src/oasis/OASISUtils.ml" 215 5730 5751
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUtils.ml" 215 5730 5752 "src/oasis/OASISUtils.ml" 215 5730 5755
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
)
"src/oasis/OASISUtils.ml" 215 5730 5756 "src/oasis/OASISUtils.ml" 215 5730 5759
type(
  char
)
"src/oasis/OASISUtils.ml" 215 5730 5736 "src/oasis/OASISUtils.ml" 215 5730 5759
type(
  unit
)
"src/oasis/OASISUtils.ml" 216 5761 5767 "src/oasis/OASISUtils.ml" 216 5761 5788
type(
  (bool -> char -> bool) -> bool -> string -> bool
)
ident(
  int_ref OASISString.fold_left "src/oasis/OASISString.ml" 259 6828 6832 "src/oasis/OASISString.ml" 259 6828 6841
)
"src/oasis/OASISUtils.ml" 217 5789 5802 "src/oasis/OASISUtils.ml" 217 5789 5815
type(
  bool
)
ident(
  def need_to_quote "src/oasis/OASISUtils.ml" 218 5819 5828 "src/oasis/OASISUtils.ml" 227 6038 6105
)
"src/oasis/OASISUtils.ml" 219 5837 5848 "src/oasis/OASISUtils.ml" 219 5837 5851
type(
  char
)
"src/oasis/OASISUtils.ml" 220 5855 5866 "src/oasis/OASISUtils.ml" 220 5855 5883
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/oasis/OASISUtils.ml" 220 5855 5884 "src/oasis/OASISUtils.ml" 220 5855 5887
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
)
"src/oasis/OASISUtils.ml" 220 5855 5888 "src/oasis/OASISUtils.ml" 220 5855 5894
type(
  string
)
"src/oasis/OASISUtils.ml" 220 5855 5866 "src/oasis/OASISUtils.ml" 220 5855 5894
type(
  unit
)
"src/oasis/OASISUtils.ml" 221 5896 5907 "src/oasis/OASISUtils.ml" 221 5896 5911
type(
  bool
)
"src/oasis/OASISUtils.ml" 220 5855 5866 "src/oasis/OASISUtils.ml" 221 5896 5911
type(
  bool
)
"src/oasis/OASISUtils.ml" 222 5912 5923 "src/oasis/OASISUtils.ml" 222 5912 5927
type(
  char
)
"src/oasis/OASISUtils.ml" 223 5931 5942 "src/oasis/OASISUtils.ml" 223 5931 5959
type(
  Buffer.t -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_string "buffer.mli" 132 5161 5161 "buffer.mli" 132 5161 5197
)
"src/oasis/OASISUtils.ml" 223 5931 5960 "src/oasis/OASISUtils.ml" 223 5931 5963
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
)
"src/oasis/OASISUtils.ml" 223 5931 5964 "src/oasis/OASISUtils.ml" 223 5931 5970
type(
  string
)
"src/oasis/OASISUtils.ml" 223 5931 5942 "src/oasis/OASISUtils.ml" 223 5931 5970
type(
  unit
)
"src/oasis/OASISUtils.ml" 224 5972 5983 "src/oasis/OASISUtils.ml" 224 5972 5987
type(
  bool
)
"src/oasis/OASISUtils.ml" 223 5931 5942 "src/oasis/OASISUtils.ml" 224 5972 5987
type(
  bool
)
"src/oasis/OASISUtils.ml" 225 5988 5999 "src/oasis/OASISUtils.ml" 225 5988 6000
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 226 6004 6015 "src/oasis/OASISUtils.ml" 227 6038 6105
)
"src/oasis/OASISUtils.ml" 226 6004 6015 "src/oasis/OASISUtils.ml" 226 6004 6030
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUtils.ml" 226 6004 6031 "src/oasis/OASISUtils.ml" 226 6004 6034
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
)
"src/oasis/OASISUtils.ml" 226 6004 6035 "src/oasis/OASISUtils.ml" 226 6004 6036
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 225 5988 5999 "src/oasis/OASISUtils.ml" 225 5988 6000
)
"src/oasis/OASISUtils.ml" 226 6004 6015 "src/oasis/OASISUtils.ml" 226 6004 6036
type(
  unit
)
"src/oasis/OASISUtils.ml" 227 6038 6049 "src/oasis/OASISUtils.ml" 227 6038 6062
type(
  bool
)
ident(
  int_ref need_to_quote "src/oasis/OASISUtils.ml" 217 5789 5802 "src/oasis/OASISUtils.ml" 217 5789 5815
)
"src/oasis/OASISUtils.ml" 227 6038 6063 "src/oasis/OASISUtils.ml" 227 6038 6065
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 227 6038 6066 "src/oasis/OASISUtils.ml" 227 6038 6091
type(
  char -> bool
)
ident(
  int_ref OASISString.is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
"src/oasis/OASISUtils.ml" 227 6038 6092 "src/oasis/OASISUtils.ml" 227 6038 6093
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 225 5988 5999 "src/oasis/OASISUtils.ml" 225 5988 6000
)
"src/oasis/OASISUtils.ml" 227 6038 6066 "src/oasis/OASISUtils.ml" 227 6038 6093
type(
  bool
)
"src/oasis/OASISUtils.ml" 227 6038 6094 "src/oasis/OASISUtils.ml" 227 6038 6096
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 227 6038 6097 "src/oasis/OASISUtils.ml" 227 6038 6098
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 225 5988 5999 "src/oasis/OASISUtils.ml" 225 5988 6000
)
"src/oasis/OASISUtils.ml" 227 6038 6099 "src/oasis/OASISUtils.ml" 227 6038 6100
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 227 6038 6101 "src/oasis/OASISUtils.ml" 227 6038 6105
type(
  char
)
"src/oasis/OASISUtils.ml" 227 6038 6097 "src/oasis/OASISUtils.ml" 227 6038 6105
type(
  bool
)
"src/oasis/OASISUtils.ml" 227 6038 6066 "src/oasis/OASISUtils.ml" 227 6038 6105
type(
  bool
)
"src/oasis/OASISUtils.ml" 227 6038 6049 "src/oasis/OASISUtils.ml" 227 6038 6105
type(
  bool
)
"src/oasis/OASISUtils.ml" 226 6004 6015 "src/oasis/OASISUtils.ml" 227 6038 6105
type(
  bool
)
"src/oasis/OASISUtils.ml" 218 5819 5828 "src/oasis/OASISUtils.ml" 227 6038 6105
type(
  char -> bool
)
"src/oasis/OASISUtils.ml" 217 5789 5797 "src/oasis/OASISUtils.ml" 227 6038 6106
type(
  bool -> char -> bool
)
"src/oasis/OASISUtils.ml" 228 6107 6116 "src/oasis/OASISUtils.ml" 228 6107 6117
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 212 5636 5649 "src/oasis/OASISUtils.ml" 212 5636 5650
)
"src/oasis/OASISUtils.ml" 228 6107 6118 "src/oasis/OASISUtils.ml" 228 6107 6119
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 228 6107 6120 "src/oasis/OASISUtils.ml" 228 6107 6122
type(
  string
)
"src/oasis/OASISUtils.ml" 228 6107 6115 "src/oasis/OASISUtils.ml" 228 6107 6123
type(
  bool
)
"src/oasis/OASISUtils.ml" 229 6159 6167 "src/oasis/OASISUtils.ml" 229 6159 6168
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 212 5636 5649 "src/oasis/OASISUtils.ml" 212 5636 5650
)
"src/oasis/OASISUtils.ml" 216 5761 5767 "src/oasis/OASISUtils.ml" 229 6159 6168
type(
  bool
)
"src/oasis/OASISUtils.ml" 215 5730 5736 "src/oasis/OASISUtils.ml" 229 6159 6168
type(
  bool
)
"src/oasis/OASISUtils.ml" 231 6176 6183 "src/oasis/OASISUtils.ml" 231 6176 6196
type(
  bool
)
ident(
  int_ref need_to_quote "src/oasis/OASISUtils.ml" 214 5706 5714 "src/oasis/OASISUtils.ml" 214 5706 5727
)
"src/oasis/OASISUtils.ml" 231 6176 6203 "src/oasis/OASISUtils.ml" 231 6176 6218
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUtils.ml" 231 6176 6219 "src/oasis/OASISUtils.ml" 231 6176 6222
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
)
"src/oasis/OASISUtils.ml" 231 6176 6223 "src/oasis/OASISUtils.ml" 231 6176 6226
type(
  char
)
"src/oasis/OASISUtils.ml" 231 6176 6203 "src/oasis/OASISUtils.ml" 231 6176 6226
type(
  unit
)
"src/oasis/OASISUtils.ml" 231 6176 6228 "src/oasis/OASISUtils.ml" 231 6176 6243
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISUtils.ml" 231 6176 6244 "src/oasis/OASISUtils.ml" 231 6176 6247
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 213 5653 5661 "src/oasis/OASISUtils.ml" 213 5653 5664
)
"src/oasis/OASISUtils.ml" 231 6176 6228 "src/oasis/OASISUtils.ml" 231 6176 6247
type(
  string
)
"src/oasis/OASISUtils.ml" 231 6176 6202 "src/oasis/OASISUtils.ml" 231 6176 6248
type(
  string
)
"src/oasis/OASISUtils.ml" 232 6249 6258 "src/oasis/OASISUtils.ml" 232 6249 6259
type(
  string
)
ident(
  int_ref s "src/oasis/OASISUtils.ml" 212 5636 5649 "src/oasis/OASISUtils.ml" 212 5636 5650
)
"src/oasis/OASISUtils.ml" 231 6176 6180 "src/oasis/OASISUtils.ml" 232 6249 6259
type(
  string
)
"src/oasis/OASISUtils.ml" 214 5706 5710 "src/oasis/OASISUtils.ml" 232 6249 6259
type(
  string
)
"src/oasis/OASISUtils.ml" 213 5653 5657 "src/oasis/OASISUtils.ml" 232 6249 6259
type(
  string
)
"src/oasis/OASISUtils.ml" 237 6348 6358 "src/oasis/OASISUtils.ml" 237 6348 6363
type(
  string -> string list
)
ident(
  def split "src/oasis/OASISUtils.ml" 237 6348 6350 "src/oasis/OASISUtils.ml" 406 10854 10857
)
"src/oasis/OASISUtils.ml" 237 6348 6364 "src/oasis/OASISUtils.ml" 237 6348 6367
type(
  string
)
ident(
  def str "src/oasis/OASISUtils.ml" 239 6425 6429 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 239 6425 6433 "src/oasis/OASISUtils.ml" 239 6425 6436
type(
  Buffer.t
)
ident(
  def buf "src/oasis/OASISUtils.ml" 242 6519 6523 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 239 6425 6439 "src/oasis/OASISUtils.ml" 239 6425 6452
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISUtils.ml" 239 6425 6454 "src/oasis/OASISUtils.ml" 239 6425 6467
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISUtils.ml" 239 6425 6468 "src/oasis/OASISUtils.ml" 239 6425 6471
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 237 6348 6364 "src/oasis/OASISUtils.ml" 237 6348 6367
)
"src/oasis/OASISUtils.ml" 239 6425 6453 "src/oasis/OASISUtils.ml" 239 6425 6472
type(
  int
)
"src/oasis/OASISUtils.ml" 239 6425 6439 "src/oasis/OASISUtils.ml" 239 6425 6472
type(
  Buffer.t
)
"src/oasis/OASISUtils.ml" 242 6519 6527 "src/oasis/OASISUtils.ml" 242 6519 6534
type(
  char -> unit
)
ident(
  def buf_add "src/oasis/OASISUtils.ml" 245 6574 6578 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 242 6519 6535 "src/oasis/OASISUtils.ml" 242 6519 6536
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 243 6539 6545 "src/oasis/OASISUtils.ml" 243 6539 6566
)
"src/oasis/OASISUtils.ml" 243 6539 6545 "src/oasis/OASISUtils.ml" 243 6539 6560
type(
  Buffer.t -> char -> unit
)
ident(
  int_ref Stdlib.Buffer.add_char "buffer.mli" 109 4438 4438 "buffer.mli" 109 4438 4470
)
"src/oasis/OASISUtils.ml" 243 6539 6561 "src/oasis/OASISUtils.ml" 243 6539 6564
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 239 6425 6433 "src/oasis/OASISUtils.ml" 239 6425 6436
)
"src/oasis/OASISUtils.ml" 243 6539 6565 "src/oasis/OASISUtils.ml" 243 6539 6566
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 242 6519 6535 "src/oasis/OASISUtils.ml" 242 6519 6536
)
"src/oasis/OASISUtils.ml" 243 6539 6545 "src/oasis/OASISUtils.ml" 243 6539 6566
type(
  unit
)
"src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
type(
  unit -> string
)
ident(
  def buf_flush "src/oasis/OASISUtils.ml" 254 6806 6810 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 245 6574 6592 "src/oasis/OASISUtils.ml" 245 6574 6594
type(
  unit
)
"src/oasis/OASISUtils.ml" 246 6597 6607 "src/oasis/OASISUtils.ml" 246 6597 6610
type(
  string
)
ident(
  def res "src/oasis/OASISUtils.ml" 247 6636 6642 "src/oasis/OASISUtils.ml" 248 6660 6669
)
"src/oasis/OASISUtils.ml" 246 6597 6613 "src/oasis/OASISUtils.ml" 246 6597 6628
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISUtils.ml" 246 6597 6629 "src/oasis/OASISUtils.ml" 246 6597 6632
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 239 6425 6433 "src/oasis/OASISUtils.ml" 239 6425 6436
)
"src/oasis/OASISUtils.ml" 246 6597 6613 "src/oasis/OASISUtils.ml" 246 6597 6632
type(
  string
)
"src/oasis/OASISUtils.ml" 247 6636 6642 "src/oasis/OASISUtils.ml" 247 6636 6654
type(
  Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.clear "buffer.mli" 83 3483 3483 "buffer.mli" 83 3483 3504
)
"src/oasis/OASISUtils.ml" 247 6636 6655 "src/oasis/OASISUtils.ml" 247 6636 6658
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 239 6425 6433 "src/oasis/OASISUtils.ml" 239 6425 6436
)
"src/oasis/OASISUtils.ml" 247 6636 6642 "src/oasis/OASISUtils.ml" 247 6636 6658
type(
  unit
)
"src/oasis/OASISUtils.ml" 248 6660 6666 "src/oasis/OASISUtils.ml" 248 6660 6669
type(
  string
)
ident(
  int_ref res "src/oasis/OASISUtils.ml" 246 6597 6607 "src/oasis/OASISUtils.ml" 246 6597 6610
)
"src/oasis/OASISUtils.ml" 247 6636 6642 "src/oasis/OASISUtils.ml" 248 6660 6669
type(
  string
)
"src/oasis/OASISUtils.ml" 246 6597 6603 "src/oasis/OASISUtils.ml" 248 6660 6669
type(
  string
)
"src/oasis/OASISUtils.ml" 254 6806 6814 "src/oasis/OASISUtils.ml" 254 6806 6825
type(
  (string, string) Hashtbl.t
)
ident(
  def substr_data "src/oasis/OASISUtils.ml" 258 6860 6864 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 255 6828 6834 "src/oasis/OASISUtils.ml" 255 6828 6848
type(
  ?random:bool -> int -> (string, string) Hashtbl.t
)
ident(
  int_ref Stdlib.Hashtbl.create "hashtbl.mli" 31 1451 1451 "hashtbl.mli" 32 1517 1547
)
"src/oasis/OASISUtils.ml" 255 6828 6849 "src/oasis/OASISUtils.ml" 255 6828 6851
type(
  int
)
"src/oasis/OASISUtils.ml" 255 6828 6834 "src/oasis/OASISUtils.ml" 255 6828 6851
type(
  (string, string) Hashtbl.t
)
"src/oasis/OASISUtils.ml" 258 6860 6868 "src/oasis/OASISUtils.ml" 258 6860 6871
type(
  string
)
ident(
  def str "src/oasis/OASISUtils.ml" 277 7371 7375 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 259 6874 6884 "src/oasis/OASISUtils.ml" 259 6874 6887
type(
  int ref
)
ident(
  def idx "src/oasis/OASISUtils.ml" 260 6899 6905 "src/oasis/OASISUtils.ml" 273 7291 7304
)
"src/oasis/OASISUtils.ml" 259 6874 6890 "src/oasis/OASISUtils.ml" 259 6874 6893
type(
  int -> int ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISUtils.ml" 259 6874 6894 "src/oasis/OASISUtils.ml" 259 6874 6895
type(
  int
)
"src/oasis/OASISUtils.ml" 259 6874 6890 "src/oasis/OASISUtils.ml" 259 6874 6895
type(
  int ref
)
"src/oasis/OASISUtils.ml" 261 6909 6917 "src/oasis/OASISUtils.ml" 261 6909 6938
type(
  Buffer.t -> (string -> string) -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_substitute "buffer.mli" 155 5989 5989 "buffer.mli" 155 5989 6051
)
"src/oasis/OASISUtils.ml" 262 6939 6949 "src/oasis/OASISUtils.ml" 262 6939 6952
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 239 6425 6433 "src/oasis/OASISUtils.ml" 239 6425 6436
)
"src/oasis/OASISUtils.ml" 263 6953 6968 "src/oasis/OASISUtils.ml" 263 6953 6971
type(
  string
)
ident(
  def var "src/oasis/OASISUtils.ml" 264 6975 6988 "src/oasis/OASISUtils.ml" 267 7102 7134
)
"src/oasis/OASISUtils.ml" 264 6975 6992 "src/oasis/OASISUtils.ml" 264 6975 6996
type(
  string
)
ident(
  def nvar "src/oasis/OASISUtils.ml" 265 7028 7043 "src/oasis/OASISUtils.ml" 267 7102 7134
)
"src/oasis/OASISUtils.ml" 264 6975 6999 "src/oasis/OASISUtils.ml" 264 6975 7013
type(
  (int -> string, unit, string) format -> int -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISUtils.ml" 264 6975 7014 "src/oasis/OASISUtils.ml" 264 6975 7019
type(
  (int -> string, unit, string) format
)
"src/oasis/OASISUtils.ml" 264 6975 7020 "src/oasis/OASISUtils.ml" 264 6975 7021
type(
  int ref -> int
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISUtils.ml" 264 6975 7021 "src/oasis/OASISUtils.ml" 264 6975 7024
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISUtils.ml" 259 6874 6884 "src/oasis/OASISUtils.ml" 259 6874 6887
)
"src/oasis/OASISUtils.ml" 264 6975 7020 "src/oasis/OASISUtils.ml" 264 6975 7024
type(
  int
)
"src/oasis/OASISUtils.ml" 264 6975 6999 "src/oasis/OASISUtils.ml" 264 6975 7024
type(
  string
)
"src/oasis/OASISUtils.ml" 265 7028 7043 "src/oasis/OASISUtils.ml" 265 7028 7047
type(
  int ref -> unit
)
ident(
  int_ref Stdlib.incr "stdlib.mli" 1242 47184 47184 "stdlib.mli" 1242 47184 47225
)
"src/oasis/OASISUtils.ml" 265 7028 7048 "src/oasis/OASISUtils.ml" 265 7028 7051
type(
  int ref
)
ident(
  int_ref idx "src/oasis/OASISUtils.ml" 259 6874 6884 "src/oasis/OASISUtils.ml" 259 6874 6887
)
"src/oasis/OASISUtils.ml" 265 7028 7043 "src/oasis/OASISUtils.ml" 265 7028 7051
type(
  unit
)
"src/oasis/OASISUtils.ml" 266 7053 7068 "src/oasis/OASISUtils.ml" 266 7053 7079
type(
  (string, string) Hashtbl.t -> string -> string -> unit
)
ident(
  int_ref Stdlib.Hashtbl.add "hashtbl.mli" 82 3918 3918 "hashtbl.mli" 82 3918 3958
)
"src/oasis/OASISUtils.ml" 266 7053 7080 "src/oasis/OASISUtils.ml" 266 7053 7091
type(
  (string, string) Hashtbl.t
)
ident(
  int_ref substr_data "src/oasis/OASISUtils.ml" 254 6806 6814 "src/oasis/OASISUtils.ml" 254 6806 6825
)
"src/oasis/OASISUtils.ml" 266 7053 7092 "src/oasis/OASISUtils.ml" 266 7053 7096
type(
  string
)
ident(
  int_ref nvar "src/oasis/OASISUtils.ml" 264 6975 6992 "src/oasis/OASISUtils.ml" 264 6975 6996
)
"src/oasis/OASISUtils.ml" 266 7053 7097 "src/oasis/OASISUtils.ml" 266 7053 7100
type(
  string
)
ident(
  int_ref var "src/oasis/OASISUtils.ml" 263 6953 6968 "src/oasis/OASISUtils.ml" 263 6953 6971
)
"src/oasis/OASISUtils.ml" 266 7053 7068 "src/oasis/OASISUtils.ml" 266 7053 7100
type(
  unit
)
"src/oasis/OASISUtils.ml" 267 7102 7117 "src/oasis/OASISUtils.ml" 267 7102 7121
type(
  string
)
"src/oasis/OASISUtils.ml" 267 7102 7122 "src/oasis/OASISUtils.ml" 267 7102 7123
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 267 7102 7124 "src/oasis/OASISUtils.ml" 267 7102 7128
type(
  string
)
ident(
  int_ref nvar "src/oasis/OASISUtils.ml" 264 6975 6992 "src/oasis/OASISUtils.ml" 264 6975 6996
)
"src/oasis/OASISUtils.ml" 267 7102 7129 "src/oasis/OASISUtils.ml" 267 7102 7130
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 267 7102 7131 "src/oasis/OASISUtils.ml" 267 7102 7134
type(
  string
)
"src/oasis/OASISUtils.ml" 267 7102 7124 "src/oasis/OASISUtils.ml" 267 7102 7134
type(
  string
)
"src/oasis/OASISUtils.ml" 267 7102 7117 "src/oasis/OASISUtils.ml" 267 7102 7134
type(
  string
)
"src/oasis/OASISUtils.ml" 266 7053 7068 "src/oasis/OASISUtils.ml" 267 7102 7134
type(
  string
)
"src/oasis/OASISUtils.ml" 265 7028 7043 "src/oasis/OASISUtils.ml" 267 7102 7134
type(
  string
)
"src/oasis/OASISUtils.ml" 264 6975 6988 "src/oasis/OASISUtils.ml" 267 7102 7134
type(
  string
)
"src/oasis/OASISUtils.ml" 263 6953 6963 "src/oasis/OASISUtils.ml" 267 7102 7135
type(
  string -> string
)
"src/oasis/OASISUtils.ml" 268 7136 7146 "src/oasis/OASISUtils.ml" 268 7136 7149
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 237 6348 6364 "src/oasis/OASISUtils.ml" 237 6348 6367
)
"src/oasis/OASISUtils.ml" 261 6909 6917 "src/oasis/OASISUtils.ml" 268 7136 7149
type(
  unit
)
"src/oasis/OASISUtils.ml" 269 7151 7159 "src/oasis/OASISUtils.ml" 269 7151 7168
type(
  unit -> string
)
ident(
  int_ref buf_flush "src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
)
"src/oasis/OASISUtils.ml" 269 7151 7169 "src/oasis/OASISUtils.ml" 269 7151 7171
type(
  unit
)
"src/oasis/OASISUtils.ml" 269 7151 7159 "src/oasis/OASISUtils.ml" 269 7151 7171
type(
  string
)
"src/oasis/OASISUtils.ml" 261 6909 6917 "src/oasis/OASISUtils.ml" 269 7151 7171
type(
  string
)
"src/oasis/OASISUtils.ml" 270 7172 7183 "src/oasis/OASISUtils.ml" 270 7172 7192
type(
  exn
)
"src/oasis/OASISUtils.ml" 271 7196 7204 "src/oasis/OASISUtils.ml" 271 7196 7213
type(
  (string -> string, unit, string, string) format4 -> string -> string
)
ident(
  int_ref failwithf "src/oasis/OASISUtils.ml" 157 4151 4155 "src/oasis/OASISUtils.ml" 157 4151 4164
)
"src/oasis/OASISUtils.ml" 272 7214 7225 "src/oasis/OASISUtils.ml" 272 7214 7227
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/oasis/OASISUtils.ml" 272 7214 7228 "src/oasis/OASISUtils.ml" 272 7214 7289
type(
  (string -> string, unit, string, string) format4
)
"src/oasis/OASISUtils.ml" 272 7214 7224 "src/oasis/OASISUtils.ml" 272 7214 7290
type(
  (string -> string, unit, string, string) format4
)
"src/oasis/OASISUtils.ml" 273 7291 7301 "src/oasis/OASISUtils.ml" 273 7291 7304
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 237 6348 6364 "src/oasis/OASISUtils.ml" 237 6348 6367
)
"src/oasis/OASISUtils.ml" 271 7196 7204 "src/oasis/OASISUtils.ml" 273 7291 7304
type(
  string
)
"src/oasis/OASISUtils.ml" 260 6899 6905 "src/oasis/OASISUtils.ml" 273 7291 7304
type(
  string
)
"src/oasis/OASISUtils.ml" 259 6874 6880 "src/oasis/OASISUtils.ml" 273 7291 7304
type(
  string
)
"src/oasis/OASISUtils.ml" 277 7371 7379 "src/oasis/OASISUtils.ml" 277 7371 7394
type(
  string -> string
)
ident(
  def unprotect_subst "src/oasis/OASISUtils.ml" 301 8127 8131 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 277 7371 7395 "src/oasis/OASISUtils.ml" 277 7371 7398
type(
  string
)
ident(
  def str "src/oasis/OASISUtils.ml" 278 7401 7407 "src/oasis/OASISUtils.ml" 298 8098 8118
)
"src/oasis/OASISUtils.ml" 278 7401 7411 "src/oasis/OASISUtils.ml" 278 7401 7425
type(
  bool
)
ident(
  def add_end_dollar "src/oasis/OASISUtils.ml" 285 7613 7621 "src/oasis/OASISUtils.ml" 298 8098 8118
)
"src/oasis/OASISUtils.ml" 278 7401 7427 "src/oasis/OASISUtils.ml" 278 7401 7430
type(
  string
)
ident(
  def str "src/oasis/OASISUtils.ml" 285 7613 7621 "src/oasis/OASISUtils.ml" 298 8098 8118
)
"src/oasis/OASISUtils.ml" 278 7401 7411 "src/oasis/OASISUtils.ml" 278 7401 7430
type(
  bool * string
)
"src/oasis/OASISUtils.ml" 279 7433 7445 "src/oasis/OASISUtils.ml" 279 7433 7448
type(
  int
)
ident(
  def len "src/oasis/OASISUtils.ml" 280 7472 7482 "src/oasis/OASISUtils.ml" 283 7581 7603
)
"src/oasis/OASISUtils.ml" 279 7433 7451 "src/oasis/OASISUtils.ml" 279 7433 7464
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISUtils.ml" 279 7433 7465 "src/oasis/OASISUtils.ml" 279 7433 7468
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 277 7371 7395 "src/oasis/OASISUtils.ml" 277 7371 7398
)
"src/oasis/OASISUtils.ml" 279 7433 7451 "src/oasis/OASISUtils.ml" 279 7433 7468
type(
  int
)
"src/oasis/OASISUtils.ml" 280 7472 7485 "src/oasis/OASISUtils.ml" 280 7472 7488
type(
  int
)
ident(
  int_ref len "src/oasis/OASISUtils.ml" 279 7433 7445 "src/oasis/OASISUtils.ml" 279 7433 7448
)
"src/oasis/OASISUtils.ml" 280 7472 7489 "src/oasis/OASISUtils.ml" 280 7472 7490
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( > ) "stdlib.mli" 140 5875 5875 "stdlib.mli" 140 5875 5925
)
"src/oasis/OASISUtils.ml" 280 7472 7491 "src/oasis/OASISUtils.ml" 280 7472 7492
type(
  int
)
"src/oasis/OASISUtils.ml" 280 7472 7485 "src/oasis/OASISUtils.ml" 280 7472 7492
type(
  bool
)
"src/oasis/OASISUtils.ml" 280 7472 7493 "src/oasis/OASISUtils.ml" 280 7472 7495
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISUtils.ml" 280 7472 7496 "src/oasis/OASISUtils.ml" 280 7472 7499
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 277 7371 7395 "src/oasis/OASISUtils.ml" 277 7371 7398
)
"src/oasis/OASISUtils.ml" 280 7472 7501 "src/oasis/OASISUtils.ml" 280 7472 7504
type(
  int
)
ident(
  int_ref len "src/oasis/OASISUtils.ml" 279 7433 7445 "src/oasis/OASISUtils.ml" 279 7433 7448
)
"src/oasis/OASISUtils.ml" 280 7472 7505 "src/oasis/OASISUtils.ml" 280 7472 7506
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISUtils.ml" 280 7472 7507 "src/oasis/OASISUtils.ml" 280 7472 7508
type(
  int
)
"src/oasis/OASISUtils.ml" 280 7472 7501 "src/oasis/OASISUtils.ml" 280 7472 7508
type(
  int
)
"src/oasis/OASISUtils.ml" 280 7472 7496 "src/oasis/OASISUtils.ml" 280 7472 7509
type(
  char
)
"src/oasis/OASISUtils.ml" 280 7472 7510 "src/oasis/OASISUtils.ml" 280 7472 7511
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 280 7472 7512 "src/oasis/OASISUtils.ml" 280 7472 7515
type(
  char
)
"src/oasis/OASISUtils.ml" 280 7472 7496 "src/oasis/OASISUtils.ml" 280 7472 7515
type(
  bool
)
"src/oasis/OASISUtils.ml" 280 7472 7485 "src/oasis/OASISUtils.ml" 280 7472 7515
type(
  bool
)
"src/oasis/OASISUtils.ml" 281 7521 7533 "src/oasis/OASISUtils.ml" 281 7521 7537
type(
  bool
)
"src/oasis/OASISUtils.ml" 281 7521 7539 "src/oasis/OASISUtils.ml" 281 7521 7549
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISUtils.ml" 281 7521 7550 "src/oasis/OASISUtils.ml" 281 7521 7553
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 277 7371 7395 "src/oasis/OASISUtils.ml" 277 7371 7398
)
"src/oasis/OASISUtils.ml" 281 7521 7554 "src/oasis/OASISUtils.ml" 281 7521 7555
type(
  int
)
"src/oasis/OASISUtils.ml" 281 7521 7557 "src/oasis/OASISUtils.ml" 281 7521 7560
type(
  int
)
ident(
  int_ref len "src/oasis/OASISUtils.ml" 279 7433 7445 "src/oasis/OASISUtils.ml" 279 7433 7448
)
"src/oasis/OASISUtils.ml" 281 7521 7561 "src/oasis/OASISUtils.ml" 281 7521 7562
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISUtils.ml" 281 7521 7563 "src/oasis/OASISUtils.ml" 281 7521 7564
type(
  int
)
"src/oasis/OASISUtils.ml" 281 7521 7556 "src/oasis/OASISUtils.ml" 281 7521 7565
type(
  int
)
"src/oasis/OASISUtils.ml" 281 7521 7539 "src/oasis/OASISUtils.ml" 281 7521 7565
type(
  string
)
"src/oasis/OASISUtils.ml" 281 7521 7533 "src/oasis/OASISUtils.ml" 281 7521 7565
type(
  bool * string
)
"src/oasis/OASISUtils.ml" 283 7581 7593 "src/oasis/OASISUtils.ml" 283 7581 7598
type(
  bool
)
"src/oasis/OASISUtils.ml" 283 7581 7600 "src/oasis/OASISUtils.ml" 283 7581 7603
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 277 7371 7395 "src/oasis/OASISUtils.ml" 277 7371 7398
)
"src/oasis/OASISUtils.ml" 283 7581 7593 "src/oasis/OASISUtils.ml" 283 7581 7603
type(
  bool * string
)
"src/oasis/OASISUtils.ml" 280 7472 7482 "src/oasis/OASISUtils.ml" 283 7581 7603
type(
  bool * string
)
"src/oasis/OASISUtils.ml" 279 7433 7441 "src/oasis/OASISUtils.ml" 283 7581 7603
type(
  bool * string
)
"src/oasis/OASISUtils.ml" 285 7613 7621 "src/oasis/OASISUtils.ml" 285 7613 7642
type(
  Buffer.t -> (string -> string) -> string -> unit
)
ident(
  int_ref Stdlib.Buffer.add_substitute "buffer.mli" 155 5989 5989 "buffer.mli" 155 5989 6051
)
"src/oasis/OASISUtils.ml" 286 7643 7653 "src/oasis/OASISUtils.ml" 286 7643 7656
type(
  Buffer.t
)
ident(
  int_ref buf "src/oasis/OASISUtils.ml" 239 6425 6433 "src/oasis/OASISUtils.ml" 239 6425 6436
)
"src/oasis/OASISUtils.ml" 287 7657 7672 "src/oasis/OASISUtils.ml" 287 7657 7676
type(
  string
)
ident(
  def nvar "src/oasis/OASISUtils.ml" 288 7680 7691 "src/oasis/OASISUtils.ml" 293 7988 8016
)
"src/oasis/OASISUtils.ml" 288 7680 7695 "src/oasis/OASISUtils.ml" 288 7680 7698
type(
  string
)
ident(
  def var "src/oasis/OASISUtils.ml" 292 7932 7943 "src/oasis/OASISUtils.ml" 293 7988 8016
)
"src/oasis/OASISUtils.ml" 288 7680 7705 "src/oasis/OASISUtils.ml" 288 7680 7717
type(
  (string, string) Hashtbl.t -> string -> string
)
ident(
  int_ref Stdlib.Hashtbl.find "hashtbl.mli" 90 4266 4266 "hashtbl.mli" 90 4266 4299
)
"src/oasis/OASISUtils.ml" 288 7680 7718 "src/oasis/OASISUtils.ml" 288 7680 7729
type(
  (string, string) Hashtbl.t
)
ident(
  int_ref substr_data "src/oasis/OASISUtils.ml" 254 6806 6814 "src/oasis/OASISUtils.ml" 254 6806 6825
)
"src/oasis/OASISUtils.ml" 288 7680 7730 "src/oasis/OASISUtils.ml" 288 7680 7734
type(
  string
)
ident(
  int_ref nvar "src/oasis/OASISUtils.ml" 287 7657 7672 "src/oasis/OASISUtils.ml" 287 7657 7676
)
"src/oasis/OASISUtils.ml" 288 7680 7705 "src/oasis/OASISUtils.ml" 288 7680 7734
type(
  string
)
"src/oasis/OASISUtils.ml" 289 7735 7761 "src/oasis/OASISUtils.ml" 289 7735 7770
type(
  exn
)
"src/oasis/OASISUtils.ml" 289 7735 7774 "src/oasis/OASISUtils.ml" 289 7735 7778
type(
  string
)
ident(
  int_ref nvar "src/oasis/OASISUtils.ml" 287 7657 7672 "src/oasis/OASISUtils.ml" 287 7657 7676
)
"src/oasis/OASISUtils.ml" 288 7680 7701 "src/oasis/OASISUtils.ml" 289 7735 7778
type(
  string
)
"src/oasis/OASISUtils.ml" 292 7932 7946 "src/oasis/OASISUtils.ml" 292 7932 7961
type(
  string -> char -> bool
)
ident(
  int_ref Stdlib.String.contains "string.mli" 185 6751 6751 "string.mli" 185 6751 6788
)
"src/oasis/OASISUtils.ml" 292 7932 7962 "src/oasis/OASISUtils.ml" 292 7932 7965
type(
  string
)
ident(
  int_ref var "src/oasis/OASISUtils.ml" 288 7680 7695 "src/oasis/OASISUtils.ml" 288 7680 7698
)
"src/oasis/OASISUtils.ml" 292 7932 7966 "src/oasis/OASISUtils.ml" 292 7932 7969
type(
  char
)
"src/oasis/OASISUtils.ml" 292 7932 7946 "src/oasis/OASISUtils.ml" 292 7932 7969
type(
  bool
)
"src/oasis/OASISUtils.ml" 292 7932 7975 "src/oasis/OASISUtils.ml" 292 7932 7979
type(
  string
)
"src/oasis/OASISUtils.ml" 292 7932 7979 "src/oasis/OASISUtils.ml" 292 7932 7980
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 292 7932 7980 "src/oasis/OASISUtils.ml" 292 7932 7983
type(
  string
)
ident(
  int_ref var "src/oasis/OASISUtils.ml" 288 7680 7695 "src/oasis/OASISUtils.ml" 288 7680 7698
)
"src/oasis/OASISUtils.ml" 292 7932 7983 "src/oasis/OASISUtils.ml" 292 7932 7984
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 292 7932 7984 "src/oasis/OASISUtils.ml" 292 7932 7987
type(
  string
)
"src/oasis/OASISUtils.ml" 292 7932 7980 "src/oasis/OASISUtils.ml" 292 7932 7987
type(
  string
)
"src/oasis/OASISUtils.ml" 292 7932 7975 "src/oasis/OASISUtils.ml" 292 7932 7987
type(
  string
)
"src/oasis/OASISUtils.ml" 293 7988 8004 "src/oasis/OASISUtils.ml" 293 7988 8008
type(
  string
)
"src/oasis/OASISUtils.ml" 293 7988 8008 "src/oasis/OASISUtils.ml" 293 7988 8009
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 293 7988 8009 "src/oasis/OASISUtils.ml" 293 7988 8012
type(
  string
)
ident(
  int_ref var "src/oasis/OASISUtils.ml" 288 7680 7695 "src/oasis/OASISUtils.ml" 288 7680 7698
)
"src/oasis/OASISUtils.ml" 293 7988 8012 "src/oasis/OASISUtils.ml" 293 7988 8013
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISUtils.ml" 293 7988 8013 "src/oasis/OASISUtils.ml" 293 7988 8016
type(
  string
)
"src/oasis/OASISUtils.ml" 293 7988 8009 "src/oasis/OASISUtils.ml" 293 7988 8016
type(
  string
)
"src/oasis/OASISUtils.ml" 293 7988 8004 "src/oasis/OASISUtils.ml" 293 7988 8016
type(
  string
)
"src/oasis/OASISUtils.ml" 292 7932 7943 "src/oasis/OASISUtils.ml" 293 7988 8016
type(
  string
)
"src/oasis/OASISUtils.ml" 288 7680 7691 "src/oasis/OASISUtils.ml" 293 7988 8016
type(
  string
)
"src/oasis/OASISUtils.ml" 287 7657 7667 "src/oasis/OASISUtils.ml" 294 8017 8028
type(
  string -> string
)
"src/oasis/OASISUtils.ml" 295 8029 8039 "src/oasis/OASISUtils.ml" 295 8029 8042
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 278 7401 7427 "src/oasis/OASISUtils.ml" 278 7401 7430
)
"src/oasis/OASISUtils.ml" 285 7613 7621 "src/oasis/OASISUtils.ml" 295 8029 8042
type(
  unit
)
"src/oasis/OASISUtils.ml" 296 8044 8055 "src/oasis/OASISUtils.ml" 296 8044 8069
type(
  bool
)
ident(
  int_ref add_end_dollar "src/oasis/OASISUtils.ml" 278 7401 7411 "src/oasis/OASISUtils.ml" 278 7401 7425
)
"src/oasis/OASISUtils.ml" 297 8075 8085 "src/oasis/OASISUtils.ml" 297 8075 8092
type(
  char -> unit
)
ident(
  int_ref buf_add "src/oasis/OASISUtils.ml" 242 6519 6527 "src/oasis/OASISUtils.ml" 242 6519 6534
)
"src/oasis/OASISUtils.ml" 297 8075 8093 "src/oasis/OASISUtils.ml" 297 8075 8096
type(
  char
)
"src/oasis/OASISUtils.ml" 297 8075 8085 "src/oasis/OASISUtils.ml" 297 8075 8096
type(
  unit
)
"src/oasis/OASISUtils.ml" 296 8044 8052 "src/oasis/OASISUtils.ml" 297 8075 8096
type(
  unit
)
"src/oasis/OASISUtils.ml" 298 8098 8106 "src/oasis/OASISUtils.ml" 298 8098 8115
type(
  unit -> string
)
ident(
  int_ref buf_flush "src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
)
"src/oasis/OASISUtils.ml" 298 8098 8116 "src/oasis/OASISUtils.ml" 298 8098 8118
type(
  unit
)
"src/oasis/OASISUtils.ml" 298 8098 8106 "src/oasis/OASISUtils.ml" 298 8098 8118
type(
  string
)
"src/oasis/OASISUtils.ml" 296 8044 8052 "src/oasis/OASISUtils.ml" 298 8098 8118
type(
  string
)
"src/oasis/OASISUtils.ml" 285 7613 7621 "src/oasis/OASISUtils.ml" 298 8098 8118
type(
  string
)
"src/oasis/OASISUtils.ml" 278 7401 7407 "src/oasis/OASISUtils.ml" 298 8098 8118
type(
  string
)
"src/oasis/OASISUtils.ml" 301 8127 8139 "src/oasis/OASISUtils.ml" 301 8127 8149
type(
  char Stream.t -> unit
)
ident(
  def skip_blank "src/oasis/OASISUtils.ml" 301 8127 8131 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 301 8127 8150 "src/oasis/OASISUtils.ml" 301 8127 8154
type(
  char Stream.t
)
ident(
  def strm "src/oasis/OASISUtils.ml" 302 8157 8163 "src/oasis/OASISUtils.ml" 310 8381 8395
)
"src/oasis/OASISUtils.ml" 302 8157 8169 "src/oasis/OASISUtils.ml" 302 8157 8180
type(
  char Stream.t -> char option
)
ident(
  int_ref Stdlib.Stream.peek "stream.mli" 79 2930 2930 "stream.mli" 79 2930 2958
)
"src/oasis/OASISUtils.ml" 302 8157 8181 "src/oasis/OASISUtils.ml" 302 8157 8185
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 301 8127 8150 "src/oasis/OASISUtils.ml" 301 8127 8154
)
"src/oasis/OASISUtils.ml" 302 8157 8169 "src/oasis/OASISUtils.ml" 302 8157 8185
type(
  char option
)
"src/oasis/OASISUtils.ml" 303 8191 8206 "src/oasis/OASISUtils.ml" 303 8191 8207
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 304 8211 8223 "src/oasis/OASISUtils.ml" 308 8345 8362
)
"src/oasis/OASISUtils.ml" 303 8191 8201 "src/oasis/OASISUtils.ml" 303 8191 8207
type(
  char option
)
type(
  char option
)
"src/oasis/OASISUtils.ml" 304 8211 8226 "src/oasis/OASISUtils.ml" 304 8211 8251
type(
  char -> bool
)
ident(
  int_ref OASISString.is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
"src/oasis/OASISUtils.ml" 304 8211 8252 "src/oasis/OASISUtils.ml" 304 8211 8253
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 303 8191 8206 "src/oasis/OASISUtils.ml" 303 8191 8207
)
"src/oasis/OASISUtils.ml" 304 8211 8226 "src/oasis/OASISUtils.ml" 304 8211 8253
type(
  bool
)
"src/oasis/OASISUtils.ml" 306 8279 8295 "src/oasis/OASISUtils.ml" 306 8279 8306
type(
  char Stream.t -> unit
)
ident(
  int_ref Stdlib.Stream.junk "stream.mli" 83 3056 3056 "stream.mli" 83 3056 3079
)
"src/oasis/OASISUtils.ml" 306 8279 8307 "src/oasis/OASISUtils.ml" 306 8279 8311
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 301 8127 8150 "src/oasis/OASISUtils.ml" 301 8127 8154
)
"src/oasis/OASISUtils.ml" 306 8279 8295 "src/oasis/OASISUtils.ml" 306 8279 8311
type(
  unit
)
"src/oasis/OASISUtils.ml" 307 8313 8329 "src/oasis/OASISUtils.ml" 307 8313 8339
type(
  char Stream.t -> unit
)
ident(
  int_ref skip_blank "src/oasis/OASISUtils.ml" 301 8127 8139 "src/oasis/OASISUtils.ml" 301 8127 8149
)
"src/oasis/OASISUtils.ml" 307 8313 8340 "src/oasis/OASISUtils.ml" 307 8313 8344
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 301 8127 8150 "src/oasis/OASISUtils.ml" 301 8127 8154
)
"src/oasis/OASISUtils.ml" 307 8313 8329 "src/oasis/OASISUtils.ml" 307 8313 8344
type(
  unit
)
"src/oasis/OASISUtils.ml" 305 8259 8273 "src/oasis/OASISUtils.ml" 308 8345 8362
type(
  unit
)
"src/oasis/OASISUtils.ml" 304 8211 8223 "src/oasis/OASISUtils.ml" 308 8345 8362
type(
  unit
)
"src/oasis/OASISUtils.ml" 309 8363 8373 "src/oasis/OASISUtils.ml" 309 8363 8377
type(
  char option
)
type(
  char option
)
"src/oasis/OASISUtils.ml" 310 8381 8393 "src/oasis/OASISUtils.ml" 310 8381 8395
type(
  unit
)
"src/oasis/OASISUtils.ml" 302 8157 8163 "src/oasis/OASISUtils.ml" 310 8381 8395
type(
  unit
)
"src/oasis/OASISUtils.ml" 313 8404 8416 "src/oasis/OASISUtils.ml" 313 8404 8440
type(
  char Stream.t -> unit
)
ident(
  def get_simply_quoted_string "src/oasis/OASISUtils.ml" 313 8404 8408 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 313 8404 8441 "src/oasis/OASISUtils.ml" 313 8404 8445
type(
  char Stream.t
)
ident(
  def strm "src/oasis/OASISUtils.ml" 314 8448 8454 "src/oasis/OASISUtils.ml" 326 8770 8812
)
"src/oasis/OASISUtils.ml" 315 8458 8472 "src/oasis/OASISUtils.ml" 315 8458 8483
type(
  char Stream.t -> char
)
ident(
  int_ref Stdlib.Stream.next "stream.mli" 68 2649 2649 "stream.mli" 68 2649 2670
)
"src/oasis/OASISUtils.ml" 315 8458 8484 "src/oasis/OASISUtils.ml" 315 8458 8488
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 313 8404 8441 "src/oasis/OASISUtils.ml" 313 8404 8445
)
"src/oasis/OASISUtils.ml" 315 8458 8472 "src/oasis/OASISUtils.ml" 315 8458 8488
type(
  char
)
"src/oasis/OASISUtils.ml" 316 8494 8506 "src/oasis/OASISUtils.ml" 316 8494 8510
type(
  char
)
type(
  char
)
"src/oasis/OASISUtils.ml" 318 8562 8576 "src/oasis/OASISUtils.ml" 318 8562 8578
type(
  unit
)
"src/oasis/OASISUtils.ml" 319 8579 8591 "src/oasis/OASISUtils.ml" 319 8579 8592
type(
  char
)
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 320 8596 8610 "src/oasis/OASISUtils.ml" 321 8621 8664
)
"src/oasis/OASISUtils.ml" 320 8596 8610 "src/oasis/OASISUtils.ml" 320 8596 8617
type(
  char -> unit
)
ident(
  int_ref buf_add "src/oasis/OASISUtils.ml" 242 6519 6527 "src/oasis/OASISUtils.ml" 242 6519 6534
)
"src/oasis/OASISUtils.ml" 320 8596 8618 "src/oasis/OASISUtils.ml" 320 8596 8619
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 319 8579 8591 "src/oasis/OASISUtils.ml" 319 8579 8592
)
"src/oasis/OASISUtils.ml" 320 8596 8610 "src/oasis/OASISUtils.ml" 320 8596 8619
type(
  unit
)
"src/oasis/OASISUtils.ml" 321 8621 8635 "src/oasis/OASISUtils.ml" 321 8621 8659
type(
  char Stream.t -> unit
)
ident(
  int_ref get_simply_quoted_string "src/oasis/OASISUtils.ml" 313 8404 8416 "src/oasis/OASISUtils.ml" 313 8404 8440
)
"src/oasis/OASISUtils.ml" 321 8621 8660 "src/oasis/OASISUtils.ml" 321 8621 8664
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 313 8404 8441 "src/oasis/OASISUtils.ml" 313 8404 8445
)
"src/oasis/OASISUtils.ml" 321 8621 8635 "src/oasis/OASISUtils.ml" 321 8621 8664
type(
  unit
)
"src/oasis/OASISUtils.ml" 320 8596 8610 "src/oasis/OASISUtils.ml" 321 8621 8664
type(
  unit
)
"src/oasis/OASISUtils.ml" 315 8458 8466 "src/oasis/OASISUtils.ml" 321 8621 8664
type(
  unit
)
"src/oasis/OASISUtils.ml" 323 8666 8677 "src/oasis/OASISUtils.ml" 323 8666 8691
type(
  exn
)
"src/oasis/OASISUtils.ml" 324 8695 8703 "src/oasis/OASISUtils.ml" 324 8695 8712
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref failwithf "src/oasis/OASISUtils.ml" 157 4151 4155 "src/oasis/OASISUtils.ml" 157 4151 4164
)
"src/oasis/OASISUtils.ml" 325 8713 8724 "src/oasis/OASISUtils.ml" 325 8713 8726
type(
  (string -> unit, unit, string, unit) format4 ->
  (string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISUtils.ml" 325 8713 8727 "src/oasis/OASISUtils.ml" 325 8713 8768
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISUtils.ml" 325 8713 8723 "src/oasis/OASISUtils.ml" 325 8713 8769
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISUtils.ml" 326 8770 8781 "src/oasis/OASISUtils.ml" 326 8770 8796
type(
  string -> string
)
ident(
  int_ref unprotect_subst "src/oasis/OASISUtils.ml" 277 7371 7379 "src/oasis/OASISUtils.ml" 277 7371 7394
)
"src/oasis/OASISUtils.ml" 326 8770 8798 "src/oasis/OASISUtils.ml" 326 8770 8807
type(
  unit -> string
)
ident(
  int_ref buf_flush "src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
)
"src/oasis/OASISUtils.ml" 326 8770 8808 "src/oasis/OASISUtils.ml" 326 8770 8810
type(
  unit
)
"src/oasis/OASISUtils.ml" 326 8770 8797 "src/oasis/OASISUtils.ml" 326 8770 8811
type(
  string
)
"src/oasis/OASISUtils.ml" 326 8770 8780 "src/oasis/OASISUtils.ml" 326 8770 8812
type(
  string
)
"src/oasis/OASISUtils.ml" 324 8695 8703 "src/oasis/OASISUtils.ml" 326 8770 8812
type(
  unit
)
"src/oasis/OASISUtils.ml" 314 8448 8454 "src/oasis/OASISUtils.ml" 326 8770 8812
type(
  unit
)
"src/oasis/OASISUtils.ml" 329 8821 8829 "src/oasis/OASISUtils.ml" 329 8821 8855
type(
  char option -> bool
)
ident(
  def is_doubly_quoted_escapable "src/oasis/OASISUtils.ml" 337 8991 8995 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 331 8873 8888 "src/oasis/OASISUtils.ml" 331 8873 8889
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 332 8893 8905 "src/oasis/OASISUtils.ml" 332 8893 8946
)
"src/oasis/OASISUtils.ml" 331 8873 8883 "src/oasis/OASISUtils.ml" 331 8873 8889
type(
  char option
)
"src/oasis/OASISUtils.ml" 332 8893 8905 "src/oasis/OASISUtils.ml" 332 8893 8906
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 331 8873 8888 "src/oasis/OASISUtils.ml" 331 8873 8889
)
"src/oasis/OASISUtils.ml" 332 8893 8907 "src/oasis/OASISUtils.ml" 332 8893 8908
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 332 8893 8909 "src/oasis/OASISUtils.ml" 332 8893 8912
type(
  char
)
"src/oasis/OASISUtils.ml" 332 8893 8905 "src/oasis/OASISUtils.ml" 332 8893 8912
type(
  bool
)
"src/oasis/OASISUtils.ml" 332 8893 8913 "src/oasis/OASISUtils.ml" 332 8893 8915
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 332 8893 8916 "src/oasis/OASISUtils.ml" 332 8893 8917
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 331 8873 8888 "src/oasis/OASISUtils.ml" 331 8873 8889
)
"src/oasis/OASISUtils.ml" 332 8893 8918 "src/oasis/OASISUtils.ml" 332 8893 8919
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 332 8893 8920 "src/oasis/OASISUtils.ml" 332 8893 8923
type(
  char
)
"src/oasis/OASISUtils.ml" 332 8893 8916 "src/oasis/OASISUtils.ml" 332 8893 8923
type(
  bool
)
"src/oasis/OASISUtils.ml" 332 8893 8924 "src/oasis/OASISUtils.ml" 332 8893 8926
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 332 8893 8927 "src/oasis/OASISUtils.ml" 332 8893 8928
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 331 8873 8888 "src/oasis/OASISUtils.ml" 331 8873 8889
)
"src/oasis/OASISUtils.ml" 332 8893 8929 "src/oasis/OASISUtils.ml" 332 8893 8930
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 332 8893 8931 "src/oasis/OASISUtils.ml" 332 8893 8934
type(
  char
)
"src/oasis/OASISUtils.ml" 332 8893 8927 "src/oasis/OASISUtils.ml" 332 8893 8934
type(
  bool
)
"src/oasis/OASISUtils.ml" 332 8893 8935 "src/oasis/OASISUtils.ml" 332 8893 8937
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISUtils.ml" 332 8893 8938 "src/oasis/OASISUtils.ml" 332 8893 8939
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 331 8873 8888 "src/oasis/OASISUtils.ml" 331 8873 8889
)
"src/oasis/OASISUtils.ml" 332 8893 8940 "src/oasis/OASISUtils.ml" 332 8893 8941
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISUtils.ml" 332 8893 8942 "src/oasis/OASISUtils.ml" 332 8893 8946
type(
  char
)
"src/oasis/OASISUtils.ml" 332 8893 8938 "src/oasis/OASISUtils.ml" 332 8893 8946
type(
  bool
)
"src/oasis/OASISUtils.ml" 332 8893 8927 "src/oasis/OASISUtils.ml" 332 8893 8946
type(
  bool
)
"src/oasis/OASISUtils.ml" 332 8893 8916 "src/oasis/OASISUtils.ml" 332 8893 8946
type(
  bool
)
"src/oasis/OASISUtils.ml" 332 8893 8905 "src/oasis/OASISUtils.ml" 332 8893 8946
type(
  bool
)
"src/oasis/OASISUtils.ml" 333 8947 8957 "src/oasis/OASISUtils.ml" 333 8947 8961
type(
  char option
)
"src/oasis/OASISUtils.ml" 334 8965 8977 "src/oasis/OASISUtils.ml" 334 8965 8982
type(
  bool
)
"src/oasis/OASISUtils.ml" 330 8858 8864 "src/oasis/OASISUtils.ml" 334 8965 8982
type(
  char option -> bool
)
"src/oasis/OASISUtils.ml" 337 8991 8999 "src/oasis/OASISUtils.ml" 337 8991 9014
type(
  char Stream.t -> unit
)
ident(
  def get_escape_char "src/oasis/OASISUtils.ml" 347 9214 9218 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 337 8991 9015 "src/oasis/OASISUtils.ml" 337 8991 9019
type(
  char Stream.t
)
ident(
  def strm "src/oasis/OASISUtils.ml" 338 9022 9028 "src/oasis/OASISUtils.ml" 344 9191 9205
)
"src/oasis/OASISUtils.ml" 338 9022 9034 "src/oasis/OASISUtils.ml" 338 9022 9045
type(
  char Stream.t -> char option
)
ident(
  int_ref Stdlib.Stream.peek "stream.mli" 79 2930 2930 "stream.mli" 79 2930 2958
)
"src/oasis/OASISUtils.ml" 338 9022 9046 "src/oasis/OASISUtils.ml" 338 9022 9050
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 337 8991 9015 "src/oasis/OASISUtils.ml" 337 8991 9019
)
"src/oasis/OASISUtils.ml" 338 9022 9034 "src/oasis/OASISUtils.ml" 338 9022 9050
type(
  char option
)
"src/oasis/OASISUtils.ml" 339 9056 9071 "src/oasis/OASISUtils.ml" 339 9056 9072
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 340 9076 9088 "src/oasis/OASISUtils.ml" 341 9099 9127
)
"src/oasis/OASISUtils.ml" 339 9056 9066 "src/oasis/OASISUtils.ml" 339 9056 9072
type(
  char option
)
type(
  char option
)
"src/oasis/OASISUtils.ml" 340 9076 9088 "src/oasis/OASISUtils.ml" 340 9076 9095
type(
  char -> unit
)
ident(
  int_ref buf_add "src/oasis/OASISUtils.ml" 242 6519 6527 "src/oasis/OASISUtils.ml" 242 6519 6534
)
"src/oasis/OASISUtils.ml" 340 9076 9096 "src/oasis/OASISUtils.ml" 340 9076 9097
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 339 9056 9071 "src/oasis/OASISUtils.ml" 339 9056 9072
)
"src/oasis/OASISUtils.ml" 340 9076 9088 "src/oasis/OASISUtils.ml" 340 9076 9097
type(
  unit
)
"src/oasis/OASISUtils.ml" 341 9099 9111 "src/oasis/OASISUtils.ml" 341 9099 9122
type(
  char Stream.t -> unit
)
ident(
  int_ref Stdlib.Stream.junk "stream.mli" 83 3056 3056 "stream.mli" 83 3056 3079
)
"src/oasis/OASISUtils.ml" 341 9099 9123 "src/oasis/OASISUtils.ml" 341 9099 9127
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 337 8991 9015 "src/oasis/OASISUtils.ml" 337 8991 9019
)
"src/oasis/OASISUtils.ml" 341 9099 9111 "src/oasis/OASISUtils.ml" 341 9099 9127
type(
  unit
)
"src/oasis/OASISUtils.ml" 340 9076 9088 "src/oasis/OASISUtils.ml" 341 9099 9127
type(
  unit
)
"src/oasis/OASISUtils.ml" 342 9128 9138 "src/oasis/OASISUtils.ml" 342 9128 9142
type(
  char option
)
type(
  char option
)
"src/oasis/OASISUtils.ml" 344 9191 9203 "src/oasis/OASISUtils.ml" 344 9191 9205
type(
  unit
)
"src/oasis/OASISUtils.ml" 338 9022 9028 "src/oasis/OASISUtils.ml" 344 9191 9205
type(
  unit
)
"src/oasis/OASISUtils.ml" 347 9214 9226 "src/oasis/OASISUtils.ml" 347 9214 9250
type(
  char Stream.t -> unit
)
ident(
  def get_doubly_quoted_string "src/oasis/OASISUtils.ml" 347 9214 9218 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 347 9214 9251 "src/oasis/OASISUtils.ml" 347 9214 9255
type(
  char Stream.t
)
ident(
  def strm "src/oasis/OASISUtils.ml" 348 9258 9264 "src/oasis/OASISUtils.ml" 363 9731 9773
)
"src/oasis/OASISUtils.ml" 349 9268 9282 "src/oasis/OASISUtils.ml" 349 9268 9293
type(
  char Stream.t -> char
)
ident(
  int_ref Stdlib.Stream.next "stream.mli" 68 2649 2649 "stream.mli" 68 2649 2670
)
"src/oasis/OASISUtils.ml" 349 9268 9294 "src/oasis/OASISUtils.ml" 349 9268 9298
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 347 9214 9251 "src/oasis/OASISUtils.ml" 347 9214 9255
)
"src/oasis/OASISUtils.ml" 349 9268 9282 "src/oasis/OASISUtils.ml" 349 9268 9298
type(
  char
)
"src/oasis/OASISUtils.ml" 350 9304 9316 "src/oasis/OASISUtils.ml" 350 9304 9319
type(
  char
)
type(
  char
)
"src/oasis/OASISUtils.ml" 352 9371 9385 "src/oasis/OASISUtils.ml" 352 9371 9387
type(
  unit
)
"src/oasis/OASISUtils.ml" 353 9388 9400 "src/oasis/OASISUtils.ml" 353 9388 9404
type(
  char
)
type(
  char
)
"src/oasis/OASISUtils.ml" 353 9388 9410 "src/oasis/OASISUtils.ml" 353 9388 9436
type(
  char option -> bool
)
ident(
  int_ref is_doubly_quoted_escapable "src/oasis/OASISUtils.ml" 329 8821 8829 "src/oasis/OASISUtils.ml" 329 8821 8855
)
"src/oasis/OASISUtils.ml" 353 9388 9438 "src/oasis/OASISUtils.ml" 353 9388 9449
type(
  char Stream.t -> char option
)
ident(
  int_ref Stdlib.Stream.peek "stream.mli" 79 2930 2930 "stream.mli" 79 2930 2958
)
"src/oasis/OASISUtils.ml" 353 9388 9450 "src/oasis/OASISUtils.ml" 353 9388 9454
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 347 9214 9251 "src/oasis/OASISUtils.ml" 347 9214 9255
)
"src/oasis/OASISUtils.ml" 353 9388 9437 "src/oasis/OASISUtils.ml" 353 9388 9455
type(
  char option
)
"src/oasis/OASISUtils.ml" 353 9388 9410 "src/oasis/OASISUtils.ml" 353 9388 9455
type(
  bool
)
"src/oasis/OASISUtils.ml" 354 9460 9474 "src/oasis/OASISUtils.ml" 354 9460 9489
type(
  char Stream.t -> unit
)
ident(
  int_ref get_escape_char "src/oasis/OASISUtils.ml" 337 8991 8999 "src/oasis/OASISUtils.ml" 337 8991 9014
)
"src/oasis/OASISUtils.ml" 354 9460 9490 "src/oasis/OASISUtils.ml" 354 9460 9494
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 347 9214 9251 "src/oasis/OASISUtils.ml" 347 9214 9255
)
"src/oasis/OASISUtils.ml" 354 9460 9474 "src/oasis/OASISUtils.ml" 354 9460 9494
type(
  unit
)
"src/oasis/OASISUtils.ml" 355 9496 9510 "src/oasis/OASISUtils.ml" 355 9496 9534
type(
  char Stream.t -> unit
)
ident(
  int_ref get_doubly_quoted_string "src/oasis/OASISUtils.ml" 347 9214 9226 "src/oasis/OASISUtils.ml" 347 9214 9250
)
"src/oasis/OASISUtils.ml" 355 9496 9535 "src/oasis/OASISUtils.ml" 355 9496 9539
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 347 9214 9251 "src/oasis/OASISUtils.ml" 347 9214 9255
)
"src/oasis/OASISUtils.ml" 355 9496 9510 "src/oasis/OASISUtils.ml" 355 9496 9539
type(
  unit
)
"src/oasis/OASISUtils.ml" 354 9460 9474 "src/oasis/OASISUtils.ml" 355 9496 9539
type(
  unit
)
"src/oasis/OASISUtils.ml" 356 9540 9552 "src/oasis/OASISUtils.ml" 356 9540 9553
type(
  char
)
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 357 9557 9571 "src/oasis/OASISUtils.ml" 358 9582 9625
)
"src/oasis/OASISUtils.ml" 357 9557 9571 "src/oasis/OASISUtils.ml" 357 9557 9578
type(
  char -> unit
)
ident(
  int_ref buf_add "src/oasis/OASISUtils.ml" 242 6519 6527 "src/oasis/OASISUtils.ml" 242 6519 6534
)
"src/oasis/OASISUtils.ml" 357 9557 9579 "src/oasis/OASISUtils.ml" 357 9557 9580
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 356 9540 9552 "src/oasis/OASISUtils.ml" 356 9540 9553
)
"src/oasis/OASISUtils.ml" 357 9557 9571 "src/oasis/OASISUtils.ml" 357 9557 9580
type(
  unit
)
"src/oasis/OASISUtils.ml" 358 9582 9596 "src/oasis/OASISUtils.ml" 358 9582 9620
type(
  char Stream.t -> unit
)
ident(
  int_ref get_doubly_quoted_string "src/oasis/OASISUtils.ml" 347 9214 9226 "src/oasis/OASISUtils.ml" 347 9214 9250
)
"src/oasis/OASISUtils.ml" 358 9582 9621 "src/oasis/OASISUtils.ml" 358 9582 9625
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 347 9214 9251 "src/oasis/OASISUtils.ml" 347 9214 9255
)
"src/oasis/OASISUtils.ml" 358 9582 9596 "src/oasis/OASISUtils.ml" 358 9582 9625
type(
  unit
)
"src/oasis/OASISUtils.ml" 357 9557 9571 "src/oasis/OASISUtils.ml" 358 9582 9625
type(
  unit
)
"src/oasis/OASISUtils.ml" 349 9268 9276 "src/oasis/OASISUtils.ml" 358 9582 9625
type(
  unit
)
"src/oasis/OASISUtils.ml" 360 9627 9638 "src/oasis/OASISUtils.ml" 360 9627 9652
type(
  exn
)
"src/oasis/OASISUtils.ml" 361 9656 9664 "src/oasis/OASISUtils.ml" 361 9656 9673
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref failwithf "src/oasis/OASISUtils.ml" 157 4151 4155 "src/oasis/OASISUtils.ml" 157 4151 4164
)
"src/oasis/OASISUtils.ml" 362 9674 9685 "src/oasis/OASISUtils.ml" 362 9674 9687
type(
  (string -> unit, unit, string, unit) format4 ->
  (string -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/oasis/OASISUtils.ml" 362 9674 9688 "src/oasis/OASISUtils.ml" 362 9674 9729
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISUtils.ml" 362 9674 9684 "src/oasis/OASISUtils.ml" 362 9674 9730
type(
  (string -> unit, unit, string, unit) format4
)
"src/oasis/OASISUtils.ml" 363 9731 9742 "src/oasis/OASISUtils.ml" 363 9731 9757
type(
  string -> string
)
ident(
  int_ref unprotect_subst "src/oasis/OASISUtils.ml" 277 7371 7379 "src/oasis/OASISUtils.ml" 277 7371 7394
)
"src/oasis/OASISUtils.ml" 363 9731 9759 "src/oasis/OASISUtils.ml" 363 9731 9768
type(
  unit -> string
)
ident(
  int_ref buf_flush "src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
)
"src/oasis/OASISUtils.ml" 363 9731 9769 "src/oasis/OASISUtils.ml" 363 9731 9771
type(
  unit
)
"src/oasis/OASISUtils.ml" 363 9731 9758 "src/oasis/OASISUtils.ml" 363 9731 9772
type(
  string
)
"src/oasis/OASISUtils.ml" 363 9731 9741 "src/oasis/OASISUtils.ml" 363 9731 9773
type(
  string
)
"src/oasis/OASISUtils.ml" 361 9656 9664 "src/oasis/OASISUtils.ml" 363 9731 9773
type(
  unit
)
"src/oasis/OASISUtils.ml" 348 9258 9264 "src/oasis/OASISUtils.ml" 363 9731 9773
type(
  unit
)
"src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
type(
  char Stream.t
)
ident(
  def strm "src/oasis/OASISUtils.ml" 371 9875 9879 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 368 9840 9846 "src/oasis/OASISUtils.ml" 368 9840 9862
type(
  string -> char Stream.t
)
ident(
  int_ref Stdlib.Stream.of_string "stream.mli" 48 2097 2097 "stream.mli" 48 2097 2129
)
"src/oasis/OASISUtils.ml" 368 9840 9863 "src/oasis/OASISUtils.ml" 368 9840 9866
type(
  string
)
ident(
  int_ref str "src/oasis/OASISUtils.ml" 258 6860 6868 "src/oasis/OASISUtils.ml" 258 6860 6871
)
"src/oasis/OASISUtils.ml" 368 9840 9846 "src/oasis/OASISUtils.ml" 368 9840 9866
type(
  char Stream.t
)
"src/oasis/OASISUtils.ml" 371 9875 9883 "src/oasis/OASISUtils.ml" 371 9875 9888
type(
  string list ref
)
ident(
  def rargs "src/oasis/OASISUtils.ml" 375 9912 9916 "src/oasis/OASISUtils.ml" 405 10814 10853
)
"src/oasis/OASISUtils.ml" 372 9891 9897 "src/oasis/OASISUtils.ml" 372 9891 9900
type(
  string list -> string list ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/oasis/OASISUtils.ml" 372 9891 9901 "src/oasis/OASISUtils.ml" 372 9891 9903
type(
  string list
)
"src/oasis/OASISUtils.ml" 372 9891 9897 "src/oasis/OASISUtils.ml" 372 9891 9903
type(
  string list ref
)
"src/oasis/OASISUtils.ml" 375 9912 9920 "src/oasis/OASISUtils.ml" 375 9912 9922
type(
  unit
)
type(
  unit
)
"src/oasis/OASISUtils.ml" 377 9966 9972 "src/oasis/OASISUtils.ml" 377 9966 9982
type(
  char Stream.t -> unit
)
ident(
  int_ref skip_blank "src/oasis/OASISUtils.ml" 301 8127 8139 "src/oasis/OASISUtils.ml" 301 8127 8149
)
"src/oasis/OASISUtils.ml" 377 9966 9983 "src/oasis/OASISUtils.ml" 377 9966 9987
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 377 9966 9972 "src/oasis/OASISUtils.ml" 377 9966 9987
type(
  unit
)
"src/oasis/OASISUtils.ml" 378 9989 10001 "src/oasis/OASISUtils.ml" 378 9989 10012
type(
  char Stream.t -> char option
)
ident(
  int_ref Stdlib.Stream.peek "stream.mli" 79 2930 2930 "stream.mli" 79 2930 2958
)
"src/oasis/OASISUtils.ml" 378 9989 10013 "src/oasis/OASISUtils.ml" 378 9989 10017
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 378 9989 10001 "src/oasis/OASISUtils.ml" 378 9989 10017
type(
  char option
)
"src/oasis/OASISUtils.ml" 378 9989 10018 "src/oasis/OASISUtils.ml" 378 9989 10020
type(
  char option -> char option -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISUtils.ml" 378 9989 10021 "src/oasis/OASISUtils.ml" 378 9989 10025
type(
  char option
)
"src/oasis/OASISUtils.ml" 378 9989 10001 "src/oasis/OASISUtils.ml" 378 9989 10025
type(
  bool
)
"src/oasis/OASISUtils.ml" 379 10029 10043 "src/oasis/OASISUtils.ml" 379 10029 10054
type(
  char Stream.t -> char
)
ident(
  int_ref Stdlib.Stream.next "stream.mli" 68 2649 2649 "stream.mli" 68 2649 2670
)
"src/oasis/OASISUtils.ml" 379 10029 10055 "src/oasis/OASISUtils.ml" 379 10029 10059
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 379 10029 10043 "src/oasis/OASISUtils.ml" 379 10029 10059
type(
  char
)
"src/oasis/OASISUtils.ml" 380 10065 10077 "src/oasis/OASISUtils.ml" 380 10065 10081
type(
  char
)
type(
  char
)
"src/oasis/OASISUtils.ml" 385 10286 10300 "src/oasis/OASISUtils.ml" 385 10286 10315
type(
  char Stream.t -> unit
)
ident(
  int_ref get_escape_char "src/oasis/OASISUtils.ml" 337 8991 8999 "src/oasis/OASISUtils.ml" 337 8991 9014
)
"src/oasis/OASISUtils.ml" 385 10286 10316 "src/oasis/OASISUtils.ml" 385 10286 10320
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 385 10286 10300 "src/oasis/OASISUtils.ml" 385 10286 10320
type(
  unit
)
"src/oasis/OASISUtils.ml" 387 10322 10334 "src/oasis/OASISUtils.ml" 387 10322 10338
type(
  char
)
type(
  char
)
"src/oasis/OASISUtils.ml" 388 10342 10356 "src/oasis/OASISUtils.ml" 388 10342 10380
type(
  char Stream.t -> unit
)
ident(
  int_ref get_simply_quoted_string "src/oasis/OASISUtils.ml" 313 8404 8416 "src/oasis/OASISUtils.ml" 313 8404 8440
)
"src/oasis/OASISUtils.ml" 388 10342 10381 "src/oasis/OASISUtils.ml" 388 10342 10385
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 388 10342 10356 "src/oasis/OASISUtils.ml" 388 10342 10385
type(
  unit
)
"src/oasis/OASISUtils.ml" 390 10387 10399 "src/oasis/OASISUtils.ml" 390 10387 10402
type(
  char
)
type(
  char
)
"src/oasis/OASISUtils.ml" 391 10406 10420 "src/oasis/OASISUtils.ml" 391 10406 10444
type(
  char Stream.t -> unit
)
ident(
  int_ref get_doubly_quoted_string "src/oasis/OASISUtils.ml" 347 9214 9226 "src/oasis/OASISUtils.ml" 347 9214 9250
)
"src/oasis/OASISUtils.ml" 391 10406 10445 "src/oasis/OASISUtils.ml" 391 10406 10449
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 391 10406 10420 "src/oasis/OASISUtils.ml" 391 10406 10449
type(
  unit
)
"src/oasis/OASISUtils.ml" 393 10451 10463 "src/oasis/OASISUtils.ml" 393 10451 10464
type(
  char
)
type(
  char
)
ident(
  def c "src/oasis/OASISUtils.ml" 394 10468 10480 "src/oasis/OASISUtils.ml" 400 10697 10712
)
"src/oasis/OASISUtils.ml" 394 10468 10483 "src/oasis/OASISUtils.ml" 394 10468 10508
type(
  char -> bool
)
ident(
  int_ref OASISString.is_whitespace "src/oasis/OASISString.ml" 179 4986 4990 "src/oasis/OASISString.ml" 179 4986 5003
)
"src/oasis/OASISUtils.ml" 394 10468 10509 "src/oasis/OASISUtils.ml" 394 10468 10510
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 393 10451 10463 "src/oasis/OASISUtils.ml" 393 10451 10464
)
"src/oasis/OASISUtils.ml" 394 10468 10483 "src/oasis/OASISUtils.ml" 394 10468 10510
type(
  bool
)
"src/oasis/OASISUtils.ml" 396 10569 10583 "src/oasis/OASISUtils.ml" 396 10569 10588
type(
  string list ref
)
ident(
  int_ref rargs "src/oasis/OASISUtils.ml" 371 9875 9883 "src/oasis/OASISUtils.ml" 371 9875 9888
)
"src/oasis/OASISUtils.ml" 396 10569 10589 "src/oasis/OASISUtils.ml" 396 10569 10591
type(
  string list ref -> string list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISUtils.ml" 396 10569 10592 "src/oasis/OASISUtils.ml" 396 10569 10601
type(
  unit -> string
)
ident(
  int_ref buf_flush "src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
)
"src/oasis/OASISUtils.ml" 396 10569 10602 "src/oasis/OASISUtils.ml" 396 10569 10604
type(
  unit
)
"src/oasis/OASISUtils.ml" 396 10569 10592 "src/oasis/OASISUtils.ml" 396 10569 10604
type(
  string
)
"src/oasis/OASISUtils.ml" 396 10569 10608 "src/oasis/OASISUtils.ml" 396 10569 10609
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISUtils.ml" 396 10569 10609 "src/oasis/OASISUtils.ml" 396 10569 10614
type(
  string list ref
)
ident(
  int_ref rargs "src/oasis/OASISUtils.ml" 371 9875 9883 "src/oasis/OASISUtils.ml" 371 9875 9888
)
"src/oasis/OASISUtils.ml" 396 10569 10608 "src/oasis/OASISUtils.ml" 396 10569 10614
type(
  string list
)
"src/oasis/OASISUtils.ml" 396 10569 10592 "src/oasis/OASISUtils.ml" 396 10569 10614
type(
  string list
)
"src/oasis/OASISUtils.ml" 396 10569 10583 "src/oasis/OASISUtils.ml" 396 10569 10614
type(
  unit
)
"src/oasis/OASISUtils.ml" 397 10616 10630 "src/oasis/OASISUtils.ml" 397 10616 10640
type(
  char Stream.t -> unit
)
ident(
  int_ref skip_blank "src/oasis/OASISUtils.ml" 301 8127 8139 "src/oasis/OASISUtils.ml" 301 8127 8149
)
"src/oasis/OASISUtils.ml" 397 10616 10641 "src/oasis/OASISUtils.ml" 397 10616 10645
type(
  char Stream.t
)
ident(
  int_ref strm "src/oasis/OASISUtils.ml" 367 9825 9833 "src/oasis/OASISUtils.ml" 367 9825 9837
)
"src/oasis/OASISUtils.ml" 397 10616 10630 "src/oasis/OASISUtils.ml" 397 10616 10645
type(
  unit
)
"src/oasis/OASISUtils.ml" 394 10468 10516 "src/oasis/OASISUtils.ml" 398 10646 10661
type(
  unit
)
"src/oasis/OASISUtils.ml" 399 10673 10687 "src/oasis/OASISUtils.ml" 399 10673 10694
type(
  char -> unit
)
ident(
  int_ref buf_add "src/oasis/OASISUtils.ml" 242 6519 6527 "src/oasis/OASISUtils.ml" 242 6519 6534
)
"src/oasis/OASISUtils.ml" 399 10673 10695 "src/oasis/OASISUtils.ml" 399 10673 10696
type(
  char
)
ident(
  int_ref c "src/oasis/OASISUtils.ml" 393 10451 10463 "src/oasis/OASISUtils.ml" 393 10451 10464
)
"src/oasis/OASISUtils.ml" 398 10646 10667 "src/oasis/OASISUtils.ml" 400 10697 10712
type(
  unit
)
"src/oasis/OASISUtils.ml" 394 10468 10480 "src/oasis/OASISUtils.ml" 400 10697 10712
type(
  unit
)
"src/oasis/OASISUtils.ml" 379 10029 10037 "src/oasis/OASISUtils.ml" 400 10697 10712
type(
  unit
)
"src/oasis/OASISUtils.ml" 378 9989 9995 "src/oasis/OASISUtils.ml" 401 10713 10723
type(
  unit
)
"src/oasis/OASISUtils.ml" 402 10725 10735 "src/oasis/OASISUtils.ml" 402 10725 10739
type(
  string
)
ident(
  def last "src/oasis/OASISUtils.ml" 403 10758 10764 "src/oasis/OASISUtils.ml" 403 10758 10806
)
"src/oasis/OASISUtils.ml" 402 10725 10742 "src/oasis/OASISUtils.ml" 402 10725 10751
type(
  unit -> string
)
ident(
  int_ref buf_flush "src/oasis/OASISUtils.ml" 245 6574 6582 "src/oasis/OASISUtils.ml" 245 6574 6591
)
"src/oasis/OASISUtils.ml" 402 10725 10752 "src/oasis/OASISUtils.ml" 402 10725 10754
type(
  unit
)
"src/oasis/OASISUtils.ml" 402 10725 10742 "src/oasis/OASISUtils.ml" 402 10725 10754
type(
  string
)
"src/oasis/OASISUtils.ml" 403 10758 10767 "src/oasis/OASISUtils.ml" 403 10758 10771
type(
  string
)
ident(
  int_ref last "src/oasis/OASISUtils.ml" 402 10725 10735 "src/oasis/OASISUtils.ml" 402 10725 10739
)
"src/oasis/OASISUtils.ml" 403 10758 10772 "src/oasis/OASISUtils.ml" 403 10758 10774
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISUtils.ml" 403 10758 10775 "src/oasis/OASISUtils.ml" 403 10758 10777
type(
  string
)
"src/oasis/OASISUtils.ml" 403 10758 10767 "src/oasis/OASISUtils.ml" 403 10758 10777
type(
  bool
)
"src/oasis/OASISUtils.ml" 403 10758 10783 "src/oasis/OASISUtils.ml" 403 10758 10788
type(
  string list ref
)
ident(
  int_ref rargs "src/oasis/OASISUtils.ml" 371 9875 9883 "src/oasis/OASISUtils.ml" 371 9875 9888
)
"src/oasis/OASISUtils.ml" 403 10758 10789 "src/oasis/OASISUtils.ml" 403 10758 10791
type(
  string list ref -> string list -> unit
)
ident(
  int_ref Stdlib.( := ) "stdlib.mli" 1236 46948 46948 "stdlib.mli" 1236 46948 47001
)
"src/oasis/OASISUtils.ml" 403 10758 10792 "src/oasis/OASISUtils.ml" 403 10758 10796
type(
  string
)
ident(
  int_ref last "src/oasis/OASISUtils.ml" 402 10725 10735 "src/oasis/OASISUtils.ml" 402 10725 10739
)
"src/oasis/OASISUtils.ml" 403 10758 10800 "src/oasis/OASISUtils.ml" 403 10758 10801
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISUtils.ml" 403 10758 10801 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  string list ref
)
ident(
  int_ref rargs "src/oasis/OASISUtils.ml" 371 9875 9883 "src/oasis/OASISUtils.ml" 371 9875 9888
)
"src/oasis/OASISUtils.ml" 403 10758 10800 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  string list
)
"src/oasis/OASISUtils.ml" 403 10758 10792 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  string list
)
"src/oasis/OASISUtils.ml" 403 10758 10783 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  unit
)
"src/oasis/OASISUtils.ml" 403 10758 10764 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  unit
)
"src/oasis/OASISUtils.ml" 402 10725 10731 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  unit
)
"src/oasis/OASISUtils.ml" 378 9989 9995 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  unit
)
"src/oasis/OASISUtils.ml" 377 9966 9972 "src/oasis/OASISUtils.ml" 403 10758 10806
type(
  unit
)
"src/oasis/OASISUtils.ml" 405 10814 10818 "src/oasis/OASISUtils.ml" 405 10814 10830
type(
  (string -> string) -> string list -> string list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISUtils.ml" 405 10814 10831 "src/oasis/OASISUtils.ml" 405 10814 10846
type(
  string -> string
)
ident(
  int_ref unprotect_subst "src/oasis/OASISUtils.ml" 277 7371 7379 "src/oasis/OASISUtils.ml" 277 7371 7394
)
"src/oasis/OASISUtils.ml" 405 10814 10847 "src/oasis/OASISUtils.ml" 405 10814 10848
type(
  string list ref -> string list
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/oasis/OASISUtils.ml" 405 10814 10848 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list ref
)
ident(
  int_ref rargs "src/oasis/OASISUtils.ml" 371 9875 9883 "src/oasis/OASISUtils.ml" 371 9875 9888
)
"src/oasis/OASISUtils.ml" 405 10814 10847 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 405 10814 10818 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 375 9912 9916 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 371 9875 9879 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 367 9825 9829 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 347 9214 9218 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 337 8991 8995 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 329 8821 8825 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 313 8404 8408 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 301 8127 8131 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 277 7371 7375 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 258 6860 6864 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 254 6806 6810 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 245 6574 6578 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 242 6519 6523 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
"src/oasis/OASISUtils.ml" 239 6425 6429 "src/oasis/OASISUtils.ml" 405 10814 10853
type(
  string list
)
