"src/cli/CLIPager.ml" 33 1788 1792 "src/cli/CLIPager.ml" 33 1788 1801
type(
  OASISTypes.host_filename option
)
ident(
  def pager_cmd "src/cli/CLIPager.ml" 49 2093 2093 "src/cli/CLIPager.ml" 0 0 -1
)
"src/cli/CLIPager.ml" 37 1830 1839 "src/cli/CLIPager.ml" 37 1830 1849
type(
  string -> OASISTypes.host_filename
)
ident(
  int_ref Stdlib.Sys.getenv "sys.mli" 58 2794 2794 "sys.mli" 58 2794 2848
)
"src/cli/CLIPager.ml" 37 1830 1850 "src/cli/CLIPager.ml" 37 1830 1863
type(
  string
)
"src/cli/CLIPager.ml" 37 1830 1839 "src/cli/CLIPager.ml" 37 1830 1863
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 38 1864 1876 "src/cli/CLIPager.ml" 38 1864 1885
type(
  exn
)
"src/cli/CLIPager.ml" 41 1919 1932 "src/cli/CLIPager.ml" 41 1919 1942
type(
  string -> OASISTypes.host_filename
)
ident(
  int_ref Stdlib.Sys.getenv "sys.mli" 58 2794 2794 "sys.mli" 58 2794 2848
)
"src/cli/CLIPager.ml" 41 1919 1943 "src/cli/CLIPager.ml" 41 1919 1950
type(
  string
)
"src/cli/CLIPager.ml" 41 1919 1932 "src/cli/CLIPager.ml" 41 1919 1950
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 42 1951 1967 "src/cli/CLIPager.ml" 42 1951 1976
type(
  exn
)
"src/cli/CLIPager.ml" 43 1980 1993 "src/cli/CLIPager.ml" 43 1980 2012
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.host_filename
)
ident(
  int_ref OASISFileUtil.which "src/oasis/OASISFileUtil.mli" 47 2126 2126 "src/oasis/OASISFileUtil.mli" 47 2126 2190
)
"src/cli/CLIPager.ml" 43 1980 2019 "src/cli/CLIPager.ml" 43 1980 2020
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLIPager.ml" 43 1980 2020 "src/cli/CLIPager.ml" 43 1980 2039
type(
  OASISContext.t ref
)
ident(
  int_ref BaseContext.default "src/base/BaseContext.mli" 39 1969 1969 "src/base/BaseContext.mli" 39 1969 2000
)
"src/cli/CLIPager.ml" 43 1980 2019 "src/cli/CLIPager.ml" 43 1980 2039
type(
  OASISContext.t
)
"src/cli/CLIPager.ml" 43 1980 2040 "src/cli/CLIPager.ml" 43 1980 2047
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 43 1980 1993 "src/cli/CLIPager.ml" 43 1980 2047
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 39 1889 1898 "src/cli/CLIPager.ml" 44 2048 2060
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 36 1819 1825 "src/cli/CLIPager.ml" 44 2048 2061
type(
  OASISTypes.host_filename
)
"src/cli/CLIPager.ml" 35 1810 1814 "src/cli/CLIPager.ml" 44 2048 2061
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 45 2062 2069 "src/cli/CLIPager.ml" 45 2062 2078
type(
  exn
)
"src/cli/CLIPager.ml" 46 2082 2086 "src/cli/CLIPager.ml" 46 2082 2090
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 34 1804 1806 "src/cli/CLIPager.ml" 46 2082 2090
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 49 2093 2097 "src/cli/CLIPager.ml" 49 2093 2105
type(
  unit -> (Buffer.t * Format.formatter) * Format.formatter
)
ident(
  def open_out "src/cli/CLIPager.ml" 60 2223 2223 "src/cli/CLIPager.ml" 0 0 -1
)
"src/cli/CLIPager.ml" 49 2093 2106 "src/cli/CLIPager.ml" 49 2093 2108
type(
  unit
)
"src/cli/CLIPager.ml" 50 2111 2117 "src/cli/CLIPager.ml" 50 2111 2120
type(
  Buffer.t
)
ident(
  def buf "src/cli/CLIPager.ml" 53 2149 2151 "src/cli/CLIPager.ml" 57 2215 2220
)
"src/cli/CLIPager.ml" 51 2123 2127 "src/cli/CLIPager.ml" 51 2123 2140
type(
  int -> Buffer.t
)
ident(
  int_ref Stdlib.Buffer.create "buffer.mli" 36 1528 1528 "buffer.mli" 36 1528 1549
)
"src/cli/CLIPager.ml" 51 2123 2141 "src/cli/CLIPager.ml" 51 2123 2143
type(
  int
)
"src/cli/CLIPager.ml" 51 2123 2127 "src/cli/CLIPager.ml" 51 2123 2143
type(
  Buffer.t
)
"src/cli/CLIPager.ml" 53 2149 2155 "src/cli/CLIPager.ml" 53 2149 2158
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIPager.ml" 56 2201 2203 "src/cli/CLIPager.ml" 57 2215 2220
)
"src/cli/CLIPager.ml" 54 2161 2165 "src/cli/CLIPager.ml" 54 2161 2191
type(
  Buffer.t -> Format.formatter
)
ident(
  int_ref Stdlib.Format.formatter_of_buffer "format.mli" 962 37555 37555 "format.mli" 962 37555 37602
)
"src/cli/CLIPager.ml" 54 2161 2192 "src/cli/CLIPager.ml" 54 2161 2195
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 50 2111 2117 "src/cli/CLIPager.ml" 50 2111 2120
)
"src/cli/CLIPager.ml" 54 2161 2165 "src/cli/CLIPager.ml" 54 2161 2195
type(
  Format.formatter
)
"src/cli/CLIPager.ml" 56 2201 2204 "src/cli/CLIPager.ml" 56 2201 2207
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 50 2111 2117 "src/cli/CLIPager.ml" 50 2111 2120
)
"src/cli/CLIPager.ml" 56 2201 2209 "src/cli/CLIPager.ml" 56 2201 2212
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIPager.ml" 53 2149 2155 "src/cli/CLIPager.ml" 53 2149 2158
)
"src/cli/CLIPager.ml" 56 2201 2203 "src/cli/CLIPager.ml" 56 2201 2213
type(
  Buffer.t * Format.formatter
)
"src/cli/CLIPager.ml" 57 2215 2217 "src/cli/CLIPager.ml" 57 2215 2220
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIPager.ml" 53 2149 2155 "src/cli/CLIPager.ml" 53 2149 2158
)
"src/cli/CLIPager.ml" 56 2201 2203 "src/cli/CLIPager.ml" 57 2215 2220
type(
  (Buffer.t * Format.formatter) * Format.formatter
)
"src/cli/CLIPager.ml" 53 2149 2151 "src/cli/CLIPager.ml" 57 2215 2220
type(
  (Buffer.t * Format.formatter) * Format.formatter
)
"src/cli/CLIPager.ml" 50 2111 2113 "src/cli/CLIPager.ml" 57 2215 2220
type(
  (Buffer.t * Format.formatter) * Format.formatter
)
"src/cli/CLIPager.ml" 60 2223 2227 "src/cli/CLIPager.ml" 60 2223 2236
type(
  Buffer.t * Format.formatter -> unit
)
ident(
  def close_out "src/cli/CLIPager.ml" 88 2908 2917 "src/cli/CLIPager.ml" 0 0 -1
)
"src/cli/CLIPager.ml" 60 2223 2238 "src/cli/CLIPager.ml" 60 2223 2241
type(
  Buffer.t
)
ident(
  def buf "src/cli/CLIPager.ml" 61 2250 2252 "src/cli/CLIPager.ml" 88 2908 2917
)
"src/cli/CLIPager.ml" 60 2223 2243 "src/cli/CLIPager.ml" 60 2223 2246
type(
  Format.formatter
)
ident(
  def fmt "src/cli/CLIPager.ml" 61 2250 2252 "src/cli/CLIPager.ml" 88 2908 2917
)
"src/cli/CLIPager.ml" 60 2223 2237 "src/cli/CLIPager.ml" 60 2223 2247
type(
  Buffer.t * Format.formatter
)
"src/cli/CLIPager.ml" 61 2250 2256 "src/cli/CLIPager.ml" 61 2250 2258
type(
  unit
)
type(
  unit
)
"src/cli/CLIPager.ml" 62 2261 2265 "src/cli/CLIPager.ml" 62 2261 2286
type(
  Format.formatter -> unit -> unit
)
ident(
  int_ref Stdlib.Format.pp_print_flush "format.mli" 364 13970 13970 "format.mli" 364 13970 14016
)
"src/cli/CLIPager.ml" 62 2261 2287 "src/cli/CLIPager.ml" 62 2261 2290
type(
  Format.formatter
)
ident(
  int_ref fmt "src/cli/CLIPager.ml" 60 2223 2243 "src/cli/CLIPager.ml" 60 2223 2246
)
"src/cli/CLIPager.ml" 62 2261 2291 "src/cli/CLIPager.ml" 62 2261 2293
type(
  unit
)
"src/cli/CLIPager.ml" 62 2261 2265 "src/cli/CLIPager.ml" 62 2261 2293
type(
  unit
)
"src/cli/CLIPager.ml" 64 2299 2307 "src/cli/CLIPager.ml" 64 2299 2316
type(
  OASISTypes.host_filename option
)
ident(
  int_ref pager_cmd "src/cli/CLIPager.ml" 33 1788 1792 "src/cli/CLIPager.ml" 33 1788 1801
)
"src/cli/CLIPager.ml" 65 2322 2333 "src/cli/CLIPager.ml" 65 2322 2336
type(
  OASISTypes.host_filename
)
ident(
  def cmd "src/cli/CLIPager.ml" 66 2340 2346 "src/cli/CLIPager.ml" 82 2765 2774
)
"src/cli/CLIPager.ml" 65 2322 2328 "src/cli/CLIPager.ml" 65 2322 2336
type(
  OASISTypes.host_filename option
)
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 67 2352 2364 "src/cli/CLIPager.ml" 67 2352 2368
type(
  out_channel
)
ident(
  def proc "src/cli/CLIPager.ml" 70 2418 2426 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 68 2371 2381 "src/cli/CLIPager.ml" 68 2371 2402
type(
  OASISTypes.host_filename -> out_channel
)
ident(
  int_ref Unix.open_process_out "unix.mli" 876 35791 35791 "unix.mli" 876 35791 35835
)
"src/cli/CLIPager.ml" 68 2371 2403 "src/cli/CLIPager.ml" 68 2371 2406
type(
  OASISTypes.host_filename
)
ident(
  int_ref cmd "src/cli/CLIPager.ml" 65 2322 2333 "src/cli/CLIPager.ml" 65 2322 2336
)
"src/cli/CLIPager.ml" 68 2371 2381 "src/cli/CLIPager.ml" 68 2371 2406
type(
  out_channel
)
"src/cli/CLIPager.ml" 70 2418 2430 "src/cli/CLIPager.ml" 70 2418 2432
type(
  unit
)
type(
  unit
)
"src/cli/CLIPager.ml" 71 2435 2445 "src/cli/CLIPager.ml" 71 2435 2465
type(
  out_channel -> Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.output_buffer "buffer.mli" 93 3889 3889 "buffer.mli" 93 3889 3933
)
"src/cli/CLIPager.ml" 71 2435 2466 "src/cli/CLIPager.ml" 71 2435 2470
type(
  out_channel
)
ident(
  int_ref proc "src/cli/CLIPager.ml" 67 2352 2364 "src/cli/CLIPager.ml" 67 2352 2368
)
"src/cli/CLIPager.ml" 71 2435 2471 "src/cli/CLIPager.ml" 71 2435 2474
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 60 2223 2238 "src/cli/CLIPager.ml" 60 2223 2241
)
"src/cli/CLIPager.ml" 71 2435 2445 "src/cli/CLIPager.ml" 71 2435 2474
type(
  unit
)
"src/cli/CLIPager.ml" 73 2486 2500 "src/cli/CLIPager.ml" 73 2486 2522
type(
  out_channel -> Unix.process_status
)
ident(
  int_ref Unix.close_process_out "unix.mli" 975 40019 40019 "unix.mli" 975 40019 40072
)
"src/cli/CLIPager.ml" 73 2486 2523 "src/cli/CLIPager.ml" 73 2486 2527
type(
  out_channel
)
ident(
  int_ref proc "src/cli/CLIPager.ml" 67 2352 2364 "src/cli/CLIPager.ml" 67 2352 2368
)
"src/cli/CLIPager.ml" 73 2486 2500 "src/cli/CLIPager.ml" 73 2486 2527
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 74 2533 2558 "src/cli/CLIPager.ml" 74 2533 2559
type(
  int
)
"src/cli/CLIPager.ml" 74 2533 2545 "src/cli/CLIPager.ml" 74 2533 2559
type(
  Unix.process_status
)
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 75 2563 2575 "src/cli/CLIPager.ml" 75 2563 2577
type(
  unit
)
"src/cli/CLIPager.ml" 76 2578 2603 "src/cli/CLIPager.ml" 76 2578 2604
type(
  int
)
ident(
  def n "src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 76 2578 2590 "src/cli/CLIPager.ml" 76 2578 2604
type(
  Unix.process_status
)
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 77 2605 2632 "src/cli/CLIPager.ml" 77 2605 2633
type(
  int
)
ident(
  def n "src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 77 2605 2617 "src/cli/CLIPager.ml" 77 2605 2633
type(
  Unix.process_status
)
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 76 2578 2590 "src/cli/CLIPager.ml" 77 2605 2633
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 78 2634 2660 "src/cli/CLIPager.ml" 78 2634 2661
type(
  int
)
ident(
  def n "src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
)
"src/cli/CLIPager.ml" 78 2634 2646 "src/cli/CLIPager.ml" 78 2634 2661
type(
  Unix.process_status
)
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 76 2578 2590 "src/cli/CLIPager.ml" 78 2634 2661
type(
  Unix.process_status
)
"src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 79 2665 2686
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4 ->
  OASISTypes.host_filename -> int -> unit
)
ident(
  int_ref OASISUtils.failwithf "src/oasis/OASISUtils.mli" 121 3794 3794 "src/oasis/OASISUtils.mli" 121 3794 3845
)
"src/cli/CLIPager.ml" 80 2687 2702 "src/cli/CLIPager.ml" 80 2687 2704
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4 ->
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/cli/CLIPager.ml" 80 2687 2705 "src/cli/CLIPager.ml" 80 2687 2743
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4
)
"src/cli/CLIPager.ml" 80 2687 2701 "src/cli/CLIPager.ml" 80 2687 2744
type(
  (OASISTypes.host_filename -> int -> unit, unit, string, unit) format4
)
"src/cli/CLIPager.ml" 81 2745 2759 "src/cli/CLIPager.ml" 81 2745 2762
type(
  OASISTypes.host_filename
)
ident(
  int_ref cmd "src/cli/CLIPager.ml" 65 2322 2333 "src/cli/CLIPager.ml" 65 2322 2336
)
"src/cli/CLIPager.ml" 81 2745 2763 "src/cli/CLIPager.ml" 81 2745 2764
type(
  int
)
ident(
  int_ref n "src/cli/CLIPager.ml" 76 2578 2603 "src/cli/CLIPager.ml" 76 2578 2604
)
"src/cli/CLIPager.ml" 79 2665 2677 "src/cli/CLIPager.ml" 81 2745 2764
type(
  unit
)
"src/cli/CLIPager.ml" 73 2486 2494 "src/cli/CLIPager.ml" 81 2745 2764
type(
  unit
)
"src/cli/CLIPager.ml" 70 2418 2426 "src/cli/CLIPager.ml" 81 2745 2764
type(
  unit
)
"src/cli/CLIPager.ml" 66 2340 2346 "src/cli/CLIPager.ml" 82 2765 2774
type(
  unit
)
"src/cli/CLIPager.ml" 84 2776 2782 "src/cli/CLIPager.ml" 84 2776 2786
type(
  OASISTypes.host_filename option
)
type(
  OASISTypes.host_filename option
)
"src/cli/CLIPager.ml" 86 2802 2810 "src/cli/CLIPager.ml" 86 2802 2817
type(
  (string -> unit, unit, string, unit) format4 -> string -> unit
)
ident(
  int_ref BaseMessage.warning "src/base/BaseMessage.mli" 45 2066 2066 "src/base/BaseMessage.mli" 45 2066 2117
)
"src/cli/CLIPager.ml" 86 2802 2818 "src/cli/CLIPager.ml" 86 2802 2822
type(
  (string -> unit, unit, string, unit) format4
)
"src/cli/CLIPager.ml" 86 2802 2823 "src/cli/CLIPager.ml" 86 2802 2866
type(
  string
)
"src/cli/CLIPager.ml" 86 2802 2810 "src/cli/CLIPager.ml" 86 2802 2866
type(
  unit
)
"src/cli/CLIPager.ml" 87 2868 2876 "src/cli/CLIPager.ml" 87 2868 2896
type(
  out_channel -> Buffer.t -> unit
)
ident(
  int_ref Stdlib.Buffer.output_buffer "buffer.mli" 93 3889 3889 "buffer.mli" 93 3889 3933
)
"src/cli/CLIPager.ml" 87 2868 2897 "src/cli/CLIPager.ml" 87 2868 2903
type(
  out_channel
)
ident(
  int_ref Stdlib.stdout "stdlib.mli" 844 31118 31118 "stdlib.mli" 844 31118 31142
)
"src/cli/CLIPager.ml" 87 2868 2904 "src/cli/CLIPager.ml" 87 2868 2907
type(
  Buffer.t
)
ident(
  int_ref buf "src/cli/CLIPager.ml" 60 2223 2238 "src/cli/CLIPager.ml" 60 2223 2241
)
"src/cli/CLIPager.ml" 87 2868 2876 "src/cli/CLIPager.ml" 87 2868 2907
type(
  unit
)
"src/cli/CLIPager.ml" 85 2790 2796 "src/cli/CLIPager.ml" 88 2908 2917
type(
  unit
)
"src/cli/CLIPager.ml" 64 2299 2301 "src/cli/CLIPager.ml" 88 2908 2917
type(
  unit
)
"src/cli/CLIPager.ml" 61 2250 2252 "src/cli/CLIPager.ml" 88 2908 2917
type(
  unit
)
