"src/oasis/OASISExpr.ml" 44 1936 1940 "src/oasis/OASISExpr.ml" 44 1936 1944
type(
  (flag -> string) -> t -> bool
)
ident(
  def eval "src/oasis/OASISExpr.ml" 75 2451 2451 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 44 1936 1945 "src/oasis/OASISExpr.ml" 44 1936 1952
type(
  flag -> string
)
ident(
  def var_get "src/oasis/OASISExpr.ml" 44 1936 1953 "src/oasis/OASISExpr.ml" 72 2437 2448
)
"src/oasis/OASISExpr.ml" 44 1936 1953 "src/oasis/OASISExpr.ml" 44 1936 1954
type(
  t
)
ident(
  def t "src/oasis/OASISExpr.ml" 45 1957 1959 "src/oasis/OASISExpr.ml" 72 2437 2448
)
"src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
type(
  t -> bool
)
ident(
  def eval' "src/oasis/OASISExpr.ml" 45 1957 1959 "src/oasis/OASISExpr.ml" 72 2437 2448
)
"src/oasis/OASISExpr.ml" 47 1988 2002 "src/oasis/OASISExpr.ml" 47 1988 2003
type(
  bool
)
ident(
  def b "src/oasis/OASISExpr.ml" 48 2007 2017 "src/oasis/OASISExpr.ml" 48 2007 2018
)
"src/oasis/OASISExpr.ml" 47 1988 1996 "src/oasis/OASISExpr.ml" 47 1988 2003
type(
  t
)
"src/oasis/OASISExpr.ml" 48 2007 2017 "src/oasis/OASISExpr.ml" 48 2007 2018
type(
  bool
)
ident(
  int_ref b "src/oasis/OASISExpr.ml" 47 1988 2002 "src/oasis/OASISExpr.ml" 47 1988 2003
)
"src/oasis/OASISExpr.ml" 50 2020 2033 "src/oasis/OASISExpr.ml" 50 2020 2034
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 51 2038 2048 "src/oasis/OASISExpr.ml" 51 2038 2061
)
"src/oasis/OASISExpr.ml" 50 2020 2028 "src/oasis/OASISExpr.ml" 50 2020 2034
type(
  t
)
"src/oasis/OASISExpr.ml" 51 2038 2048 "src/oasis/OASISExpr.ml" 51 2038 2051
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISExpr.ml" 51 2038 2053 "src/oasis/OASISExpr.ml" 51 2038 2058
type(
  t -> bool
)
ident(
  int_ref eval' "src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
)
"src/oasis/OASISExpr.ml" 51 2038 2059 "src/oasis/OASISExpr.ml" 51 2038 2060
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 50 2020 2033 "src/oasis/OASISExpr.ml" 50 2020 2034
)
"src/oasis/OASISExpr.ml" 51 2038 2052 "src/oasis/OASISExpr.ml" 51 2038 2061
type(
  bool
)
"src/oasis/OASISExpr.ml" 51 2038 2048 "src/oasis/OASISExpr.ml" 51 2038 2061
type(
  bool
)
"src/oasis/OASISExpr.ml" 53 2063 2077 "src/oasis/OASISExpr.ml" 53 2063 2079
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 54 2088 2098 "src/oasis/OASISExpr.ml" 54 2088 2122
)
"src/oasis/OASISExpr.ml" 53 2063 2081 "src/oasis/OASISExpr.ml" 53 2063 2083
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 54 2088 2098 "src/oasis/OASISExpr.ml" 54 2088 2122
)
"src/oasis/OASISExpr.ml" 53 2063 2071 "src/oasis/OASISExpr.ml" 53 2063 2084
type(
  t
)
"src/oasis/OASISExpr.ml" 54 2088 2099 "src/oasis/OASISExpr.ml" 54 2088 2104
type(
  t -> bool
)
ident(
  int_ref eval' "src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
)
"src/oasis/OASISExpr.ml" 54 2088 2105 "src/oasis/OASISExpr.ml" 54 2088 2107
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 53 2063 2077 "src/oasis/OASISExpr.ml" 53 2063 2079
)
"src/oasis/OASISExpr.ml" 54 2088 2098 "src/oasis/OASISExpr.ml" 54 2088 2108
type(
  bool
)
"src/oasis/OASISExpr.ml" 54 2088 2109 "src/oasis/OASISExpr.ml" 54 2088 2111
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISExpr.ml" 54 2088 2113 "src/oasis/OASISExpr.ml" 54 2088 2118
type(
  t -> bool
)
ident(
  int_ref eval' "src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
)
"src/oasis/OASISExpr.ml" 54 2088 2119 "src/oasis/OASISExpr.ml" 54 2088 2121
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 53 2063 2081 "src/oasis/OASISExpr.ml" 53 2063 2083
)
"src/oasis/OASISExpr.ml" 54 2088 2112 "src/oasis/OASISExpr.ml" 54 2088 2122
type(
  bool
)
"src/oasis/OASISExpr.ml" 54 2088 2098 "src/oasis/OASISExpr.ml" 54 2088 2122
type(
  bool
)
"src/oasis/OASISExpr.ml" 56 2124 2137 "src/oasis/OASISExpr.ml" 56 2124 2139
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 57 2148 2158 "src/oasis/OASISExpr.ml" 57 2148 2182
)
"src/oasis/OASISExpr.ml" 56 2124 2141 "src/oasis/OASISExpr.ml" 56 2124 2143
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 57 2148 2158 "src/oasis/OASISExpr.ml" 57 2148 2182
)
"src/oasis/OASISExpr.ml" 56 2124 2132 "src/oasis/OASISExpr.ml" 56 2124 2144
type(
  t
)
"src/oasis/OASISExpr.ml" 57 2148 2159 "src/oasis/OASISExpr.ml" 57 2148 2164
type(
  t -> bool
)
ident(
  int_ref eval' "src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
)
"src/oasis/OASISExpr.ml" 57 2148 2165 "src/oasis/OASISExpr.ml" 57 2148 2167
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 56 2124 2137 "src/oasis/OASISExpr.ml" 56 2124 2139
)
"src/oasis/OASISExpr.ml" 57 2148 2158 "src/oasis/OASISExpr.ml" 57 2148 2168
type(
  bool
)
"src/oasis/OASISExpr.ml" 57 2148 2169 "src/oasis/OASISExpr.ml" 57 2148 2171
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISExpr.ml" 57 2148 2173 "src/oasis/OASISExpr.ml" 57 2148 2178
type(
  t -> bool
)
ident(
  int_ref eval' "src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
)
"src/oasis/OASISExpr.ml" 57 2148 2179 "src/oasis/OASISExpr.ml" 57 2148 2181
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 56 2124 2141 "src/oasis/OASISExpr.ml" 56 2124 2143
)
"src/oasis/OASISExpr.ml" 57 2148 2172 "src/oasis/OASISExpr.ml" 57 2148 2182
type(
  bool
)
"src/oasis/OASISExpr.ml" 57 2148 2158 "src/oasis/OASISExpr.ml" 57 2148 2182
type(
  bool
)
"src/oasis/OASISExpr.ml" 59 2184 2198 "src/oasis/OASISExpr.ml" 59 2184 2200
type(
  flag
)
ident(
  def nm "src/oasis/OASISExpr.ml" 60 2204 2214 "src/oasis/OASISExpr.ml" 64 2305 2329
)
"src/oasis/OASISExpr.ml" 59 2184 2192 "src/oasis/OASISExpr.ml" 59 2184 2200
type(
  t
)
"src/oasis/OASISExpr.ml" 60 2204 2218 "src/oasis/OASISExpr.ml" 60 2204 2219
type(
  string
)
ident(
  def v "src/oasis/OASISExpr.ml" 63 2258 2270 "src/oasis/OASISExpr.ml" 64 2305 2329
)
"src/oasis/OASISExpr.ml" 61 2222 2234 "src/oasis/OASISExpr.ml" 61 2222 2241
type(
  flag -> string
)
ident(
  int_ref var_get "src/oasis/OASISExpr.ml" 44 1936 1945 "src/oasis/OASISExpr.ml" 44 1936 1952
)
"src/oasis/OASISExpr.ml" 61 2222 2242 "src/oasis/OASISExpr.ml" 61 2222 2244
type(
  flag
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 59 2184 2198 "src/oasis/OASISExpr.ml" 59 2184 2200
)
"src/oasis/OASISExpr.ml" 61 2222 2234 "src/oasis/OASISExpr.ml" 61 2222 2244
type(
  string
)
"src/oasis/OASISExpr.ml" 63 2258 2277 "src/oasis/OASISExpr.ml" 63 2258 2278
type(
  string
)
ident(
  int_ref v "src/oasis/OASISExpr.ml" 60 2204 2218 "src/oasis/OASISExpr.ml" 60 2204 2219
)
"src/oasis/OASISExpr.ml" 63 2258 2279 "src/oasis/OASISExpr.ml" 63 2258 2280
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 63 2258 2281 "src/oasis/OASISExpr.ml" 63 2258 2287
type(
  string
)
"src/oasis/OASISExpr.ml" 63 2258 2277 "src/oasis/OASISExpr.ml" 63 2258 2287
type(
  bool
)
"src/oasis/OASISExpr.ml" 63 2258 2288 "src/oasis/OASISExpr.ml" 63 2258 2290
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( || ) "stdlib.mli" 227 9492 9492 "stdlib.mli" 227 9492 9542
)
"src/oasis/OASISExpr.ml" 63 2258 2291 "src/oasis/OASISExpr.ml" 63 2258 2292
type(
  string
)
ident(
  int_ref v "src/oasis/OASISExpr.ml" 60 2204 2218 "src/oasis/OASISExpr.ml" 60 2204 2219
)
"src/oasis/OASISExpr.ml" 63 2258 2293 "src/oasis/OASISExpr.ml" 63 2258 2294
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 63 2258 2295 "src/oasis/OASISExpr.ml" 63 2258 2302
type(
  string
)
"src/oasis/OASISExpr.ml" 63 2258 2291 "src/oasis/OASISExpr.ml" 63 2258 2302
type(
  bool
)
"src/oasis/OASISExpr.ml" 63 2258 2276 "src/oasis/OASISExpr.ml" 63 2258 2303
type(
  bool
)
"src/oasis/OASISExpr.ml" 63 2258 2270 "src/oasis/OASISExpr.ml" 63 2258 2303
type(
  unit
)
"src/oasis/OASISExpr.ml" 64 2305 2318 "src/oasis/OASISExpr.ml" 64 2305 2319
type(
  string
)
ident(
  int_ref v "src/oasis/OASISExpr.ml" 60 2204 2218 "src/oasis/OASISExpr.ml" 60 2204 2219
)
"src/oasis/OASISExpr.ml" 64 2305 2320 "src/oasis/OASISExpr.ml" 64 2305 2321
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 64 2305 2322 "src/oasis/OASISExpr.ml" 64 2305 2328
type(
  string
)
"src/oasis/OASISExpr.ml" 64 2305 2317 "src/oasis/OASISExpr.ml" 64 2305 2329
type(
  bool
)
"src/oasis/OASISExpr.ml" 63 2258 2270 "src/oasis/OASISExpr.ml" 64 2305 2329
type(
  bool
)
"src/oasis/OASISExpr.ml" 60 2204 2214 "src/oasis/OASISExpr.ml" 64 2305 2329
type(
  bool
)
"src/oasis/OASISExpr.ml" 66 2331 2346 "src/oasis/OASISExpr.ml" 66 2331 2348
type(
  test
)
ident(
  def nm "src/oasis/OASISExpr.ml" 67 2357 2367 "src/oasis/OASISExpr.ml" 70 2411 2431
)
"src/oasis/OASISExpr.ml" 66 2331 2350 "src/oasis/OASISExpr.ml" 66 2331 2352
type(
  string
)
ident(
  def vl "src/oasis/OASISExpr.ml" 67 2357 2367 "src/oasis/OASISExpr.ml" 70 2411 2431
)
"src/oasis/OASISExpr.ml" 66 2331 2339 "src/oasis/OASISExpr.ml" 66 2331 2353
type(
  t
)
"src/oasis/OASISExpr.ml" 67 2357 2371 "src/oasis/OASISExpr.ml" 67 2357 2372
type(
  string
)
ident(
  def v "src/oasis/OASISExpr.ml" 70 2411 2423 "src/oasis/OASISExpr.ml" 70 2411 2431
)
"src/oasis/OASISExpr.ml" 68 2375 2387 "src/oasis/OASISExpr.ml" 68 2375 2394
type(
  flag -> string
)
ident(
  int_ref var_get "src/oasis/OASISExpr.ml" 44 1936 1945 "src/oasis/OASISExpr.ml" 44 1936 1952
)
"src/oasis/OASISExpr.ml" 68 2375 2395 "src/oasis/OASISExpr.ml" 68 2375 2397
type(
  test
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 66 2331 2346 "src/oasis/OASISExpr.ml" 66 2331 2348
)
"src/oasis/OASISExpr.ml" 68 2375 2387 "src/oasis/OASISExpr.ml" 68 2375 2397
type(
  string
)
"src/oasis/OASISExpr.ml" 70 2411 2424 "src/oasis/OASISExpr.ml" 70 2411 2425
type(
  string
)
ident(
  int_ref v "src/oasis/OASISExpr.ml" 67 2357 2371 "src/oasis/OASISExpr.ml" 67 2357 2372
)
"src/oasis/OASISExpr.ml" 70 2411 2426 "src/oasis/OASISExpr.ml" 70 2411 2427
type(
  string -> string -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 70 2411 2428 "src/oasis/OASISExpr.ml" 70 2411 2430
type(
  string
)
ident(
  int_ref vl "src/oasis/OASISExpr.ml" 66 2331 2350 "src/oasis/OASISExpr.ml" 66 2331 2352
)
"src/oasis/OASISExpr.ml" 70 2411 2423 "src/oasis/OASISExpr.ml" 70 2411 2431
type(
  bool
)
"src/oasis/OASISExpr.ml" 67 2357 2367 "src/oasis/OASISExpr.ml" 70 2411 2431
type(
  bool
)
"src/oasis/OASISExpr.ml" 46 1975 1979 "src/oasis/OASISExpr.ml" 70 2411 2431
type(
  t -> bool
)
"src/oasis/OASISExpr.ml" 72 2437 2441 "src/oasis/OASISExpr.ml" 72 2437 2446
type(
  t -> bool
)
ident(
  int_ref eval' "src/oasis/OASISExpr.ml" 45 1957 1967 "src/oasis/OASISExpr.ml" 45 1957 1972
)
"src/oasis/OASISExpr.ml" 72 2437 2447 "src/oasis/OASISExpr.ml" 72 2437 2448
type(
  t
)
ident(
  int_ref t "src/oasis/OASISExpr.ml" 44 1936 1953 "src/oasis/OASISExpr.ml" 44 1936 1954
)
"src/oasis/OASISExpr.ml" 72 2437 2441 "src/oasis/OASISExpr.ml" 72 2437 2448
type(
  bool
)
"src/oasis/OASISExpr.ml" 45 1957 1959 "src/oasis/OASISExpr.ml" 72 2437 2448
type(
  bool
)
"src/oasis/OASISExpr.ml" 75 2451 2455 "src/oasis/OASISExpr.ml" 75 2451 2461
type(
  ?printer:('a -> string) ->
  ?name:string -> (flag -> string) -> (t * 'a) list -> 'a
)
ident(
  def choose "src/oasis/OASISExpr.ml" 115 3507 3507 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 75 2451 2463 "src/oasis/OASISExpr.ml" 75 2451 2470
type(
  ('a -> string) option
)
ident(
  def printer "src/oasis/OASISExpr.ml" 75 2451 2471 "src/oasis/OASISExpr.ml" 109 3456 3485
)
"src/oasis/OASISExpr.ml" 75 2451 2472 "src/oasis/OASISExpr.ml" 75 2451 2476
type(
  string option
)
ident(
  def name "src/oasis/OASISExpr.ml" 75 2451 2477 "src/oasis/OASISExpr.ml" 109 3456 3485
)
"src/oasis/OASISExpr.ml" 75 2451 2477 "src/oasis/OASISExpr.ml" 75 2451 2484
type(
  flag -> string
)
ident(
  def var_get "src/oasis/OASISExpr.ml" 75 2451 2485 "src/oasis/OASISExpr.ml" 109 3456 3485
)
"src/oasis/OASISExpr.ml" 75 2451 2485 "src/oasis/OASISExpr.ml" 75 2451 2488
type(
  (t * 'a) list
)
ident(
  def lst "src/oasis/OASISExpr.ml" 76 2491 2493 "src/oasis/OASISExpr.ml" 109 3456 3485
)
"src/oasis/OASISExpr.ml" 76 2491 2501 "src/oasis/OASISExpr.ml" 76 2491 2511
type(
  (t * 'b) list -> 'b
)
ident(
  def choose_aux "src/oasis/OASISExpr.ml" 76 2491 2493 "src/oasis/OASISExpr.ml" 109 3456 3485
)
"src/oasis/OASISExpr.ml" 78 2527 2536 "src/oasis/OASISExpr.ml" 78 2527 2540
type(
  t
)
ident(
  def cond "src/oasis/OASISExpr.ml" 79 2555 2565 "src/oasis/OASISExpr.ml" 82 2621 2646
)
"src/oasis/OASISExpr.ml" 78 2527 2542 "src/oasis/OASISExpr.ml" 78 2527 2544
type(
  'b
)
ident(
  def vl "src/oasis/OASISExpr.ml" 79 2555 2565 "src/oasis/OASISExpr.ml" 82 2621 2646
)
"src/oasis/OASISExpr.ml" 78 2527 2535 "src/oasis/OASISExpr.ml" 78 2527 2545
type(
  t * 'b
)
"src/oasis/OASISExpr.ml" 78 2527 2549 "src/oasis/OASISExpr.ml" 78 2527 2551
type(
  (t * 'b) list
)
ident(
  def tl "src/oasis/OASISExpr.ml" 79 2555 2565 "src/oasis/OASISExpr.ml" 82 2621 2646
)
"src/oasis/OASISExpr.ml" 78 2527 2535 "src/oasis/OASISExpr.ml" 78 2527 2551
type(
  (t * 'b) list
)
"src/oasis/OASISExpr.ml" 79 2555 2568 "src/oasis/OASISExpr.ml" 79 2555 2572
type(
  (flag -> string) -> t -> bool
)
ident(
  int_ref eval "src/oasis/OASISExpr.ml" 44 1936 1940 "src/oasis/OASISExpr.ml" 44 1936 1944
)
"src/oasis/OASISExpr.ml" 79 2555 2573 "src/oasis/OASISExpr.ml" 79 2555 2580
type(
  flag -> string
)
ident(
  int_ref var_get "src/oasis/OASISExpr.ml" 75 2451 2477 "src/oasis/OASISExpr.ml" 75 2451 2484
)
"src/oasis/OASISExpr.ml" 79 2555 2581 "src/oasis/OASISExpr.ml" 79 2555 2585
type(
  t
)
ident(
  int_ref cond "src/oasis/OASISExpr.ml" 78 2527 2536 "src/oasis/OASISExpr.ml" 78 2527 2540
)
"src/oasis/OASISExpr.ml" 79 2555 2568 "src/oasis/OASISExpr.ml" 79 2555 2585
type(
  bool
)
"src/oasis/OASISExpr.ml" 80 2591 2603 "src/oasis/OASISExpr.ml" 80 2591 2605
type(
  'b
)
ident(
  int_ref vl "src/oasis/OASISExpr.ml" 78 2527 2542 "src/oasis/OASISExpr.ml" 78 2527 2544
)
"src/oasis/OASISExpr.ml" 82 2621 2633 "src/oasis/OASISExpr.ml" 82 2621 2643
type(
  (t * 'b) list -> 'b
)
ident(
  int_ref choose_aux "src/oasis/OASISExpr.ml" 76 2491 2501 "src/oasis/OASISExpr.ml" 76 2491 2511
)
"src/oasis/OASISExpr.ml" 82 2621 2644 "src/oasis/OASISExpr.ml" 82 2621 2646
type(
  (t * 'b) list
)
ident(
  int_ref tl "src/oasis/OASISExpr.ml" 78 2527 2549 "src/oasis/OASISExpr.ml" 78 2527 2551
)
"src/oasis/OASISExpr.ml" 82 2621 2633 "src/oasis/OASISExpr.ml" 82 2621 2646
type(
  'b
)
"src/oasis/OASISExpr.ml" 79 2555 2565 "src/oasis/OASISExpr.ml" 82 2621 2646
type(
  'b
)
"src/oasis/OASISExpr.ml" 83 2647 2655 "src/oasis/OASISExpr.ml" 83 2647 2657
type(
  (t * 'b) list
)
"src/oasis/OASISExpr.ml" 84 2661 2675 "src/oasis/OASISExpr.ml" 84 2661 2682
type(
  string
)
ident(
  def str_lst "src/oasis/OASISExpr.ml" 97 3048 3060 "src/oasis/OASISExpr.ml" 107 3419 3450
)
"src/oasis/OASISExpr.ml" 85 2685 2700 "src/oasis/OASISExpr.ml" 85 2685 2703
type(
  (t * 'a) list
)
ident(
  int_ref lst "src/oasis/OASISExpr.ml" 75 2451 2485 "src/oasis/OASISExpr.ml" 75 2451 2488
)
"src/oasis/OASISExpr.ml" 85 2685 2704 "src/oasis/OASISExpr.ml" 85 2685 2705
type(
  (t * 'a) list -> (t * 'a) list -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 85 2685 2706 "src/oasis/OASISExpr.ml" 85 2685 2708
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 85 2685 2700 "src/oasis/OASISExpr.ml" 85 2685 2708
type(
  bool
)
"src/oasis/OASISExpr.ml" 86 2714 2728 "src/oasis/OASISExpr.ml" 86 2714 2730
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISExpr.ml" 86 2714 2731 "src/oasis/OASISExpr.ml" 86 2714 2740
type(
  string
)
"src/oasis/OASISExpr.ml" 86 2714 2728 "src/oasis/OASISExpr.ml" 86 2714 2740
type(
  string
)
"src/oasis/OASISExpr.ml" 88 2758 2772 "src/oasis/OASISExpr.ml" 88 2758 2785
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISExpr.ml" 89 2786 2803 "src/oasis/OASISExpr.ml" 89 2786 2805
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISExpr.ml" 89 2786 2806 "src/oasis/OASISExpr.ml" 89 2786 2810
type(
  string
)
"src/oasis/OASISExpr.ml" 89 2786 2802 "src/oasis/OASISExpr.ml" 89 2786 2811
type(
  string
)
"src/oasis/OASISExpr.ml" 90 2812 2829 "src/oasis/OASISExpr.ml" 90 2812 2837
type(
  (t * 'a -> string) -> (t * 'a) list -> string list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISExpr.ml" 91 2838 2863 "src/oasis/OASISExpr.ml" 91 2838 2867
type(
  t
)
ident(
  def cond "src/oasis/OASISExpr.ml" 92 2876 2898 "src/oasis/OASISExpr.ml" 94 2958 3009
)
"src/oasis/OASISExpr.ml" 91 2838 2869 "src/oasis/OASISExpr.ml" 91 2838 2871
type(
  'a
)
ident(
  def vl "src/oasis/OASISExpr.ml" 92 2876 2898 "src/oasis/OASISExpr.ml" 94 2958 3009
)
"src/oasis/OASISExpr.ml" 91 2838 2862 "src/oasis/OASISExpr.ml" 91 2838 2872
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 92 2876 2904 "src/oasis/OASISExpr.ml" 92 2876 2911
type(
  ('a -> string) option
)
ident(
  int_ref printer "src/oasis/OASISExpr.ml" 75 2451 2463 "src/oasis/OASISExpr.ml" 75 2451 2470
)
"src/oasis/OASISExpr.ml" 93 2917 2948 "src/oasis/OASISExpr.ml" 93 2917 2949
type(
  'a -> string
)
ident(
  def p "src/oasis/OASISExpr.ml" 93 2917 2953 "src/oasis/OASISExpr.ml" 93 2917 2957
)
"src/oasis/OASISExpr.ml" 93 2917 2943 "src/oasis/OASISExpr.ml" 93 2917 2949
type(
  ('a -> string) option
)
type(
  ('a -> string) option
)
"src/oasis/OASISExpr.ml" 93 2917 2953 "src/oasis/OASISExpr.ml" 93 2917 2954
type(
  'a -> string
)
ident(
  int_ref p "src/oasis/OASISExpr.ml" 93 2917 2948 "src/oasis/OASISExpr.ml" 93 2917 2949
)
"src/oasis/OASISExpr.ml" 93 2917 2955 "src/oasis/OASISExpr.ml" 93 2917 2957
type(
  'a
)
ident(
  int_ref vl "src/oasis/OASISExpr.ml" 91 2838 2869 "src/oasis/OASISExpr.ml" 91 2838 2871
)
"src/oasis/OASISExpr.ml" 93 2917 2953 "src/oasis/OASISExpr.ml" 93 2917 2957
type(
  string
)
"src/oasis/OASISExpr.ml" 94 2958 2984 "src/oasis/OASISExpr.ml" 94 2958 2988
type(
  ('a -> string) option
)
type(
  ('a -> string) option
)
"src/oasis/OASISExpr.ml" 94 2958 2992 "src/oasis/OASISExpr.ml" 94 2958 2994
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/oasis/OASISExpr.ml" 94 2958 2995 "src/oasis/OASISExpr.ml" 94 2958 3009
type(
  string
)
"src/oasis/OASISExpr.ml" 94 2958 2992 "src/oasis/OASISExpr.ml" 94 2958 3009
type(
  string
)
"src/oasis/OASISExpr.ml" 92 2876 2898 "src/oasis/OASISExpr.ml" 94 2958 3009
type(
  string
)
"src/oasis/OASISExpr.ml" 91 2838 2857 "src/oasis/OASISExpr.ml" 94 2958 3010
type(
  t * 'a -> string
)
"src/oasis/OASISExpr.ml" 95 3011 3030 "src/oasis/OASISExpr.ml" 95 3011 3033
type(
  (t * 'a) list
)
ident(
  int_ref lst "src/oasis/OASISExpr.ml" 75 2451 2485 "src/oasis/OASISExpr.ml" 75 2451 2488
)
"src/oasis/OASISExpr.ml" 90 2812 2828 "src/oasis/OASISExpr.ml" 95 3011 3034
type(
  string list
)
"src/oasis/OASISExpr.ml" 88 2758 2772 "src/oasis/OASISExpr.ml" 95 3011 3034
type(
  string
)
"src/oasis/OASISExpr.ml" 85 2685 2697 "src/oasis/OASISExpr.ml" 95 3011 3034
type(
  string
)
"src/oasis/OASISExpr.ml" 97 3048 3066 "src/oasis/OASISExpr.ml" 97 3048 3070
type(
  string option
)
ident(
  int_ref name "src/oasis/OASISExpr.ml" 75 2451 2472 "src/oasis/OASISExpr.ml" 75 2451 2476
)
"src/oasis/OASISExpr.ml" 98 3076 3097 "src/oasis/OASISExpr.ml" 98 3076 3099
type(
  string
)
ident(
  def nm "src/oasis/OASISExpr.ml" 99 3103 3121 "src/oasis/OASISExpr.ml" 102 3235 3269
)
"src/oasis/OASISExpr.ml" 98 3076 3092 "src/oasis/OASISExpr.ml" 98 3076 3099
type(
  string option
)
type(
  string option
)
"src/oasis/OASISExpr.ml" 99 3103 3121 "src/oasis/OASISExpr.ml" 99 3103 3129
type(
  string -> 'b
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/OASISExpr.ml" 100 3130 3151 "src/oasis/OASISExpr.ml" 100 3130 3165
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/OASISExpr.ml" 101 3166 3190 "src/oasis/OASISExpr.ml" 101 3166 3192
type(
  (string -> string -> string, unit, string, string) format4 ->
  (string -> 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/OASISExpr.ml" 101 3166 3193 "src/oasis/OASISExpr.ml" 101 3166 3233
type(
  (string -> string -> string, unit, string, string) format4
)
"src/oasis/OASISExpr.ml" 101 3166 3189 "src/oasis/OASISExpr.ml" 101 3166 3234
type(
  (string -> string -> string, unit, string, string) format4
)
"src/oasis/OASISExpr.ml" 102 3235 3258 "src/oasis/OASISExpr.ml" 102 3235 3260
type(
  string
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 98 3076 3097 "src/oasis/OASISExpr.ml" 98 3076 3099
)
"src/oasis/OASISExpr.ml" 102 3235 3261 "src/oasis/OASISExpr.ml" 102 3235 3268
type(
  string
)
ident(
  int_ref str_lst "src/oasis/OASISExpr.ml" 84 2661 2675 "src/oasis/OASISExpr.ml" 84 2661 2682
)
"src/oasis/OASISExpr.ml" 100 3130 3150 "src/oasis/OASISExpr.ml" 102 3235 3269
type(
  string
)
"src/oasis/OASISExpr.ml" 99 3103 3121 "src/oasis/OASISExpr.ml" 102 3235 3269
type(
  'b
)
"src/oasis/OASISExpr.ml" 103 3270 3286 "src/oasis/OASISExpr.ml" 103 3270 3290
type(
  string option
)
type(
  string option
)
"src/oasis/OASISExpr.ml" 104 3294 3312 "src/oasis/OASISExpr.ml" 104 3294 3320
type(
  string -> 'b
)
ident(
  int_ref Stdlib.failwith "stdlib.mli" 41 1919 1919 "stdlib.mli" 41 1919 1946
)
"src/oasis/OASISExpr.ml" 105 3321 3342 "src/oasis/OASISExpr.ml" 105 3321 3356
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISExpr.ml" 106 3357 3381 "src/oasis/OASISExpr.ml" 106 3357 3383
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/OASISExpr.ml" 106 3357 3384 "src/oasis/OASISExpr.ml" 106 3357 3417
type(
  (string -> string, unit, string, string) format4
)
"src/oasis/OASISExpr.ml" 106 3357 3380 "src/oasis/OASISExpr.ml" 106 3357 3418
type(
  (string -> string, unit, string, string) format4
)
"src/oasis/OASISExpr.ml" 107 3419 3442 "src/oasis/OASISExpr.ml" 107 3419 3449
type(
  string
)
ident(
  int_ref str_lst "src/oasis/OASISExpr.ml" 84 2661 2675 "src/oasis/OASISExpr.ml" 84 2661 2682
)
"src/oasis/OASISExpr.ml" 105 3321 3341 "src/oasis/OASISExpr.ml" 107 3419 3450
type(
  string
)
"src/oasis/OASISExpr.ml" 104 3294 3312 "src/oasis/OASISExpr.ml" 107 3419 3450
type(
  'b
)
"src/oasis/OASISExpr.ml" 97 3048 3060 "src/oasis/OASISExpr.ml" 107 3419 3450
type(
  'b
)
"src/oasis/OASISExpr.ml" 84 2661 2671 "src/oasis/OASISExpr.ml" 107 3419 3450
type(
  'b
)
"src/oasis/OASISExpr.ml" 77 2514 2518 "src/oasis/OASISExpr.ml" 107 3419 3450
type(
  (t * 'b) list -> 'b
)
"src/oasis/OASISExpr.ml" 109 3456 3460 "src/oasis/OASISExpr.ml" 109 3456 3470
type(
  (t * 'a) list -> 'a
)
ident(
  int_ref choose_aux "src/oasis/OASISExpr.ml" 76 2491 2501 "src/oasis/OASISExpr.ml" 76 2491 2511
)
"src/oasis/OASISExpr.ml" 109 3456 3472 "src/oasis/OASISExpr.ml" 109 3456 3480
type(
  (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISExpr.ml" 109 3456 3481 "src/oasis/OASISExpr.ml" 109 3456 3484
type(
  (t * 'a) list
)
ident(
  int_ref lst "src/oasis/OASISExpr.ml" 75 2451 2485 "src/oasis/OASISExpr.ml" 75 2451 2488
)
"src/oasis/OASISExpr.ml" 109 3456 3471 "src/oasis/OASISExpr.ml" 109 3456 3485
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 109 3456 3460 "src/oasis/OASISExpr.ml" 109 3456 3485
type(
  'a
)
"src/oasis/OASISExpr.ml" 76 2491 2493 "src/oasis/OASISExpr.ml" 109 3456 3485
type(
  'a
)
"src/oasis/OASISExpr.ml" 115 3507 3511 "src/oasis/OASISExpr.ml" 115 3507 3516
type(
  string list
)
ident(
  def tests "src/oasis/OASISExpr.ml" 125 3617 3617 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 117 3523 3527 "src/oasis/OASISExpr.ml" 117 3523 3536
type(
  string
)
"src/oasis/OASISExpr.ml" 118 3538 3542 "src/oasis/OASISExpr.ml" 118 3538 3550
type(
  string
)
"src/oasis/OASISExpr.ml" 119 3552 3556 "src/oasis/OASISExpr.ml" 119 3552 3570
type(
  string
)
"src/oasis/OASISExpr.ml" 120 3572 3576 "src/oasis/OASISExpr.ml" 120 3572 3588
type(
  string
)
"src/oasis/OASISExpr.ml" 121 3590 3594 "src/oasis/OASISExpr.ml" 121 3590 3609
type(
  string
)
"src/oasis/OASISExpr.ml" 116 3519 3521 "src/oasis/OASISExpr.ml" 122 3611 3614
type(
  string list
)
"src/oasis/OASISExpr.ml" 125 3617 3621 "src/oasis/OASISExpr.ml" 125 3617 3635
type(
  'a -> 'a
)
ident(
  def test_of_string "src/oasis/OASISExpr.ml" 130 3696 3696 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 125 3617 3636 "src/oasis/OASISExpr.ml" 125 3617 3639
type(
  'a
)
ident(
  def str "src/oasis/OASISExpr.ml" 127 3688 3690 "src/oasis/OASISExpr.ml" 127 3688 3693
)
"src/oasis/OASISExpr.ml" 127 3688 3690 "src/oasis/OASISExpr.ml" 127 3688 3693
type(
  'a
)
ident(
  int_ref str "src/oasis/OASISExpr.ml" 125 3617 3636 "src/oasis/OASISExpr.ml" 125 3617 3639
)
"src/oasis/OASISExpr.ml" 130 3696 3700 "src/oasis/OASISExpr.ml" 130 3696 3714
type(
  'a -> 'a
)
ident(
  def string_of_test "src/oasis/OASISExpr.ml" 134 3725 3725 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 130 3696 3715 "src/oasis/OASISExpr.ml" 130 3696 3716
type(
  'a
)
ident(
  def t "src/oasis/OASISExpr.ml" 131 3719 3721 "src/oasis/OASISExpr.ml" 131 3719 3722
)
"src/oasis/OASISExpr.ml" 131 3719 3721 "src/oasis/OASISExpr.ml" 131 3719 3722
type(
  'a
)
ident(
  int_ref t "src/oasis/OASISExpr.ml" 130 3696 3715 "src/oasis/OASISExpr.ml" 130 3696 3716
)
"src/oasis/OASISExpr.ml" 134 3725 3729 "src/oasis/OASISExpr.ml" 134 3725 3734
type(
  string list -> t -> unit
)
ident(
  def check "src/oasis/OASISExpr.ml" 153 4211 4211 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 134 3725 3735 "src/oasis/OASISExpr.ml" 134 3725 3746
type(
  string list
)
ident(
  def valid_flags "src/oasis/OASISExpr.ml" 135 3749 3751 "src/oasis/OASISExpr.ml" 150 4183 4208
)
"src/oasis/OASISExpr.ml" 135 3749 3759 "src/oasis/OASISExpr.ml" 135 3749 3768
type(
  string list -> t -> unit
)
ident(
  def check_aux "src/oasis/OASISExpr.ml" 135 3749 3751 "src/oasis/OASISExpr.ml" 150 4183 4208
)
"src/oasis/OASISExpr.ml" 135 3749 3769 "src/oasis/OASISExpr.ml" 135 3749 3780
type(
  string list
)
ident(
  def valid_flags "src/oasis/OASISExpr.ml" 136 3783 3787 "src/oasis/OASISExpr.ml" 148 4165 4177
)
"src/oasis/OASISExpr.ml" 137 3796 3810 "src/oasis/OASISExpr.ml" 137 3796 3811
type(
  bool
)
"src/oasis/OASISExpr.ml" 137 3796 3804 "src/oasis/OASISExpr.ml" 137 3796 3811
type(
  t
)
"src/oasis/OASISExpr.ml" 138 3815 3825 "src/oasis/OASISExpr.ml" 138 3815 3827
type(
  unit
)
"src/oasis/OASISExpr.ml" 139 3828 3841 "src/oasis/OASISExpr.ml" 139 3828 3842
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 140 3846 3856 "src/oasis/OASISExpr.ml" 140 3846 3879
)
"src/oasis/OASISExpr.ml" 139 3828 3836 "src/oasis/OASISExpr.ml" 139 3828 3842
type(
  t
)
"src/oasis/OASISExpr.ml" 140 3846 3856 "src/oasis/OASISExpr.ml" 140 3846 3865
type(
  string list -> t -> unit
)
ident(
  int_ref check_aux "src/oasis/OASISExpr.ml" 135 3749 3759 "src/oasis/OASISExpr.ml" 135 3749 3768
)
"src/oasis/OASISExpr.ml" 140 3846 3866 "src/oasis/OASISExpr.ml" 140 3846 3877
type(
  string list
)
ident(
  int_ref valid_flags "src/oasis/OASISExpr.ml" 135 3749 3769 "src/oasis/OASISExpr.ml" 135 3749 3780
)
"src/oasis/OASISExpr.ml" 140 3846 3878 "src/oasis/OASISExpr.ml" 140 3846 3879
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 139 3828 3841 "src/oasis/OASISExpr.ml" 139 3828 3842
)
"src/oasis/OASISExpr.ml" 140 3846 3856 "src/oasis/OASISExpr.ml" 140 3846 3879
type(
  unit
)
"src/oasis/OASISExpr.ml" 141 3880 3894 "src/oasis/OASISExpr.ml" 141 3880 3896
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 143 3956 3990
)
"src/oasis/OASISExpr.ml" 141 3880 3898 "src/oasis/OASISExpr.ml" 141 3880 3900
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 143 3956 3990
)
"src/oasis/OASISExpr.ml" 141 3880 3888 "src/oasis/OASISExpr.ml" 141 3880 3901
type(
  t
)
"src/oasis/OASISExpr.ml" 141 3880 3909 "src/oasis/OASISExpr.ml" 141 3880 3911
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 143 3956 3990
)
"src/oasis/OASISExpr.ml" 141 3880 3913 "src/oasis/OASISExpr.ml" 141 3880 3915
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 143 3956 3990
)
"src/oasis/OASISExpr.ml" 141 3880 3904 "src/oasis/OASISExpr.ml" 141 3880 3916
type(
  t
)
"src/oasis/OASISExpr.ml" 141 3880 3888 "src/oasis/OASISExpr.ml" 141 3880 3916
type(
  t
)
"src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 142 3920 3939
type(
  string list -> t -> unit
)
ident(
  int_ref check_aux "src/oasis/OASISExpr.ml" 135 3749 3759 "src/oasis/OASISExpr.ml" 135 3749 3768
)
"src/oasis/OASISExpr.ml" 142 3920 3940 "src/oasis/OASISExpr.ml" 142 3920 3951
type(
  string list
)
ident(
  int_ref valid_flags "src/oasis/OASISExpr.ml" 135 3749 3769 "src/oasis/OASISExpr.ml" 135 3749 3780
)
"src/oasis/OASISExpr.ml" 142 3920 3952 "src/oasis/OASISExpr.ml" 142 3920 3954
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 141 3880 3894 "src/oasis/OASISExpr.ml" 141 3880 3896
)
"src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 142 3920 3954
type(
  unit
)
"src/oasis/OASISExpr.ml" 143 3956 3966 "src/oasis/OASISExpr.ml" 143 3956 3975
type(
  string list -> t -> unit
)
ident(
  int_ref check_aux "src/oasis/OASISExpr.ml" 135 3749 3759 "src/oasis/OASISExpr.ml" 135 3749 3768
)
"src/oasis/OASISExpr.ml" 143 3956 3976 "src/oasis/OASISExpr.ml" 143 3956 3987
type(
  string list
)
ident(
  int_ref valid_flags "src/oasis/OASISExpr.ml" 135 3749 3769 "src/oasis/OASISExpr.ml" 135 3749 3780
)
"src/oasis/OASISExpr.ml" 143 3956 3988 "src/oasis/OASISExpr.ml" 143 3956 3990
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 141 3880 3898 "src/oasis/OASISExpr.ml" 141 3880 3900
)
"src/oasis/OASISExpr.ml" 143 3956 3966 "src/oasis/OASISExpr.ml" 143 3956 3990
type(
  unit
)
"src/oasis/OASISExpr.ml" 142 3920 3930 "src/oasis/OASISExpr.ml" 143 3956 3990
type(
  unit
)
"src/oasis/OASISExpr.ml" 144 3991 4005 "src/oasis/OASISExpr.ml" 144 3991 4007
type(
  flag
)
ident(
  def nm "src/oasis/OASISExpr.ml" 145 4011 4021 "src/oasis/OASISExpr.ml" 146 4091 4140
)
"src/oasis/OASISExpr.ml" 144 3991 3999 "src/oasis/OASISExpr.ml" 144 3991 4007
type(
  t
)
"src/oasis/OASISExpr.ml" 145 4011 4024 "src/oasis/OASISExpr.ml" 145 4011 4027
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISExpr.ml" 145 4011 4029 "src/oasis/OASISExpr.ml" 145 4011 4040
type(
  (string -> bool) -> string list -> bool
)
ident(
  int_ref Stdlib.List.exists "list.mli" 272 9272 9272 "list.mli" 272 9272 9316
)
"src/oasis/OASISExpr.ml" 145 4011 4046 "src/oasis/OASISExpr.ml" 145 4011 4047
type(
  string
)
ident(
  def s "src/oasis/OASISExpr.ml" 145 4011 4051 "src/oasis/OASISExpr.ml" 145 4011 4071
)
"src/oasis/OASISExpr.ml" 145 4011 4051 "src/oasis/OASISExpr.ml" 145 4011 4062
type(
  flag -> string -> int
)
ident(
  int_ref OASISUtils.compare_csl "src/oasis/OASISUtils.mli" 147 4598 4598 "src/oasis/OASISUtils.mli" 147 4598 4638
)
"src/oasis/OASISExpr.ml" 145 4011 4063 "src/oasis/OASISExpr.ml" 145 4011 4065
type(
  flag
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 144 3991 4005 "src/oasis/OASISExpr.ml" 144 3991 4007
)
"src/oasis/OASISExpr.ml" 145 4011 4066 "src/oasis/OASISExpr.ml" 145 4011 4067
type(
  string
)
ident(
  int_ref s "src/oasis/OASISExpr.ml" 145 4011 4046 "src/oasis/OASISExpr.ml" 145 4011 4047
)
"src/oasis/OASISExpr.ml" 145 4011 4051 "src/oasis/OASISExpr.ml" 145 4011 4067
type(
  int
)
"src/oasis/OASISExpr.ml" 145 4011 4068 "src/oasis/OASISExpr.ml" 145 4011 4069
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 145 4011 4070 "src/oasis/OASISExpr.ml" 145 4011 4071
type(
  int
)
"src/oasis/OASISExpr.ml" 145 4011 4051 "src/oasis/OASISExpr.ml" 145 4011 4071
type(
  bool
)
"src/oasis/OASISExpr.ml" 145 4011 4041 "src/oasis/OASISExpr.ml" 145 4011 4072
type(
  string -> bool
)
"src/oasis/OASISExpr.ml" 145 4011 4073 "src/oasis/OASISExpr.ml" 145 4011 4084
type(
  string list
)
ident(
  int_ref valid_flags "src/oasis/OASISExpr.ml" 135 3749 3769 "src/oasis/OASISExpr.ml" 135 3749 3780
)
"src/oasis/OASISExpr.ml" 145 4011 4028 "src/oasis/OASISExpr.ml" 145 4011 4085
type(
  bool
)
"src/oasis/OASISExpr.ml" 145 4011 4024 "src/oasis/OASISExpr.ml" 145 4011 4085
type(
  bool
)
"src/oasis/OASISExpr.ml" 146 4091 4103 "src/oasis/OASISExpr.ml" 146 4091 4112
type(
  (flag -> unit, unit, string, unit) format4 -> flag -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/oasis/OASISExpr.ml" 146 4091 4114 "src/oasis/OASISExpr.ml" 146 4091 4116
type(
  (flag -> unit, unit, string, unit) format4 ->
  (flag -> 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/OASISExpr.ml" 146 4091 4117 "src/oasis/OASISExpr.ml" 146 4091 4136
type(
  (flag -> unit, unit, string, unit) format4
)
"src/oasis/OASISExpr.ml" 146 4091 4113 "src/oasis/OASISExpr.ml" 146 4091 4137
type(
  (flag -> unit, unit, string, unit) format4
)
"src/oasis/OASISExpr.ml" 146 4091 4138 "src/oasis/OASISExpr.ml" 146 4091 4140
type(
  flag
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 144 3991 4005 "src/oasis/OASISExpr.ml" 144 3991 4007
)
"src/oasis/OASISExpr.ml" 146 4091 4103 "src/oasis/OASISExpr.ml" 146 4091 4140
type(
  unit
)
"src/oasis/OASISExpr.ml" 145 4011 4021 "src/oasis/OASISExpr.ml" 146 4091 4140
type(
  unit
)
"src/oasis/OASISExpr.ml" 147 4141 4156 "src/oasis/OASISExpr.ml" 147 4141 4157
type(
  test
)
"src/oasis/OASISExpr.ml" 147 4141 4159 "src/oasis/OASISExpr.ml" 147 4141 4160
type(
  string
)
"src/oasis/OASISExpr.ml" 147 4141 4149 "src/oasis/OASISExpr.ml" 147 4141 4161
type(
  t
)
"src/oasis/OASISExpr.ml" 148 4165 4175 "src/oasis/OASISExpr.ml" 148 4165 4177
type(
  unit
)
"src/oasis/OASISExpr.ml" 136 3783 3787 "src/oasis/OASISExpr.ml" 148 4165 4177
type(
  t -> unit
)
"src/oasis/OASISExpr.ml" 150 4183 4187 "src/oasis/OASISExpr.ml" 150 4183 4196
type(
  string list -> t -> unit
)
ident(
  int_ref check_aux "src/oasis/OASISExpr.ml" 135 3749 3759 "src/oasis/OASISExpr.ml" 135 3749 3768
)
"src/oasis/OASISExpr.ml" 150 4183 4197 "src/oasis/OASISExpr.ml" 150 4183 4208
type(
  string list
)
ident(
  int_ref valid_flags "src/oasis/OASISExpr.ml" 134 3725 3735 "src/oasis/OASISExpr.ml" 134 3725 3746
)
"src/oasis/OASISExpr.ml" 150 4183 4187 "src/oasis/OASISExpr.ml" 150 4183 4208
type(
  t -> unit
)
"src/oasis/OASISExpr.ml" 135 3749 3751 "src/oasis/OASISExpr.ml" 150 4183 4208
type(
  t -> unit
)
"src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
type(
  t -> t
)
ident(
  def reduce "src/oasis/OASISExpr.ml" 153 4211 4211 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 153 4211 4226 "src/oasis/OASISExpr.ml" 153 4211 4227
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 154 4230 4232 "src/oasis/OASISExpr.ml" 181 5016 5027
)
"src/oasis/OASISExpr.ml" 154 4230 4236 "src/oasis/OASISExpr.ml" 154 4230 4237
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 165 4493 4497 "src/oasis/OASISExpr.ml" 181 5016 5027
)
"src/oasis/OASISExpr.ml" 155 4240 4250 "src/oasis/OASISExpr.ml" 155 4240 4251
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 153 4211 4226 "src/oasis/OASISExpr.ml" 153 4211 4227
)
"src/oasis/OASISExpr.ml" 156 4257 4272 "src/oasis/OASISExpr.ml" 156 4257 4273
type(
  bool
)
"src/oasis/OASISExpr.ml" 156 4257 4266 "src/oasis/OASISExpr.ml" 156 4257 4273
type(
  t
)
"src/oasis/OASISExpr.ml" 156 4257 4282 "src/oasis/OASISExpr.ml" 156 4257 4283
type(
  flag
)
"src/oasis/OASISExpr.ml" 156 4257 4276 "src/oasis/OASISExpr.ml" 156 4257 4283
type(
  t
)
"src/oasis/OASISExpr.ml" 156 4257 4266 "src/oasis/OASISExpr.ml" 156 4257 4283
type(
  t
)
"src/oasis/OASISExpr.ml" 156 4257 4293 "src/oasis/OASISExpr.ml" 156 4257 4294
type(
  test
)
"src/oasis/OASISExpr.ml" 156 4257 4296 "src/oasis/OASISExpr.ml" 156 4257 4297
type(
  string
)
"src/oasis/OASISExpr.ml" 156 4257 4286 "src/oasis/OASISExpr.ml" 156 4257 4298
type(
  t
)
"src/oasis/OASISExpr.ml" 156 4257 4265 "src/oasis/OASISExpr.ml" 156 4257 4299
type(
  t
)
"src/oasis/OASISExpr.ml" 156 4257 4265 "src/oasis/OASISExpr.ml" 156 4257 4304
type(
  t
)
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 157 4308 4318 "src/oasis/OASISExpr.ml" 157 4308 4319
)
"src/oasis/OASISExpr.ml" 157 4308 4318 "src/oasis/OASISExpr.ml" 157 4308 4319
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 156 4257 4265 "src/oasis/OASISExpr.ml" 156 4257 4304
)
"src/oasis/OASISExpr.ml" 158 4320 4333 "src/oasis/OASISExpr.ml" 158 4320 4334
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 159 4338 4348 "src/oasis/OASISExpr.ml" 159 4338 4363
)
"src/oasis/OASISExpr.ml" 158 4320 4328 "src/oasis/OASISExpr.ml" 158 4320 4334
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 159 4338 4354 "src/oasis/OASISExpr.ml" 159 4338 4360
type(
  t -> t
)
ident(
  int_ref reduce "src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
)
"src/oasis/OASISExpr.ml" 159 4338 4361 "src/oasis/OASISExpr.ml" 159 4338 4362
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 158 4320 4333 "src/oasis/OASISExpr.ml" 158 4320 4334
)
"src/oasis/OASISExpr.ml" 159 4338 4353 "src/oasis/OASISExpr.ml" 159 4338 4363
type(
  t
)
"src/oasis/OASISExpr.ml" 159 4338 4348 "src/oasis/OASISExpr.ml" 159 4338 4363
type(
  t
)
"src/oasis/OASISExpr.ml" 160 4364 4378 "src/oasis/OASISExpr.ml" 160 4364 4380
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 161 4389 4399 "src/oasis/OASISExpr.ml" 161 4389 4426
)
"src/oasis/OASISExpr.ml" 160 4364 4382 "src/oasis/OASISExpr.ml" 160 4364 4384
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 161 4389 4399 "src/oasis/OASISExpr.ml" 161 4389 4426
)
"src/oasis/OASISExpr.ml" 160 4364 4372 "src/oasis/OASISExpr.ml" 160 4364 4385
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 161 4389 4405 "src/oasis/OASISExpr.ml" 161 4389 4411
type(
  t -> t
)
ident(
  int_ref reduce "src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
)
"src/oasis/OASISExpr.ml" 161 4389 4412 "src/oasis/OASISExpr.ml" 161 4389 4414
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 160 4364 4378 "src/oasis/OASISExpr.ml" 160 4364 4380
)
"src/oasis/OASISExpr.ml" 161 4389 4405 "src/oasis/OASISExpr.ml" 161 4389 4414
type(
  t
)
"src/oasis/OASISExpr.ml" 161 4389 4416 "src/oasis/OASISExpr.ml" 161 4389 4422
type(
  t -> t
)
ident(
  int_ref reduce "src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
)
"src/oasis/OASISExpr.ml" 161 4389 4423 "src/oasis/OASISExpr.ml" 161 4389 4425
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 160 4364 4382 "src/oasis/OASISExpr.ml" 160 4364 4384
)
"src/oasis/OASISExpr.ml" 161 4389 4416 "src/oasis/OASISExpr.ml" 161 4389 4425
type(
  t
)
"src/oasis/OASISExpr.ml" 161 4389 4399 "src/oasis/OASISExpr.ml" 161 4389 4426
type(
  t
)
"src/oasis/OASISExpr.ml" 162 4427 4440 "src/oasis/OASISExpr.ml" 162 4427 4442
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 163 4451 4461 "src/oasis/OASISExpr.ml" 163 4451 4487
)
"src/oasis/OASISExpr.ml" 162 4427 4444 "src/oasis/OASISExpr.ml" 162 4427 4446
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 163 4451 4461 "src/oasis/OASISExpr.ml" 163 4451 4487
)
"src/oasis/OASISExpr.ml" 162 4427 4435 "src/oasis/OASISExpr.ml" 162 4427 4447
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 163 4451 4466 "src/oasis/OASISExpr.ml" 163 4451 4472
type(
  t -> t
)
ident(
  int_ref reduce "src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
)
"src/oasis/OASISExpr.ml" 163 4451 4473 "src/oasis/OASISExpr.ml" 163 4451 4475
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 162 4427 4440 "src/oasis/OASISExpr.ml" 162 4427 4442
)
"src/oasis/OASISExpr.ml" 163 4451 4466 "src/oasis/OASISExpr.ml" 163 4451 4475
type(
  t
)
"src/oasis/OASISExpr.ml" 163 4451 4477 "src/oasis/OASISExpr.ml" 163 4451 4483
type(
  t -> t
)
ident(
  int_ref reduce "src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
)
"src/oasis/OASISExpr.ml" 163 4451 4484 "src/oasis/OASISExpr.ml" 163 4451 4486
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 162 4427 4444 "src/oasis/OASISExpr.ml" 162 4427 4446
)
"src/oasis/OASISExpr.ml" 163 4451 4477 "src/oasis/OASISExpr.ml" 163 4451 4486
type(
  t
)
"src/oasis/OASISExpr.ml" 163 4451 4461 "src/oasis/OASISExpr.ml" 163 4451 4487
type(
  t
)
"src/oasis/OASISExpr.ml" 155 4240 4244 "src/oasis/OASISExpr.ml" 163 4451 4487
type(
  t
)
"src/oasis/OASISExpr.ml" 165 4493 4503 "src/oasis/OASISExpr.ml" 165 4493 4504
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 154 4230 4236 "src/oasis/OASISExpr.ml" 154 4230 4237
)
"src/oasis/OASISExpr.ml" 166 4510 4524 "src/oasis/OASISExpr.ml" 166 4510 4525
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 168 4617 4627 "src/oasis/OASISExpr.ml" 168 4617 4628
)
"src/oasis/OASISExpr.ml" 166 4510 4533 "src/oasis/OASISExpr.ml" 166 4510 4537
type(
  bool
)
"src/oasis/OASISExpr.ml" 166 4510 4527 "src/oasis/OASISExpr.ml" 166 4510 4537
type(
  t
)
"src/oasis/OASISExpr.ml" 166 4510 4518 "src/oasis/OASISExpr.ml" 166 4510 4538
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 166 4510 4553 "src/oasis/OASISExpr.ml" 166 4510 4557
type(
  bool
)
"src/oasis/OASISExpr.ml" 166 4510 4547 "src/oasis/OASISExpr.ml" 166 4510 4557
type(
  t
)
"src/oasis/OASISExpr.ml" 166 4510 4559 "src/oasis/OASISExpr.ml" 166 4510 4560
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 168 4617 4627 "src/oasis/OASISExpr.ml" 168 4617 4628
)
"src/oasis/OASISExpr.ml" 166 4510 4541 "src/oasis/OASISExpr.ml" 166 4510 4561
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 166 4510 4518 "src/oasis/OASISExpr.ml" 166 4510 4561
type(
  t
)
"src/oasis/OASISExpr.ml" 167 4562 4575 "src/oasis/OASISExpr.ml" 167 4562 4576
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 168 4617 4627 "src/oasis/OASISExpr.ml" 168 4617 4628
)
"src/oasis/OASISExpr.ml" 167 4562 4584 "src/oasis/OASISExpr.ml" 167 4562 4589
type(
  bool
)
"src/oasis/OASISExpr.ml" 167 4562 4578 "src/oasis/OASISExpr.ml" 167 4562 4589
type(
  t
)
"src/oasis/OASISExpr.ml" 167 4562 4570 "src/oasis/OASISExpr.ml" 167 4562 4590
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 166 4510 4518 "src/oasis/OASISExpr.ml" 167 4562 4590
type(
  t
)
"src/oasis/OASISExpr.ml" 167 4562 4604 "src/oasis/OASISExpr.ml" 167 4562 4609
type(
  bool
)
"src/oasis/OASISExpr.ml" 167 4562 4598 "src/oasis/OASISExpr.ml" 167 4562 4609
type(
  t
)
"src/oasis/OASISExpr.ml" 167 4562 4611 "src/oasis/OASISExpr.ml" 167 4562 4612
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 168 4617 4627 "src/oasis/OASISExpr.ml" 168 4617 4628
)
"src/oasis/OASISExpr.ml" 167 4562 4593 "src/oasis/OASISExpr.ml" 167 4562 4613
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 166 4510 4518 "src/oasis/OASISExpr.ml" 167 4562 4613
type(
  t
)
"src/oasis/OASISExpr.ml" 168 4617 4627 "src/oasis/OASISExpr.ml" 168 4617 4628
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 166 4510 4524 "src/oasis/OASISExpr.ml" 166 4510 4525
)
"src/oasis/OASISExpr.ml" 169 4629 4643 "src/oasis/OASISExpr.ml" 169 4629 4644
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 170 4686 4696 "src/oasis/OASISExpr.ml" 170 4686 4707
)
"src/oasis/OASISExpr.ml" 169 4629 4652 "src/oasis/OASISExpr.ml" 169 4629 4657
type(
  bool
)
"src/oasis/OASISExpr.ml" 169 4629 4646 "src/oasis/OASISExpr.ml" 169 4629 4657
type(
  t
)
"src/oasis/OASISExpr.ml" 169 4629 4637 "src/oasis/OASISExpr.ml" 169 4629 4658
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 169 4629 4673 "src/oasis/OASISExpr.ml" 169 4629 4678
type(
  bool
)
"src/oasis/OASISExpr.ml" 169 4629 4667 "src/oasis/OASISExpr.ml" 169 4629 4678
type(
  t
)
"src/oasis/OASISExpr.ml" 169 4629 4680 "src/oasis/OASISExpr.ml" 169 4629 4681
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 170 4686 4696 "src/oasis/OASISExpr.ml" 170 4686 4707
)
"src/oasis/OASISExpr.ml" 169 4629 4661 "src/oasis/OASISExpr.ml" 169 4629 4682
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 169 4629 4637 "src/oasis/OASISExpr.ml" 169 4629 4682
type(
  t
)
"src/oasis/OASISExpr.ml" 170 4686 4702 "src/oasis/OASISExpr.ml" 170 4686 4707
type(
  bool
)
"src/oasis/OASISExpr.ml" 170 4686 4696 "src/oasis/OASISExpr.ml" 170 4686 4707
type(
  t
)
"src/oasis/OASISExpr.ml" 171 4708 4721 "src/oasis/OASISExpr.ml" 171 4708 4722
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 172 4761 4771 "src/oasis/OASISExpr.ml" 172 4761 4781
)
"src/oasis/OASISExpr.ml" 171 4708 4730 "src/oasis/OASISExpr.ml" 171 4708 4734
type(
  bool
)
"src/oasis/OASISExpr.ml" 171 4708 4724 "src/oasis/OASISExpr.ml" 171 4708 4734
type(
  t
)
"src/oasis/OASISExpr.ml" 171 4708 4716 "src/oasis/OASISExpr.ml" 171 4708 4735
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 171 4708 4749 "src/oasis/OASISExpr.ml" 171 4708 4753
type(
  bool
)
"src/oasis/OASISExpr.ml" 171 4708 4743 "src/oasis/OASISExpr.ml" 171 4708 4753
type(
  t
)
"src/oasis/OASISExpr.ml" 171 4708 4755 "src/oasis/OASISExpr.ml" 171 4708 4756
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 172 4761 4771 "src/oasis/OASISExpr.ml" 172 4761 4781
)
"src/oasis/OASISExpr.ml" 171 4708 4738 "src/oasis/OASISExpr.ml" 171 4708 4757
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 171 4708 4716 "src/oasis/OASISExpr.ml" 171 4708 4757
type(
  t
)
"src/oasis/OASISExpr.ml" 172 4761 4777 "src/oasis/OASISExpr.ml" 172 4761 4781
type(
  bool
)
"src/oasis/OASISExpr.ml" 172 4761 4771 "src/oasis/OASISExpr.ml" 172 4761 4781
type(
  t
)
"src/oasis/OASISExpr.ml" 173 4782 4802 "src/oasis/OASISExpr.ml" 173 4782 4806
type(
  bool
)
"src/oasis/OASISExpr.ml" 173 4782 4795 "src/oasis/OASISExpr.ml" 173 4782 4807
type(
  t
)
"src/oasis/OASISExpr.ml" 173 4782 4790 "src/oasis/OASISExpr.ml" 173 4782 4807
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 174 4811 4827 "src/oasis/OASISExpr.ml" 174 4811 4832
type(
  bool
)
"src/oasis/OASISExpr.ml" 174 4811 4821 "src/oasis/OASISExpr.ml" 174 4811 4832
type(
  t
)
"src/oasis/OASISExpr.ml" 175 4833 4853 "src/oasis/OASISExpr.ml" 175 4833 4858
type(
  bool
)
"src/oasis/OASISExpr.ml" 175 4833 4846 "src/oasis/OASISExpr.ml" 175 4833 4859
type(
  t
)
"src/oasis/OASISExpr.ml" 175 4833 4841 "src/oasis/OASISExpr.ml" 175 4833 4859
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 176 4863 4879 "src/oasis/OASISExpr.ml" 176 4863 4883
type(
  bool
)
"src/oasis/OASISExpr.ml" 176 4863 4873 "src/oasis/OASISExpr.ml" 176 4863 4883
type(
  t
)
"src/oasis/OASISExpr.ml" 177 4884 4903 "src/oasis/OASISExpr.ml" 177 4884 4904
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 178 4909 4919 "src/oasis/OASISExpr.ml" 178 4909 4920
)
"src/oasis/OASISExpr.ml" 177 4884 4897 "src/oasis/OASISExpr.ml" 177 4884 4905
type(
  t
)
"src/oasis/OASISExpr.ml" 177 4884 4892 "src/oasis/OASISExpr.ml" 177 4884 4905
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 178 4909 4919 "src/oasis/OASISExpr.ml" 178 4909 4920
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 177 4884 4903 "src/oasis/OASISExpr.ml" 177 4884 4904
)
"src/oasis/OASISExpr.ml" 179 4921 4935 "src/oasis/OASISExpr.ml" 179 4921 4936
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4930 "src/oasis/OASISExpr.ml" 179 4921 4936
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4945 "src/oasis/OASISExpr.ml" 179 4921 4946
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4948 "src/oasis/OASISExpr.ml" 179 4921 4949
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4939 "src/oasis/OASISExpr.ml" 179 4921 4950
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4930 "src/oasis/OASISExpr.ml" 179 4921 4950
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4958 "src/oasis/OASISExpr.ml" 179 4921 4959
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4961 "src/oasis/OASISExpr.ml" 179 4921 4962
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4953 "src/oasis/OASISExpr.ml" 179 4921 4963
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4930 "src/oasis/OASISExpr.ml" 179 4921 4963
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4972 "src/oasis/OASISExpr.ml" 179 4921 4973
type(
  flag
)
"src/oasis/OASISExpr.ml" 179 4921 4966 "src/oasis/OASISExpr.ml" 179 4921 4973
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4930 "src/oasis/OASISExpr.ml" 179 4921 4973
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4983 "src/oasis/OASISExpr.ml" 179 4921 4984
type(
  test
)
"src/oasis/OASISExpr.ml" 179 4921 4986 "src/oasis/OASISExpr.ml" 179 4921 4987
type(
  string
)
"src/oasis/OASISExpr.ml" 179 4921 4976 "src/oasis/OASISExpr.ml" 179 4921 4988
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4930 "src/oasis/OASISExpr.ml" 179 4921 4988
type(
  t
)
"src/oasis/OASISExpr.ml" 180 4989 5004 "src/oasis/OASISExpr.ml" 180 4989 5005
type(
  bool
)
"src/oasis/OASISExpr.ml" 180 4989 4997 "src/oasis/OASISExpr.ml" 180 4989 5006
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4929 "src/oasis/OASISExpr.ml" 180 4989 5007
type(
  t
)
"src/oasis/OASISExpr.ml" 179 4921 4929 "src/oasis/OASISExpr.ml" 180 4989 5012
type(
  t
)
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 181 5016 5026 "src/oasis/OASISExpr.ml" 181 5016 5027
)
"src/oasis/OASISExpr.ml" 181 5016 5026 "src/oasis/OASISExpr.ml" 181 5016 5027
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 179 4921 4929 "src/oasis/OASISExpr.ml" 180 4989 5012
)
"src/oasis/OASISExpr.ml" 165 4493 4497 "src/oasis/OASISExpr.ml" 181 5016 5027
type(
  t
)
"src/oasis/OASISExpr.ml" 154 4230 4232 "src/oasis/OASISExpr.ml" 181 5016 5027
type(
  t
)
"src/oasis/OASISExpr.ml" 184 5030 5034 "src/oasis/OASISExpr.ml" 184 5030 5048
type(
  (t * 'a) list -> (t * 'a) list
)
ident(
  def reduce_choices "src/oasis/OASISExpr.ml" 213 5769 5769 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 184 5030 5049 "src/oasis/OASISExpr.ml" 184 5030 5056
type(
  (t * 'a) list
)
ident(
  def choices "src/oasis/OASISExpr.ml" 188 5207 5209 "src/oasis/OASISExpr.ml" 210 5706 5766
)
"src/oasis/OASISExpr.ml" 188 5207 5217 "src/oasis/OASISExpr.ml" 188 5207 5235
type(
  ('b * 'c) list -> ('b * 'c) list -> ('b * 'c) list
)
ident(
  def reduce_choices_aux "src/oasis/OASISExpr.ml" 188 5207 5209 "src/oasis/OASISExpr.ml" 210 5706 5766
)
"src/oasis/OASISExpr.ml" 188 5207 5236 "src/oasis/OASISExpr.ml" 188 5207 5239
type(
  ('b * 'c) list
)
ident(
  def acc "src/oasis/OASISExpr.ml" 188 5207 5240 "src/oasis/OASISExpr.ml" 206 5646 5668
)
"src/oasis/OASISExpr.ml" 188 5207 5240 "src/oasis/OASISExpr.ml" 188 5207 5243
type(
  ('b * 'c) list
)
ident(
  def lst "src/oasis/OASISExpr.ml" 189 5246 5250 "src/oasis/OASISExpr.ml" 206 5646 5668
)
"src/oasis/OASISExpr.ml" 189 5246 5256 "src/oasis/OASISExpr.ml" 189 5246 5259
type(
  ('b * 'c) list
)
ident(
  int_ref lst "src/oasis/OASISExpr.ml" 188 5207 5240 "src/oasis/OASISExpr.ml" 188 5207 5243
)
"src/oasis/OASISExpr.ml" 190 5265 5274 "src/oasis/OASISExpr.ml" 190 5265 5276
type(
  'b
)
ident(
  def c1 "src/oasis/OASISExpr.ml" 191 5295 5305 "src/oasis/OASISExpr.ml" 204 5620 5631
)
"src/oasis/OASISExpr.ml" 190 5265 5278 "src/oasis/OASISExpr.ml" 190 5265 5279
type(
  'c
)
"src/oasis/OASISExpr.ml" 190 5265 5273 "src/oasis/OASISExpr.ml" 190 5265 5280
type(
  'b * 'c
)
"src/oasis/OASISExpr.ml" 190 5265 5273 "src/oasis/OASISExpr.ml" 190 5265 5285
type(
  'b * 'c
)
ident(
  def e "src/oasis/OASISExpr.ml" 191 5295 5305 "src/oasis/OASISExpr.ml" 204 5620 5631
)
"src/oasis/OASISExpr.ml" 190 5265 5289 "src/oasis/OASISExpr.ml" 190 5265 5291
type(
  ('b * 'c) list
)
ident(
  def tl "src/oasis/OASISExpr.ml" 191 5295 5305 "src/oasis/OASISExpr.ml" 204 5620 5631
)
"src/oasis/OASISExpr.ml" 190 5265 5273 "src/oasis/OASISExpr.ml" 190 5265 5291
type(
  ('b * 'c) list
)
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 192 5307 5323 "src/oasis/OASISExpr.ml" 192 5307 5326
type(
  ('b * 'c) list
)
ident(
  def acc "src/oasis/OASISExpr.ml" 203 5580 5594 "src/oasis/OASISExpr.ml" 203 5580 5619
)
"src/oasis/OASISExpr.ml" 194 5347 5367 "src/oasis/OASISExpr.ml" 194 5347 5368
type(
  'b * 'c
)
"src/oasis/OASISExpr.ml" 195 5371 5389 "src/oasis/OASISExpr.ml" 195 5371 5398
type(
  ('b * 'c -> bool) -> ('b * 'c) list -> 'b * 'c
)
ident(
  int_ref Stdlib.List.find "list.mli" 305 10263 10263 "list.mli" 305 10263 10303
)
"src/oasis/OASISExpr.ml" 196 5399 5425 "src/oasis/OASISExpr.ml" 196 5399 5427
type(
  'b
)
ident(
  def c2 "src/oasis/OASISExpr.ml" 196 5399 5435 "src/oasis/OASISExpr.ml" 196 5399 5442
)
"src/oasis/OASISExpr.ml" 196 5399 5429 "src/oasis/OASISExpr.ml" 196 5399 5430
type(
  'c
)
"src/oasis/OASISExpr.ml" 196 5399 5424 "src/oasis/OASISExpr.ml" 196 5399 5431
type(
  'b * 'c
)
"src/oasis/OASISExpr.ml" 196 5399 5435 "src/oasis/OASISExpr.ml" 196 5399 5437
type(
  'b
)
ident(
  int_ref c1 "src/oasis/OASISExpr.ml" 190 5265 5274 "src/oasis/OASISExpr.ml" 190 5265 5276
)
"src/oasis/OASISExpr.ml" 196 5399 5438 "src/oasis/OASISExpr.ml" 196 5399 5439
type(
  'b -> 'b -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/OASISExpr.ml" 196 5399 5440 "src/oasis/OASISExpr.ml" 196 5399 5442
type(
  'b
)
ident(
  int_ref c2 "src/oasis/OASISExpr.ml" 196 5399 5425 "src/oasis/OASISExpr.ml" 196 5399 5427
)
"src/oasis/OASISExpr.ml" 196 5399 5435 "src/oasis/OASISExpr.ml" 196 5399 5442
type(
  bool
)
"src/oasis/OASISExpr.ml" 196 5399 5419 "src/oasis/OASISExpr.ml" 196 5399 5443
type(
  'b * 'c -> bool
)
"src/oasis/OASISExpr.ml" 197 5444 5464 "src/oasis/OASISExpr.ml" 197 5444 5466
type(
  ('b * 'c) list
)
ident(
  int_ref tl "src/oasis/OASISExpr.ml" 190 5265 5289 "src/oasis/OASISExpr.ml" 190 5265 5291
)
"src/oasis/OASISExpr.ml" 195 5371 5389 "src/oasis/OASISExpr.ml" 197 5444 5466
type(
  'b * 'c
)
"src/oasis/OASISExpr.ml" 199 5486 5504 "src/oasis/OASISExpr.ml" 199 5486 5507
type(
  ('b * 'c) list
)
ident(
  int_ref acc "src/oasis/OASISExpr.ml" 188 5207 5236 "src/oasis/OASISExpr.ml" 188 5207 5239
)
"src/oasis/OASISExpr.ml" 194 5347 5363 "src/oasis/OASISExpr.ml" 199 5486 5507
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 200 5508 5527 "src/oasis/OASISExpr.ml" 200 5508 5536
type(
  exn
)
"src/oasis/OASISExpr.ml" 201 5540 5556 "src/oasis/OASISExpr.ml" 201 5540 5557
type(
  'b * 'c
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 190 5265 5273 "src/oasis/OASISExpr.ml" 190 5265 5285
)
"src/oasis/OASISExpr.ml" 201 5540 5561 "src/oasis/OASISExpr.ml" 201 5540 5564
type(
  ('b * 'c) list
)
ident(
  int_ref acc "src/oasis/OASISExpr.ml" 188 5207 5236 "src/oasis/OASISExpr.ml" 188 5207 5239
)
"src/oasis/OASISExpr.ml" 201 5540 5556 "src/oasis/OASISExpr.ml" 201 5540 5564
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 193 5329 5343 "src/oasis/OASISExpr.ml" 201 5540 5564
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 203 5580 5594 "src/oasis/OASISExpr.ml" 203 5580 5612
type(
  ('b * 'c) list -> ('b * 'c) list -> ('b * 'c) list
)
ident(
  int_ref reduce_choices_aux "src/oasis/OASISExpr.ml" 188 5207 5217 "src/oasis/OASISExpr.ml" 188 5207 5235
)
"src/oasis/OASISExpr.ml" 203 5580 5613 "src/oasis/OASISExpr.ml" 203 5580 5616
type(
  ('b * 'c) list
)
ident(
  int_ref acc "src/oasis/OASISExpr.ml" 192 5307 5323 "src/oasis/OASISExpr.ml" 192 5307 5326
)
"src/oasis/OASISExpr.ml" 203 5580 5617 "src/oasis/OASISExpr.ml" 203 5580 5619
type(
  ('b * 'c) list
)
ident(
  int_ref tl "src/oasis/OASISExpr.ml" 190 5265 5289 "src/oasis/OASISExpr.ml" 190 5265 5291
)
"src/oasis/OASISExpr.ml" 203 5580 5594 "src/oasis/OASISExpr.ml" 203 5580 5619
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 191 5295 5305 "src/oasis/OASISExpr.ml" 204 5620 5631
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 205 5632 5640 "src/oasis/OASISExpr.ml" 205 5632 5642
type(
  ('b * 'c) list
)
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 206 5646 5656 "src/oasis/OASISExpr.ml" 206 5646 5664
type(
  ('b * 'c) list -> ('b * 'c) list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISExpr.ml" 206 5646 5665 "src/oasis/OASISExpr.ml" 206 5646 5668
type(
  ('b * 'c) list
)
ident(
  int_ref acc "src/oasis/OASISExpr.ml" 188 5207 5236 "src/oasis/OASISExpr.ml" 188 5207 5239
)
"src/oasis/OASISExpr.ml" 206 5646 5656 "src/oasis/OASISExpr.ml" 206 5646 5668
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 189 5246 5250 "src/oasis/OASISExpr.ml" 206 5646 5668
type(
  ('b * 'c) list
)
"src/oasis/OASISExpr.ml" 208 5674 5678 "src/oasis/OASISExpr.ml" 208 5674 5696
type(
  (t * 'a) list -> (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref reduce_choices_aux "src/oasis/OASISExpr.ml" 188 5207 5217 "src/oasis/OASISExpr.ml" 188 5207 5235
)
"src/oasis/OASISExpr.ml" 209 5697 5703 "src/oasis/OASISExpr.ml" 209 5697 5705
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 210 5706 5713 "src/oasis/OASISExpr.ml" 210 5706 5721
type(
  (t * 'a -> t * 'a) -> (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISExpr.ml" 210 5706 5728 "src/oasis/OASISExpr.ml" 210 5706 5732
type(
  t
)
ident(
  def cond "src/oasis/OASISExpr.ml" 210 5706 5741 "src/oasis/OASISExpr.ml" 210 5706 5756
)
"src/oasis/OASISExpr.ml" 210 5706 5734 "src/oasis/OASISExpr.ml" 210 5706 5736
type(
  'a
)
ident(
  def vl "src/oasis/OASISExpr.ml" 210 5706 5741 "src/oasis/OASISExpr.ml" 210 5706 5756
)
"src/oasis/OASISExpr.ml" 210 5706 5727 "src/oasis/OASISExpr.ml" 210 5706 5737
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 210 5706 5741 "src/oasis/OASISExpr.ml" 210 5706 5747
type(
  t -> t
)
ident(
  int_ref reduce "src/oasis/OASISExpr.ml" 153 4211 4219 "src/oasis/OASISExpr.ml" 153 4211 4225
)
"src/oasis/OASISExpr.ml" 210 5706 5748 "src/oasis/OASISExpr.ml" 210 5706 5752
type(
  t
)
ident(
  int_ref cond "src/oasis/OASISExpr.ml" 210 5706 5728 "src/oasis/OASISExpr.ml" 210 5706 5732
)
"src/oasis/OASISExpr.ml" 210 5706 5741 "src/oasis/OASISExpr.ml" 210 5706 5752
type(
  t
)
"src/oasis/OASISExpr.ml" 210 5706 5754 "src/oasis/OASISExpr.ml" 210 5706 5756
type(
  'a
)
ident(
  int_ref vl "src/oasis/OASISExpr.ml" 210 5706 5734 "src/oasis/OASISExpr.ml" 210 5706 5736
)
"src/oasis/OASISExpr.ml" 210 5706 5741 "src/oasis/OASISExpr.ml" 210 5706 5756
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 210 5706 5722 "src/oasis/OASISExpr.ml" 210 5706 5757
type(
  t * 'a -> t * 'a
)
"src/oasis/OASISExpr.ml" 210 5706 5758 "src/oasis/OASISExpr.ml" 210 5706 5765
type(
  (t * 'a) list
)
ident(
  int_ref choices "src/oasis/OASISExpr.ml" 184 5030 5049 "src/oasis/OASISExpr.ml" 184 5030 5056
)
"src/oasis/OASISExpr.ml" 210 5706 5712 "src/oasis/OASISExpr.ml" 210 5706 5766
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 208 5674 5678 "src/oasis/OASISExpr.ml" 210 5706 5766
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 188 5207 5209 "src/oasis/OASISExpr.ml" 210 5706 5766
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 213 5769 5773 "src/oasis/OASISExpr.ml" 213 5769 5785
type(
  t -> (t * 'a) list -> (t * 'a) list -> (t * 'a) list
)
ident(
  def if_then_else "src/oasis/OASISExpr.ml" 223 6071 6071 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 213 5769 5786 "src/oasis/OASISExpr.ml" 213 5769 5787
type(
  t
)
ident(
  def t "src/oasis/OASISExpr.ml" 213 5769 5788 "src/oasis/OASISExpr.ml" 220 5995 6068
)
"src/oasis/OASISExpr.ml" 213 5769 5788 "src/oasis/OASISExpr.ml" 213 5769 5798
type(
  (t * 'a) list
)
ident(
  def choices_if "src/oasis/OASISExpr.ml" 213 5769 5799 "src/oasis/OASISExpr.ml" 220 5995 6068
)
"src/oasis/OASISExpr.ml" 213 5769 5799 "src/oasis/OASISExpr.ml" 213 5769 5811
type(
  (t * 'a) list
)
ident(
  def choices_else "src/oasis/OASISExpr.ml" 214 5814 5816 "src/oasis/OASISExpr.ml" 220 5995 6068
)
"src/oasis/OASISExpr.ml" 214 5814 5820 "src/oasis/OASISExpr.ml" 214 5814 5831
type(
  (t * 'a) list
)
ident(
  def choices_if' "src/oasis/OASISExpr.ml" 217 5900 5902 "src/oasis/OASISExpr.ml" 220 5995 6068
)
"src/oasis/OASISExpr.ml" 215 5834 5838 "src/oasis/OASISExpr.ml" 215 5834 5850
type(
  (t * 'a -> t * 'a) -> (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISExpr.ml" 215 5834 5857 "src/oasis/OASISExpr.ml" 215 5834 5859
type(
  t
)
ident(
  def t' "src/oasis/OASISExpr.ml" 215 5834 5867 "src/oasis/OASISExpr.ml" 215 5834 5882
)
"src/oasis/OASISExpr.ml" 215 5834 5861 "src/oasis/OASISExpr.ml" 215 5834 5862
type(
  'a
)
ident(
  def v "src/oasis/OASISExpr.ml" 215 5834 5867 "src/oasis/OASISExpr.ml" 215 5834 5882
)
"src/oasis/OASISExpr.ml" 215 5834 5856 "src/oasis/OASISExpr.ml" 215 5834 5863
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 215 5834 5873 "src/oasis/OASISExpr.ml" 215 5834 5874
type(
  t
)
ident(
  int_ref t "src/oasis/OASISExpr.ml" 213 5769 5786 "src/oasis/OASISExpr.ml" 213 5769 5787
)
"src/oasis/OASISExpr.ml" 215 5834 5876 "src/oasis/OASISExpr.ml" 215 5834 5878
type(
  t
)
ident(
  int_ref t' "src/oasis/OASISExpr.ml" 215 5834 5857 "src/oasis/OASISExpr.ml" 215 5834 5859
)
"src/oasis/OASISExpr.ml" 215 5834 5867 "src/oasis/OASISExpr.ml" 215 5834 5879
type(
  t
)
"src/oasis/OASISExpr.ml" 215 5834 5881 "src/oasis/OASISExpr.ml" 215 5834 5882
type(
  'a
)
ident(
  int_ref v "src/oasis/OASISExpr.ml" 215 5834 5861 "src/oasis/OASISExpr.ml" 215 5834 5862
)
"src/oasis/OASISExpr.ml" 215 5834 5867 "src/oasis/OASISExpr.ml" 215 5834 5882
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 215 5834 5851 "src/oasis/OASISExpr.ml" 215 5834 5883
type(
  t * 'a -> t * 'a
)
"src/oasis/OASISExpr.ml" 215 5834 5884 "src/oasis/OASISExpr.ml" 215 5834 5894
type(
  (t * 'a) list
)
ident(
  int_ref choices_if "src/oasis/OASISExpr.ml" 213 5769 5788 "src/oasis/OASISExpr.ml" 213 5769 5798
)
"src/oasis/OASISExpr.ml" 215 5834 5838 "src/oasis/OASISExpr.ml" 215 5834 5894
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 217 5900 5906 "src/oasis/OASISExpr.ml" 217 5900 5919
type(
  (t * 'a) list
)
ident(
  def choices_else' "src/oasis/OASISExpr.ml" 220 5995 5999 "src/oasis/OASISExpr.ml" 220 5995 6068
)
"src/oasis/OASISExpr.ml" 218 5922 5926 "src/oasis/OASISExpr.ml" 218 5922 5938
type(
  (t * 'a -> t * 'a) -> (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISExpr.ml" 218 5922 5945 "src/oasis/OASISExpr.ml" 218 5922 5947
type(
  t
)
ident(
  def t' "src/oasis/OASISExpr.ml" 218 5922 5955 "src/oasis/OASISExpr.ml" 218 5922 5975
)
"src/oasis/OASISExpr.ml" 218 5922 5949 "src/oasis/OASISExpr.ml" 218 5922 5950
type(
  'a
)
ident(
  def v "src/oasis/OASISExpr.ml" 218 5922 5955 "src/oasis/OASISExpr.ml" 218 5922 5975
)
"src/oasis/OASISExpr.ml" 218 5922 5944 "src/oasis/OASISExpr.ml" 218 5922 5951
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 218 5922 5966 "src/oasis/OASISExpr.ml" 218 5922 5967
type(
  t
)
ident(
  int_ref t "src/oasis/OASISExpr.ml" 213 5769 5786 "src/oasis/OASISExpr.ml" 213 5769 5787
)
"src/oasis/OASISExpr.ml" 218 5922 5961 "src/oasis/OASISExpr.ml" 218 5922 5967
type(
  t
)
"src/oasis/OASISExpr.ml" 218 5922 5969 "src/oasis/OASISExpr.ml" 218 5922 5971
type(
  t
)
ident(
  int_ref t' "src/oasis/OASISExpr.ml" 218 5922 5945 "src/oasis/OASISExpr.ml" 218 5922 5947
)
"src/oasis/OASISExpr.ml" 218 5922 5955 "src/oasis/OASISExpr.ml" 218 5922 5972
type(
  t
)
"src/oasis/OASISExpr.ml" 218 5922 5974 "src/oasis/OASISExpr.ml" 218 5922 5975
type(
  'a
)
ident(
  int_ref v "src/oasis/OASISExpr.ml" 218 5922 5949 "src/oasis/OASISExpr.ml" 218 5922 5950
)
"src/oasis/OASISExpr.ml" 218 5922 5955 "src/oasis/OASISExpr.ml" 218 5922 5975
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 218 5922 5939 "src/oasis/OASISExpr.ml" 218 5922 5976
type(
  t * 'a -> t * 'a
)
"src/oasis/OASISExpr.ml" 218 5922 5977 "src/oasis/OASISExpr.ml" 218 5922 5989
type(
  (t * 'a) list
)
ident(
  int_ref choices_else "src/oasis/OASISExpr.ml" 213 5769 5799 "src/oasis/OASISExpr.ml" 213 5769 5811
)
"src/oasis/OASISExpr.ml" 218 5922 5926 "src/oasis/OASISExpr.ml" 218 5922 5989
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 220 5995 5999 "src/oasis/OASISExpr.ml" 220 5995 6013
type(
  (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref reduce_choices "src/oasis/OASISExpr.ml" 184 5030 5034 "src/oasis/OASISExpr.ml" 184 5030 5048
)
"src/oasis/OASISExpr.ml" 220 5995 6015 "src/oasis/OASISExpr.ml" 220 5995 6030
type(
  (t * 'a) list -> (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref Stdlib.List.rev_append "list.mli" 105 3970 3970 "list.mli" 105 3970 4016
)
"src/oasis/OASISExpr.ml" 220 5995 6031 "src/oasis/OASISExpr.ml" 220 5995 6044
type(
  (t * 'a) list
)
ident(
  int_ref choices_else' "src/oasis/OASISExpr.ml" 217 5900 5906 "src/oasis/OASISExpr.ml" 217 5900 5919
)
"src/oasis/OASISExpr.ml" 220 5995 6046 "src/oasis/OASISExpr.ml" 220 5995 6054
type(
  (t * 'a) list -> (t * 'a) list
)
ident(
  int_ref Stdlib.List.rev "list.mli" 90 3519 3519 "list.mli" 90 3519 3547
)
"src/oasis/OASISExpr.ml" 220 5995 6055 "src/oasis/OASISExpr.ml" 220 5995 6066
type(
  (t * 'a) list
)
ident(
  int_ref choices_if' "src/oasis/OASISExpr.ml" 214 5814 5820 "src/oasis/OASISExpr.ml" 214 5814 5831
)
"src/oasis/OASISExpr.ml" 220 5995 6045 "src/oasis/OASISExpr.ml" 220 5995 6067
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 220 5995 6014 "src/oasis/OASISExpr.ml" 220 5995 6068
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 220 5995 5999 "src/oasis/OASISExpr.ml" 220 5995 6068
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 217 5900 5902 "src/oasis/OASISExpr.ml" 220 5995 6068
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 214 5814 5816 "src/oasis/OASISExpr.ml" 220 5995 6068
type(
  (t * 'a) list
)
"src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
type(
  t -> string
)
ident(
  def to_string "src/oasis/OASISExpr.ml" 223 6071 6071 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 224 6091 6097 "src/oasis/OASISExpr.ml" 224 6091 6110
type(
  string -> string
)
ident(
  def id_or_qstring "src/oasis/OASISExpr.ml" 225 6168 6170 "src/oasis/OASISExpr.ml" 245 6828 6872
)
"src/oasis/OASISExpr.ml" 224 6091 6111 "src/oasis/OASISExpr.ml" 224 6091 6112
type(
  string
)
ident(
  def s "src/oasis/OASISExpr.ml" 224 6091 6115 "src/oasis/OASISExpr.ml" 224 6091 6164
)
"src/oasis/OASISExpr.ml" 224 6091 6118 "src/oasis/OASISExpr.ml" 224 6091 6128
type(
  string -> bool
)
ident(
  int_ref OASISUtils.is_varname "src/oasis/OASISUtils.mli" 110 3518 3518 "src/oasis/OASISUtils.mli" 110 3518 3548
)
"src/oasis/OASISExpr.ml" 224 6091 6129 "src/oasis/OASISExpr.ml" 224 6091 6130
type(
  string
)
ident(
  int_ref s "src/oasis/OASISExpr.ml" 224 6091 6111 "src/oasis/OASISExpr.ml" 224 6091 6112
)
"src/oasis/OASISExpr.ml" 224 6091 6118 "src/oasis/OASISExpr.ml" 224 6091 6130
type(
  bool
)
"src/oasis/OASISExpr.ml" 224 6091 6136 "src/oasis/OASISExpr.ml" 224 6091 6137
type(
  string
)
ident(
  int_ref s "src/oasis/OASISExpr.ml" 224 6091 6111 "src/oasis/OASISExpr.ml" 224 6091 6112
)
"src/oasis/OASISExpr.ml" 224 6091 6143 "src/oasis/OASISExpr.ml" 224 6091 6157
type(
  (string -> string, unit, string) format -> string -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/oasis/OASISExpr.ml" 224 6091 6158 "src/oasis/OASISExpr.ml" 224 6091 6162
type(
  (string -> string, unit, string) format
)
"src/oasis/OASISExpr.ml" 224 6091 6163 "src/oasis/OASISExpr.ml" 224 6091 6164
type(
  string
)
ident(
  int_ref s "src/oasis/OASISExpr.ml" 224 6091 6111 "src/oasis/OASISExpr.ml" 224 6091 6112
)
"src/oasis/OASISExpr.ml" 224 6091 6143 "src/oasis/OASISExpr.ml" 224 6091 6164
type(
  string
)
"src/oasis/OASISExpr.ml" 224 6091 6115 "src/oasis/OASISExpr.ml" 224 6091 6164
type(
  string
)
"src/oasis/OASISExpr.ml" 226 6179 6191 "src/oasis/OASISExpr.ml" 226 6179 6192
type(
  bool
)
ident(
  def b "src/oasis/OASISExpr.ml" 226 6179 6196 "src/oasis/OASISExpr.ml" 226 6179 6212
)
"src/oasis/OASISExpr.ml" 226 6179 6185 "src/oasis/OASISExpr.ml" 226 6179 6192
type(
  t
)
"src/oasis/OASISExpr.ml" 226 6179 6196 "src/oasis/OASISExpr.ml" 226 6179 6210
type(
  bool -> string
)
ident(
  int_ref Stdlib.string_of_bool "stdlib.mli" 734 27393 27393 "stdlib.mli" 734 27393 27428
)
"src/oasis/OASISExpr.ml" 226 6179 6211 "src/oasis/OASISExpr.ml" 226 6179 6212
type(
  bool
)
ident(
  int_ref b "src/oasis/OASISExpr.ml" 226 6179 6191 "src/oasis/OASISExpr.ml" 226 6179 6192
)
"src/oasis/OASISExpr.ml" 226 6179 6196 "src/oasis/OASISExpr.ml" 226 6179 6212
type(
  string
)
"src/oasis/OASISExpr.ml" 227 6213 6225 "src/oasis/OASISExpr.ml" 227 6213 6227
type(
  flag
)
ident(
  def nm "src/oasis/OASISExpr.ml" 227 6213 6231 "src/oasis/OASISExpr.ml" 227 6213 6261
)
"src/oasis/OASISExpr.ml" 227 6213 6219 "src/oasis/OASISExpr.ml" 227 6213 6227
type(
  t
)
"src/oasis/OASISExpr.ml" 227 6213 6231 "src/oasis/OASISExpr.ml" 227 6213 6238
type(
  string
)
"src/oasis/OASISExpr.ml" 227 6213 6238 "src/oasis/OASISExpr.ml" 227 6213 6239
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 227 6213 6240 "src/oasis/OASISExpr.ml" 227 6213 6253
type(
  flag -> flag
)
ident(
  int_ref id_or_qstring "src/oasis/OASISExpr.ml" 224 6091 6097 "src/oasis/OASISExpr.ml" 224 6091 6110
)
"src/oasis/OASISExpr.ml" 227 6213 6254 "src/oasis/OASISExpr.ml" 227 6213 6256
type(
  flag
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 227 6213 6225 "src/oasis/OASISExpr.ml" 227 6213 6227
)
"src/oasis/OASISExpr.ml" 227 6213 6239 "src/oasis/OASISExpr.ml" 227 6213 6257
type(
  flag
)
"src/oasis/OASISExpr.ml" 227 6213 6257 "src/oasis/OASISExpr.ml" 227 6213 6258
type(
  flag -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 227 6213 6258 "src/oasis/OASISExpr.ml" 227 6213 6261
type(
  string
)
"src/oasis/OASISExpr.ml" 227 6213 6239 "src/oasis/OASISExpr.ml" 227 6213 6261
type(
  string
)
"src/oasis/OASISExpr.ml" 227 6213 6231 "src/oasis/OASISExpr.ml" 227 6213 6261
type(
  string
)
"src/oasis/OASISExpr.ml" 228 6262 6275 "src/oasis/OASISExpr.ml" 228 6262 6277
type(
  test
)
ident(
  def nm "src/oasis/OASISExpr.ml" 228 6262 6286 "src/oasis/OASISExpr.ml" 228 6262 6315
)
"src/oasis/OASISExpr.ml" 228 6262 6279 "src/oasis/OASISExpr.ml" 228 6262 6281
type(
  string
)
ident(
  def vl "src/oasis/OASISExpr.ml" 228 6262 6286 "src/oasis/OASISExpr.ml" 228 6262 6315
)
"src/oasis/OASISExpr.ml" 228 6262 6268 "src/oasis/OASISExpr.ml" 228 6262 6282
type(
  t
)
"src/oasis/OASISExpr.ml" 228 6262 6286 "src/oasis/OASISExpr.ml" 228 6262 6288
type(
  test
)
ident(
  int_ref nm "src/oasis/OASISExpr.ml" 228 6262 6275 "src/oasis/OASISExpr.ml" 228 6262 6277
)
"src/oasis/OASISExpr.ml" 228 6262 6288 "src/oasis/OASISExpr.ml" 228 6262 6289
type(
  test -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 228 6262 6289 "src/oasis/OASISExpr.ml" 228 6262 6292
type(
  string
)
"src/oasis/OASISExpr.ml" 228 6262 6292 "src/oasis/OASISExpr.ml" 228 6262 6293
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 228 6262 6294 "src/oasis/OASISExpr.ml" 228 6262 6307
type(
  string -> string
)
ident(
  int_ref id_or_qstring "src/oasis/OASISExpr.ml" 224 6091 6097 "src/oasis/OASISExpr.ml" 224 6091 6110
)
"src/oasis/OASISExpr.ml" 228 6262 6308 "src/oasis/OASISExpr.ml" 228 6262 6310
type(
  string
)
ident(
  int_ref vl "src/oasis/OASISExpr.ml" 228 6262 6279 "src/oasis/OASISExpr.ml" 228 6262 6281
)
"src/oasis/OASISExpr.ml" 228 6262 6293 "src/oasis/OASISExpr.ml" 228 6262 6311
type(
  string
)
"src/oasis/OASISExpr.ml" 228 6262 6311 "src/oasis/OASISExpr.ml" 228 6262 6312
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 228 6262 6312 "src/oasis/OASISExpr.ml" 228 6262 6315
type(
  string
)
"src/oasis/OASISExpr.ml" 228 6262 6293 "src/oasis/OASISExpr.ml" 228 6262 6315
type(
  string
)
"src/oasis/OASISExpr.ml" 228 6262 6289 "src/oasis/OASISExpr.ml" 228 6262 6315
type(
  string
)
"src/oasis/OASISExpr.ml" 228 6262 6286 "src/oasis/OASISExpr.ml" 228 6262 6315
type(
  string
)
"src/oasis/OASISExpr.ml" 230 6317 6328 "src/oasis/OASISExpr.ml" 230 6317 6330
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 231 6339 6347 "src/oasis/OASISExpr.ml" 231 6339 6383
)
"src/oasis/OASISExpr.ml" 230 6317 6332 "src/oasis/OASISExpr.ml" 230 6317 6334
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 231 6339 6347 "src/oasis/OASISExpr.ml" 231 6339 6383
)
"src/oasis/OASISExpr.ml" 230 6317 6323 "src/oasis/OASISExpr.ml" 230 6317 6335
type(
  t
)
"src/oasis/OASISExpr.ml" 231 6339 6348 "src/oasis/OASISExpr.ml" 231 6339 6357
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 231 6339 6358 "src/oasis/OASISExpr.ml" 231 6339 6360
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 230 6317 6328 "src/oasis/OASISExpr.ml" 230 6317 6330
)
"src/oasis/OASISExpr.ml" 231 6339 6347 "src/oasis/OASISExpr.ml" 231 6339 6361
type(
  string
)
"src/oasis/OASISExpr.ml" 231 6339 6361 "src/oasis/OASISExpr.ml" 231 6339 6362
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 231 6339 6362 "src/oasis/OASISExpr.ml" 231 6339 6368
type(
  string
)
"src/oasis/OASISExpr.ml" 231 6339 6368 "src/oasis/OASISExpr.ml" 231 6339 6369
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 231 6339 6370 "src/oasis/OASISExpr.ml" 231 6339 6379
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 231 6339 6380 "src/oasis/OASISExpr.ml" 231 6339 6382
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 230 6317 6332 "src/oasis/OASISExpr.ml" 230 6317 6334
)
"src/oasis/OASISExpr.ml" 231 6339 6369 "src/oasis/OASISExpr.ml" 231 6339 6383
type(
  string
)
"src/oasis/OASISExpr.ml" 231 6339 6362 "src/oasis/OASISExpr.ml" 231 6339 6383
type(
  string
)
"src/oasis/OASISExpr.ml" 231 6339 6347 "src/oasis/OASISExpr.ml" 231 6339 6383
type(
  string
)
"src/oasis/OASISExpr.ml" 233 6385 6403 "src/oasis/OASISExpr.ml" 233 6385 6404
type(
  bool
)
"src/oasis/OASISExpr.ml" 233 6385 6397 "src/oasis/OASISExpr.ml" 233 6385 6404
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6413 "src/oasis/OASISExpr.ml" 233 6385 6414
type(
  flag
)
"src/oasis/OASISExpr.ml" 233 6385 6407 "src/oasis/OASISExpr.ml" 233 6385 6414
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6397 "src/oasis/OASISExpr.ml" 233 6385 6414
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6423 "src/oasis/OASISExpr.ml" 233 6385 6424
type(
  string
)
type(
  test
)
"src/oasis/OASISExpr.ml" 233 6385 6417 "src/oasis/OASISExpr.ml" 233 6385 6424
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6397 "src/oasis/OASISExpr.ml" 233 6385 6424
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6432 "src/oasis/OASISExpr.ml" 233 6385 6433
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6427 "src/oasis/OASISExpr.ml" 233 6385 6433
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6397 "src/oasis/OASISExpr.ml" 233 6385 6433
type(
  t
)
"src/oasis/OASISExpr.ml" 233 6385 6396 "src/oasis/OASISExpr.ml" 233 6385 6439
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 234 6443 6451 "src/oasis/OASISExpr.ml" 234 6443 6468
)
"src/oasis/OASISExpr.ml" 233 6385 6391 "src/oasis/OASISExpr.ml" 233 6385 6439
type(
  t
)
"src/oasis/OASISExpr.ml" 234 6443 6451 "src/oasis/OASISExpr.ml" 234 6443 6454
type(
  string
)
"src/oasis/OASISExpr.ml" 234 6443 6454 "src/oasis/OASISExpr.ml" 234 6443 6455
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 234 6443 6456 "src/oasis/OASISExpr.ml" 234 6443 6465
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 234 6443 6466 "src/oasis/OASISExpr.ml" 234 6443 6467
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 233 6385 6396 "src/oasis/OASISExpr.ml" 233 6385 6439
)
"src/oasis/OASISExpr.ml" 234 6443 6455 "src/oasis/OASISExpr.ml" 234 6443 6468
type(
  string
)
"src/oasis/OASISExpr.ml" 234 6443 6451 "src/oasis/OASISExpr.ml" 234 6443 6468
type(
  string
)
"src/oasis/OASISExpr.ml" 235 6469 6486 "src/oasis/OASISExpr.ml" 235 6469 6487
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 235 6469 6481 "src/oasis/OASISExpr.ml" 235 6469 6487
type(
  t
)
"src/oasis/OASISExpr.ml" 235 6469 6494 "src/oasis/OASISExpr.ml" 235 6469 6495
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 235 6469 6490 "src/oasis/OASISExpr.ml" 235 6469 6495
type(
  t
)
"src/oasis/OASISExpr.ml" 235 6469 6481 "src/oasis/OASISExpr.ml" 235 6469 6495
type(
  t
)
"src/oasis/OASISExpr.ml" 235 6469 6480 "src/oasis/OASISExpr.ml" 235 6469 6501
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 236 6505 6513 "src/oasis/OASISExpr.ml" 236 6505 6535
)
"src/oasis/OASISExpr.ml" 235 6469 6475 "src/oasis/OASISExpr.ml" 235 6469 6501
type(
  t
)
"src/oasis/OASISExpr.ml" 236 6505 6513 "src/oasis/OASISExpr.ml" 236 6505 6517
type(
  string
)
"src/oasis/OASISExpr.ml" 236 6505 6517 "src/oasis/OASISExpr.ml" 236 6505 6518
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 236 6505 6519 "src/oasis/OASISExpr.ml" 236 6505 6528
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 236 6505 6529 "src/oasis/OASISExpr.ml" 236 6505 6530
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 235 6469 6480 "src/oasis/OASISExpr.ml" 235 6469 6501
)
"src/oasis/OASISExpr.ml" 236 6505 6518 "src/oasis/OASISExpr.ml" 236 6505 6531
type(
  string
)
"src/oasis/OASISExpr.ml" 236 6505 6531 "src/oasis/OASISExpr.ml" 236 6505 6532
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 236 6505 6532 "src/oasis/OASISExpr.ml" 236 6505 6535
type(
  string
)
"src/oasis/OASISExpr.ml" 236 6505 6518 "src/oasis/OASISExpr.ml" 236 6505 6535
type(
  string
)
"src/oasis/OASISExpr.ml" 236 6505 6513 "src/oasis/OASISExpr.ml" 236 6505 6535
type(
  string
)
"src/oasis/OASISExpr.ml" 238 6537 6554 "src/oasis/OASISExpr.ml" 238 6537 6555
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 238 6537 6550 "src/oasis/OASISExpr.ml" 238 6537 6555
type(
  t
)
"src/oasis/OASISExpr.ml" 238 6537 6549 "src/oasis/OASISExpr.ml" 238 6537 6562
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 239 6582 6590 "src/oasis/OASISExpr.ml" 239 6582 6636
)
"src/oasis/OASISExpr.ml" 238 6537 6569 "src/oasis/OASISExpr.ml" 238 6537 6570
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 238 6537 6565 "src/oasis/OASISExpr.ml" 238 6537 6570
type(
  t
)
"src/oasis/OASISExpr.ml" 238 6537 6564 "src/oasis/OASISExpr.ml" 238 6537 6577
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 239 6582 6590 "src/oasis/OASISExpr.ml" 239 6582 6636
)
"src/oasis/OASISExpr.ml" 238 6537 6543 "src/oasis/OASISExpr.ml" 238 6537 6578
type(
  t
)
"src/oasis/OASISExpr.ml" 239 6582 6590 "src/oasis/OASISExpr.ml" 239 6582 6593
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6593 "src/oasis/OASISExpr.ml" 239 6582 6594
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 239 6582 6595 "src/oasis/OASISExpr.ml" 239 6582 6604
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 239 6582 6605 "src/oasis/OASISExpr.ml" 239 6582 6607
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 238 6537 6549 "src/oasis/OASISExpr.ml" 238 6537 6562
)
"src/oasis/OASISExpr.ml" 239 6582 6594 "src/oasis/OASISExpr.ml" 239 6582 6608
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6608 "src/oasis/OASISExpr.ml" 239 6582 6609
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 239 6582 6609 "src/oasis/OASISExpr.ml" 239 6582 6617
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6617 "src/oasis/OASISExpr.ml" 239 6582 6618
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 239 6582 6619 "src/oasis/OASISExpr.ml" 239 6582 6628
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 239 6582 6629 "src/oasis/OASISExpr.ml" 239 6582 6631
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 238 6537 6564 "src/oasis/OASISExpr.ml" 238 6537 6577
)
"src/oasis/OASISExpr.ml" 239 6582 6618 "src/oasis/OASISExpr.ml" 239 6582 6632
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6632 "src/oasis/OASISExpr.ml" 239 6582 6633
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 239 6582 6633 "src/oasis/OASISExpr.ml" 239 6582 6636
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6618 "src/oasis/OASISExpr.ml" 239 6582 6636
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6609 "src/oasis/OASISExpr.ml" 239 6582 6636
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6594 "src/oasis/OASISExpr.ml" 239 6582 6636
type(
  string
)
"src/oasis/OASISExpr.ml" 239 6582 6590 "src/oasis/OASISExpr.ml" 239 6582 6636
type(
  string
)
"src/oasis/OASISExpr.ml" 240 6637 6654 "src/oasis/OASISExpr.ml" 240 6637 6655
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 240 6637 6650 "src/oasis/OASISExpr.ml" 240 6637 6655
type(
  t
)
"src/oasis/OASISExpr.ml" 240 6637 6649 "src/oasis/OASISExpr.ml" 240 6637 6662
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 241 6671 6679 "src/oasis/OASISExpr.ml" 241 6671 6720
)
"src/oasis/OASISExpr.ml" 240 6637 6664 "src/oasis/OASISExpr.ml" 240 6637 6666
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 241 6671 6679 "src/oasis/OASISExpr.ml" 241 6671 6720
)
"src/oasis/OASISExpr.ml" 240 6637 6643 "src/oasis/OASISExpr.ml" 240 6637 6667
type(
  t
)
"src/oasis/OASISExpr.ml" 241 6671 6679 "src/oasis/OASISExpr.ml" 241 6671 6682
type(
  string
)
"src/oasis/OASISExpr.ml" 241 6671 6682 "src/oasis/OASISExpr.ml" 241 6671 6683
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 241 6671 6684 "src/oasis/OASISExpr.ml" 241 6671 6693
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 241 6671 6694 "src/oasis/OASISExpr.ml" 241 6671 6696
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 240 6637 6649 "src/oasis/OASISExpr.ml" 240 6637 6662
)
"src/oasis/OASISExpr.ml" 241 6671 6683 "src/oasis/OASISExpr.ml" 241 6671 6697
type(
  string
)
"src/oasis/OASISExpr.ml" 241 6671 6697 "src/oasis/OASISExpr.ml" 241 6671 6698
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 241 6671 6698 "src/oasis/OASISExpr.ml" 241 6671 6705
type(
  string
)
"src/oasis/OASISExpr.ml" 241 6671 6705 "src/oasis/OASISExpr.ml" 241 6671 6706
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 241 6671 6707 "src/oasis/OASISExpr.ml" 241 6671 6716
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 241 6671 6717 "src/oasis/OASISExpr.ml" 241 6671 6719
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 240 6637 6664 "src/oasis/OASISExpr.ml" 240 6637 6666
)
"src/oasis/OASISExpr.ml" 241 6671 6706 "src/oasis/OASISExpr.ml" 241 6671 6720
type(
  string
)
"src/oasis/OASISExpr.ml" 241 6671 6698 "src/oasis/OASISExpr.ml" 241 6671 6720
type(
  string
)
"src/oasis/OASISExpr.ml" 241 6671 6683 "src/oasis/OASISExpr.ml" 241 6671 6720
type(
  string
)
"src/oasis/OASISExpr.ml" 241 6671 6679 "src/oasis/OASISExpr.ml" 241 6671 6720
type(
  string
)
"src/oasis/OASISExpr.ml" 242 6721 6733 "src/oasis/OASISExpr.ml" 242 6721 6735
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 243 6755 6763 "src/oasis/OASISExpr.ml" 243 6755 6804
)
"src/oasis/OASISExpr.ml" 242 6721 6742 "src/oasis/OASISExpr.ml" 242 6721 6743
type(
  t
)
type(
  t
)
"src/oasis/OASISExpr.ml" 242 6721 6738 "src/oasis/OASISExpr.ml" 242 6721 6743
type(
  t
)
"src/oasis/OASISExpr.ml" 242 6721 6737 "src/oasis/OASISExpr.ml" 242 6721 6750
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 243 6755 6763 "src/oasis/OASISExpr.ml" 243 6755 6804
)
"src/oasis/OASISExpr.ml" 242 6721 6727 "src/oasis/OASISExpr.ml" 242 6721 6751
type(
  t
)
"src/oasis/OASISExpr.ml" 243 6755 6764 "src/oasis/OASISExpr.ml" 243 6755 6773
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 243 6755 6774 "src/oasis/OASISExpr.ml" 243 6755 6776
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 242 6721 6733 "src/oasis/OASISExpr.ml" 242 6721 6735
)
"src/oasis/OASISExpr.ml" 243 6755 6763 "src/oasis/OASISExpr.ml" 243 6755 6777
type(
  string
)
"src/oasis/OASISExpr.ml" 243 6755 6777 "src/oasis/OASISExpr.ml" 243 6755 6778
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 243 6755 6778 "src/oasis/OASISExpr.ml" 243 6755 6785
type(
  string
)
"src/oasis/OASISExpr.ml" 243 6755 6785 "src/oasis/OASISExpr.ml" 243 6755 6786
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 243 6755 6787 "src/oasis/OASISExpr.ml" 243 6755 6796
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 243 6755 6797 "src/oasis/OASISExpr.ml" 243 6755 6799
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 242 6721 6737 "src/oasis/OASISExpr.ml" 242 6721 6750
)
"src/oasis/OASISExpr.ml" 243 6755 6786 "src/oasis/OASISExpr.ml" 243 6755 6800
type(
  string
)
"src/oasis/OASISExpr.ml" 243 6755 6800 "src/oasis/OASISExpr.ml" 243 6755 6801
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 243 6755 6801 "src/oasis/OASISExpr.ml" 243 6755 6804
type(
  string
)
"src/oasis/OASISExpr.ml" 243 6755 6786 "src/oasis/OASISExpr.ml" 243 6755 6804
type(
  string
)
"src/oasis/OASISExpr.ml" 243 6755 6778 "src/oasis/OASISExpr.ml" 243 6755 6804
type(
  string
)
"src/oasis/OASISExpr.ml" 243 6755 6763 "src/oasis/OASISExpr.ml" 243 6755 6804
type(
  string
)
"src/oasis/OASISExpr.ml" 244 6805 6817 "src/oasis/OASISExpr.ml" 244 6805 6819
type(
  t
)
ident(
  def e1 "src/oasis/OASISExpr.ml" 245 6828 6836 "src/oasis/OASISExpr.ml" 245 6828 6872
)
"src/oasis/OASISExpr.ml" 244 6805 6821 "src/oasis/OASISExpr.ml" 244 6805 6823
type(
  t
)
ident(
  def e2 "src/oasis/OASISExpr.ml" 245 6828 6836 "src/oasis/OASISExpr.ml" 245 6828 6872
)
"src/oasis/OASISExpr.ml" 244 6805 6811 "src/oasis/OASISExpr.ml" 244 6805 6824
type(
  t
)
"src/oasis/OASISExpr.ml" 245 6828 6837 "src/oasis/OASISExpr.ml" 245 6828 6846
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 245 6828 6847 "src/oasis/OASISExpr.ml" 245 6828 6849
type(
  t
)
ident(
  int_ref e1 "src/oasis/OASISExpr.ml" 244 6805 6817 "src/oasis/OASISExpr.ml" 244 6805 6819
)
"src/oasis/OASISExpr.ml" 245 6828 6836 "src/oasis/OASISExpr.ml" 245 6828 6850
type(
  string
)
"src/oasis/OASISExpr.ml" 245 6828 6850 "src/oasis/OASISExpr.ml" 245 6828 6851
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 245 6828 6851 "src/oasis/OASISExpr.ml" 245 6828 6857
type(
  string
)
"src/oasis/OASISExpr.ml" 245 6828 6857 "src/oasis/OASISExpr.ml" 245 6828 6858
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 245 6828 6859 "src/oasis/OASISExpr.ml" 245 6828 6868
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 245 6828 6869 "src/oasis/OASISExpr.ml" 245 6828 6871
type(
  t
)
ident(
  int_ref e2 "src/oasis/OASISExpr.ml" 244 6805 6821 "src/oasis/OASISExpr.ml" 244 6805 6823
)
"src/oasis/OASISExpr.ml" 245 6828 6858 "src/oasis/OASISExpr.ml" 245 6828 6872
type(
  string
)
"src/oasis/OASISExpr.ml" 245 6828 6851 "src/oasis/OASISExpr.ml" 245 6828 6872
type(
  string
)
"src/oasis/OASISExpr.ml" 245 6828 6836 "src/oasis/OASISExpr.ml" 245 6828 6872
type(
  string
)
"src/oasis/OASISExpr.ml" 225 6168 6170 "src/oasis/OASISExpr.ml" 245 6828 6872
type(
  t -> string
)
"src/oasis/OASISExpr.ml" 224 6091 6093 "src/oasis/OASISExpr.ml" 245 6828 6872
type(
  t -> string
)
"src/oasis/OASISExpr.ml" 248 6875 6879 "src/oasis/OASISExpr.ml" 248 6875 6896
type(
  ('a -> string) -> (t * 'a) list -> string
)
ident(
  def string_of_choices "src/oasis/OASISExpr.ml" 253 7011 7011 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 248 6875 6897 "src/oasis/OASISExpr.ml" 248 6875 6898
type(
  'a -> string
)
ident(
  def f "src/oasis/OASISExpr.ml" 248 6875 6899 "src/oasis/OASISExpr.ml" 250 6931 7008
)
"src/oasis/OASISExpr.ml" 248 6875 6899 "src/oasis/OASISExpr.ml" 248 6875 6902
type(
  (t * 'a) list
)
ident(
  def lst "src/oasis/OASISExpr.ml" 249 6905 6907 "src/oasis/OASISExpr.ml" 250 6931 7008
)
"src/oasis/OASISExpr.ml" 249 6905 6907 "src/oasis/OASISExpr.ml" 249 6905 6910
type(
  string
)
"src/oasis/OASISExpr.ml" 249 6905 6910 "src/oasis/OASISExpr.ml" 249 6905 6911
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 249 6905 6912 "src/oasis/OASISExpr.ml" 249 6905 6925
type(
  string -> string list -> string
)
ident(
  int_ref Stdlib.String.concat "string.mli" 132 5016 5016 "string.mli" 132 5016 5060
)
"src/oasis/OASISExpr.ml" 249 6905 6926 "src/oasis/OASISExpr.ml" 249 6905 6930
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 6941 "src/oasis/OASISExpr.ml" 250 6931 6953
type(
  (t * 'a -> string) -> (t * 'a) list -> string list
)
ident(
  int_ref Stdlib.List.rev_map "list.mli" 185 6592 6592 "list.mli" 185 6592 6638
)
"src/oasis/OASISExpr.ml" 250 6931 6960 "src/oasis/OASISExpr.ml" 250 6931 6961
type(
  t
)
ident(
  def e "src/oasis/OASISExpr.ml" 250 6931 6970 "src/oasis/OASISExpr.ml" 250 6931 6997
)
"src/oasis/OASISExpr.ml" 250 6931 6963 "src/oasis/OASISExpr.ml" 250 6931 6965
type(
  'a
)
ident(
  def vl "src/oasis/OASISExpr.ml" 250 6931 6970 "src/oasis/OASISExpr.ml" 250 6931 6997
)
"src/oasis/OASISExpr.ml" 250 6931 6959 "src/oasis/OASISExpr.ml" 250 6931 6966
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 250 6931 6971 "src/oasis/OASISExpr.ml" 250 6931 6980
type(
  t -> string
)
ident(
  int_ref to_string "src/oasis/OASISExpr.ml" 223 6071 6079 "src/oasis/OASISExpr.ml" 223 6071 6088
)
"src/oasis/OASISExpr.ml" 250 6931 6981 "src/oasis/OASISExpr.ml" 250 6931 6982
type(
  t
)
ident(
  int_ref e "src/oasis/OASISExpr.ml" 250 6931 6960 "src/oasis/OASISExpr.ml" 250 6931 6961
)
"src/oasis/OASISExpr.ml" 250 6931 6970 "src/oasis/OASISExpr.ml" 250 6931 6983
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 6983 "src/oasis/OASISExpr.ml" 250 6931 6984
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 250 6931 6984 "src/oasis/OASISExpr.ml" 250 6931 6990
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 6990 "src/oasis/OASISExpr.ml" 250 6931 6991
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 250 6931 6992 "src/oasis/OASISExpr.ml" 250 6931 6993
type(
  'a -> string
)
ident(
  int_ref f "src/oasis/OASISExpr.ml" 248 6875 6897 "src/oasis/OASISExpr.ml" 248 6875 6898
)
"src/oasis/OASISExpr.ml" 250 6931 6994 "src/oasis/OASISExpr.ml" 250 6931 6996
type(
  'a
)
ident(
  int_ref vl "src/oasis/OASISExpr.ml" 250 6931 6963 "src/oasis/OASISExpr.ml" 250 6931 6965
)
"src/oasis/OASISExpr.ml" 250 6931 6991 "src/oasis/OASISExpr.ml" 250 6931 6997
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 6984 "src/oasis/OASISExpr.ml" 250 6931 6997
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 6970 "src/oasis/OASISExpr.ml" 250 6931 6997
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 6954 "src/oasis/OASISExpr.ml" 250 6931 6998
type(
  t * 'a -> string
)
"src/oasis/OASISExpr.ml" 250 6931 6999 "src/oasis/OASISExpr.ml" 250 6931 7002
type(
  (t * 'a) list
)
ident(
  int_ref lst "src/oasis/OASISExpr.ml" 248 6875 6899 "src/oasis/OASISExpr.ml" 248 6875 6902
)
"src/oasis/OASISExpr.ml" 250 6931 6940 "src/oasis/OASISExpr.ml" 250 6931 7003
type(
  string list
)
"src/oasis/OASISExpr.ml" 249 6905 6911 "src/oasis/OASISExpr.ml" 250 6931 7004
type(
  string
)
"src/oasis/OASISExpr.ml" 250 6931 7004 "src/oasis/OASISExpr.ml" 250 6931 7005
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExpr.ml" 250 6931 7005 "src/oasis/OASISExpr.ml" 250 6931 7008
type(
  string
)
"src/oasis/OASISExpr.ml" 249 6905 6911 "src/oasis/OASISExpr.ml" 250 6931 7008
type(
  string
)
"src/oasis/OASISExpr.ml" 249 6905 6907 "src/oasis/OASISExpr.ml" 250 6931 7008
type(
  string
)
"src/oasis/OASISExpr.ml" 253 7011 7015 "src/oasis/OASISExpr.ml" 253 7011 7029
type(
  ('a -> OASISDataNotation.t) -> (t * 'a) list -> OASISDataNotation.t
)
ident(
  def odn_of_choices "src/oasis/OASISExpr.ml" 266 7552 7614 "src/oasis/OASISExpr.ml" 0 0 -1
)
"src/oasis/OASISExpr.ml" 253 7011 7030 "src/oasis/OASISExpr.ml" 253 7011 7038
type(
  'a -> OASISDataNotation.t
)
ident(
  def odn_of_a "src/oasis/OASISExpr.ml" 253 7011 7039 "src/oasis/OASISExpr.ml" 266 7552 7614
)
"src/oasis/OASISExpr.ml" 253 7011 7039 "src/oasis/OASISExpr.ml" 253 7011 7040
type(
  (t * 'a) list
)
ident(
  def x "src/oasis/OASISExpr.ml" 254 7043 7045 "src/oasis/OASISExpr.ml" 266 7552 7614
)
"src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
type(
  t -> OASISDataNotation.t
)
ident(
  def odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7077 "src/oasis/OASISExpr.ml" 266 7552 7614
)
"src/oasis/OASISExpr.ml" 257 7109 7121 "src/oasis/OASISExpr.ml" 257 7109 7123
type(
  bool
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 257 7109 7127 "src/oasis/OASISExpr.ml" 257 7109 7166
)
"src/oasis/OASISExpr.ml" 257 7109 7115 "src/oasis/OASISExpr.ml" 257 7109 7123
type(
  t
)
"src/oasis/OASISExpr.ml" 257 7109 7132 "src/oasis/OASISExpr.ml" 257 7109 7149
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISExpr.ml" 257 7109 7153 "src/oasis/OASISExpr.ml" 257 7109 7160
type(
  bool -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_bool "src/oasis/OASISDataNotation.ml" 64 2484 2488 "src/oasis/OASISDataNotation.ml" 64 2484 2495
)
"src/oasis/OASISExpr.ml" 257 7109 7161 "src/oasis/OASISExpr.ml" 257 7109 7163
type(
  bool
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 257 7109 7121 "src/oasis/OASISExpr.ml" 257 7109 7123
)
"src/oasis/OASISExpr.ml" 257 7109 7153 "src/oasis/OASISExpr.ml" 257 7109 7163
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 257 7109 7151 "src/oasis/OASISExpr.ml" 257 7109 7165
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 257 7109 7127 "src/oasis/OASISExpr.ml" 257 7109 7166
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 258 7167 7178 "src/oasis/OASISExpr.ml" 258 7167 7180
type(
  t
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 258 7167 7184 "src/oasis/OASISExpr.ml" 258 7167 7223
)
"src/oasis/OASISExpr.ml" 258 7167 7173 "src/oasis/OASISExpr.ml" 258 7167 7180
type(
  t
)
"src/oasis/OASISExpr.ml" 258 7167 7189 "src/oasis/OASISExpr.ml" 258 7167 7205
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISExpr.ml" 258 7167 7209 "src/oasis/OASISExpr.ml" 258 7167 7217
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
)
"src/oasis/OASISExpr.ml" 258 7167 7218 "src/oasis/OASISExpr.ml" 258 7167 7220
type(
  t
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 258 7167 7178 "src/oasis/OASISExpr.ml" 258 7167 7180
)
"src/oasis/OASISExpr.ml" 258 7167 7209 "src/oasis/OASISExpr.ml" 258 7167 7220
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 258 7167 7207 "src/oasis/OASISExpr.ml" 258 7167 7222
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 258 7167 7184 "src/oasis/OASISExpr.ml" 258 7167 7223
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 259 7224 7237 "src/oasis/OASISExpr.ml" 259 7224 7239
type(
  t
)
ident(
  def v1 "src/oasis/OASISExpr.ml" 260 7249 7257 "src/oasis/OASISExpr.ml" 260 7249 7309
)
"src/oasis/OASISExpr.ml" 259 7224 7241 "src/oasis/OASISExpr.ml" 259 7224 7243
type(
  t
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 260 7249 7257 "src/oasis/OASISExpr.ml" 260 7249 7309
)
"src/oasis/OASISExpr.ml" 259 7224 7230 "src/oasis/OASISExpr.ml" 259 7224 7245
type(
  t
)
"src/oasis/OASISExpr.ml" 260 7249 7262 "src/oasis/OASISExpr.ml" 260 7249 7278
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISExpr.ml" 260 7249 7282 "src/oasis/OASISExpr.ml" 260 7249 7290
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
)
"src/oasis/OASISExpr.ml" 260 7249 7291 "src/oasis/OASISExpr.ml" 260 7249 7293
type(
  t
)
ident(
  int_ref v1 "src/oasis/OASISExpr.ml" 259 7224 7237 "src/oasis/OASISExpr.ml" 259 7224 7239
)
"src/oasis/OASISExpr.ml" 260 7249 7282 "src/oasis/OASISExpr.ml" 260 7249 7293
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 260 7249 7295 "src/oasis/OASISExpr.ml" 260 7249 7303
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
)
"src/oasis/OASISExpr.ml" 260 7249 7304 "src/oasis/OASISExpr.ml" 260 7249 7306
type(
  t
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 259 7224 7241 "src/oasis/OASISExpr.ml" 259 7224 7243
)
"src/oasis/OASISExpr.ml" 260 7249 7295 "src/oasis/OASISExpr.ml" 260 7249 7306
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 260 7249 7280 "src/oasis/OASISExpr.ml" 260 7249 7308
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 260 7249 7257 "src/oasis/OASISExpr.ml" 260 7249 7309
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 261 7310 7322 "src/oasis/OASISExpr.ml" 261 7310 7324
type(
  t
)
ident(
  def v1 "src/oasis/OASISExpr.ml" 261 7310 7334 "src/oasis/OASISExpr.ml" 261 7310 7385
)
"src/oasis/OASISExpr.ml" 261 7310 7326 "src/oasis/OASISExpr.ml" 261 7310 7328
type(
  t
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 261 7310 7334 "src/oasis/OASISExpr.ml" 261 7310 7385
)
"src/oasis/OASISExpr.ml" 261 7310 7316 "src/oasis/OASISExpr.ml" 261 7310 7330
type(
  t
)
"src/oasis/OASISExpr.ml" 261 7310 7339 "src/oasis/OASISExpr.ml" 261 7310 7354
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISExpr.ml" 261 7310 7358 "src/oasis/OASISExpr.ml" 261 7310 7366
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
)
"src/oasis/OASISExpr.ml" 261 7310 7367 "src/oasis/OASISExpr.ml" 261 7310 7369
type(
  t
)
ident(
  int_ref v1 "src/oasis/OASISExpr.ml" 261 7310 7322 "src/oasis/OASISExpr.ml" 261 7310 7324
)
"src/oasis/OASISExpr.ml" 261 7310 7358 "src/oasis/OASISExpr.ml" 261 7310 7369
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 261 7310 7371 "src/oasis/OASISExpr.ml" 261 7310 7379
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
)
"src/oasis/OASISExpr.ml" 261 7310 7380 "src/oasis/OASISExpr.ml" 261 7310 7382
type(
  t
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 261 7310 7326 "src/oasis/OASISExpr.ml" 261 7310 7328
)
"src/oasis/OASISExpr.ml" 261 7310 7371 "src/oasis/OASISExpr.ml" 261 7310 7382
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 261 7310 7356 "src/oasis/OASISExpr.ml" 261 7310 7384
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 261 7310 7334 "src/oasis/OASISExpr.ml" 261 7310 7385
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 262 7386 7398 "src/oasis/OASISExpr.ml" 262 7386 7400
type(
  flag
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 262 7386 7404 "src/oasis/OASISExpr.ml" 262 7386 7439
)
"src/oasis/OASISExpr.ml" 262 7386 7392 "src/oasis/OASISExpr.ml" 262 7386 7400
type(
  t
)
"src/oasis/OASISExpr.ml" 262 7386 7409 "src/oasis/OASISExpr.ml" 262 7386 7426
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISExpr.ml" 262 7386 7434 "src/oasis/OASISExpr.ml" 262 7386 7436
type(
  flag
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 262 7386 7398 "src/oasis/OASISExpr.ml" 262 7386 7400
)
"src/oasis/OASISExpr.ml" 262 7386 7430 "src/oasis/OASISExpr.ml" 262 7386 7436
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 262 7386 7428 "src/oasis/OASISExpr.ml" 262 7386 7438
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 262 7386 7404 "src/oasis/OASISExpr.ml" 262 7386 7439
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 263 7440 7454 "src/oasis/OASISExpr.ml" 263 7440 7456
type(
  test
)
ident(
  def v1 "src/oasis/OASISExpr.ml" 264 7466 7474 "src/oasis/OASISExpr.ml" 264 7466 7546
)
"src/oasis/OASISExpr.ml" 263 7440 7458 "src/oasis/OASISExpr.ml" 263 7440 7460
type(
  string
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 264 7466 7474 "src/oasis/OASISExpr.ml" 264 7466 7546
)
"src/oasis/OASISExpr.ml" 263 7440 7446 "src/oasis/OASISExpr.ml" 263 7440 7462
type(
  t
)
"src/oasis/OASISExpr.ml" 264 7466 7479 "src/oasis/OASISExpr.ml" 264 7466 7496
type(
  OASISDataNotation.variant_name
)
"src/oasis/OASISExpr.ml" 264 7466 7500 "src/oasis/OASISExpr.ml" 264 7466 7509
type(
  test -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISExpr.ml" 264 7466 7511 "src/oasis/OASISExpr.ml" 264 7466 7525
type(
  test -> test
)
ident(
  int_ref string_of_test "src/oasis/OASISExpr.ml" 130 3696 3700 "src/oasis/OASISExpr.ml" 130 3696 3714
)
"src/oasis/OASISExpr.ml" 264 7466 7526 "src/oasis/OASISExpr.ml" 264 7466 7528
type(
  test
)
ident(
  int_ref v1 "src/oasis/OASISExpr.ml" 263 7440 7454 "src/oasis/OASISExpr.ml" 263 7440 7456
)
"src/oasis/OASISExpr.ml" 264 7466 7510 "src/oasis/OASISExpr.ml" 264 7466 7529
type(
  test
)
"src/oasis/OASISExpr.ml" 264 7466 7500 "src/oasis/OASISExpr.ml" 264 7466 7529
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 264 7466 7531 "src/oasis/OASISExpr.ml" 264 7466 7540
type(
  string -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_string "src/oasis/OASISDataNotation.ml" 65 2506 2510 "src/oasis/OASISDataNotation.ml" 65 2506 2519
)
"src/oasis/OASISExpr.ml" 264 7466 7541 "src/oasis/OASISExpr.ml" 264 7466 7543
type(
  string
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 263 7440 7458 "src/oasis/OASISExpr.ml" 263 7440 7460
)
"src/oasis/OASISExpr.ml" 264 7466 7531 "src/oasis/OASISExpr.ml" 264 7466 7543
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 264 7466 7498 "src/oasis/OASISExpr.ml" 264 7466 7545
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 264 7466 7474 "src/oasis/OASISExpr.ml" 264 7466 7546
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 256 7096 7100 "src/oasis/OASISExpr.ml" 264 7466 7546
type(
  t -> OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 266 7552 7554 "src/oasis/OASISExpr.ml" 266 7552 7561
type(
  (t * 'a -> OASISDataNotation.t) -> (t * 'a) list -> OASISDataNotation.t
)
ident(
  int_ref OASISDataNotation.of_list "src/oasis/OASISDataNotation.ml" 72 2628 2632 "src/oasis/OASISDataNotation.ml" 72 2628 2639
)
"src/oasis/OASISExpr.ml" 266 7552 7568 "src/oasis/OASISExpr.ml" 266 7552 7570
type(
  t
)
ident(
  def v1 "src/oasis/OASISExpr.ml" 266 7552 7579 "src/oasis/OASISExpr.ml" 266 7552 7611
)
"src/oasis/OASISExpr.ml" 266 7552 7572 "src/oasis/OASISExpr.ml" 266 7552 7574
type(
  'a
)
ident(
  def v0 "src/oasis/OASISExpr.ml" 266 7552 7579 "src/oasis/OASISExpr.ml" 266 7552 7611
)
"src/oasis/OASISExpr.ml" 266 7552 7567 "src/oasis/OASISExpr.ml" 266 7552 7575
type(
  t * 'a
)
"src/oasis/OASISExpr.ml" 266 7552 7585 "src/oasis/OASISExpr.ml" 266 7552 7593
type(
  t -> OASISDataNotation.t
)
ident(
  int_ref odn_of_t "src/oasis/OASISExpr.ml" 255 7075 7085 "src/oasis/OASISExpr.ml" 255 7075 7093
)
"src/oasis/OASISExpr.ml" 266 7552 7594 "src/oasis/OASISExpr.ml" 266 7552 7596
type(
  t
)
ident(
  int_ref v1 "src/oasis/OASISExpr.ml" 266 7552 7568 "src/oasis/OASISExpr.ml" 266 7552 7570
)
"src/oasis/OASISExpr.ml" 266 7552 7585 "src/oasis/OASISExpr.ml" 266 7552 7596
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 266 7552 7598 "src/oasis/OASISExpr.ml" 266 7552 7606
type(
  'a -> OASISDataNotation.t
)
ident(
  int_ref odn_of_a "src/oasis/OASISExpr.ml" 253 7011 7030 "src/oasis/OASISExpr.ml" 253 7011 7038
)
"src/oasis/OASISExpr.ml" 266 7552 7607 "src/oasis/OASISExpr.ml" 266 7552 7609
type(
  'a
)
ident(
  int_ref v0 "src/oasis/OASISExpr.ml" 266 7552 7572 "src/oasis/OASISExpr.ml" 266 7552 7574
)
"src/oasis/OASISExpr.ml" 266 7552 7598 "src/oasis/OASISExpr.ml" 266 7552 7609
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 266 7552 7583 "src/oasis/OASISExpr.ml" 266 7552 7611
type(
  OASISDataNotation.t list
)
"src/oasis/OASISExpr.ml" 266 7552 7579 "src/oasis/OASISExpr.ml" 266 7552 7611
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 266 7552 7562 "src/oasis/OASISExpr.ml" 266 7552 7612
type(
  t * 'a -> OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 266 7552 7613 "src/oasis/OASISExpr.ml" 266 7552 7614
type(
  (t * 'a) list
)
ident(
  int_ref x "src/oasis/OASISExpr.ml" 253 7011 7039 "src/oasis/OASISExpr.ml" 253 7011 7040
)
"src/oasis/OASISExpr.ml" 266 7552 7554 "src/oasis/OASISExpr.ml" 266 7552 7614
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 255 7075 7077 "src/oasis/OASISExpr.ml" 266 7552 7614
type(
  OASISDataNotation.t
)
"src/oasis/OASISExpr.ml" 254 7043 7045 "src/oasis/OASISExpr.ml" 266 7552 7614
type(
  OASISDataNotation.t
)
