"src/oasis/OASISText.ml" 37 1853 1857 "src/oasis/OASISText.ml" 37 1853 1866
type(
  string -> elt list
)
ident(
  def of_string "src/oasis/OASISText.ml" 90 3306 3306 "src/oasis/OASISText.ml" 0 0 -1
)
"src/oasis/OASISText.ml" 37 1853 1867 "src/oasis/OASISText.ml" 37 1853 1870
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 38 1873 1875 "src/oasis/OASISText.ml" 87 3276 3303
)
"src/oasis/OASISText.ml" 38 1873 1879 "src/oasis/OASISText.ml" 38 1873 1882
type(
  string list
)
ident(
  def lst "src/oasis/OASISText.ml" 39 1933 1935 "src/oasis/OASISText.ml" 87 3276 3303
)
"src/oasis/OASISText.ml" 38 1873 1885 "src/oasis/OASISText.ml" 38 1873 1910
type(
  ?do_trim:bool -> string -> string list
)
ident(
  int_ref OASISString.split_newline "src/oasis/OASISString.ml" 290 7551 7555 "src/oasis/OASISString.ml" 290 7551 7568
)
"src/oasis/OASISText.ml" 38 1873 1920 "src/oasis/OASISText.ml" 38 1873 1925
type(
  bool
)
type(
  bool option
)
"src/oasis/OASISText.ml" 38 1873 1926 "src/oasis/OASISText.ml" 38 1873 1929
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 37 1853 1867 "src/oasis/OASISText.ml" 37 1853 1870
)
"src/oasis/OASISText.ml" 38 1873 1885 "src/oasis/OASISText.ml" 38 1873 1929
type(
  string list
)
"src/oasis/OASISText.ml" 39 1933 1939 "src/oasis/OASISText.ml" 39 1933 1950
type(
  ?offset:int -> string -> bool
)
ident(
  def is_verbatim "src/oasis/OASISText.ml" 40 1990 1992 "src/oasis/OASISText.ml" 87 3276 3303
)
"src/oasis/OASISText.ml" 39 1933 1953 "src/oasis/OASISText.ml" 39 1933 1976
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  int_ref OASISString.starts_with "src/oasis/OASISString.ml" 93 3062 3066 "src/oasis/OASISString.ml" 93 3062 3077
)
"src/oasis/OASISText.ml" 39 1933 1983 "src/oasis/OASISText.ml" 39 1933 1986
type(
  string
)
"src/oasis/OASISText.ml" 39 1933 1953 "src/oasis/OASISText.ml" 39 1933 1986
type(
  ?offset:int -> string -> bool
)
"src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
type(
  string list ->
  [> `BlankLine | `ContPara of string | `EndPara | `Verbatim of string ] list
)
ident(
  def parse "src/oasis/OASISText.ml" 40 1990 1992 "src/oasis/OASISText.ml" 87 3276 3303
)
"src/oasis/OASISText.ml" 43 2062 2071 "src/oasis/OASISText.ml" 43 2062 2073
type(
  string
)
"src/oasis/OASISText.ml" 43 2062 2075 "src/oasis/OASISText.ml" 43 2062 2077
type(
  string
)
"src/oasis/OASISText.ml" 43 2062 2070 "src/oasis/OASISText.ml" 43 2062 2078
type(
  string list
)
"src/oasis/OASISText.ml" 44 2082 2091 "src/oasis/OASISText.ml" 44 2082 2101
type(
  [> `BlankLine | `ContPara of string | `EndPara | `Verbatim of string ]
  as 'a
)
"src/oasis/OASISText.ml" 44 2082 2090 "src/oasis/OASISText.ml" 44 2082 2102
type(
  'a list
)
"src/oasis/OASISText.ml" 45 2103 2112 "src/oasis/OASISText.ml" 45 2103 2115
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 46 2124 2132 "src/oasis/OASISText.ml" 49 2207 2244
)
"src/oasis/OASISText.ml" 45 2103 2117 "src/oasis/OASISText.ml" 45 2103 2119
type(
  string
)
"src/oasis/OASISText.ml" 45 2103 2111 "src/oasis/OASISText.ml" 45 2103 2120
type(
  string list
)
"src/oasis/OASISText.ml" 46 2124 2135 "src/oasis/OASISText.ml" 46 2124 2146
type(
  ?offset:int -> string -> bool
)
ident(
  int_ref is_verbatim "src/oasis/OASISText.ml" 39 1933 1939 "src/oasis/OASISText.ml" 39 1933 1950
)
"src/oasis/OASISText.ml" 46 2124 2147 "src/oasis/OASISText.ml" 46 2124 2150
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 45 2103 2112 "src/oasis/OASISText.ml" 45 2103 2115
)
"src/oasis/OASISText.ml" 46 2124 2135 "src/oasis/OASISText.ml" 46 2124 2150
type(
  bool
)
"src/oasis/OASISText.ml" 47 2156 2177 "src/oasis/OASISText.ml" 47 2156 2180
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 45 2103 2112 "src/oasis/OASISText.ml" 45 2103 2115
)
"src/oasis/OASISText.ml" 47 2156 2167 "src/oasis/OASISText.ml" 47 2156 2180
type(
  'a
)
"src/oasis/OASISText.ml" 47 2156 2182 "src/oasis/OASISText.ml" 47 2156 2192
type(
  'a
)
"src/oasis/OASISText.ml" 47 2156 2166 "src/oasis/OASISText.ml" 47 2156 2193
type(
  'a list
)
"src/oasis/OASISText.ml" 49 2207 2228 "src/oasis/OASISText.ml" 49 2207 2231
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 45 2103 2112 "src/oasis/OASISText.ml" 45 2103 2115
)
"src/oasis/OASISText.ml" 49 2207 2218 "src/oasis/OASISText.ml" 49 2207 2231
type(
  'a
)
"src/oasis/OASISText.ml" 49 2207 2233 "src/oasis/OASISText.ml" 49 2207 2243
type(
  'a
)
"src/oasis/OASISText.ml" 49 2207 2217 "src/oasis/OASISText.ml" 49 2207 2244
type(
  'a list
)
"src/oasis/OASISText.ml" 46 2124 2132 "src/oasis/OASISText.ml" 49 2207 2244
type(
  'a list
)
"src/oasis/OASISText.ml" 51 2246 2254 "src/oasis/OASISText.ml" 51 2246 2256
type(
  string
)
"src/oasis/OASISText.ml" 51 2246 2260 "src/oasis/OASISText.ml" 51 2246 2262
type(
  string
)
"src/oasis/OASISText.ml" 51 2246 2266 "src/oasis/OASISText.ml" 51 2246 2268
type(
  string list
)
ident(
  def tl "src/oasis/OASISText.ml" 52 2272 2280 "src/oasis/OASISText.ml" 52 2272 2304
)
"src/oasis/OASISText.ml" 51 2246 2260 "src/oasis/OASISText.ml" 51 2246 2268
type(
  string list
)
"src/oasis/OASISText.ml" 51 2246 2254 "src/oasis/OASISText.ml" 51 2246 2268
type(
  string list
)
"src/oasis/OASISText.ml" 52 2272 2280 "src/oasis/OASISText.ml" 52 2272 2290
type(
  'a
)
"src/oasis/OASISText.ml" 52 2272 2295 "src/oasis/OASISText.ml" 52 2272 2300
type(
  string list -> 'a list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 52 2272 2301 "src/oasis/OASISText.ml" 52 2272 2303
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 51 2246 2266 "src/oasis/OASISText.ml" 51 2246 2268
)
"src/oasis/OASISText.ml" 52 2272 2294 "src/oasis/OASISText.ml" 52 2272 2304
type(
  'a list
)
"src/oasis/OASISText.ml" 52 2272 2280 "src/oasis/OASISText.ml" 52 2272 2304
type(
  'a list
)
"src/oasis/OASISText.ml" 54 2306 2314 "src/oasis/OASISText.ml" 54 2306 2318
type(
  string
)
ident(
  def str1 "src/oasis/OASISText.ml" 54 2306 2344 "src/oasis/OASISText.ml" 55 2364 2432
)
"src/oasis/OASISText.ml" 54 2306 2322 "src/oasis/OASISText.ml" 54 2306 2324
type(
  string
)
"src/oasis/OASISText.ml" 54 2306 2328 "src/oasis/OASISText.ml" 54 2306 2332
type(
  string
)
ident(
  def str2 "src/oasis/OASISText.ml" 54 2306 2344 "src/oasis/OASISText.ml" 55 2364 2432
)
"src/oasis/OASISText.ml" 54 2306 2336 "src/oasis/OASISText.ml" 54 2306 2338
type(
  string list
)
ident(
  def tl "src/oasis/OASISText.ml" 54 2306 2344 "src/oasis/OASISText.ml" 55 2364 2432
)
"src/oasis/OASISText.ml" 54 2306 2328 "src/oasis/OASISText.ml" 54 2306 2338
type(
  string list
)
"src/oasis/OASISText.ml" 54 2306 2322 "src/oasis/OASISText.ml" 54 2306 2338
type(
  string list
)
"src/oasis/OASISText.ml" 54 2306 2314 "src/oasis/OASISText.ml" 54 2306 2338
type(
  string list
)
"src/oasis/OASISText.ml" 54 2306 2344 "src/oasis/OASISText.ml" 54 2306 2355
type(
  ?offset:int -> string -> bool
)
ident(
  int_ref is_verbatim "src/oasis/OASISText.ml" 39 1933 1939 "src/oasis/OASISText.ml" 39 1933 1950
)
"src/oasis/OASISText.ml" 54 2306 2356 "src/oasis/OASISText.ml" 54 2306 2360
type(
  string
)
ident(
  int_ref str2 "src/oasis/OASISText.ml" 54 2306 2328 "src/oasis/OASISText.ml" 54 2306 2332
)
"src/oasis/OASISText.ml" 54 2306 2344 "src/oasis/OASISText.ml" 54 2306 2360
type(
  bool
)
"src/oasis/OASISText.ml" 55 2364 2382 "src/oasis/OASISText.ml" 55 2364 2386
type(
  string
)
ident(
  int_ref str1 "src/oasis/OASISText.ml" 54 2306 2314 "src/oasis/OASISText.ml" 54 2306 2318
)
"src/oasis/OASISText.ml" 55 2364 2372 "src/oasis/OASISText.ml" 55 2364 2386
type(
  'a
)
"src/oasis/OASISText.ml" 55 2364 2390 "src/oasis/OASISText.ml" 55 2364 2400
type(
  'a
)
"src/oasis/OASISText.ml" 55 2364 2414 "src/oasis/OASISText.ml" 55 2364 2418
type(
  string
)
ident(
  int_ref str2 "src/oasis/OASISText.ml" 54 2306 2328 "src/oasis/OASISText.ml" 54 2306 2332
)
"src/oasis/OASISText.ml" 55 2364 2404 "src/oasis/OASISText.ml" 55 2364 2418
type(
  'a
)
"src/oasis/OASISText.ml" 55 2364 2423 "src/oasis/OASISText.ml" 55 2364 2428
type(
  string list -> 'a list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 55 2364 2429 "src/oasis/OASISText.ml" 55 2364 2431
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 54 2306 2336 "src/oasis/OASISText.ml" 54 2306 2338
)
"src/oasis/OASISText.ml" 55 2364 2422 "src/oasis/OASISText.ml" 55 2364 2432
type(
  'a list
)
"src/oasis/OASISText.ml" 55 2364 2404 "src/oasis/OASISText.ml" 55 2364 2432
type(
  'a list
)
"src/oasis/OASISText.ml" 55 2364 2390 "src/oasis/OASISText.ml" 55 2364 2432
type(
  'a list
)
"src/oasis/OASISText.ml" 55 2364 2372 "src/oasis/OASISText.ml" 55 2364 2432
type(
  'a list
)
"src/oasis/OASISText.ml" 57 2434 2442 "src/oasis/OASISText.ml" 57 2434 2445
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 58 2461 2469 "src/oasis/OASISText.ml" 61 2560 2611
)
"src/oasis/OASISText.ml" 57 2434 2449 "src/oasis/OASISText.ml" 57 2434 2451
type(
  string
)
"src/oasis/OASISText.ml" 57 2434 2455 "src/oasis/OASISText.ml" 57 2434 2457
type(
  string list
)
ident(
  def tl "src/oasis/OASISText.ml" 58 2461 2469 "src/oasis/OASISText.ml" 61 2560 2611
)
"src/oasis/OASISText.ml" 57 2434 2449 "src/oasis/OASISText.ml" 57 2434 2457
type(
  string list
)
"src/oasis/OASISText.ml" 57 2434 2442 "src/oasis/OASISText.ml" 57 2434 2457
type(
  string list
)
"src/oasis/OASISText.ml" 58 2461 2472 "src/oasis/OASISText.ml" 58 2461 2483
type(
  ?offset:int -> string -> bool
)
ident(
  int_ref is_verbatim "src/oasis/OASISText.ml" 39 1933 1939 "src/oasis/OASISText.ml" 39 1933 1950
)
"src/oasis/OASISText.ml" 58 2461 2484 "src/oasis/OASISText.ml" 58 2461 2487
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 57 2434 2442 "src/oasis/OASISText.ml" 57 2434 2445
)
"src/oasis/OASISText.ml" 58 2461 2472 "src/oasis/OASISText.ml" 58 2461 2487
type(
  bool
)
"src/oasis/OASISText.ml" 59 2493 2514 "src/oasis/OASISText.ml" 59 2493 2517
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 57 2434 2442 "src/oasis/OASISText.ml" 57 2434 2445
)
"src/oasis/OASISText.ml" 59 2493 2503 "src/oasis/OASISText.ml" 59 2493 2518
type(
  'a
)
"src/oasis/OASISText.ml" 59 2493 2522 "src/oasis/OASISText.ml" 59 2493 2532
type(
  'a
)
"src/oasis/OASISText.ml" 59 2493 2537 "src/oasis/OASISText.ml" 59 2493 2542
type(
  string list -> 'a list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 59 2493 2543 "src/oasis/OASISText.ml" 59 2493 2545
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 57 2434 2455 "src/oasis/OASISText.ml" 57 2434 2457
)
"src/oasis/OASISText.ml" 59 2493 2536 "src/oasis/OASISText.ml" 59 2493 2546
type(
  'a list
)
"src/oasis/OASISText.ml" 59 2493 2522 "src/oasis/OASISText.ml" 59 2493 2546
type(
  'a list
)
"src/oasis/OASISText.ml" 59 2493 2503 "src/oasis/OASISText.ml" 59 2493 2546
type(
  'a list
)
"src/oasis/OASISText.ml" 61 2560 2581 "src/oasis/OASISText.ml" 61 2560 2584
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 57 2434 2442 "src/oasis/OASISText.ml" 57 2434 2445
)
"src/oasis/OASISText.ml" 61 2560 2570 "src/oasis/OASISText.ml" 61 2560 2585
type(
  'a
)
"src/oasis/OASISText.ml" 61 2560 2589 "src/oasis/OASISText.ml" 61 2560 2597
type(
  'a
)
"src/oasis/OASISText.ml" 61 2560 2602 "src/oasis/OASISText.ml" 61 2560 2607
type(
  string list -> 'a list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 61 2560 2608 "src/oasis/OASISText.ml" 61 2560 2610
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 57 2434 2455 "src/oasis/OASISText.ml" 57 2434 2457
)
"src/oasis/OASISText.ml" 61 2560 2601 "src/oasis/OASISText.ml" 61 2560 2611
type(
  'a list
)
"src/oasis/OASISText.ml" 61 2560 2589 "src/oasis/OASISText.ml" 61 2560 2611
type(
  'a list
)
"src/oasis/OASISText.ml" 61 2560 2570 "src/oasis/OASISText.ml" 61 2560 2611
type(
  'a list
)
"src/oasis/OASISText.ml" 58 2461 2469 "src/oasis/OASISText.ml" 61 2560 2611
type(
  'a list
)
"src/oasis/OASISText.ml" 62 2612 2620 "src/oasis/OASISText.ml" 62 2612 2623
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 63 2633 2641 "src/oasis/OASISText.ml" 66 2718 2757
)
"src/oasis/OASISText.ml" 62 2612 2627 "src/oasis/OASISText.ml" 62 2612 2629
type(
  string list
)
ident(
  def tl "src/oasis/OASISText.ml" 63 2633 2641 "src/oasis/OASISText.ml" 66 2718 2757
)
"src/oasis/OASISText.ml" 62 2612 2620 "src/oasis/OASISText.ml" 62 2612 2629
type(
  string list
)
"src/oasis/OASISText.ml" 63 2633 2644 "src/oasis/OASISText.ml" 63 2633 2655
type(
  ?offset:int -> string -> bool
)
ident(
  int_ref is_verbatim "src/oasis/OASISText.ml" 39 1933 1939 "src/oasis/OASISText.ml" 39 1933 1950
)
"src/oasis/OASISText.ml" 63 2633 2656 "src/oasis/OASISText.ml" 63 2633 2659
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 62 2612 2620 "src/oasis/OASISText.ml" 62 2612 2623
)
"src/oasis/OASISText.ml" 63 2633 2644 "src/oasis/OASISText.ml" 63 2633 2659
type(
  bool
)
"src/oasis/OASISText.ml" 64 2665 2686 "src/oasis/OASISText.ml" 64 2665 2689
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 62 2612 2620 "src/oasis/OASISText.ml" 62 2612 2623
)
"src/oasis/OASISText.ml" 64 2665 2675 "src/oasis/OASISText.ml" 64 2665 2690
type(
  'a
)
"src/oasis/OASISText.ml" 64 2665 2695 "src/oasis/OASISText.ml" 64 2665 2700
type(
  string list -> 'a list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 64 2665 2701 "src/oasis/OASISText.ml" 64 2665 2703
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 62 2612 2627 "src/oasis/OASISText.ml" 62 2612 2629
)
"src/oasis/OASISText.ml" 64 2665 2694 "src/oasis/OASISText.ml" 64 2665 2704
type(
  'a list
)
"src/oasis/OASISText.ml" 64 2665 2675 "src/oasis/OASISText.ml" 64 2665 2704
type(
  'a list
)
"src/oasis/OASISText.ml" 66 2718 2739 "src/oasis/OASISText.ml" 66 2718 2742
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 62 2612 2620 "src/oasis/OASISText.ml" 62 2612 2623
)
"src/oasis/OASISText.ml" 66 2718 2728 "src/oasis/OASISText.ml" 66 2718 2743
type(
  'a
)
"src/oasis/OASISText.ml" 66 2718 2748 "src/oasis/OASISText.ml" 66 2718 2753
type(
  string list -> 'a list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 66 2718 2754 "src/oasis/OASISText.ml" 66 2718 2756
type(
  string list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 62 2612 2627 "src/oasis/OASISText.ml" 62 2612 2629
)
"src/oasis/OASISText.ml" 66 2718 2747 "src/oasis/OASISText.ml" 66 2718 2757
type(
  'a list
)
"src/oasis/OASISText.ml" 66 2718 2728 "src/oasis/OASISText.ml" 66 2718 2757
type(
  'a list
)
"src/oasis/OASISText.ml" 63 2633 2641 "src/oasis/OASISText.ml" 66 2718 2757
type(
  'a list
)
"src/oasis/OASISText.ml" 67 2758 2766 "src/oasis/OASISText.ml" 67 2758 2768
type(
  string list
)
"src/oasis/OASISText.ml" 68 2772 2780 "src/oasis/OASISText.ml" 68 2772 2782
type(
  'a list
)
"src/oasis/OASISText.ml" 41 2008 2012 "src/oasis/OASISText.ml" 68 2772 2782
type(
  string list -> 'a list
)
"src/oasis/OASISText.ml" 70 2788 2798 "src/oasis/OASISText.ml" 70 2788 2807
type(
  [< `BlankLine | `ContPara of string | `EndPara | `Verbatim of 'b
   > `ContPara ]
  list -> [> `BlankLine | `ContPara of string | `Verbatim of 'b ] list
)
ident(
  def join_para "src/oasis/OASISText.ml" 70 2788 2790 "src/oasis/OASISText.ml" 87 3276 3303
)
"src/oasis/OASISText.ml" 72 2823 2841 "src/oasis/OASISText.ml" 72 2823 2845
type(
  string
)
ident(
  def str1 "src/oasis/OASISText.ml" 73 2873 2881 "src/oasis/OASISText.ml" 73 2873 2930
)
"src/oasis/OASISText.ml" 72 2823 2831 "src/oasis/OASISText.ml" 72 2823 2845
type(
  [< `BlankLine | `ContPara of string | `EndPara | `Verbatim of 'b
   > `ContPara ]
  as 'c
)
"src/oasis/OASISText.ml" 72 2823 2859 "src/oasis/OASISText.ml" 72 2823 2863
type(
  string
)
ident(
  def str2 "src/oasis/OASISText.ml" 73 2873 2881 "src/oasis/OASISText.ml" 73 2873 2930
)
"src/oasis/OASISText.ml" 72 2823 2849 "src/oasis/OASISText.ml" 72 2823 2863
type(
  'c
)
"src/oasis/OASISText.ml" 72 2823 2867 "src/oasis/OASISText.ml" 72 2823 2869
type(
  'c list
)
ident(
  def tl "src/oasis/OASISText.ml" 73 2873 2881 "src/oasis/OASISText.ml" 73 2873 2930
)
"src/oasis/OASISText.ml" 72 2823 2849 "src/oasis/OASISText.ml" 72 2823 2869
type(
  'c list
)
"src/oasis/OASISText.ml" 72 2823 2831 "src/oasis/OASISText.ml" 72 2823 2869
type(
  'c list
)
"src/oasis/OASISText.ml" 73 2873 2881 "src/oasis/OASISText.ml" 73 2873 2890
type(
  'c list ->
  ([> `BlankLine | `ContPara of string | `Verbatim of 'b ] as 'd) list
)
ident(
  int_ref join_para "src/oasis/OASISText.ml" 70 2788 2798 "src/oasis/OASISText.ml" 70 2788 2807
)
"src/oasis/OASISText.ml" 73 2873 2904 "src/oasis/OASISText.ml" 73 2873 2908
type(
  string
)
ident(
  int_ref str1 "src/oasis/OASISText.ml" 72 2823 2841 "src/oasis/OASISText.ml" 72 2823 2845
)
"src/oasis/OASISText.ml" 73 2873 2909 "src/oasis/OASISText.ml" 73 2873 2910
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISText.ml" 73 2873 2911 "src/oasis/OASISText.ml" 73 2873 2914
type(
  string
)
"src/oasis/OASISText.ml" 73 2873 2915 "src/oasis/OASISText.ml" 73 2873 2916
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISText.ml" 73 2873 2917 "src/oasis/OASISText.ml" 73 2873 2921
type(
  string
)
ident(
  int_ref str2 "src/oasis/OASISText.ml" 72 2823 2859 "src/oasis/OASISText.ml" 72 2823 2863
)
"src/oasis/OASISText.ml" 73 2873 2911 "src/oasis/OASISText.ml" 73 2873 2921
type(
  string
)
"src/oasis/OASISText.ml" 73 2873 2903 "src/oasis/OASISText.ml" 73 2873 2922
type(
  string
)
"src/oasis/OASISText.ml" 73 2873 2892 "src/oasis/OASISText.ml" 73 2873 2923
type(
  'c
)
"src/oasis/OASISText.ml" 73 2873 2927 "src/oasis/OASISText.ml" 73 2873 2929
type(
  'c list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 72 2823 2867 "src/oasis/OASISText.ml" 72 2823 2869
)
"src/oasis/OASISText.ml" 73 2873 2891 "src/oasis/OASISText.ml" 73 2873 2930
type(
  'c list
)
"src/oasis/OASISText.ml" 73 2873 2881 "src/oasis/OASISText.ml" 73 2873 2930
type(
  'd list
)
"src/oasis/OASISText.ml" 74 2931 2939 "src/oasis/OASISText.ml" 74 2931 2947
type(
  'c
)
"src/oasis/OASISText.ml" 74 2931 2951 "src/oasis/OASISText.ml" 74 2931 2953
type(
  'c list
)
ident(
  def tl "src/oasis/OASISText.ml" 75 2957 2965 "src/oasis/OASISText.ml" 75 2957 2977
)
"src/oasis/OASISText.ml" 74 2931 2939 "src/oasis/OASISText.ml" 74 2931 2953
type(
  'c list
)
"src/oasis/OASISText.ml" 75 2957 2965 "src/oasis/OASISText.ml" 75 2957 2974
type(
  'c list -> 'd list
)
ident(
  int_ref join_para "src/oasis/OASISText.ml" 70 2788 2798 "src/oasis/OASISText.ml" 70 2788 2807
)
"src/oasis/OASISText.ml" 75 2957 2975 "src/oasis/OASISText.ml" 75 2957 2977
type(
  'c list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 74 2931 2951 "src/oasis/OASISText.ml" 74 2931 2953
)
"src/oasis/OASISText.ml" 75 2957 2965 "src/oasis/OASISText.ml" 75 2957 2977
type(
  'd list
)
"src/oasis/OASISText.ml" 76 2978 2997 "src/oasis/OASISText.ml" 76 2978 2998
type(
  'b
)
"src/oasis/OASISText.ml" 76 2978 2987 "src/oasis/OASISText.ml" 76 2978 2998
type(
  'c
)
"src/oasis/OASISText.ml" 76 2978 3011 "src/oasis/OASISText.ml" 76 2978 3012
type(
  string
)
"src/oasis/OASISText.ml" 76 2978 3001 "src/oasis/OASISText.ml" 76 2978 3012
type(
  'c
)
"src/oasis/OASISText.ml" 76 2978 2987 "src/oasis/OASISText.ml" 76 2978 3012
type(
  'c
)
"src/oasis/OASISText.ml" 76 2978 3015 "src/oasis/OASISText.ml" 76 2978 3025
type(
  'c
)
"src/oasis/OASISText.ml" 76 2978 2986 "src/oasis/OASISText.ml" 76 2978 3026
type(
  'c
)
"src/oasis/OASISText.ml" 76 2978 2986 "src/oasis/OASISText.ml" 76 2978 3031
type(
  'c
)
ident(
  def e "src/oasis/OASISText.ml" 77 3041 3049 "src/oasis/OASISText.ml" 77 3041 3066
)
"src/oasis/OASISText.ml" 76 2978 3035 "src/oasis/OASISText.ml" 76 2978 3037
type(
  'c list
)
ident(
  def tl "src/oasis/OASISText.ml" 77 3041 3049 "src/oasis/OASISText.ml" 77 3041 3066
)
"src/oasis/OASISText.ml" 76 2978 2986 "src/oasis/OASISText.ml" 76 2978 3037
type(
  'c list
)
"src/oasis/OASISText.ml" 77 3041 3049 "src/oasis/OASISText.ml" 77 3041 3050
type(
  'd
)
ident(
  int_ref e "src/oasis/OASISText.ml" 76 2978 2986 "src/oasis/OASISText.ml" 76 2978 3031
)
"src/oasis/OASISText.ml" 77 3041 3054 "src/oasis/OASISText.ml" 77 3041 3063
type(
  'c list -> 'd list
)
ident(
  int_ref join_para "src/oasis/OASISText.ml" 70 2788 2798 "src/oasis/OASISText.ml" 70 2788 2807
)
"src/oasis/OASISText.ml" 77 3041 3064 "src/oasis/OASISText.ml" 77 3041 3066
type(
  'c list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 76 2978 3035 "src/oasis/OASISText.ml" 76 2978 3037
)
"src/oasis/OASISText.ml" 77 3041 3054 "src/oasis/OASISText.ml" 77 3041 3066
type(
  'd list
)
"src/oasis/OASISText.ml" 77 3041 3049 "src/oasis/OASISText.ml" 77 3041 3066
type(
  'd list
)
"src/oasis/OASISText.ml" 78 3067 3075 "src/oasis/OASISText.ml" 78 3067 3077
type(
  'c list
)
"src/oasis/OASISText.ml" 79 3081 3089 "src/oasis/OASISText.ml" 79 3081 3091
type(
  'd list
)
"src/oasis/OASISText.ml" 71 2810 2814 "src/oasis/OASISText.ml" 79 3081 3091
type(
  'c list -> 'd list
)
"src/oasis/OASISText.ml" 81 3097 3099 "src/oasis/OASISText.ml" 81 3097 3107
type(
  ([ `BlankLine | `ContPara of string | `Verbatim of string ] -> elt) ->
  [ `BlankLine | `ContPara of string | `Verbatim of string ] list -> elt list
)
ident(
  int_ref Stdlib.List.map "list.mli" 172 6124 6124 "list.mli" 172 6124 6166
)
"src/oasis/OASISText.ml" 83 3122 3140 "src/oasis/OASISText.ml" 83 3122 3143
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 83 3122 3147 "src/oasis/OASISText.ml" 83 3122 3155
)
"src/oasis/OASISText.ml" 83 3122 3130 "src/oasis/OASISText.ml" 83 3122 3143
type(
  [ `BlankLine | `ContPara of string | `Verbatim of string ]
)
"src/oasis/OASISText.ml" 83 3122 3152 "src/oasis/OASISText.ml" 83 3122 3155
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 83 3122 3140 "src/oasis/OASISText.ml" 83 3122 3143
)
"src/oasis/OASISText.ml" 83 3122 3147 "src/oasis/OASISText.ml" 83 3122 3155
type(
  elt
)
"src/oasis/OASISText.ml" 84 3156 3174 "src/oasis/OASISText.ml" 84 3156 3177
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 85 3181 3189 "src/oasis/OASISText.ml" 85 3181 3242
)
"src/oasis/OASISText.ml" 84 3156 3164 "src/oasis/OASISText.ml" 84 3156 3177
type(
  [ `BlankLine | `ContPara of string | `Verbatim of string ]
)
"src/oasis/OASISText.ml" 85 3181 3199 "src/oasis/OASISText.ml" 85 3181 3209
type(
  string -> int -> int -> string
)
ident(
  int_ref Stdlib.String.sub "string.mli" 190 6890 6890 "string.mli" 190 6890 6930
)
"src/oasis/OASISText.ml" 85 3181 3210 "src/oasis/OASISText.ml" 85 3181 3213
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 84 3156 3174 "src/oasis/OASISText.ml" 84 3156 3177
)
"src/oasis/OASISText.ml" 85 3181 3214 "src/oasis/OASISText.ml" 85 3181 3215
type(
  int
)
"src/oasis/OASISText.ml" 85 3181 3218 "src/oasis/OASISText.ml" 85 3181 3231
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/OASISText.ml" 85 3181 3232 "src/oasis/OASISText.ml" 85 3181 3235
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 84 3156 3174 "src/oasis/OASISText.ml" 84 3156 3177
)
"src/oasis/OASISText.ml" 85 3181 3217 "src/oasis/OASISText.ml" 85 3181 3236
type(
  int
)
"src/oasis/OASISText.ml" 85 3181 3237 "src/oasis/OASISText.ml" 85 3181 3238
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( - ) "stdlib.mli" 352 13775 13775 "stdlib.mli" 352 13775 13821
)
"src/oasis/OASISText.ml" 85 3181 3239 "src/oasis/OASISText.ml" 85 3181 3240
type(
  int
)
"src/oasis/OASISText.ml" 85 3181 3216 "src/oasis/OASISText.ml" 85 3181 3241
type(
  int
)
"src/oasis/OASISText.ml" 85 3181 3198 "src/oasis/OASISText.ml" 85 3181 3242
type(
  string
)
"src/oasis/OASISText.ml" 85 3181 3189 "src/oasis/OASISText.ml" 85 3181 3242
type(
  elt
)
"src/oasis/OASISText.ml" 86 3243 3251 "src/oasis/OASISText.ml" 86 3243 3261
type(
  [ `BlankLine | `ContPara of string | `Verbatim of string ]
)
"src/oasis/OASISText.ml" 86 3243 3265 "src/oasis/OASISText.ml" 86 3243 3274
type(
  elt
)
"src/oasis/OASISText.ml" 82 3108 3112 "src/oasis/OASISText.ml" 86 3243 3275
type(
  [ `BlankLine | `ContPara of string | `Verbatim of string ] -> elt
)
"src/oasis/OASISText.ml" 87 3276 3281 "src/oasis/OASISText.ml" 87 3276 3290
type(
  [ `BlankLine | `ContPara of string | `EndPara | `Verbatim of string ] list ->
  [ `BlankLine | `ContPara of string | `Verbatim of string ] list
)
ident(
  int_ref join_para "src/oasis/OASISText.ml" 70 2788 2798 "src/oasis/OASISText.ml" 70 2788 2807
)
"src/oasis/OASISText.ml" 87 3276 3292 "src/oasis/OASISText.ml" 87 3276 3297
type(
  string list ->
  [ `BlankLine | `ContPara of string | `EndPara | `Verbatim of string ] list
)
ident(
  int_ref parse "src/oasis/OASISText.ml" 40 1990 2000 "src/oasis/OASISText.ml" 40 1990 2005
)
"src/oasis/OASISText.ml" 87 3276 3298 "src/oasis/OASISText.ml" 87 3276 3301
type(
  string list
)
ident(
  int_ref lst "src/oasis/OASISText.ml" 38 1873 1879 "src/oasis/OASISText.ml" 38 1873 1882
)
"src/oasis/OASISText.ml" 87 3276 3291 "src/oasis/OASISText.ml" 87 3276 3302
type(
  [ `BlankLine | `ContPara of string | `EndPara | `Verbatim of string ] list
)
"src/oasis/OASISText.ml" 87 3276 3280 "src/oasis/OASISText.ml" 87 3276 3303
type(
  [ `BlankLine | `ContPara of string | `Verbatim of string ] list
)
"src/oasis/OASISText.ml" 81 3097 3099 "src/oasis/OASISText.ml" 87 3276 3303
type(
  elt list
)
"src/oasis/OASISText.ml" 70 2788 2790 "src/oasis/OASISText.ml" 87 3276 3303
type(
  elt list
)
"src/oasis/OASISText.ml" 40 1990 1992 "src/oasis/OASISText.ml" 87 3276 3303
type(
  elt list
)
"src/oasis/OASISText.ml" 39 1933 1935 "src/oasis/OASISText.ml" 87 3276 3303
type(
  elt list
)
"src/oasis/OASISText.ml" 38 1873 1875 "src/oasis/OASISText.ml" 87 3276 3303
type(
  elt list
)
"src/oasis/OASISText.ml" 90 3306 3310 "src/oasis/OASISText.ml" 90 3306 3327
type(
  Format.formatter -> string -> unit
)
ident(
  def pp_print_verbatim "src/oasis/OASISText.ml" 95 3391 3391 "src/oasis/OASISText.ml" 0 0 -1
)
"src/oasis/OASISText.ml" 90 3306 3328 "src/oasis/OASISText.ml" 90 3306 3331
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISText.ml" 90 3306 3332 "src/oasis/OASISText.ml" 92 3363 3388
)
"src/oasis/OASISText.ml" 90 3306 3332 "src/oasis/OASISText.ml" 90 3306 3335
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 91 3338 3340 "src/oasis/OASISText.ml" 92 3363 3388
)
"src/oasis/OASISText.ml" 91 3338 3340 "src/oasis/OASISText.ml" 91 3338 3353
type(
  Format.formatter -> char -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_char "format.mli" 244 9939 9939 "format.mli" 244 9939 9984
)
"src/oasis/OASISText.ml" 91 3338 3354 "src/oasis/OASISText.ml" 91 3338 3357
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 90 3306 3328 "src/oasis/OASISText.ml" 90 3306 3331
)
"src/oasis/OASISText.ml" 91 3338 3358 "src/oasis/OASISText.ml" 91 3338 3361
type(
  char
)
"src/oasis/OASISText.ml" 91 3338 3340 "src/oasis/OASISText.ml" 91 3338 3361
type(
  unit
)
"src/oasis/OASISText.ml" 92 3363 3365 "src/oasis/OASISText.ml" 92 3363 3380
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_string "format.mli" 220 9080 9080 "format.mli" 220 9080 9129
)
"src/oasis/OASISText.ml" 92 3363 3381 "src/oasis/OASISText.ml" 92 3363 3384
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 90 3306 3328 "src/oasis/OASISText.ml" 90 3306 3331
)
"src/oasis/OASISText.ml" 92 3363 3385 "src/oasis/OASISText.ml" 92 3363 3388
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 90 3306 3332 "src/oasis/OASISText.ml" 90 3306 3335
)
"src/oasis/OASISText.ml" 92 3363 3365 "src/oasis/OASISText.ml" 92 3363 3388
type(
  unit
)
"src/oasis/OASISText.ml" 91 3338 3340 "src/oasis/OASISText.ml" 92 3363 3388
type(
  unit
)
"src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
type(
  Format.formatter -> elt list -> unit
)
ident(
  def pp_print "src/oasis/OASISText.ml" 95 3391 3391 "src/oasis/OASISText.ml" 0 0 -1
)
"src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISText.ml" 96 3414 3416 "src/oasis/OASISText.ml" 125 4285 4293
)
"src/oasis/OASISText.ml" 97 3425 3437 "src/oasis/OASISText.ml" 97 3425 3440
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 98 3445 3451 "src/oasis/OASISText.ml" 98 3445 3488
)
"src/oasis/OASISText.ml" 97 3425 3432 "src/oasis/OASISText.ml" 97 3425 3440
type(
  elt
)
"src/oasis/OASISText.ml" 97 3425 3431 "src/oasis/OASISText.ml" 97 3425 3441
type(
  elt list
)
"src/oasis/OASISText.ml" 98 3445 3451 "src/oasis/OASISText.ml" 98 3445 3464
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/oasis/OASISText.ml" 98 3445 3465 "src/oasis/OASISText.ml" 98 3445 3468
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 98 3445 3479 "src/oasis/OASISText.ml" 98 3445 3484
type(
  bool
)
type(
  bool option
)
"src/oasis/OASISText.ml" 98 3445 3485 "src/oasis/OASISText.ml" 98 3445 3488
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 97 3425 3437 "src/oasis/OASISText.ml" 97 3425 3440
)
"src/oasis/OASISText.ml" 98 3445 3451 "src/oasis/OASISText.ml" 98 3445 3488
type(
  unit
)
"src/oasis/OASISText.ml" 99 3489 3505 "src/oasis/OASISText.ml" 99 3489 3508
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 100 3513 3519 "src/oasis/OASISText.ml" 100 3513 3544
)
"src/oasis/OASISText.ml" 99 3489 3496 "src/oasis/OASISText.ml" 99 3489 3508
type(
  elt
)
"src/oasis/OASISText.ml" 99 3489 3495 "src/oasis/OASISText.ml" 99 3489 3509
type(
  elt list
)
"src/oasis/OASISText.ml" 100 3513 3519 "src/oasis/OASISText.ml" 100 3513 3536
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_verbatim "src/oasis/OASISText.ml" 90 3306 3310 "src/oasis/OASISText.ml" 90 3306 3327
)
"src/oasis/OASISText.ml" 100 3513 3537 "src/oasis/OASISText.ml" 100 3513 3540
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 100 3513 3541 "src/oasis/OASISText.ml" 100 3513 3544
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 99 3489 3505 "src/oasis/OASISText.ml" 99 3489 3508
)
"src/oasis/OASISText.ml" 100 3513 3519 "src/oasis/OASISText.ml" 100 3513 3544
type(
  unit
)
"src/oasis/OASISText.ml" 101 3545 3557 "src/oasis/OASISText.ml" 101 3545 3560
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 102 3576 3582 "src/oasis/OASISText.ml" 103 3621 3650
)
"src/oasis/OASISText.ml" 101 3545 3552 "src/oasis/OASISText.ml" 101 3545 3560
type(
  elt
)
"src/oasis/OASISText.ml" 101 3545 3562 "src/oasis/OASISText.ml" 101 3545 3571
type(
  elt
)
"src/oasis/OASISText.ml" 101 3545 3551 "src/oasis/OASISText.ml" 101 3545 3572
type(
  elt list
)
"src/oasis/OASISText.ml" 102 3576 3582 "src/oasis/OASISText.ml" 102 3576 3595
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/oasis/OASISText.ml" 102 3576 3596 "src/oasis/OASISText.ml" 102 3576 3599
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 102 3576 3610 "src/oasis/OASISText.ml" 102 3576 3615
type(
  bool
)
type(
  bool option
)
"src/oasis/OASISText.ml" 102 3576 3616 "src/oasis/OASISText.ml" 102 3576 3619
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 101 3545 3557 "src/oasis/OASISText.ml" 101 3545 3560
)
"src/oasis/OASISText.ml" 102 3576 3582 "src/oasis/OASISText.ml" 102 3576 3619
type(
  unit
)
"src/oasis/OASISText.ml" 103 3621 3627 "src/oasis/OASISText.ml" 103 3621 3643
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/oasis/OASISText.ml" 103 3621 3644 "src/oasis/OASISText.ml" 103 3621 3647
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 103 3621 3648 "src/oasis/OASISText.ml" 103 3621 3650
type(
  unit
)
"src/oasis/OASISText.ml" 103 3621 3627 "src/oasis/OASISText.ml" 103 3621 3650
type(
  unit
)
"src/oasis/OASISText.ml" 102 3576 3582 "src/oasis/OASISText.ml" 103 3621 3650
type(
  unit
)
"src/oasis/OASISText.ml" 104 3651 3667 "src/oasis/OASISText.ml" 104 3651 3670
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 105 3686 3692 "src/oasis/OASISText.ml" 106 3719 3748
)
"src/oasis/OASISText.ml" 104 3651 3658 "src/oasis/OASISText.ml" 104 3651 3670
type(
  elt
)
"src/oasis/OASISText.ml" 104 3651 3672 "src/oasis/OASISText.ml" 104 3651 3681
type(
  elt
)
"src/oasis/OASISText.ml" 104 3651 3657 "src/oasis/OASISText.ml" 104 3651 3682
type(
  elt list
)
"src/oasis/OASISText.ml" 105 3686 3692 "src/oasis/OASISText.ml" 105 3686 3709
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_verbatim "src/oasis/OASISText.ml" 90 3306 3310 "src/oasis/OASISText.ml" 90 3306 3327
)
"src/oasis/OASISText.ml" 105 3686 3710 "src/oasis/OASISText.ml" 105 3686 3713
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 105 3686 3714 "src/oasis/OASISText.ml" 105 3686 3717
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 104 3651 3667 "src/oasis/OASISText.ml" 104 3651 3670
)
"src/oasis/OASISText.ml" 105 3686 3692 "src/oasis/OASISText.ml" 105 3686 3717
type(
  unit
)
"src/oasis/OASISText.ml" 106 3719 3725 "src/oasis/OASISText.ml" 106 3719 3741
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/oasis/OASISText.ml" 106 3719 3742 "src/oasis/OASISText.ml" 106 3719 3745
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 106 3719 3746 "src/oasis/OASISText.ml" 106 3719 3748
type(
  unit
)
"src/oasis/OASISText.ml" 106 3719 3725 "src/oasis/OASISText.ml" 106 3719 3748
type(
  unit
)
"src/oasis/OASISText.ml" 105 3686 3692 "src/oasis/OASISText.ml" 106 3719 3748
type(
  unit
)
"src/oasis/OASISText.ml" 107 3749 3760 "src/oasis/OASISText.ml" 107 3749 3763
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 108 3809 3815 "src/oasis/OASISText.ml" 109 3838 3859
)
"src/oasis/OASISText.ml" 107 3749 3755 "src/oasis/OASISText.ml" 107 3749 3763
type(
  elt
)
"src/oasis/OASISText.ml" 107 3749 3767 "src/oasis/OASISText.ml" 107 3749 3776
type(
  elt
)
"src/oasis/OASISText.ml" 107 3749 3791 "src/oasis/OASISText.ml" 107 3749 3792
type(
  string
)
"src/oasis/OASISText.ml" 107 3749 3782 "src/oasis/OASISText.ml" 107 3749 3792
type(
  elt
)
"src/oasis/OASISText.ml" 107 3749 3796 "src/oasis/OASISText.ml" 107 3749 3797
type(
  elt list
)
"src/oasis/OASISText.ml" 107 3749 3781 "src/oasis/OASISText.ml" 107 3749 3798
type(
  elt list
)
"src/oasis/OASISText.ml" 107 3749 3780 "src/oasis/OASISText.ml" 107 3749 3805
type(
  elt list
)
ident(
  def tl "src/oasis/OASISText.ml" 108 3809 3815 "src/oasis/OASISText.ml" 109 3838 3859
)
"src/oasis/OASISText.ml" 107 3749 3767 "src/oasis/OASISText.ml" 107 3749 3805
type(
  elt list
)
"src/oasis/OASISText.ml" 107 3749 3755 "src/oasis/OASISText.ml" 107 3749 3805
type(
  elt list
)
"src/oasis/OASISText.ml" 108 3809 3815 "src/oasis/OASISText.ml" 108 3809 3828
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/oasis/OASISText.ml" 108 3809 3829 "src/oasis/OASISText.ml" 108 3809 3832
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 108 3809 3833 "src/oasis/OASISText.ml" 108 3809 3836
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 107 3749 3760 "src/oasis/OASISText.ml" 107 3749 3763
)
"src/oasis/OASISText.ml" 108 3809 3815 "src/oasis/OASISText.ml" 108 3809 3836
type(
  unit
)
"src/oasis/OASISText.ml" 109 3838 3844 "src/oasis/OASISText.ml" 109 3838 3852
type(
  Format.formatter -> elt list -> unit
)
ident(
  int_ref pp_print "src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
)
"src/oasis/OASISText.ml" 109 3838 3853 "src/oasis/OASISText.ml" 109 3838 3856
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 109 3838 3857 "src/oasis/OASISText.ml" 109 3838 3859
type(
  elt list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 107 3749 3780 "src/oasis/OASISText.ml" 107 3749 3805
)
"src/oasis/OASISText.ml" 109 3838 3844 "src/oasis/OASISText.ml" 109 3838 3859
type(
  unit
)
"src/oasis/OASISText.ml" 108 3809 3815 "src/oasis/OASISText.ml" 109 3838 3859
type(
  unit
)
"src/oasis/OASISText.ml" 110 3860 3871 "src/oasis/OASISText.ml" 110 3860 3874
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 111 3907 3913 "src/oasis/OASISText.ml" 113 3983 4004
)
"src/oasis/OASISText.ml" 110 3860 3866 "src/oasis/OASISText.ml" 110 3860 3874
type(
  elt
)
"src/oasis/OASISText.ml" 110 3860 3889 "src/oasis/OASISText.ml" 110 3860 3890
type(
  string
)
"src/oasis/OASISText.ml" 110 3860 3880 "src/oasis/OASISText.ml" 110 3860 3890
type(
  elt
)
"src/oasis/OASISText.ml" 110 3860 3894 "src/oasis/OASISText.ml" 110 3860 3895
type(
  elt list
)
"src/oasis/OASISText.ml" 110 3860 3879 "src/oasis/OASISText.ml" 110 3860 3896
type(
  elt list
)
"src/oasis/OASISText.ml" 110 3860 3878 "src/oasis/OASISText.ml" 110 3860 3903
type(
  elt list
)
ident(
  def tl "src/oasis/OASISText.ml" 111 3907 3913 "src/oasis/OASISText.ml" 113 3983 4004
)
"src/oasis/OASISText.ml" 110 3860 3866 "src/oasis/OASISText.ml" 110 3860 3903
type(
  elt list
)
"src/oasis/OASISText.ml" 111 3907 3913 "src/oasis/OASISText.ml" 111 3907 3926
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/oasis/OASISText.ml" 111 3907 3937 "src/oasis/OASISText.ml" 111 3907 3942
type(
  bool
)
type(
  bool option
)
"src/oasis/OASISText.ml" 111 3907 3943 "src/oasis/OASISText.ml" 111 3907 3946
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 111 3907 3947 "src/oasis/OASISText.ml" 111 3907 3950
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 110 3860 3871 "src/oasis/OASISText.ml" 110 3860 3874
)
"src/oasis/OASISText.ml" 111 3907 3913 "src/oasis/OASISText.ml" 111 3907 3950
type(
  unit
)
"src/oasis/OASISText.ml" 112 3952 3958 "src/oasis/OASISText.ml" 112 3952 3974
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/oasis/OASISText.ml" 112 3952 3975 "src/oasis/OASISText.ml" 112 3952 3978
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 112 3952 3979 "src/oasis/OASISText.ml" 112 3952 3981
type(
  unit
)
"src/oasis/OASISText.ml" 112 3952 3958 "src/oasis/OASISText.ml" 112 3952 3981
type(
  unit
)
"src/oasis/OASISText.ml" 113 3983 3989 "src/oasis/OASISText.ml" 113 3983 3997
type(
  Format.formatter -> elt list -> unit
)
ident(
  int_ref pp_print "src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
)
"src/oasis/OASISText.ml" 113 3983 3998 "src/oasis/OASISText.ml" 113 3983 4001
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 113 3983 4002 "src/oasis/OASISText.ml" 113 3983 4004
type(
  elt list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 110 3860 3878 "src/oasis/OASISText.ml" 110 3860 3903
)
"src/oasis/OASISText.ml" 113 3983 3989 "src/oasis/OASISText.ml" 113 3983 4004
type(
  unit
)
"src/oasis/OASISText.ml" 112 3952 3958 "src/oasis/OASISText.ml" 113 3983 4004
type(
  unit
)
"src/oasis/OASISText.ml" 111 3907 3913 "src/oasis/OASISText.ml" 113 3983 4004
type(
  unit
)
"src/oasis/OASISText.ml" 114 4005 4016 "src/oasis/OASISText.ml" 114 4005 4019
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 115 4030 4036 "src/oasis/OASISText.ml" 116 4059 4080
)
"src/oasis/OASISText.ml" 114 4005 4011 "src/oasis/OASISText.ml" 114 4005 4019
type(
  elt
)
"src/oasis/OASISText.ml" 114 4005 4023 "src/oasis/OASISText.ml" 114 4005 4025
type(
  elt list
)
ident(
  def tl "src/oasis/OASISText.ml" 115 4030 4036 "src/oasis/OASISText.ml" 116 4059 4080
)
"src/oasis/OASISText.ml" 114 4005 4011 "src/oasis/OASISText.ml" 114 4005 4025
type(
  elt list
)
"src/oasis/OASISText.ml" 115 4030 4036 "src/oasis/OASISText.ml" 115 4030 4049
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref FormatExt.pp_print_para "src/oasis/FormatExt.mli" 48 2304 2304 "src/oasis/FormatExt.mli" 48 2304 2375
)
"src/oasis/OASISText.ml" 115 4030 4050 "src/oasis/OASISText.ml" 115 4030 4053
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 115 4030 4054 "src/oasis/OASISText.ml" 115 4030 4057
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 114 4005 4016 "src/oasis/OASISText.ml" 114 4005 4019
)
"src/oasis/OASISText.ml" 115 4030 4036 "src/oasis/OASISText.ml" 115 4030 4057
type(
  unit
)
"src/oasis/OASISText.ml" 116 4059 4065 "src/oasis/OASISText.ml" 116 4059 4073
type(
  Format.formatter -> elt list -> unit
)
ident(
  int_ref pp_print "src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
)
"src/oasis/OASISText.ml" 116 4059 4074 "src/oasis/OASISText.ml" 116 4059 4077
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 116 4059 4078 "src/oasis/OASISText.ml" 116 4059 4080
type(
  elt list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 114 4005 4023 "src/oasis/OASISText.ml" 114 4005 4025
)
"src/oasis/OASISText.ml" 116 4059 4065 "src/oasis/OASISText.ml" 116 4059 4080
type(
  unit
)
"src/oasis/OASISText.ml" 115 4030 4036 "src/oasis/OASISText.ml" 116 4059 4080
type(
  unit
)
"src/oasis/OASISText.ml" 117 4081 4096 "src/oasis/OASISText.ml" 117 4081 4099
type(
  string
)
ident(
  def str "src/oasis/OASISText.ml" 118 4109 4115 "src/oasis/OASISText.ml" 120 4173 4194
)
"src/oasis/OASISText.ml" 117 4081 4087 "src/oasis/OASISText.ml" 117 4081 4099
type(
  elt
)
"src/oasis/OASISText.ml" 117 4081 4103 "src/oasis/OASISText.ml" 117 4081 4105
type(
  elt list
)
ident(
  def tl "src/oasis/OASISText.ml" 118 4109 4115 "src/oasis/OASISText.ml" 120 4173 4194
)
"src/oasis/OASISText.ml" 117 4081 4087 "src/oasis/OASISText.ml" 117 4081 4105
type(
  elt list
)
"src/oasis/OASISText.ml" 118 4109 4115 "src/oasis/OASISText.ml" 118 4109 4132
type(
  Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_verbatim "src/oasis/OASISText.ml" 90 3306 3310 "src/oasis/OASISText.ml" 90 3306 3327
)
"src/oasis/OASISText.ml" 118 4109 4133 "src/oasis/OASISText.ml" 118 4109 4136
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 118 4109 4137 "src/oasis/OASISText.ml" 118 4109 4140
type(
  string
)
ident(
  int_ref str "src/oasis/OASISText.ml" 117 4081 4096 "src/oasis/OASISText.ml" 117 4081 4099
)
"src/oasis/OASISText.ml" 118 4109 4115 "src/oasis/OASISText.ml" 118 4109 4140
type(
  unit
)
"src/oasis/OASISText.ml" 119 4142 4148 "src/oasis/OASISText.ml" 119 4142 4164
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/oasis/OASISText.ml" 119 4142 4165 "src/oasis/OASISText.ml" 119 4142 4168
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 119 4142 4169 "src/oasis/OASISText.ml" 119 4142 4171
type(
  unit
)
"src/oasis/OASISText.ml" 119 4142 4148 "src/oasis/OASISText.ml" 119 4142 4171
type(
  unit
)
"src/oasis/OASISText.ml" 120 4173 4179 "src/oasis/OASISText.ml" 120 4173 4187
type(
  Format.formatter -> elt list -> unit
)
ident(
  int_ref pp_print "src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
)
"src/oasis/OASISText.ml" 120 4173 4188 "src/oasis/OASISText.ml" 120 4173 4191
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 120 4173 4192 "src/oasis/OASISText.ml" 120 4173 4194
type(
  elt list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 117 4081 4103 "src/oasis/OASISText.ml" 117 4081 4105
)
"src/oasis/OASISText.ml" 120 4173 4179 "src/oasis/OASISText.ml" 120 4173 4194
type(
  unit
)
"src/oasis/OASISText.ml" 119 4142 4148 "src/oasis/OASISText.ml" 120 4173 4194
type(
  unit
)
"src/oasis/OASISText.ml" 118 4109 4115 "src/oasis/OASISText.ml" 120 4173 4194
type(
  unit
)
"src/oasis/OASISText.ml" 121 4195 4201 "src/oasis/OASISText.ml" 121 4195 4210
type(
  elt
)
"src/oasis/OASISText.ml" 121 4195 4214 "src/oasis/OASISText.ml" 121 4195 4216
type(
  elt list
)
ident(
  def tl "src/oasis/OASISText.ml" 122 4220 4226 "src/oasis/OASISText.ml" 123 4251 4272
)
"src/oasis/OASISText.ml" 121 4195 4201 "src/oasis/OASISText.ml" 121 4195 4216
type(
  elt list
)
"src/oasis/OASISText.ml" 122 4220 4226 "src/oasis/OASISText.ml" 122 4220 4242
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_newline "format.mli" 390 15193 15193 "format.mli" 390 15193 15241
)
"src/oasis/OASISText.ml" 122 4220 4243 "src/oasis/OASISText.ml" 122 4220 4246
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 122 4220 4247 "src/oasis/OASISText.ml" 122 4220 4249
type(
  unit
)
"src/oasis/OASISText.ml" 122 4220 4226 "src/oasis/OASISText.ml" 122 4220 4249
type(
  unit
)
"src/oasis/OASISText.ml" 123 4251 4257 "src/oasis/OASISText.ml" 123 4251 4265
type(
  Format.formatter -> elt list -> unit
)
ident(
  int_ref pp_print "src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
)
"src/oasis/OASISText.ml" 123 4251 4266 "src/oasis/OASISText.ml" 123 4251 4269
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 95 3391 3408 "src/oasis/OASISText.ml" 95 3391 3411
)
"src/oasis/OASISText.ml" 123 4251 4270 "src/oasis/OASISText.ml" 123 4251 4272
type(
  elt list
)
ident(
  int_ref tl "src/oasis/OASISText.ml" 121 4195 4214 "src/oasis/OASISText.ml" 121 4195 4216
)
"src/oasis/OASISText.ml" 123 4251 4257 "src/oasis/OASISText.ml" 123 4251 4272
type(
  unit
)
"src/oasis/OASISText.ml" 122 4220 4226 "src/oasis/OASISText.ml" 123 4251 4272
type(
  unit
)
"src/oasis/OASISText.ml" 124 4273 4279 "src/oasis/OASISText.ml" 124 4273 4281
type(
  elt list
)
"src/oasis/OASISText.ml" 125 4285 4291 "src/oasis/OASISText.ml" 125 4285 4293
type(
  unit
)
"src/oasis/OASISText.ml" 96 3414 3416 "src/oasis/OASISText.ml" 125 4285 4293
type(
  elt list -> unit
)
"src/oasis/OASISText.ml" 128 4296 4300 "src/oasis/OASISText.ml" 128 4296 4309
type(
  elt list -> string
)
ident(
  def to_string "src/oasis/OASISText.ml" 136 4463 4463 "src/oasis/OASISText.ml" 0 0 -1
)
"src/oasis/OASISText.ml" 128 4296 4310 "src/oasis/OASISText.ml" 128 4296 4311
type(
  elt list
)
ident(
  def t "src/oasis/OASISText.ml" 129 4314 4316 "src/oasis/OASISText.ml" 133 4438 4460
)
"src/oasis/OASISText.ml" 129 4314 4320 "src/oasis/OASISText.ml" 129 4314 4324
type(
  Buffer.t
)
ident(
  def buff "src/oasis/OASISText.ml" 130 4347 4349 "src/oasis/OASISText.ml" 133 4438 4460
)
"src/oasis/OASISText.ml" 129 4314 4327 "src/oasis/OASISText.ml" 129 4314 4340
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/oasis/OASISText.ml" 129 4314 4341 "src/oasis/OASISText.ml" 129 4314 4343
type(
  int
)
"src/oasis/OASISText.ml" 129 4314 4327 "src/oasis/OASISText.ml" 129 4314 4343
type(
  Buffer.t
)
"src/oasis/OASISText.ml" 130 4347 4353 "src/oasis/OASISText.ml" 130 4347 4356
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/OASISText.ml" 131 4395 4397 "src/oasis/OASISText.ml" 133 4438 4460
)
"src/oasis/OASISText.ml" 130 4347 4359 "src/oasis/OASISText.ml" 130 4347 4386
type(
  Buffer.t -> Format.formatter
)
ident(
  int_ref Stdlib.Format.formatter_of_buffer "format.mli" 962 37555 37555 "format.mli" 962 37555 37602
)
"src/oasis/OASISText.ml" 130 4347 4387 "src/oasis/OASISText.ml" 130 4347 4391
type(
  Buffer.t
)
ident(
  int_ref buff "src/oasis/OASISText.ml" 129 4314 4320 "src/oasis/OASISText.ml" 129 4314 4324
)
"src/oasis/OASISText.ml" 130 4347 4359 "src/oasis/OASISText.ml" 130 4347 4391
type(
  Format.formatter
)
"src/oasis/OASISText.ml" 131 4395 4397 "src/oasis/OASISText.ml" 131 4395 4405
type(
  Format.formatter -> elt list -> unit
)
ident(
  int_ref pp_print "src/oasis/OASISText.ml" 95 3391 3399 "src/oasis/OASISText.ml" 95 3391 3407
)
"src/oasis/OASISText.ml" 131 4395 4406 "src/oasis/OASISText.ml" 131 4395 4409
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 130 4347 4353 "src/oasis/OASISText.ml" 130 4347 4356
)
"src/oasis/OASISText.ml" 131 4395 4410 "src/oasis/OASISText.ml" 131 4395 4411
type(
  elt list
)
ident(
  int_ref t "src/oasis/OASISText.ml" 128 4296 4310 "src/oasis/OASISText.ml" 128 4296 4311
)
"src/oasis/OASISText.ml" 131 4395 4397 "src/oasis/OASISText.ml" 131 4395 4411
type(
  unit
)
"src/oasis/OASISText.ml" 132 4413 4415 "src/oasis/OASISText.ml" 132 4413 4429
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_flush "format.mli" 364 13970 13970 "format.mli" 364 13970 14016
)
"src/oasis/OASISText.ml" 132 4413 4430 "src/oasis/OASISText.ml" 132 4413 4433
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/OASISText.ml" 130 4347 4353 "src/oasis/OASISText.ml" 130 4347 4356
)
"src/oasis/OASISText.ml" 132 4413 4434 "src/oasis/OASISText.ml" 132 4413 4436
type(
  unit
)
"src/oasis/OASISText.ml" 132 4413 4415 "src/oasis/OASISText.ml" 132 4413 4436
type(
  unit
)
"src/oasis/OASISText.ml" 133 4438 4440 "src/oasis/OASISText.ml" 133 4438 4455
type(
  Buffer.t -> string
)
ident(
  int_ref Stdlib.Buffer.contents "buffer.mli" 50 2308 2308 "buffer.mli" 50 2308 2334
)
"src/oasis/OASISText.ml" 133 4438 4456 "src/oasis/OASISText.ml" 133 4438 4460
type(
  Buffer.t
)
ident(
  int_ref buff "src/oasis/OASISText.ml" 129 4314 4320 "src/oasis/OASISText.ml" 129 4314 4324
)
"src/oasis/OASISText.ml" 133 4438 4440 "src/oasis/OASISText.ml" 133 4438 4460
type(
  string
)
"src/oasis/OASISText.ml" 132 4413 4415 "src/oasis/OASISText.ml" 133 4438 4460
type(
  string
)
"src/oasis/OASISText.ml" 131 4395 4397 "src/oasis/OASISText.ml" 133 4438 4460
type(
  string
)
"src/oasis/OASISText.ml" 130 4347 4349 "src/oasis/OASISText.ml" 133 4438 4460
type(
  string
)
"src/oasis/OASISText.ml" 129 4314 4316 "src/oasis/OASISText.ml" 133 4438 4460
type(
  string
)
"src/oasis/OASISText.ml" 136 4463 4467 "src/oasis/OASISText.ml" 136 4463 4472
type(
  elt list OASISValues.t
)
ident(
  def value "src/oasis/OASISText.ml" 141 4574 4577 "src/oasis/OASISText.ml" 0 0 -1
)
"src/oasis/OASISText.ml" 138 4479 4503 "src/oasis/OASISText.ml" 138 4479 4504
type(
  OASISContext.t
)
"src/oasis/OASISText.ml" 138 4479 4505 "src/oasis/OASISText.ml" 138 4479 4506
type(
  string
)
ident(
  def s "src/oasis/OASISText.ml" 138 4479 4510 "src/oasis/OASISText.ml" 138 4479 4521
)
"src/oasis/OASISText.ml" 138 4479 4510 "src/oasis/OASISText.ml" 138 4479 4519
type(
  string -> elt list
)
ident(
  int_ref of_string "src/oasis/OASISText.ml" 37 1853 1857 "src/oasis/OASISText.ml" 37 1853 1866
)
"src/oasis/OASISText.ml" 138 4479 4520 "src/oasis/OASISText.ml" 138 4479 4521
type(
  string
)
ident(
  int_ref s "src/oasis/OASISText.ml" 138 4479 4505 "src/oasis/OASISText.ml" 138 4479 4506
)
"src/oasis/OASISText.ml" 138 4479 4510 "src/oasis/OASISText.ml" 138 4479 4521
type(
  elt list
)
"src/oasis/OASISText.ml" 138 4479 4492 "src/oasis/OASISText.ml" 138 4479 4522
type(
  ctxt:OASISContext.t -> string -> elt list
)
"src/oasis/OASISText.ml" 139 4524 4537 "src/oasis/OASISText.ml" 139 4524 4548
type(
  elt list -> elt list -> elt list
)
ident(
  int_ref OASISValues.update_fail "src/oasis/OASISValues.mli" 62 2409 2409 "src/oasis/OASISValues.mli" 62 2409 2440
)
"src/oasis/OASISText.ml" 140 4550 4563 "src/oasis/OASISText.ml" 140 4550 4572
type(
  elt list -> string
)
ident(
  int_ref to_string "src/oasis/OASISText.ml" 128 4296 4300 "src/oasis/OASISText.ml" 128 4296 4309
)
"src/oasis/OASISText.ml" 137 4475 4477 "src/oasis/OASISText.ml" 141 4574 4577
type(
  elt list OASISValues.t
)
