"src/oasis/FormatExt.ml" 27 1717 1721 "src/oasis/FormatExt.ml" 27 1717 1743
type(
  Format.formatter -> string -> unit
)
ident(
  def pp_print_string_spaced "src/oasis/FormatExt.ml" 36 1922 1922 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 27 1717 1744 "src/oasis/FormatExt.ml" 27 1717 1747
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 27 1717 1748 "src/oasis/FormatExt.ml" 33 1912 1919
)
"src/oasis/FormatExt.ml" 27 1717 1748 "src/oasis/FormatExt.ml" 27 1717 1751
type(
  string
)
ident(
  def str "src/oasis/FormatExt.ml" 28 1754 1756 "src/oasis/FormatExt.ml" 33 1912 1919
)
"src/oasis/FormatExt.ml" 28 1754 1756 "src/oasis/FormatExt.ml" 28 1754 1767
type(
  (char -> unit) -> string -> unit
)
ident(
  int_ref Stdlib.String.iter "string.mli" 291 10436 10436 "string.mli" 291 10436 10479
)
"src/oasis/FormatExt.ml" 30 1782 1790 "src/oasis/FormatExt.ml" 30 1782 1793
type(
  char
)
"src/oasis/FormatExt.ml" 30 1782 1797 "src/oasis/FormatExt.ml" 30 1782 1818
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_space "format.mli" 273 11066 11066 "format.mli" 273 11066 11112
)
"src/oasis/FormatExt.ml" 30 1782 1819 "src/oasis/FormatExt.ml" 30 1782 1822
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 27 1717 1744 "src/oasis/FormatExt.ml" 27 1717 1747
)
"src/oasis/FormatExt.ml" 30 1782 1823 "src/oasis/FormatExt.ml" 30 1782 1825
type(
  unit
)
"src/oasis/FormatExt.ml" 30 1782 1797 "src/oasis/FormatExt.ml" 30 1782 1825
type(
  unit
)
"src/oasis/FormatExt.ml" 31 1826 1834 "src/oasis/FormatExt.ml" 31 1826 1838
type(
  char
)
"src/oasis/FormatExt.ml" 31 1826 1842 "src/oasis/FormatExt.ml" 31 1826 1863
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_space "format.mli" 273 11066 11066 "format.mli" 273 11066 11112
)
"src/oasis/FormatExt.ml" 31 1826 1864 "src/oasis/FormatExt.ml" 31 1826 1867
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 27 1717 1744 "src/oasis/FormatExt.ml" 27 1717 1747
)
"src/oasis/FormatExt.ml" 31 1826 1868 "src/oasis/FormatExt.ml" 31 1826 1870
type(
  unit
)
"src/oasis/FormatExt.ml" 31 1826 1842 "src/oasis/FormatExt.ml" 31 1826 1870
type(
  unit
)
"src/oasis/FormatExt.ml" 32 1871 1879 "src/oasis/FormatExt.ml" 32 1871 1880
type(
  char
)
ident(
  def c "src/oasis/FormatExt.ml" 32 1871 1884 "src/oasis/FormatExt.ml" 32 1871 1910
)
"src/oasis/FormatExt.ml" 32 1871 1884 "src/oasis/FormatExt.ml" 32 1871 1904
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/FormatExt.ml" 32 1871 1905 "src/oasis/FormatExt.ml" 32 1871 1908
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 27 1717 1744 "src/oasis/FormatExt.ml" 27 1717 1747
)
"src/oasis/FormatExt.ml" 32 1871 1909 "src/oasis/FormatExt.ml" 32 1871 1910
type(
  char
)
ident(
  int_ref c "src/oasis/FormatExt.ml" 32 1871 1879 "src/oasis/FormatExt.ml" 32 1871 1880
)
"src/oasis/FormatExt.ml" 32 1871 1884 "src/oasis/FormatExt.ml" 32 1871 1910
type(
  unit
)
"src/oasis/FormatExt.ml" 29 1768 1772 "src/oasis/FormatExt.ml" 32 1871 1911
type(
  char -> unit
)
"src/oasis/FormatExt.ml" 33 1912 1916 "src/oasis/FormatExt.ml" 33 1912 1919
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 27 1717 1748 "src/oasis/FormatExt.ml" 27 1717 1751
)
"src/oasis/FormatExt.ml" 28 1754 1756 "src/oasis/FormatExt.ml" 33 1912 1919
type(
  unit
)
"src/oasis/FormatExt.ml" 36 1922 1926 "src/oasis/FormatExt.ml" 36 1922 1939
type(
  (Format.formatter -> 'a -> unit) ->
  ('b, Format.formatter, unit) format -> Format.formatter -> 'a list -> unit
)
ident(
  def pp_print_list "src/oasis/FormatExt.ml" 49 2139 2139 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 36 1922 1940 "src/oasis/FormatExt.ml" 36 1922 1947
type(
  Format.formatter -> 'a -> unit
)
ident(
  def pp_elem "src/oasis/FormatExt.ml" 36 1922 1948 "src/oasis/FormatExt.ml" 46 2126 2136
)
"src/oasis/FormatExt.ml" 36 1922 1948 "src/oasis/FormatExt.ml" 36 1922 1955
type(
  ('b, Format.formatter, unit) format
)
ident(
  def lst_sep "src/oasis/FormatExt.ml" 36 1922 1956 "src/oasis/FormatExt.ml" 46 2126 2136
)
"src/oasis/FormatExt.ml" 36 1922 1956 "src/oasis/FormatExt.ml" 36 1922 1959
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 37 1962 1964 "src/oasis/FormatExt.ml" 46 2126 2136
)
"src/oasis/FormatExt.ml" 38 1973 1979 "src/oasis/FormatExt.ml" 38 1973 1981
type(
  'a list
)
"src/oasis/FormatExt.ml" 39 1985 1991 "src/oasis/FormatExt.ml" 39 1985 1993
type(
  unit
)
"src/oasis/FormatExt.ml" 40 1994 2000 "src/oasis/FormatExt.ml" 40 1994 2002
type(
  'a
)
ident(
  def hd "src/oasis/FormatExt.ml" 41 2012 2018 "src/oasis/FormatExt.ml" 46 2126 2136
)
"src/oasis/FormatExt.ml" 40 1994 2006 "src/oasis/FormatExt.ml" 40 1994 2008
type(
  'a list
)
ident(
  def tl "src/oasis/FormatExt.ml" 41 2012 2018 "src/oasis/FormatExt.ml" 46 2126 2136
)
"src/oasis/FormatExt.ml" 40 1994 2000 "src/oasis/FormatExt.ml" 40 1994 2008
type(
  'a list
)
"src/oasis/FormatExt.ml" 41 2012 2018 "src/oasis/FormatExt.ml" 41 2012 2025
type(
  Format.formatter -> 'a -> unit
)
ident(
  int_ref pp_elem "src/oasis/FormatExt.ml" 36 1922 1940 "src/oasis/FormatExt.ml" 36 1922 1947
)
"src/oasis/FormatExt.ml" 41 2012 2026 "src/oasis/FormatExt.ml" 41 2012 2029
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 36 1922 1956 "src/oasis/FormatExt.ml" 36 1922 1959
)
"src/oasis/FormatExt.ml" 41 2012 2030 "src/oasis/FormatExt.ml" 41 2012 2032
type(
  'a
)
ident(
  int_ref hd "src/oasis/FormatExt.ml" 40 1994 2000 "src/oasis/FormatExt.ml" 40 1994 2002
)
"src/oasis/FormatExt.ml" 41 2012 2018 "src/oasis/FormatExt.ml" 41 2012 2032
type(
  unit
)
"src/oasis/FormatExt.ml" 42 2034 2040 "src/oasis/FormatExt.ml" 42 2034 2049
type(
  ('a -> unit) -> 'a list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/FormatExt.ml" 43 2050 2063 "src/oasis/FormatExt.ml" 43 2050 2064
type(
  'a
)
ident(
  def e "src/oasis/FormatExt.ml" 44 2068 2079 "src/oasis/FormatExt.ml" 45 2100 2124
)
"src/oasis/FormatExt.ml" 44 2068 2079 "src/oasis/FormatExt.ml" 44 2068 2086
type(
  Format.formatter -> ('b, Format.formatter, unit) format -> 'b
)
ident(
  int_ref Stdlib.Format.fprintf "format.mli" 1168 44060 44060 "format.mli" 1168 44060 44121
)
"src/oasis/FormatExt.ml" 44 2068 2087 "src/oasis/FormatExt.ml" 44 2068 2090
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 36 1922 1956 "src/oasis/FormatExt.ml" 36 1922 1959
)
"src/oasis/FormatExt.ml" 44 2068 2091 "src/oasis/FormatExt.ml" 44 2068 2098
type(
  ('b, Format.formatter, unit) format
)
ident(
  int_ref lst_sep "src/oasis/FormatExt.ml" 36 1922 1948 "src/oasis/FormatExt.ml" 36 1922 1955
)
"src/oasis/FormatExt.ml" 44 2068 2079 "src/oasis/FormatExt.ml" 44 2068 2098
type(
  'b
)
"src/oasis/FormatExt.ml" 45 2100 2111 "src/oasis/FormatExt.ml" 45 2100 2118
type(
  Format.formatter -> 'a -> unit
)
ident(
  int_ref pp_elem "src/oasis/FormatExt.ml" 36 1922 1940 "src/oasis/FormatExt.ml" 36 1922 1947
)
"src/oasis/FormatExt.ml" 45 2100 2119 "src/oasis/FormatExt.ml" 45 2100 2122
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 36 1922 1956 "src/oasis/FormatExt.ml" 36 1922 1959
)
"src/oasis/FormatExt.ml" 45 2100 2123 "src/oasis/FormatExt.ml" 45 2100 2124
type(
  'a
)
ident(
  int_ref e "src/oasis/FormatExt.ml" 43 2050 2063 "src/oasis/FormatExt.ml" 43 2050 2064
)
"src/oasis/FormatExt.ml" 45 2100 2111 "src/oasis/FormatExt.ml" 45 2100 2124
type(
  unit
)
"src/oasis/FormatExt.ml" 44 2068 2079 "src/oasis/FormatExt.ml" 45 2100 2124
type(
  unit
)
"src/oasis/FormatExt.ml" 43 2050 2058 "src/oasis/FormatExt.ml" 45 2100 2125
type(
  'a -> unit
)
"src/oasis/FormatExt.ml" 46 2126 2134 "src/oasis/FormatExt.ml" 46 2126 2136
type(
  'a list
)
ident(
  int_ref tl "src/oasis/FormatExt.ml" 40 1994 2006 "src/oasis/FormatExt.ml" 40 1994 2008
)
"src/oasis/FormatExt.ml" 42 2034 2040 "src/oasis/FormatExt.ml" 46 2126 2136
type(
  unit
)
"src/oasis/FormatExt.ml" 41 2012 2018 "src/oasis/FormatExt.ml" 46 2126 2136
type(
  unit
)
"src/oasis/FormatExt.ml" 37 1962 1964 "src/oasis/FormatExt.ml" 46 2126 2136
type(
  'a list -> unit
)
"src/oasis/FormatExt.ml" 49 2139 2143 "src/oasis/FormatExt.ml" 49 2139 2156
type(
  Format.formatter -> unit -> unit
)
ident(
  def pp_print_cut2 "src/oasis/FormatExt.ml" 54 2213 2213 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 49 2139 2157 "src/oasis/FormatExt.ml" 49 2139 2160
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 49 2139 2161 "src/oasis/FormatExt.ml" 51 2189 2210
)
"src/oasis/FormatExt.ml" 49 2139 2161 "src/oasis/FormatExt.ml" 49 2139 2163
type(
  unit
)
"src/oasis/FormatExt.ml" 50 2166 2168 "src/oasis/FormatExt.ml" 50 2166 2180
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_cut "format.mli" 282 11362 11362 "format.mli" 282 11362 11406
)
"src/oasis/FormatExt.ml" 50 2166 2181 "src/oasis/FormatExt.ml" 50 2166 2184
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 49 2139 2157 "src/oasis/FormatExt.ml" 49 2139 2160
)
"src/oasis/FormatExt.ml" 50 2166 2185 "src/oasis/FormatExt.ml" 50 2166 2187
type(
  unit
)
"src/oasis/FormatExt.ml" 50 2166 2168 "src/oasis/FormatExt.ml" 50 2166 2187
type(
  unit
)
"src/oasis/FormatExt.ml" 51 2189 2191 "src/oasis/FormatExt.ml" 51 2189 2203
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_cut "format.mli" 282 11362 11362 "format.mli" 282 11362 11406
)
"src/oasis/FormatExt.ml" 51 2189 2204 "src/oasis/FormatExt.ml" 51 2189 2207
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 49 2139 2157 "src/oasis/FormatExt.ml" 49 2139 2160
)
"src/oasis/FormatExt.ml" 51 2189 2208 "src/oasis/FormatExt.ml" 51 2189 2210
type(
  unit
)
"src/oasis/FormatExt.ml" 51 2189 2191 "src/oasis/FormatExt.ml" 51 2189 2210
type(
  unit
)
"src/oasis/FormatExt.ml" 50 2166 2168 "src/oasis/FormatExt.ml" 51 2189 2210
type(
  unit
)
"src/oasis/FormatExt.ml" 54 2213 2217 "src/oasis/FormatExt.ml" 54 2213 2234
type(
  ?check_last_char:string -> Format.formatter -> unit -> unit
)
ident(
  def pp_print_endblock "src/oasis/FormatExt.ml" 63 2441 2441 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 54 2213 2237 "src/oasis/FormatExt.ml" 54 2213 2252
type(
  string
)
ident(
  def check_last_char "src/oasis/FormatExt.ml" 54 2213 2257 "src/oasis/FormatExt.ml" 60 2433 2438
)
"src/oasis/FormatExt.ml" 54 2213 2253 "src/oasis/FormatExt.ml" 54 2213 2255
type(
  string
)
type(
  string option
)
type(
  string option
)
type(
  string
)
ident(
  int_ref *sth* "src/oasis/FormatExt.ml" 54 2213 2253 "src/oasis/FormatExt.ml" 54 2213 2255
)
type(
  string
)
type(
  string option
)
type(
  string option
)
ident(
  def *sth* "src/oasis/FormatExt.ml" 54 2213 2253 "src/oasis/FormatExt.ml" 54 2213 2255
)
"src/oasis/FormatExt.ml" 54 2213 2257 "src/oasis/FormatExt.ml" 54 2213 2260
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 54 2213 2261 "src/oasis/FormatExt.ml" 60 2433 2438
)
"src/oasis/FormatExt.ml" 54 2213 2261 "src/oasis/FormatExt.ml" 54 2213 2263
type(
  unit
)
"src/oasis/FormatExt.ml" 55 2266 2271 "src/oasis/FormatExt.ml" 55 2266 2292
type(
  what:string -> ?offset:int -> string -> bool
)
ident(
  int_ref OASISString.ends_with "src/oasis/OASISString.ml" 116 3566 3570 "src/oasis/OASISString.ml" 116 3566 3579
)
"src/oasis/FormatExt.ml" 55 2266 2299 "src/oasis/FormatExt.ml" 55 2266 2303
type(
  string
)
"src/oasis/FormatExt.ml" 55 2266 2304 "src/oasis/FormatExt.ml" 55 2266 2319
type(
  string
)
ident(
  int_ref check_last_char "src/oasis/FormatExt.ml" 54 2213 2237 "src/oasis/FormatExt.ml" 54 2213 2252
)
"src/oasis/FormatExt.ml" 55 2266 2271 "src/oasis/FormatExt.ml" 55 2266 2319
type(
  bool
)
"src/oasis/FormatExt.ml" 56 2331 2335 "src/oasis/FormatExt.ml" 56 2331 2351
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/FormatExt.ml" 56 2331 2352 "src/oasis/FormatExt.ml" 56 2331 2355
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 54 2213 2257 "src/oasis/FormatExt.ml" 54 2213 2260
)
"src/oasis/FormatExt.ml" 56 2331 2356 "src/oasis/FormatExt.ml" 56 2331 2358
type(
  unit
)
"src/oasis/FormatExt.ml" 55 2266 2325 "src/oasis/FormatExt.ml" 57 2359 2364
type(
  unit
)
"src/oasis/FormatExt.ml" 58 2376 2380 "src/oasis/FormatExt.ml" 58 2376 2396
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/FormatExt.ml" 58 2376 2397 "src/oasis/FormatExt.ml" 58 2376 2400
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 54 2213 2257 "src/oasis/FormatExt.ml" 54 2213 2260
)
"src/oasis/FormatExt.ml" 58 2376 2401 "src/oasis/FormatExt.ml" 58 2376 2403
type(
  unit
)
"src/oasis/FormatExt.ml" 58 2376 2380 "src/oasis/FormatExt.ml" 58 2376 2403
type(
  unit
)
"src/oasis/FormatExt.ml" 59 2405 2409 "src/oasis/FormatExt.ml" 59 2405 2425
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/FormatExt.ml" 59 2405 2426 "src/oasis/FormatExt.ml" 59 2405 2429
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 54 2213 2257 "src/oasis/FormatExt.ml" 54 2213 2260
)
"src/oasis/FormatExt.ml" 59 2405 2430 "src/oasis/FormatExt.ml" 59 2405 2432
type(
  unit
)
"src/oasis/FormatExt.ml" 59 2405 2409 "src/oasis/FormatExt.ml" 59 2405 2432
type(
  unit
)
"src/oasis/FormatExt.ml" 57 2359 2370 "src/oasis/FormatExt.ml" 60 2433 2438
type(
  unit
)
"src/oasis/FormatExt.ml" 55 2266 2268 "src/oasis/FormatExt.ml" 60 2433 2438
type(
  unit
)
"src/oasis/FormatExt.ml" 63 2441 2445 "src/oasis/FormatExt.ml" 63 2441 2458
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  def pp_print_para "src/oasis/FormatExt.ml" 103 3360 3360 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 63 2441 2463 "src/oasis/FormatExt.ml" 100 3336 3357
)
"src/oasis/FormatExt.ml" 63 2441 2465 "src/oasis/FormatExt.ml" 63 2441 2473
type(
  bool
)
ident(
  def end_para "src/oasis/FormatExt.ml" 63 2441 2480 "src/oasis/FormatExt.ml" 100 3336 3357
)
"src/oasis/FormatExt.ml" 63 2441 2474 "src/oasis/FormatExt.ml" 63 2441 2478
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
ident(
  int_ref *sth* "src/oasis/FormatExt.ml" 63 2441 2474 "src/oasis/FormatExt.ml" 63 2441 2478
)
type(
  bool
)
type(
  bool option
)
type(
  bool option
)
ident(
  def *sth* "src/oasis/FormatExt.ml" 63 2441 2474 "src/oasis/FormatExt.ml" 63 2441 2478
)
"src/oasis/FormatExt.ml" 63 2441 2480 "src/oasis/FormatExt.ml" 63 2441 2483
type(
  string
)
ident(
  def str "src/oasis/FormatExt.ml" 64 2486 2488 "src/oasis/FormatExt.ml" 100 3336 3357
)
"src/oasis/FormatExt.ml" 64 2486 2492 "src/oasis/FormatExt.ml" 64 2486 2499
type(
  int
)
ident(
  def str_len "src/oasis/FormatExt.ml" 67 2529 2531 "src/oasis/FormatExt.ml" 100 3336 3357
)
"src/oasis/FormatExt.ml" 65 2502 2506 "src/oasis/FormatExt.ml" 65 2502 2519
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/FormatExt.ml" 65 2502 2520 "src/oasis/FormatExt.ml" 65 2502 2523
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 63 2441 2480 "src/oasis/FormatExt.ml" 63 2441 2483
)
"src/oasis/FormatExt.ml" 65 2502 2506 "src/oasis/FormatExt.ml" 65 2502 2523
type(
  int
)
"src/oasis/FormatExt.ml" 67 2529 2539 "src/oasis/FormatExt.ml" 67 2529 2552
type(
  int -> unit
)
ident(
  def decode_string "src/oasis/FormatExt.ml" 67 2529 2531 "src/oasis/FormatExt.ml" 100 3336 3357
)
"src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
type(
  int
)
ident(
  def i "src/oasis/FormatExt.ml" 68 2557 2561 "src/oasis/FormatExt.ml" 92 3190 3199
)
"src/oasis/FormatExt.ml" 68 2557 2564 "src/oasis/FormatExt.ml" 68 2557 2565
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 68 2557 2566 "src/oasis/FormatExt.ml" 68 2557 2567
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/FormatExt.ml" 68 2557 2568 "src/oasis/FormatExt.ml" 68 2557 2575
type(
  int
)
ident(
  int_ref str_len "src/oasis/FormatExt.ml" 64 2486 2492 "src/oasis/FormatExt.ml" 64 2486 2499
)
"src/oasis/FormatExt.ml" 68 2557 2564 "src/oasis/FormatExt.ml" 68 2557 2575
type(
  bool
)
"src/oasis/FormatExt.ml" 70 2593 2607 "src/oasis/FormatExt.ml" 70 2593 2610
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 63 2441 2480 "src/oasis/FormatExt.ml" 63 2441 2483
)
"src/oasis/FormatExt.ml" 70 2593 2612 "src/oasis/FormatExt.ml" 70 2593 2613
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 70 2593 2607 "src/oasis/FormatExt.ml" 70 2593 2614
type(
  char
)
"src/oasis/FormatExt.ml" 71 2620 2632 "src/oasis/FormatExt.ml" 71 2620 2635
type(
  char
)
type(
  char
)
"src/oasis/FormatExt.ml" 72 2639 2651 "src/oasis/FormatExt.ml" 72 2639 2665
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_space "format.mli" 273 11066 11066 "format.mli" 273 11066 11112
)
"src/oasis/FormatExt.ml" 72 2639 2666 "src/oasis/FormatExt.ml" 72 2639 2669
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 72 2639 2670 "src/oasis/FormatExt.ml" 72 2639 2672
type(
  unit
)
"src/oasis/FormatExt.ml" 72 2639 2651 "src/oasis/FormatExt.ml" 72 2639 2672
type(
  unit
)
"src/oasis/FormatExt.ml" 73 2674 2686 "src/oasis/FormatExt.ml" 73 2674 2699
type(
  int -> unit
)
ident(
  int_ref decode_string "src/oasis/FormatExt.ml" 67 2529 2539 "src/oasis/FormatExt.ml" 67 2529 2552
)
"src/oasis/FormatExt.ml" 73 2674 2701 "src/oasis/FormatExt.ml" 73 2674 2702
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 73 2674 2703 "src/oasis/FormatExt.ml" 73 2674 2704
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/FormatExt.ml" 73 2674 2705 "src/oasis/FormatExt.ml" 73 2674 2706
type(
  int
)
"src/oasis/FormatExt.ml" 73 2674 2700 "src/oasis/FormatExt.ml" 73 2674 2707
type(
  int
)
"src/oasis/FormatExt.ml" 73 2674 2686 "src/oasis/FormatExt.ml" 73 2674 2707
type(
  unit
)
"src/oasis/FormatExt.ml" 72 2639 2651 "src/oasis/FormatExt.ml" 73 2674 2707
type(
  unit
)
"src/oasis/FormatExt.ml" 75 2709 2721 "src/oasis/FormatExt.ml" 75 2709 2725
type(
  char
)
type(
  char
)
"src/oasis/FormatExt.ml" 76 2729 2744 "src/oasis/FormatExt.ml" 76 2729 2745
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 76 2729 2746 "src/oasis/FormatExt.ml" 76 2729 2747
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/FormatExt.ml" 76 2729 2748 "src/oasis/FormatExt.ml" 76 2729 2749
type(
  int
)
"src/oasis/FormatExt.ml" 76 2729 2744 "src/oasis/FormatExt.ml" 76 2729 2749
type(
  int
)
"src/oasis/FormatExt.ml" 76 2729 2750 "src/oasis/FormatExt.ml" 76 2729 2751
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 135 5721 5721 "stdlib.mli" 135 5721 5768
)
"src/oasis/FormatExt.ml" 76 2729 2752 "src/oasis/FormatExt.ml" 76 2729 2759
type(
  int
)
ident(
  int_ref str_len "src/oasis/FormatExt.ml" 64 2486 2492 "src/oasis/FormatExt.ml" 64 2486 2499
)
"src/oasis/FormatExt.ml" 76 2729 2744 "src/oasis/FormatExt.ml" 76 2729 2759
type(
  bool
)
"src/oasis/FormatExt.ml" 76 2729 2760 "src/oasis/FormatExt.ml" 76 2729 2762
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/FormatExt.ml" 76 2729 2763 "src/oasis/FormatExt.ml" 76 2729 2766
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 63 2441 2480 "src/oasis/FormatExt.ml" 63 2441 2483
)
"src/oasis/FormatExt.ml" 76 2729 2768 "src/oasis/FormatExt.ml" 76 2729 2769
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 76 2729 2770 "src/oasis/FormatExt.ml" 76 2729 2771
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/FormatExt.ml" 76 2729 2772 "src/oasis/FormatExt.ml" 76 2729 2773
type(
  int
)
"src/oasis/FormatExt.ml" 76 2729 2768 "src/oasis/FormatExt.ml" 76 2729 2773
type(
  int
)
"src/oasis/FormatExt.ml" 76 2729 2763 "src/oasis/FormatExt.ml" 76 2729 2774
type(
  char
)
"src/oasis/FormatExt.ml" 76 2729 2775 "src/oasis/FormatExt.ml" 76 2729 2776
type(
  char -> char -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/FormatExt.ml" 76 2729 2777 "src/oasis/FormatExt.ml" 76 2729 2781
type(
  char
)
"src/oasis/FormatExt.ml" 76 2729 2763 "src/oasis/FormatExt.ml" 76 2729 2781
type(
  bool
)
"src/oasis/FormatExt.ml" 76 2729 2744 "src/oasis/FormatExt.ml" 76 2729 2781
type(
  bool
)
"src/oasis/FormatExt.ml" 78 2807 2823 "src/oasis/FormatExt.ml" 78 2807 2835
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_close_box "format.mli" 165 7379 7379 "format.mli" 165 7379 7423
)
"src/oasis/FormatExt.ml" 78 2807 2836 "src/oasis/FormatExt.ml" 78 2807 2839
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 78 2807 2840 "src/oasis/FormatExt.ml" 78 2807 2842
type(
  unit
)
"src/oasis/FormatExt.ml" 78 2807 2823 "src/oasis/FormatExt.ml" 78 2807 2842
type(
  unit
)
"src/oasis/FormatExt.ml" 79 2844 2860 "src/oasis/FormatExt.ml" 79 2844 2873
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref pp_print_cut2 "src/oasis/FormatExt.ml" 49 2139 2143 "src/oasis/FormatExt.ml" 49 2139 2156
)
"src/oasis/FormatExt.ml" 79 2844 2874 "src/oasis/FormatExt.ml" 79 2844 2877
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 79 2844 2878 "src/oasis/FormatExt.ml" 79 2844 2880
type(
  unit
)
"src/oasis/FormatExt.ml" 79 2844 2860 "src/oasis/FormatExt.ml" 79 2844 2880
type(
  unit
)
"src/oasis/FormatExt.ml" 80 2882 2898 "src/oasis/FormatExt.ml" 80 2882 2909
type(
  Format.formatter -> int -> unit
)
ident(
  int_ref Stdlib.Format.pp_open_box "format.mli" 141 6535 6535 "format.mli" 141 6535 6577
)
"src/oasis/FormatExt.ml" 80 2882 2910 "src/oasis/FormatExt.ml" 80 2882 2913
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 80 2882 2914 "src/oasis/FormatExt.ml" 80 2882 2915
type(
  int
)
"src/oasis/FormatExt.ml" 80 2882 2898 "src/oasis/FormatExt.ml" 80 2882 2915
type(
  unit
)
"src/oasis/FormatExt.ml" 81 2917 2933 "src/oasis/FormatExt.ml" 81 2917 2946
type(
  int -> unit
)
ident(
  int_ref decode_string "src/oasis/FormatExt.ml" 67 2529 2539 "src/oasis/FormatExt.ml" 67 2529 2552
)
"src/oasis/FormatExt.ml" 81 2917 2948 "src/oasis/FormatExt.ml" 81 2917 2949
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 81 2917 2950 "src/oasis/FormatExt.ml" 81 2917 2951
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/FormatExt.ml" 81 2917 2952 "src/oasis/FormatExt.ml" 81 2917 2953
type(
  int
)
"src/oasis/FormatExt.ml" 81 2917 2947 "src/oasis/FormatExt.ml" 81 2917 2954
type(
  int
)
"src/oasis/FormatExt.ml" 81 2917 2933 "src/oasis/FormatExt.ml" 81 2917 2954
type(
  unit
)
"src/oasis/FormatExt.ml" 80 2882 2898 "src/oasis/FormatExt.ml" 81 2917 2954
type(
  unit
)
"src/oasis/FormatExt.ml" 79 2844 2860 "src/oasis/FormatExt.ml" 81 2917 2954
type(
  unit
)
"src/oasis/FormatExt.ml" 77 2787 2801 "src/oasis/FormatExt.ml" 82 2955 2972
type(
  unit
)
"src/oasis/FormatExt.ml" 85 3010 3026 "src/oasis/FormatExt.ml" 85 3010 3040
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_space "format.mli" 273 11066 11066 "format.mli" 273 11066 11112
)
"src/oasis/FormatExt.ml" 85 3010 3041 "src/oasis/FormatExt.ml" 85 3010 3044
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 85 3010 3045 "src/oasis/FormatExt.ml" 85 3010 3047
type(
  unit
)
"src/oasis/FormatExt.ml" 85 3010 3026 "src/oasis/FormatExt.ml" 85 3010 3047
type(
  unit
)
"src/oasis/FormatExt.ml" 86 3049 3065 "src/oasis/FormatExt.ml" 86 3049 3078
type(
  int -> unit
)
ident(
  int_ref decode_string "src/oasis/FormatExt.ml" 67 2529 2539 "src/oasis/FormatExt.ml" 67 2529 2552
)
"src/oasis/FormatExt.ml" 86 3049 3080 "src/oasis/FormatExt.ml" 86 3049 3081
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 86 3049 3082 "src/oasis/FormatExt.ml" 86 3049 3083
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/FormatExt.ml" 86 3049 3084 "src/oasis/FormatExt.ml" 86 3049 3085
type(
  int
)
"src/oasis/FormatExt.ml" 86 3049 3079 "src/oasis/FormatExt.ml" 86 3049 3086
type(
  int
)
"src/oasis/FormatExt.ml" 86 3049 3065 "src/oasis/FormatExt.ml" 86 3049 3086
type(
  unit
)
"src/oasis/FormatExt.ml" 84 2990 3004 "src/oasis/FormatExt.ml" 87 3087 3104
type(
  unit
)
"src/oasis/FormatExt.ml" 76 2729 2741 "src/oasis/FormatExt.ml" 87 3087 3104
type(
  unit
)
"src/oasis/FormatExt.ml" 89 3106 3118 "src/oasis/FormatExt.ml" 89 3106 3119
type(
  char
)
type(
  char
)
ident(
  def c "src/oasis/FormatExt.ml" 90 3123 3135 "src/oasis/FormatExt.ml" 91 3156 3189
)
"src/oasis/FormatExt.ml" 90 3123 3135 "src/oasis/FormatExt.ml" 90 3123 3148
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/FormatExt.ml" 90 3123 3149 "src/oasis/FormatExt.ml" 90 3123 3152
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 90 3123 3153 "src/oasis/FormatExt.ml" 90 3123 3154
type(
  char
)
ident(
  int_ref c "src/oasis/FormatExt.ml" 89 3106 3118 "src/oasis/FormatExt.ml" 89 3106 3119
)
"src/oasis/FormatExt.ml" 90 3123 3135 "src/oasis/FormatExt.ml" 90 3123 3154
type(
  unit
)
"src/oasis/FormatExt.ml" 91 3156 3168 "src/oasis/FormatExt.ml" 91 3156 3181
type(
  int -> unit
)
ident(
  int_ref decode_string "src/oasis/FormatExt.ml" 67 2529 2539 "src/oasis/FormatExt.ml" 67 2529 2552
)
"src/oasis/FormatExt.ml" 91 3156 3183 "src/oasis/FormatExt.ml" 91 3156 3184
type(
  int
)
ident(
  int_ref i "src/oasis/FormatExt.ml" 67 2529 2553 "src/oasis/FormatExt.ml" 67 2529 2554
)
"src/oasis/FormatExt.ml" 91 3156 3185 "src/oasis/FormatExt.ml" 91 3156 3186
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 347 13626 13626 "stdlib.mli" 347 13626 13672
)
"src/oasis/FormatExt.ml" 91 3156 3187 "src/oasis/FormatExt.ml" 91 3156 3188
type(
  int
)
"src/oasis/FormatExt.ml" 91 3156 3182 "src/oasis/FormatExt.ml" 91 3156 3189
type(
  int
)
"src/oasis/FormatExt.ml" 91 3156 3168 "src/oasis/FormatExt.ml" 91 3156 3189
type(
  unit
)
"src/oasis/FormatExt.ml" 90 3123 3135 "src/oasis/FormatExt.ml" 91 3156 3189
type(
  unit
)
"src/oasis/FormatExt.ml" 69 2581 2587 "src/oasis/FormatExt.ml" 92 3190 3199
type(
  unit
)
"src/oasis/FormatExt.ml" 68 2557 2561 "src/oasis/FormatExt.ml" 92 3190 3199
type(
  unit
)
"src/oasis/FormatExt.ml" 94 3206 3208 "src/oasis/FormatExt.ml" 94 3206 3220
type(
  Format.formatter -> int -> unit
)
ident(
  int_ref Stdlib.Format.pp_open_vbox "format.mli" 179 7828 7828 "format.mli" 179 7828 7871
)
"src/oasis/FormatExt.ml" 94 3206 3221 "src/oasis/FormatExt.ml" 94 3206 3224
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 94 3206 3225 "src/oasis/FormatExt.ml" 94 3206 3226
type(
  int
)
"src/oasis/FormatExt.ml" 94 3206 3208 "src/oasis/FormatExt.ml" 94 3206 3226
type(
  unit
)
"src/oasis/FormatExt.ml" 95 3228 3230 "src/oasis/FormatExt.ml" 95 3228 3241
type(
  Format.formatter -> int -> unit
)
ident(
  int_ref Stdlib.Format.pp_open_box "format.mli" 141 6535 6535 "format.mli" 141 6535 6577
)
"src/oasis/FormatExt.ml" 95 3228 3242 "src/oasis/FormatExt.ml" 95 3228 3245
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 95 3228 3246 "src/oasis/FormatExt.ml" 95 3228 3247
type(
  int
)
"src/oasis/FormatExt.ml" 95 3228 3230 "src/oasis/FormatExt.ml" 95 3228 3247
type(
  unit
)
"src/oasis/FormatExt.ml" 96 3249 3251 "src/oasis/FormatExt.ml" 96 3249 3264
type(
  int -> unit
)
ident(
  int_ref decode_string "src/oasis/FormatExt.ml" 67 2529 2539 "src/oasis/FormatExt.ml" 67 2529 2552
)
"src/oasis/FormatExt.ml" 96 3249 3265 "src/oasis/FormatExt.ml" 96 3249 3266
type(
  int
)
"src/oasis/FormatExt.ml" 96 3249 3251 "src/oasis/FormatExt.ml" 96 3249 3266
type(
  unit
)
"src/oasis/FormatExt.ml" 97 3268 3270 "src/oasis/FormatExt.ml" 97 3268 3282
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_close_box "format.mli" 165 7379 7379 "format.mli" 165 7379 7423
)
"src/oasis/FormatExt.ml" 97 3268 3283 "src/oasis/FormatExt.ml" 97 3268 3286
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 97 3268 3287 "src/oasis/FormatExt.ml" 97 3268 3289
type(
  unit
)
"src/oasis/FormatExt.ml" 97 3268 3270 "src/oasis/FormatExt.ml" 97 3268 3289
type(
  unit
)
"src/oasis/FormatExt.ml" 98 3291 3296 "src/oasis/FormatExt.ml" 98 3291 3304
type(
  bool
)
ident(
  int_ref end_para "src/oasis/FormatExt.ml" 63 2441 2465 "src/oasis/FormatExt.ml" 63 2441 2473
)
"src/oasis/FormatExt.ml" 99 3310 3314 "src/oasis/FormatExt.ml" 99 3310 3327
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref pp_print_cut2 "src/oasis/FormatExt.ml" 49 2139 2143 "src/oasis/FormatExt.ml" 49 2139 2156
)
"src/oasis/FormatExt.ml" 99 3310 3328 "src/oasis/FormatExt.ml" 99 3310 3331
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 99 3310 3332 "src/oasis/FormatExt.ml" 99 3310 3334
type(
  unit
)
"src/oasis/FormatExt.ml" 99 3310 3314 "src/oasis/FormatExt.ml" 99 3310 3334
type(
  unit
)
"src/oasis/FormatExt.ml" 98 3291 3293 "src/oasis/FormatExt.ml" 99 3310 3334
type(
  unit
)
"src/oasis/FormatExt.ml" 100 3336 3338 "src/oasis/FormatExt.ml" 100 3336 3350
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_close_box "format.mli" 165 7379 7379 "format.mli" 165 7379 7423
)
"src/oasis/FormatExt.ml" 100 3336 3351 "src/oasis/FormatExt.ml" 100 3336 3354
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 63 2441 2459 "src/oasis/FormatExt.ml" 63 2441 2462
)
"src/oasis/FormatExt.ml" 100 3336 3355 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 100 3336 3338 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 98 3291 3293 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 97 3268 3270 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 96 3249 3251 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 95 3228 3230 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 94 3206 3208 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 67 2529 2531 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 64 2486 2488 "src/oasis/FormatExt.ml" 100 3336 3357
type(
  unit
)
"src/oasis/FormatExt.ml" 103 3360 3364 "src/oasis/FormatExt.ml" 103 3360 3378
type(
  Format.formatter ->
  ?end_para:bool -> ('a, unit, string, unit) format4 -> 'a
)
ident(
  def pp_print_paraf "src/oasis/FormatExt.ml" 107 3455 3455 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 103 3360 3379 "src/oasis/FormatExt.ml" 103 3360 3382
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 103 3360 3383 "src/oasis/FormatExt.ml" 104 3400 3452
)
"src/oasis/FormatExt.ml" 103 3360 3384 "src/oasis/FormatExt.ml" 103 3360 3392
type(
  bool option
)
ident(
  def end_para "src/oasis/FormatExt.ml" 103 3360 3393 "src/oasis/FormatExt.ml" 104 3400 3452
)
"src/oasis/FormatExt.ml" 103 3360 3393 "src/oasis/FormatExt.ml" 103 3360 3397
type(
  ('a, unit, string, unit) format4
)
ident(
  def fmt' "src/oasis/FormatExt.ml" 104 3400 3402 "src/oasis/FormatExt.ml" 104 3400 3452
)
"src/oasis/FormatExt.ml" 104 3400 3402 "src/oasis/FormatExt.ml" 104 3400 3417
type(
  (string -> unit) -> ('a, unit, string, unit) format4 -> 'a
)
ident(
  int_ref Stdlib.Printf.ksprintf "printf.mli" 171 8473 8473 "printf.mli" 171 8473 8542
)
"src/oasis/FormatExt.ml" 104 3400 3419 "src/oasis/FormatExt.ml" 104 3400 3432
type(
  Format.formatter -> ?end_para:bool -> string -> unit
)
ident(
  int_ref pp_print_para "src/oasis/FormatExt.ml" 63 2441 2445 "src/oasis/FormatExt.ml" 63 2441 2458
)
"src/oasis/FormatExt.ml" 104 3400 3433 "src/oasis/FormatExt.ml" 104 3400 3436
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 103 3360 3379 "src/oasis/FormatExt.ml" 103 3360 3382
)
"src/oasis/FormatExt.ml" 104 3400 3438 "src/oasis/FormatExt.ml" 104 3400 3446
type(
  bool option
)
ident(
  int_ref end_para "src/oasis/FormatExt.ml" 103 3360 3384 "src/oasis/FormatExt.ml" 103 3360 3392
)
"src/oasis/FormatExt.ml" 104 3400 3418 "src/oasis/FormatExt.ml" 104 3400 3447
type(
  string -> unit
)
"src/oasis/FormatExt.ml" 104 3400 3448 "src/oasis/FormatExt.ml" 104 3400 3452
type(
  ('a, unit, string, unit) format4
)
ident(
  int_ref fmt' "src/oasis/FormatExt.ml" 103 3360 3393 "src/oasis/FormatExt.ml" 103 3360 3397
)
"src/oasis/FormatExt.ml" 104 3400 3402 "src/oasis/FormatExt.ml" 104 3400 3452
type(
  'a
)
"src/oasis/FormatExt.ml" 107 3455 3459 "src/oasis/FormatExt.ml" 107 3455 3473
type(
  Format.formatter -> int -> string -> unit
)
ident(
  def pp_print_title "src/oasis/FormatExt.ml" 126 3918 3918 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 107 3455 3474 "src/oasis/FormatExt.ml" 107 3455 3477
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 107 3455 3478 "src/oasis/FormatExt.ml" 123 3889 3915
)
"src/oasis/FormatExt.ml" 107 3455 3478 "src/oasis/FormatExt.ml" 107 3455 3481
type(
  int
)
ident(
  def lvl "src/oasis/FormatExt.ml" 107 3455 3482 "src/oasis/FormatExt.ml" 123 3889 3915
)
"src/oasis/FormatExt.ml" 107 3455 3482 "src/oasis/FormatExt.ml" 107 3455 3485
type(
  string
)
ident(
  def str "src/oasis/FormatExt.ml" 108 3488 3490 "src/oasis/FormatExt.ml" 123 3889 3915
)
"src/oasis/FormatExt.ml" 108 3488 3494 "src/oasis/FormatExt.ml" 108 3488 3513
type(
  char -> Format.formatter -> string -> unit
)
ident(
  def pp_print_underlined "src/oasis/FormatExt.ml" 113 3649 3651 "src/oasis/FormatExt.ml" 123 3889 3915
)
"src/oasis/FormatExt.ml" 108 3488 3514 "src/oasis/FormatExt.ml" 108 3488 3515
type(
  char
)
ident(
  def c "src/oasis/FormatExt.ml" 108 3488 3516 "src/oasis/FormatExt.ml" 111 3584 3643
)
"src/oasis/FormatExt.ml" 108 3488 3516 "src/oasis/FormatExt.ml" 108 3488 3519
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 108 3488 3520 "src/oasis/FormatExt.ml" 111 3584 3643
)
"src/oasis/FormatExt.ml" 108 3488 3520 "src/oasis/FormatExt.ml" 108 3488 3523
type(
  string
)
ident(
  def str "src/oasis/FormatExt.ml" 109 3526 3530 "src/oasis/FormatExt.ml" 111 3584 3643
)
"src/oasis/FormatExt.ml" 109 3526 3530 "src/oasis/FormatExt.ml" 109 3526 3545
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/FormatExt.ml" 109 3526 3546 "src/oasis/FormatExt.ml" 109 3526 3549
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 108 3488 3516 "src/oasis/FormatExt.ml" 108 3488 3519
)
"src/oasis/FormatExt.ml" 109 3526 3550 "src/oasis/FormatExt.ml" 109 3526 3553
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 108 3488 3520 "src/oasis/FormatExt.ml" 108 3488 3523
)
"src/oasis/FormatExt.ml" 109 3526 3530 "src/oasis/FormatExt.ml" 109 3526 3553
type(
  unit
)
"src/oasis/FormatExt.ml" 110 3555 3559 "src/oasis/FormatExt.ml" 110 3555 3575
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/FormatExt.ml" 110 3555 3576 "src/oasis/FormatExt.ml" 110 3555 3579
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 108 3488 3516 "src/oasis/FormatExt.ml" 108 3488 3519
)
"src/oasis/FormatExt.ml" 110 3555 3580 "src/oasis/FormatExt.ml" 110 3555 3582
type(
  unit
)
"src/oasis/FormatExt.ml" 110 3555 3559 "src/oasis/FormatExt.ml" 110 3555 3582
type(
  unit
)
"src/oasis/FormatExt.ml" 111 3584 3588 "src/oasis/FormatExt.ml" 111 3584 3603
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/FormatExt.ml" 111 3584 3604 "src/oasis/FormatExt.ml" 111 3584 3607
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 108 3488 3516 "src/oasis/FormatExt.ml" 108 3488 3519
)
"src/oasis/FormatExt.ml" 111 3584 3609 "src/oasis/FormatExt.ml" 111 3584 3620
type(
  int -> char -> string
)
ident(
  int_ref Stdlib.String.make "string.mli" 85 3764 3764 "string.mli" 85 3764 3796
)
"src/oasis/FormatExt.ml" 111 3584 3622 "src/oasis/FormatExt.ml" 111 3584 3635
type(
  string -> int
)
ident(
  int_ref Stdlib.String.length "string.mli" 118 4569 4569 "string.mli" 118 4569 4619
)
"src/oasis/FormatExt.ml" 111 3584 3636 "src/oasis/FormatExt.ml" 111 3584 3639
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 108 3488 3520 "src/oasis/FormatExt.ml" 108 3488 3523
)
"src/oasis/FormatExt.ml" 111 3584 3621 "src/oasis/FormatExt.ml" 111 3584 3640
type(
  int
)
"src/oasis/FormatExt.ml" 111 3584 3641 "src/oasis/FormatExt.ml" 111 3584 3642
type(
  char
)
ident(
  int_ref c "src/oasis/FormatExt.ml" 108 3488 3514 "src/oasis/FormatExt.ml" 108 3488 3515
)
"src/oasis/FormatExt.ml" 111 3584 3608 "src/oasis/FormatExt.ml" 111 3584 3643
type(
  string
)
"src/oasis/FormatExt.ml" 111 3584 3588 "src/oasis/FormatExt.ml" 111 3584 3643
type(
  unit
)
"src/oasis/FormatExt.ml" 110 3555 3559 "src/oasis/FormatExt.ml" 111 3584 3643
type(
  unit
)
"src/oasis/FormatExt.ml" 109 3526 3530 "src/oasis/FormatExt.ml" 111 3584 3643
type(
  unit
)
"src/oasis/FormatExt.ml" 113 3649 3654 "src/oasis/FormatExt.ml" 113 3649 3657
type(
  int
)
ident(
  int_ref lvl "src/oasis/FormatExt.ml" 107 3455 3478 "src/oasis/FormatExt.ml" 107 3455 3481
)
"src/oasis/FormatExt.ml" 113 3649 3658 "src/oasis/FormatExt.ml" 113 3649 3659
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/FormatExt.ml" 113 3649 3660 "src/oasis/FormatExt.ml" 113 3649 3661
type(
  int
)
"src/oasis/FormatExt.ml" 113 3649 3654 "src/oasis/FormatExt.ml" 113 3649 3661
type(
  bool
)
"src/oasis/FormatExt.ml" 114 3667 3671 "src/oasis/FormatExt.ml" 114 3667 3690
type(
  char -> Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_underlined "src/oasis/FormatExt.ml" 108 3488 3494 "src/oasis/FormatExt.ml" 108 3488 3513
)
"src/oasis/FormatExt.ml" 114 3667 3691 "src/oasis/FormatExt.ml" 114 3667 3694
type(
  char
)
"src/oasis/FormatExt.ml" 114 3667 3695 "src/oasis/FormatExt.ml" 114 3667 3698
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 107 3455 3474 "src/oasis/FormatExt.ml" 107 3455 3477
)
"src/oasis/FormatExt.ml" 114 3667 3699 "src/oasis/FormatExt.ml" 114 3667 3702
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 107 3455 3482 "src/oasis/FormatExt.ml" 107 3455 3485
)
"src/oasis/FormatExt.ml" 114 3667 3671 "src/oasis/FormatExt.ml" 114 3667 3702
type(
  unit
)
"src/oasis/FormatExt.ml" 115 3703 3713 "src/oasis/FormatExt.ml" 115 3703 3716
type(
  int
)
ident(
  int_ref lvl "src/oasis/FormatExt.ml" 107 3455 3478 "src/oasis/FormatExt.ml" 107 3455 3481
)
"src/oasis/FormatExt.ml" 115 3703 3717 "src/oasis/FormatExt.ml" 115 3703 3718
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( = ) "stdlib.mli" 121 5051 5051 "stdlib.mli" 121 5051 5095
)
"src/oasis/FormatExt.ml" 115 3703 3719 "src/oasis/FormatExt.ml" 115 3703 3720
type(
  int
)
"src/oasis/FormatExt.ml" 115 3703 3713 "src/oasis/FormatExt.ml" 115 3703 3720
type(
  bool
)
"src/oasis/FormatExt.ml" 116 3726 3730 "src/oasis/FormatExt.ml" 116 3726 3749
type(
  char -> Format.formatter -> string -> unit
)
ident(
  int_ref pp_print_underlined "src/oasis/FormatExt.ml" 108 3488 3494 "src/oasis/FormatExt.ml" 108 3488 3513
)
"src/oasis/FormatExt.ml" 116 3726 3750 "src/oasis/FormatExt.ml" 116 3726 3753
type(
  char
)
"src/oasis/FormatExt.ml" 116 3726 3754 "src/oasis/FormatExt.ml" 116 3726 3757
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 107 3455 3474 "src/oasis/FormatExt.ml" 107 3455 3477
)
"src/oasis/FormatExt.ml" 116 3726 3758 "src/oasis/FormatExt.ml" 116 3726 3761
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 107 3455 3482 "src/oasis/FormatExt.ml" 107 3455 3485
)
"src/oasis/FormatExt.ml" 116 3726 3730 "src/oasis/FormatExt.ml" 116 3726 3761
type(
  unit
)
"src/oasis/FormatExt.ml" 120 3801 3807 "src/oasis/FormatExt.ml" 120 3801 3822
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/FormatExt.ml" 120 3801 3823 "src/oasis/FormatExt.ml" 120 3801 3826
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 107 3455 3474 "src/oasis/FormatExt.ml" 107 3455 3477
)
"src/oasis/FormatExt.ml" 120 3801 3828 "src/oasis/FormatExt.ml" 120 3801 3839
type(
  int -> char -> string
)
ident(
  int_ref Stdlib.String.make "string.mli" 85 3764 3764 "string.mli" 85 3764 3796
)
"src/oasis/FormatExt.ml" 120 3801 3840 "src/oasis/FormatExt.ml" 120 3801 3843
type(
  int
)
ident(
  int_ref lvl "src/oasis/FormatExt.ml" 107 3455 3478 "src/oasis/FormatExt.ml" 107 3455 3481
)
"src/oasis/FormatExt.ml" 120 3801 3844 "src/oasis/FormatExt.ml" 120 3801 3847
type(
  char
)
"src/oasis/FormatExt.ml" 120 3801 3827 "src/oasis/FormatExt.ml" 120 3801 3848
type(
  string
)
"src/oasis/FormatExt.ml" 120 3801 3807 "src/oasis/FormatExt.ml" 120 3801 3848
type(
  unit
)
"src/oasis/FormatExt.ml" 121 3850 3856 "src/oasis/FormatExt.ml" 121 3850 3871
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/FormatExt.ml" 121 3850 3872 "src/oasis/FormatExt.ml" 121 3850 3875
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 107 3455 3474 "src/oasis/FormatExt.ml" 107 3455 3477
)
"src/oasis/FormatExt.ml" 121 3850 3876 "src/oasis/FormatExt.ml" 121 3850 3879
type(
  string
)
ident(
  int_ref str "src/oasis/FormatExt.ml" 107 3455 3482 "src/oasis/FormatExt.ml" 107 3455 3485
)
"src/oasis/FormatExt.ml" 121 3850 3856 "src/oasis/FormatExt.ml" 121 3850 3879
type(
  unit
)
"src/oasis/FormatExt.ml" 118 3769 3773 "src/oasis/FormatExt.ml" 122 3880 3887
type(
  unit
)
"src/oasis/FormatExt.ml" 115 3703 3710 "src/oasis/FormatExt.ml" 122 3880 3887
type(
  unit
)
"src/oasis/FormatExt.ml" 113 3649 3651 "src/oasis/FormatExt.ml" 122 3880 3887
type(
  unit
)
"src/oasis/FormatExt.ml" 123 3889 3891 "src/oasis/FormatExt.ml" 123 3889 3908
type(
  ?check_last_char:string -> Format.formatter -> unit -> unit
)
ident(
  int_ref pp_print_endblock "src/oasis/FormatExt.ml" 54 2213 2217 "src/oasis/FormatExt.ml" 54 2213 2234
)
"src/oasis/FormatExt.ml" 123 3889 3909 "src/oasis/FormatExt.ml" 123 3889 3912
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 107 3455 3474 "src/oasis/FormatExt.ml" 107 3455 3477
)
"src/oasis/FormatExt.ml" 123 3889 3913 "src/oasis/FormatExt.ml" 123 3889 3915
type(
  unit
)
"src/oasis/FormatExt.ml" 123 3889 3891 "src/oasis/FormatExt.ml" 123 3889 3915
type(
  unit
)
"src/oasis/FormatExt.ml" 113 3649 3651 "src/oasis/FormatExt.ml" 123 3889 3915
type(
  unit
)
"src/oasis/FormatExt.ml" 108 3488 3490 "src/oasis/FormatExt.ml" 123 3889 3915
type(
  unit
)
"src/oasis/FormatExt.ml" 126 3918 3922 "src/oasis/FormatExt.ml" 126 3918 3937
type(
  Format.formatter -> int -> ('a, unit, string, unit) format4 -> 'a
)
ident(
  def pp_print_titlef "src/oasis/FormatExt.ml" 130 4003 4003 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 126 3918 3938 "src/oasis/FormatExt.ml" 126 3918 3941
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 126 3918 3942 "src/oasis/FormatExt.ml" 127 3953 4000
)
"src/oasis/FormatExt.ml" 126 3918 3942 "src/oasis/FormatExt.ml" 126 3918 3945
type(
  int
)
ident(
  def lvl "src/oasis/FormatExt.ml" 126 3918 3946 "src/oasis/FormatExt.ml" 127 3953 4000
)
"src/oasis/FormatExt.ml" 126 3918 3946 "src/oasis/FormatExt.ml" 126 3918 3950
type(
  ('a, unit, string, unit) format4
)
ident(
  def fmt' "src/oasis/FormatExt.ml" 127 3953 3955 "src/oasis/FormatExt.ml" 127 3953 4000
)
"src/oasis/FormatExt.ml" 127 3953 3955 "src/oasis/FormatExt.ml" 127 3953 3970
type(
  (string -> unit) -> ('a, unit, string, unit) format4 -> 'a
)
ident(
  int_ref Stdlib.Printf.ksprintf "printf.mli" 171 8473 8473 "printf.mli" 171 8473 8542
)
"src/oasis/FormatExt.ml" 127 3953 3972 "src/oasis/FormatExt.ml" 127 3953 3986
type(
  Format.formatter -> int -> string -> unit
)
ident(
  int_ref pp_print_title "src/oasis/FormatExt.ml" 107 3455 3459 "src/oasis/FormatExt.ml" 107 3455 3473
)
"src/oasis/FormatExt.ml" 127 3953 3987 "src/oasis/FormatExt.ml" 127 3953 3990
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 126 3918 3938 "src/oasis/FormatExt.ml" 126 3918 3941
)
"src/oasis/FormatExt.ml" 127 3953 3991 "src/oasis/FormatExt.ml" 127 3953 3994
type(
  int
)
ident(
  int_ref lvl "src/oasis/FormatExt.ml" 126 3918 3942 "src/oasis/FormatExt.ml" 126 3918 3945
)
"src/oasis/FormatExt.ml" 127 3953 3971 "src/oasis/FormatExt.ml" 127 3953 3995
type(
  string -> unit
)
"src/oasis/FormatExt.ml" 127 3953 3996 "src/oasis/FormatExt.ml" 127 3953 4000
type(
  ('a, unit, string, unit) format4
)
ident(
  int_ref fmt' "src/oasis/FormatExt.ml" 126 3918 3946 "src/oasis/FormatExt.ml" 126 3918 3950
)
"src/oasis/FormatExt.ml" 127 3953 3955 "src/oasis/FormatExt.ml" 127 3953 4000
type(
  'a
)
"src/oasis/FormatExt.ml" 130 4003 4007 "src/oasis/FormatExt.ml" 130 4003 4019
type(
  Format.formatter ->
  string -> ((Format.formatter -> 'a -> 'b) * 'a) list -> unit
)
ident(
  def pp_print_def "src/oasis/FormatExt.ml" 141 4287 4312 "src/oasis/FormatExt.ml" 0 0 -1
)
"src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
type(
  Format.formatter
)
ident(
  def fmt "src/oasis/FormatExt.ml" 130 4003 4024 "src/oasis/FormatExt.ml" 141 4287 4312
)
"src/oasis/FormatExt.ml" 130 4003 4024 "src/oasis/FormatExt.ml" 130 4003 4028
type(
  string
)
ident(
  def term "src/oasis/FormatExt.ml" 130 4003 4029 "src/oasis/FormatExt.ml" 141 4287 4312
)
"src/oasis/FormatExt.ml" 130 4003 4029 "src/oasis/FormatExt.ml" 130 4003 4033
type(
  ((Format.formatter -> 'a -> 'b) * 'a) list
)
ident(
  def defs "src/oasis/FormatExt.ml" 131 4036 4038 "src/oasis/FormatExt.ml" 141 4287 4312
)
"src/oasis/FormatExt.ml" 131 4036 4038 "src/oasis/FormatExt.ml" 131 4036 4053
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/FormatExt.ml" 131 4036 4054 "src/oasis/FormatExt.ml" 131 4036 4057
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 131 4036 4058 "src/oasis/FormatExt.ml" 131 4036 4062
type(
  string
)
ident(
  int_ref term "src/oasis/FormatExt.ml" 130 4003 4024 "src/oasis/FormatExt.ml" 130 4003 4028
)
"src/oasis/FormatExt.ml" 131 4036 4038 "src/oasis/FormatExt.ml" 131 4036 4062
type(
  unit
)
"src/oasis/FormatExt.ml" 132 4064 4066 "src/oasis/FormatExt.ml" 132 4064 4082
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/FormatExt.ml" 132 4064 4083 "src/oasis/FormatExt.ml" 132 4064 4086
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 132 4064 4087 "src/oasis/FormatExt.ml" 132 4064 4089
type(
  unit
)
"src/oasis/FormatExt.ml" 132 4064 4066 "src/oasis/FormatExt.ml" 132 4064 4089
type(
  unit
)
"src/oasis/FormatExt.ml" 133 4091 4093 "src/oasis/FormatExt.ml" 133 4091 4102
type(
  ((Format.formatter -> 'a -> 'b) * 'a -> unit) ->
  ((Format.formatter -> 'a -> 'b) * 'a) list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/oasis/FormatExt.ml" 134 4103 4113 "src/oasis/FormatExt.ml" 134 4103 4123
type(
  Format.formatter -> 'a -> 'b
)
ident(
  def pp_print_e "src/oasis/FormatExt.ml" 135 4131 4138 "src/oasis/FormatExt.ml" 139 4245 4275
)
"src/oasis/FormatExt.ml" 134 4103 4125 "src/oasis/FormatExt.ml" 134 4103 4126
type(
  'a
)
ident(
  def e "src/oasis/FormatExt.ml" 135 4131 4138 "src/oasis/FormatExt.ml" 139 4245 4275
)
"src/oasis/FormatExt.ml" 134 4103 4112 "src/oasis/FormatExt.ml" 134 4103 4127
type(
  (Format.formatter -> 'a -> 'b) * 'a
)
"src/oasis/FormatExt.ml" 135 4131 4138 "src/oasis/FormatExt.ml" 135 4131 4153
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/FormatExt.ml" 135 4131 4154 "src/oasis/FormatExt.ml" 135 4131 4157
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 135 4131 4158 "src/oasis/FormatExt.ml" 135 4131 4164
type(
  string
)
"src/oasis/FormatExt.ml" 135 4131 4138 "src/oasis/FormatExt.ml" 135 4131 4164
type(
  unit
)
"src/oasis/FormatExt.ml" 136 4166 4173 "src/oasis/FormatExt.ml" 136 4166 4184
type(
  Format.formatter -> int -> unit
)
ident(
  int_ref Stdlib.Format.pp_open_box "format.mli" 141 6535 6535 "format.mli" 141 6535 6577
)
"src/oasis/FormatExt.ml" 136 4166 4185 "src/oasis/FormatExt.ml" 136 4166 4188
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 136 4166 4189 "src/oasis/FormatExt.ml" 136 4166 4190
type(
  int
)
"src/oasis/FormatExt.ml" 136 4166 4173 "src/oasis/FormatExt.ml" 136 4166 4190
type(
  unit
)
"src/oasis/FormatExt.ml" 137 4192 4199 "src/oasis/FormatExt.ml" 137 4192 4209
type(
  Format.formatter -> 'a -> 'b
)
ident(
  int_ref pp_print_e "src/oasis/FormatExt.ml" 134 4103 4113 "src/oasis/FormatExt.ml" 134 4103 4123
)
"src/oasis/FormatExt.ml" 137 4192 4210 "src/oasis/FormatExt.ml" 137 4192 4213
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 137 4192 4214 "src/oasis/FormatExt.ml" 137 4192 4215
type(
  'a
)
ident(
  int_ref e "src/oasis/FormatExt.ml" 134 4103 4125 "src/oasis/FormatExt.ml" 134 4103 4126
)
"src/oasis/FormatExt.ml" 137 4192 4199 "src/oasis/FormatExt.ml" 137 4192 4215
type(
  'b
)
"src/oasis/FormatExt.ml" 138 4217 4224 "src/oasis/FormatExt.ml" 138 4217 4236
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_close_box "format.mli" 165 7379 7379 "format.mli" 165 7379 7423
)
"src/oasis/FormatExt.ml" 138 4217 4237 "src/oasis/FormatExt.ml" 138 4217 4240
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 138 4217 4241 "src/oasis/FormatExt.ml" 138 4217 4243
type(
  unit
)
"src/oasis/FormatExt.ml" 138 4217 4224 "src/oasis/FormatExt.ml" 138 4217 4243
type(
  unit
)
"src/oasis/FormatExt.ml" 139 4245 4252 "src/oasis/FormatExt.ml" 139 4245 4268
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/FormatExt.ml" 139 4245 4269 "src/oasis/FormatExt.ml" 139 4245 4272
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 139 4245 4273 "src/oasis/FormatExt.ml" 139 4245 4275
type(
  unit
)
"src/oasis/FormatExt.ml" 139 4245 4252 "src/oasis/FormatExt.ml" 139 4245 4275
type(
  unit
)
"src/oasis/FormatExt.ml" 138 4217 4224 "src/oasis/FormatExt.ml" 139 4245 4275
type(
  unit
)
"src/oasis/FormatExt.ml" 137 4192 4199 "src/oasis/FormatExt.ml" 139 4245 4275
type(
  unit
)
"src/oasis/FormatExt.ml" 136 4166 4173 "src/oasis/FormatExt.ml" 139 4245 4275
type(
  unit
)
"src/oasis/FormatExt.ml" 135 4131 4138 "src/oasis/FormatExt.ml" 139 4245 4275
type(
  unit
)
"src/oasis/FormatExt.ml" 134 4103 4107 "src/oasis/FormatExt.ml" 139 4245 4276
type(
  (Format.formatter -> 'a -> 'b) * 'a -> unit
)
"src/oasis/FormatExt.ml" 140 4277 4281 "src/oasis/FormatExt.ml" 140 4277 4285
type(
  ((Format.formatter -> 'a -> 'b) * 'a) list
)
ident(
  int_ref defs "src/oasis/FormatExt.ml" 130 4003 4029 "src/oasis/FormatExt.ml" 130 4003 4033
)
"src/oasis/FormatExt.ml" 133 4091 4093 "src/oasis/FormatExt.ml" 140 4277 4285
type(
  unit
)
"src/oasis/FormatExt.ml" 141 4287 4289 "src/oasis/FormatExt.ml" 141 4287 4305
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/FormatExt.ml" 141 4287 4306 "src/oasis/FormatExt.ml" 141 4287 4309
type(
  Format.formatter
)
ident(
  int_ref fmt "src/oasis/FormatExt.ml" 130 4003 4020 "src/oasis/FormatExt.ml" 130 4003 4023
)
"src/oasis/FormatExt.ml" 141 4287 4310 "src/oasis/FormatExt.ml" 141 4287 4312
type(
  unit
)
"src/oasis/FormatExt.ml" 141 4287 4289 "src/oasis/FormatExt.ml" 141 4287 4312
type(
  unit
)
"src/oasis/FormatExt.ml" 133 4091 4093 "src/oasis/FormatExt.ml" 141 4287 4312
type(
  unit
)
"src/oasis/FormatExt.ml" 132 4064 4066 "src/oasis/FormatExt.ml" 141 4287 4312
type(
  unit
)
"src/oasis/FormatExt.ml" 131 4036 4038 "src/oasis/FormatExt.ml" 141 4287 4312
type(
  unit
)
