libtextutils-ocaml-dev 112.17.00-3 / usr / lib / ocaml / textutils / console.annot

"lib/console.ml" 1 0 0 "lib/console.ml" 1 0 0
call(
  stack
)
call(
  stack
)
type(
  unit
)
type(
  string
)
type(
  string -> unit
)
ident(
  ext_ref Pa_ounit_lib.Runtime.unset_lib
)
type(
  unit
)
type(
  unit
)
type(
  string
)
type(
  string -> unit
)
ident(
  ext_ref Pa_ounit_lib.Runtime.set_lib
)
type(
  unit
)
"lib/console.ml" 7 121 127 "lib/console.ml" 7 121 136
type(
  unit -> unit
)
ident(
  def kill_line "lib/console.ml" 9 166 168 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 7 121 137 "lib/console.ml" 7 121 139
type(
  unit
)
"lib/console.ml" 7 121 142 "lib/console.ml" 7 121 154
type(
  string -> unit
)
ident(
  ext_ref Pervasives.print_string
)
"lib/console.ml" 7 121 155 "lib/console.ml" 7 121 164
type(
  string
)
"lib/console.ml" 7 121 142 "lib/console.ml" 7 121 164
call(
  tail
)
type(
  unit
)
"lib/console.ml" 7 121 137 "lib/console.ml" 7 121 164
type(
  unit -> unit
)
"lib/console.ml" 9 166 172 "lib/console.ml" 9 166 176
type(
  unit -> unit
)
ident(
  def bell "lib/console.ml" 10 202 204 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 9 166 177 "lib/console.ml" 9 166 179
type(
  unit
)
"lib/console.ml" 9 166 182 "lib/console.ml" 9 166 194
type(
  string -> unit
)
ident(
  ext_ref Pervasives.print_string
)
"lib/console.ml" 9 166 195 "lib/console.ml" 9 166 201
type(
  string
)
"lib/console.ml" 9 166 182 "lib/console.ml" 9 166 201
call(
  tail
)
type(
  unit
)
"lib/console.ml" 9 166 177 "lib/console.ml" 9 166 201
type(
  unit -> unit
)
"lib/console.ml" 10 202 208 "lib/console.ml" 10 202 219
type(
  unit -> unit
)
ident(
  def home_cursor "lib/console.ml" 11 250 252 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 10 202 220 "lib/console.ml" 10 202 222
type(
  unit
)
"lib/console.ml" 10 202 227 "lib/console.ml" 10 202 239
type(
  string -> unit
)
ident(
  ext_ref Pervasives.print_string
)
"lib/console.ml" 10 202 240 "lib/console.ml" 10 202 249
type(
  string
)
"lib/console.ml" 10 202 227 "lib/console.ml" 10 202 249
call(
  tail
)
type(
  unit
)
"lib/console.ml" 10 202 220 "lib/console.ml" 10 202 249
type(
  unit -> unit
)
"lib/console.ml" 11 250 256 "lib/console.ml" 11 250 267
type(
  unit -> unit
)
ident(
  def save_cursor "lib/console.ml" 12 295 297 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 11 250 268 "lib/console.ml" 11 250 270
type(
  unit
)
"lib/console.ml" 11 250 273 "lib/console.ml" 11 250 285
type(
  string -> unit
)
ident(
  ext_ref Pervasives.print_string
)
"lib/console.ml" 11 250 286 "lib/console.ml" 11 250 294
type(
  string
)
"lib/console.ml" 11 250 273 "lib/console.ml" 11 250 294
call(
  tail
)
type(
  unit
)
"lib/console.ml" 11 250 268 "lib/console.ml" 11 250 294
type(
  unit -> unit
)
"lib/console.ml" 12 295 301 "lib/console.ml" 12 295 314
type(
  unit -> unit
)
ident(
  def unsave_cursor "lib/console.ml" 15 411 413 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 12 295 315 "lib/console.ml" 12 295 317
type(
  unit
)
"lib/console.ml" 12 295 320 "lib/console.ml" 12 295 332
type(
  string -> unit
)
ident(
  ext_ref Pervasives.print_string
)
"lib/console.ml" 12 295 333 "lib/console.ml" 12 295 341
type(
  string
)
"lib/console.ml" 12 295 320 "lib/console.ml" 12 295 341
call(
  tail
)
type(
  unit
)
"lib/console.ml" 12 295 315 "lib/console.ml" 12 295 341
type(
  unit -> unit
)
"lib/console.ml" 15 411 417 "lib/console.ml" 15 411 424
type(
  bool lazy_t
)
ident(
  def capable "lib/console.ml" 21 654 656 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 15 411 433 "lib/console.ml" 15 411 444
type(
  Core.Std.Unix.File_descr.t -> bool
)
ident(
  ext_ref Core.Std.Unix.isatty
)
"lib/console.ml" 15 411 445 "lib/console.ml" 15 411 456
type(
  Core.Std.Unix.File_descr.t
)
ident(
  ext_ref Core.Std.Unix.stdout
)
"lib/console.ml" 15 411 433 "lib/console.ml" 15 411 456
call(
  stack
)
type(
  bool
)
"lib/console.ml" 15 411 457 "lib/console.ml" 15 411 459
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/console.ml" 16 460 495 "lib/console.ml" 16 460 505
type(
  string -> string option
)
ident(
  ext_ref Core.Std.Sys.getenv
)
"lib/console.ml" 16 460 506 "lib/console.ml" 16 460 512
type(
  string
)
"lib/console.ml" 16 460 495 "lib/console.ml" 16 460 512
call(
  stack
)
type(
  string option
)
"lib/console.ml" 17 518 554 "lib/console.ml" 17 518 560
type(
  string
)
"lib/console.ml" 17 518 549 "lib/console.ml" 17 518 560
type(
  string option
)
"lib/console.ml" 18 561 592 "lib/console.ml" 18 561 596
type(
  string option
)
"lib/console.ml" 17 518 549 "lib/console.ml" 18 561 596
type(
  string option
)
"lib/console.ml" 18 561 600 "lib/console.ml" 18 561 605
type(
  bool
)
"lib/console.ml" 19 606 642 "lib/console.ml" 19 606 643
type(
  string
)
"lib/console.ml" 19 606 637 "lib/console.ml" 19 606 643
type(
  string option
)
"lib/console.ml" 19 606 647 "lib/console.ml" 19 606 651
type(
  bool
)
"lib/console.ml" 16 460 489 "lib/console.ml" 19 606 651
type(
  bool
)
"lib/console.ml" 15 411 433 "lib/console.ml" 19 606 651
type(
  bool
)
"lib/console.ml" 15 411 427 "lib/console.ml" 19 606 652
type(
  bool lazy_t
)
"lib/console.ml" 48 992 1000 "lib/console.ml" 48 992 1011
type(
  attr -> int
)
ident(
  def attr_to_int "lib/console.ml" 57 1213 1217 "lib/console.ml" 88 2038 2043
)
"lib/console.ml" 49 1037 1045 "lib/console.ml" 49 1037 1051
type(
  attr
)
"lib/console.ml" 49 1037 1060 "lib/console.ml" 49 1037 1061
type(
  int
)
"lib/console.ml" 50 1062 1070 "lib/console.ml" 50 1062 1077
type(
  attr
)
"lib/console.ml" 50 1062 1085 "lib/console.ml" 50 1062 1086
type(
  int
)
"lib/console.ml" 51 1087 1095 "lib/console.ml" 51 1087 1099
type(
  attr
)
"lib/console.ml" 51 1087 1110 "lib/console.ml" 51 1087 1111
type(
  int
)
"lib/console.ml" 52 1112 1120 "lib/console.ml" 52 1112 1131
type(
  attr
)
"lib/console.ml" 52 1112 1135 "lib/console.ml" 52 1112 1136
type(
  int
)
"lib/console.ml" 53 1137 1145 "lib/console.ml" 53 1137 1151
type(
  attr
)
"lib/console.ml" 53 1137 1160 "lib/console.ml" 53 1137 1161
type(
  int
)
"lib/console.ml" 54 1162 1170 "lib/console.ml" 54 1162 1178
type(
  attr
)
"lib/console.ml" 54 1162 1185 "lib/console.ml" 54 1162 1186
type(
  int
)
"lib/console.ml" 55 1187 1195 "lib/console.ml" 55 1187 1202
type(
  attr
)
"lib/console.ml" 55 1187 1210 "lib/console.ml" 55 1187 1211
type(
  int
)
"lib/console.ml" 48 992 1028 "lib/console.ml" 55 1187 1211
type(
  attr -> int
)
type(
  attr -> int
)
"lib/console.ml" 57 1213 1221 "lib/console.ml" 57 1213 1230
type(
  color -> int
)
ident(
  def fg_to_int "lib/console.ml" 67 1442 1446 "lib/console.ml" 88 2038 2043
)
"lib/console.ml" 58 1257 1265 "lib/console.ml" 58 1257 1271
type(
  color
)
"lib/console.ml" 58 1257 1277 "lib/console.ml" 58 1257 1279
type(
  int
)
"lib/console.ml" 59 1280 1288 "lib/console.ml" 59 1280 1292
type(
  color
)
"lib/console.ml" 59 1280 1300 "lib/console.ml" 59 1280 1302
type(
  int
)
"lib/console.ml" 60 1303 1311 "lib/console.ml" 60 1303 1317
type(
  color
)
"lib/console.ml" 60 1303 1323 "lib/console.ml" 60 1303 1325
type(
  int
)
"lib/console.ml" 61 1326 1334 "lib/console.ml" 61 1326 1341
type(
  color
)
"lib/console.ml" 61 1326 1346 "lib/console.ml" 61 1326 1348
type(
  int
)
"lib/console.ml" 62 1349 1357 "lib/console.ml" 62 1349 1362
type(
  color
)
"lib/console.ml" 62 1349 1369 "lib/console.ml" 62 1349 1371
type(
  int
)
"lib/console.ml" 63 1372 1380 "lib/console.ml" 63 1372 1388
type(
  color
)
"lib/console.ml" 63 1372 1392 "lib/console.ml" 63 1372 1394
type(
  int
)
"lib/console.ml" 64 1395 1403 "lib/console.ml" 64 1395 1408
type(
  color
)
"lib/console.ml" 64 1395 1415 "lib/console.ml" 64 1395 1417
type(
  int
)
"lib/console.ml" 65 1418 1426 "lib/console.ml" 65 1418 1432
type(
  color
)
"lib/console.ml" 65 1418 1438 "lib/console.ml" 65 1418 1440
type(
  int
)
"lib/console.ml" 57 1213 1248 "lib/console.ml" 65 1418 1440
type(
  color -> int
)
type(
  color -> int
)
"lib/console.ml" 67 1442 1450 "lib/console.ml" 67 1442 1459
type(
  color -> int
)
ident(
  def bg_to_int "lib/console.ml" 77 1671 1675 "lib/console.ml" 88 2038 2043
)
"lib/console.ml" 68 1486 1494 "lib/console.ml" 68 1486 1500
type(
  color
)
"lib/console.ml" 68 1486 1506 "lib/console.ml" 68 1486 1508
type(
  int
)
"lib/console.ml" 69 1509 1517 "lib/console.ml" 69 1509 1521
type(
  color
)
"lib/console.ml" 69 1509 1529 "lib/console.ml" 69 1509 1531
type(
  int
)
"lib/console.ml" 70 1532 1540 "lib/console.ml" 70 1532 1546
type(
  color
)
"lib/console.ml" 70 1532 1552 "lib/console.ml" 70 1532 1554
type(
  int
)
"lib/console.ml" 71 1555 1563 "lib/console.ml" 71 1555 1570
type(
  color
)
"lib/console.ml" 71 1555 1575 "lib/console.ml" 71 1555 1577
type(
  int
)
"lib/console.ml" 72 1578 1586 "lib/console.ml" 72 1578 1591
type(
  color
)
"lib/console.ml" 72 1578 1598 "lib/console.ml" 72 1578 1600
type(
  int
)
"lib/console.ml" 73 1601 1609 "lib/console.ml" 73 1601 1617
type(
  color
)
"lib/console.ml" 73 1601 1621 "lib/console.ml" 73 1601 1623
type(
  int
)
"lib/console.ml" 74 1624 1632 "lib/console.ml" 74 1624 1637
type(
  color
)
"lib/console.ml" 74 1624 1644 "lib/console.ml" 74 1624 1646
type(
  int
)
"lib/console.ml" 75 1647 1655 "lib/console.ml" 75 1647 1661
type(
  color
)
"lib/console.ml" 75 1647 1667 "lib/console.ml" 75 1647 1669
type(
  int
)
"lib/console.ml" 67 1442 1477 "lib/console.ml" 75 1647 1669
type(
  color -> int
)
type(
  color -> int
)
"lib/console.ml" 77 1671 1679 "lib/console.ml" 77 1671 1685
type(
  t -> int
)
ident(
  def to_int "lib/console.ml" 82 1809 1813 "lib/console.ml" 88 2038 2043
)
"lib/console.ml" 78 1708 1720 "lib/console.ml" 78 1708 1721
type(
  color
)
ident(
  def v "lib/console.ml" 78 1708 1725 "lib/console.ml" 78 1708 1736
)
"lib/console.ml" 78 1708 1716 "lib/console.ml" 78 1708 1721
type(
  t
)
"lib/console.ml" 78 1708 1725 "lib/console.ml" 78 1708 1734
type(
  color -> int
)
ident(
  int_ref bg_to_int "lib/console.ml" 67 1442 1450 "lib/console.ml" 67 1442 1459
)
"lib/console.ml" 78 1708 1735 "lib/console.ml" 78 1708 1736
type(
  color
)
ident(
  int_ref v "lib/console.ml" 78 1708 1720 "lib/console.ml" 78 1708 1721
)
"lib/console.ml" 78 1708 1725 "lib/console.ml" 78 1708 1736
call(
  tail
)
type(
  int
)
"lib/console.ml" 79 1737 1745 "lib/console.ml" 79 1737 1751
type(
  t
)
"lib/console.ml" 79 1737 1745 "lib/console.ml" 79 1737 1756
type(
  t
)
ident(
  def v "lib/console.ml" 79 1737 1760 "lib/console.ml" 79 1737 1771
)
"lib/console.ml" 79 1737 1760 "lib/console.ml" 79 1737 1769
type(
  color -> int
)
ident(
  int_ref fg_to_int "lib/console.ml" 57 1213 1221 "lib/console.ml" 57 1213 1230
)
"lib/console.ml" 79 1737 1770 "lib/console.ml" 79 1737 1771
type(
  color
)
ident(
  int_ref v "lib/console.ml" 79 1737 1745 "lib/console.ml" 79 1737 1756
)
"lib/console.ml" 79 1737 1760 "lib/console.ml" 79 1737 1771
call(
  tail
)
type(
  int
)
"lib/console.ml" 80 1772 1780 "lib/console.ml" 80 1772 1785
type(
  t
)
"lib/console.ml" 80 1772 1780 "lib/console.ml" 80 1772 1790
type(
  t
)
ident(
  def v "lib/console.ml" 80 1772 1794 "lib/console.ml" 80 1772 1807
)
"lib/console.ml" 80 1772 1794 "lib/console.ml" 80 1772 1805
type(
  attr -> int
)
ident(
  int_ref attr_to_int "lib/console.ml" 48 992 1000 "lib/console.ml" 48 992 1011
)
"lib/console.ml" 80 1772 1806 "lib/console.ml" 80 1772 1807
type(
  attr
)
ident(
  int_ref v "lib/console.ml" 80 1772 1780 "lib/console.ml" 80 1772 1790
)
"lib/console.ml" 80 1772 1794 "lib/console.ml" 80 1772 1807
call(
  tail
)
type(
  int
)
"lib/console.ml" 77 1671 1699 "lib/console.ml" 80 1772 1807
type(
  t -> int
)
type(
  t -> int
)
"lib/console.ml" 82 1809 1817 "lib/console.ml" 82 1809 1831
type(
  t list -> string
)
ident(
  def list_to_string "lib/console.ml" 87 1977 2037 "lib/console.ml" 88 2038 2043
)
"lib/console.ml" 83 1862 1870 "lib/console.ml" 83 1862 1872
type(
  t Core.Std.List.t
)
"lib/console.ml" 83 1862 1876 "lib/console.ml" 83 1862 1878
type(
  string
)
"lib/console.ml" 84 1879 1887 "lib/console.ml" 84 1879 1888
type(
  t Core.Std.List.t
)
ident(
  def l "lib/console.ml" 84 1879 1892 "lib/console.ml" 87 1977 2037
)
"lib/console.ml" 84 1879 1892 "lib/console.ml" 84 1879 1906
type(
  (Core.Std.String.t -> string, unit, string) format ->
  Core.Std.String.t -> string
)
ident(
  ext_ref Core.Std.Printf.sprintf
)
"lib/console.ml" 84 1879 1907 "lib/console.ml" 84 1879 1917
type(
  (Core.Std.String.t -> string, unit, string) format
)
"lib/console.ml" 85 1918 1929 "lib/console.ml" 85 1918 1942
type(
  ?sep:Core.Std.String.t ->
  Core.Std.String.t Core.Std.List.t -> Core.Std.String.t
)
ident(
  ext_ref Core.Std.String.concat
)
"lib/console.ml" 85 1918 1948 "lib/console.ml" 85 1918 1951
type(
  Core.Std.String.t
)
"lib/console.ml" 86 1952 1966 "lib/console.ml" 86 1952 1974
type(
  t Core.Std.List.t ->
  f:(t -> Core.Std.String.t) -> Core.Std.String.t Core.Std.List.t
)
ident(
  ext_ref Core.Std.List.map
)
"lib/console.ml" 86 1952 1975 "lib/console.ml" 86 1952 1976
type(
  t Core.Std.List.t
)
ident(
  int_ref l "lib/console.ml" 84 1879 1887 "lib/console.ml" 84 1879 1888
)
"lib/console.ml" 87 1977 2001 "lib/console.ml" 87 1977 2004
type(
  t
)
ident(
  def att "lib/console.ml" 87 1977 2008 "lib/console.ml" 87 1977 2034
)
"lib/console.ml" 87 1977 2008 "lib/console.ml" 87 1977 2021
type(
  int -> Core.Std.String.t
)
ident(
  ext_ref Pervasives.string_of_int
)
"lib/console.ml" 87 1977 2023 "lib/console.ml" 87 1977 2029
type(
  t -> int
)
ident(
  int_ref to_int "lib/console.ml" 77 1671 1679 "lib/console.ml" 77 1671 1685
)
"lib/console.ml" 87 1977 2030 "lib/console.ml" 87 1977 2033
type(
  t
)
ident(
  int_ref att "lib/console.ml" 87 1977 2001 "lib/console.ml" 87 1977 2004
)
"lib/console.ml" 87 1977 2023 "lib/console.ml" 87 1977 2033
call(
  stack
)
type(
  int
)
"lib/console.ml" 87 1977 2008 "lib/console.ml" 87 1977 2034
call(
  tail
)
type(
  Core.Std.String.t
)
"lib/console.ml" 87 1977 2001 "lib/console.ml" 87 1977 2034
type(
  t -> Core.Std.String.t
)
"lib/console.ml" 86 1952 1966 "lib/console.ml" 87 1977 2035
call(
  stack
)
type(
  Core.Std.String.t Core.Std.List.t
)
"lib/console.ml" 85 1918 1929 "lib/console.ml" 87 1977 2036
call(
  stack
)
type(
  Core.Std.String.t
)
"lib/console.ml" 84 1879 1892 "lib/console.ml" 87 1977 2037
call(
  tail
)
type(
  string
)
"lib/console.ml" 82 1809 1853 "lib/console.ml" 87 1977 2037
type(
  t list -> string
)
type(
  t Core.Std.List.t -> string
)
"lib/console.ml" 101 2170 2176 "lib/console.ml" 101 2170 2192
type(
  [< `Bg of [< Attr.color ]
   | `Black
   | `Blink
   | `Blue
   | `Bright
   | `Cyan
   | `Dim
   | `Green
   | `Hidden
   | `Magenta
   | `Red
   | `Reset
   | `Reverse
   | `Underscore
   | `White
   | `Yellow ]
  list -> Core.Std.String.t -> Core.Std.String.t
)
ident(
  def string_with_attr "lib/console.ml" 111 2388 2390 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 101 2170 2193 "lib/console.ml" 101 2170 2198
type(
  ([< `Bg of [< Attr.color ]
    | `Black
    | `Blink
    | `Blue
    | `Bright
    | `Cyan
    | `Dim
    | `Green
    | `Hidden
    | `Magenta
    | `Red
    | `Reset
    | `Reverse
    | `Underscore
    | `White
    | `Yellow ]
   as 'a)
  list
)
ident(
  def style "lib/console.ml" 101 2170 2199 "lib/console.ml" 108 2376 2385
)
"lib/console.ml" 101 2170 2199 "lib/console.ml" 101 2170 2205
type(
  Core.Std.String.t
)
ident(
  def string "lib/console.ml" 102 2208 2212 "lib/console.ml" 108 2376 2385
)
"lib/console.ml" 102 2208 2215 "lib/console.ml" 102 2208 2220
type(
  'a list
)
ident(
  int_ref style "lib/console.ml" 101 2170 2193 "lib/console.ml" 101 2170 2198
)
"lib/console.ml" 102 2208 2221 "lib/console.ml" 102 2208 2222
type(
  'a list -> 'a list -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/console.ml" 102 2208 2223 "lib/console.ml" 102 2208 2225
type(
  'a list
)
"lib/console.ml" 102 2208 2215 "lib/console.ml" 102 2208 2225
type(
  bool
)
"lib/console.ml" 102 2208 2231 "lib/console.ml" 102 2208 2237
type(
  Core.Std.String.t
)
ident(
  int_ref string "lib/console.ml" 101 2170 2199 "lib/console.ml" 101 2170 2205
)
"lib/console.ml" 104 2247 2253 "lib/console.ml" 104 2247 2266
type(
  ?sep:Core.Std.String.t -> Core.Std.String.t list -> Core.Std.String.t
)
ident(
  ext_ref Core.Std.String.concat
)
"lib/console.ml" 105 2267 2277 "lib/console.ml" 105 2267 2296
type(
  Attr.t list -> Core.Std.String.t
)
ident(
  int_ref Attr.list_to_string "lib/console.ml" 82 1809 1817 "lib/console.ml" 82 1809 1831
)
"lib/console.ml" 105 2267 2298 "lib/console.ml" 105 2267 2303
type(
  Attr.t list
)
type(
  'a list
)
ident(
  int_ref style "lib/console.ml" 101 2170 2193 "lib/console.ml" 101 2170 2198
)
"lib/console.ml" 105 2267 2277 "lib/console.ml" 105 2267 2319
call(
  stack
)
type(
  Core.Std.String.t
)
"lib/console.ml" 106 2320 2330 "lib/console.ml" 106 2320 2336
type(
  Core.Std.String.t
)
ident(
  int_ref string "lib/console.ml" 101 2170 2199 "lib/console.ml" 101 2170 2205
)
"lib/console.ml" 107 2337 2347 "lib/console.ml" 107 2337 2366
type(
  Attr.t list -> Core.Std.String.t
)
ident(
  int_ref Attr.list_to_string "lib/console.ml" 82 1809 1817 "lib/console.ml" 82 1809 1831
)
"lib/console.ml" 107 2337 2368 "lib/console.ml" 107 2337 2374
type(
  Attr.t
)
type(
  Attr.t list
)
"lib/console.ml" 107 2337 2367 "lib/console.ml" 107 2337 2375
type(
  Attr.t list
)
"lib/console.ml" 107 2337 2347 "lib/console.ml" 107 2337 2375
call(
  stack
)
type(
  Core.Std.String.t
)
type(
  Core.Std.String.t list
)
"lib/console.ml" 106 2320 2330 "lib/console.ml" 107 2337 2375
type(
  Core.Std.String.t list
)
"lib/console.ml" 105 2267 2277 "lib/console.ml" 107 2337 2375
type(
  Core.Std.String.t list
)
"lib/console.ml" 105 2267 2275 "lib/console.ml" 108 2376 2385
type(
  Core.Std.String.t list
)
"lib/console.ml" 104 2247 2253 "lib/console.ml" 108 2376 2385
call(
  tail
)
type(
  Core.Std.String.t
)
"lib/console.ml" 102 2208 2212 "lib/console.ml" 108 2376 2385
type(
  Core.Std.String.t
)
"lib/console.ml" 101 2170 2199 "lib/console.ml" 108 2376 2385
type(
  Core.Std.String.t -> Core.Std.String.t
)
"lib/console.ml" 101 2170 2193 "lib/console.ml" 108 2376 2385
type(
  'a list -> Core.Std.String.t -> Core.Std.String.t
)
"lib/console.ml" 111 2388 2394 "lib/console.ml" 111 2388 2400
type(
  attr list -> out_channel -> bytes -> int -> int -> unit
)
ident(
  def output "lib/console.ml" 120 2698 2700 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 111 2388 2402 "lib/console.ml" 111 2388 2407
type(
  attr list
)
ident(
  def style "lib/console.ml" 111 2388 2419 "lib/console.ml" 118 2669 2696
)
"lib/console.ml" 111 2388 2419 "lib/console.ml" 111 2388 2421
type(
  out_channel
)
ident(
  def oc "lib/console.ml" 111 2388 2422 "lib/console.ml" 118 2669 2696
)
"lib/console.ml" 111 2388 2422 "lib/console.ml" 111 2388 2423
type(
  bytes
)
ident(
  def s "lib/console.ml" 111 2388 2424 "lib/console.ml" 118 2669 2696
)
"lib/console.ml" 111 2388 2424 "lib/console.ml" 111 2388 2429
type(
  int
)
ident(
  def start "lib/console.ml" 111 2388 2430 "lib/console.ml" 118 2669 2696
)
"lib/console.ml" 111 2388 2430 "lib/console.ml" 111 2388 2433
type(
  int
)
ident(
  def len "lib/console.ml" 112 2436 2440 "lib/console.ml" 118 2669 2696
)
"lib/console.ml" 112 2436 2443 "lib/console.ml" 112 2436 2453
type(
  bool Core.Std.Lazy.t -> bool
)
ident(
  ext_ref Core.Std.Lazy.force
)
"lib/console.ml" 112 2436 2454 "lib/console.ml" 112 2436 2461
type(
  bool Core.Std.Lazy.t
)
ident(
  int_ref capable "lib/console.ml" 15 411 417 "lib/console.ml" 15 411 424
)
"lib/console.ml" 112 2436 2443 "lib/console.ml" 112 2436 2461
call(
  stack
)
type(
  bool
)
"lib/console.ml" 112 2436 2462 "lib/console.ml" 112 2436 2464
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/console.ml" 112 2436 2465 "lib/console.ml" 112 2436 2470
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 111 2388 2402 "lib/console.ml" 111 2388 2407
)
"lib/console.ml" 112 2436 2471 "lib/console.ml" 112 2436 2473
type(
  attr list -> attr list -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"lib/console.ml" 112 2436 2474 "lib/console.ml" 112 2436 2476
type(
  attr list
)
"lib/console.ml" 112 2436 2465 "lib/console.ml" 112 2436 2476
type(
  bool
)
"lib/console.ml" 112 2436 2443 "lib/console.ml" 112 2436 2476
type(
  bool
)
"lib/console.ml" 113 2488 2494 "lib/console.ml" 113 2488 2507
type(
  out_channel -> string -> unit
)
ident(
  ext_ref Pervasives.output_string
)
"lib/console.ml" 113 2488 2508 "lib/console.ml" 113 2488 2510
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 111 2388 2419 "lib/console.ml" 111 2388 2421
)
"lib/console.ml" 113 2488 2512 "lib/console.ml" 113 2488 2531
type(
  Attr.t list -> string
)
ident(
  int_ref Attr.list_to_string "lib/console.ml" 82 1809 1817 "lib/console.ml" 82 1809 1831
)
"lib/console.ml" 113 2488 2533 "lib/console.ml" 113 2488 2538
type(
  Attr.t list
)
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 111 2388 2402 "lib/console.ml" 111 2388 2407
)
"lib/console.ml" 113 2488 2512 "lib/console.ml" 113 2488 2554
call(
  stack
)
type(
  string
)
"lib/console.ml" 113 2488 2494 "lib/console.ml" 113 2488 2555
call(
  stack
)
type(
  unit
)
"lib/console.ml" 114 2557 2563 "lib/console.ml" 114 2557 2569
type(
  out_channel -> bytes -> int -> int -> unit
)
ident(
  ext_ref Pervasives.output
)
"lib/console.ml" 114 2557 2570 "lib/console.ml" 114 2557 2572
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 111 2388 2419 "lib/console.ml" 111 2388 2421
)
"lib/console.ml" 114 2557 2573 "lib/console.ml" 114 2557 2574
type(
  bytes
)
ident(
  int_ref s "lib/console.ml" 111 2388 2422 "lib/console.ml" 111 2388 2423
)
"lib/console.ml" 114 2557 2575 "lib/console.ml" 114 2557 2580
type(
  int
)
ident(
  int_ref start "lib/console.ml" 111 2388 2424 "lib/console.ml" 111 2388 2429
)
"lib/console.ml" 114 2557 2581 "lib/console.ml" 114 2557 2584
type(
  int
)
ident(
  int_ref len "lib/console.ml" 111 2388 2430 "lib/console.ml" 111 2388 2433
)
"lib/console.ml" 114 2557 2563 "lib/console.ml" 114 2557 2584
call(
  stack
)
type(
  unit
)
"lib/console.ml" 115 2586 2592 "lib/console.ml" 115 2586 2605
type(
  out_channel -> string -> unit
)
ident(
  ext_ref Pervasives.output_string
)
"lib/console.ml" 115 2586 2606 "lib/console.ml" 115 2586 2608
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 111 2388 2419 "lib/console.ml" 111 2388 2421
)
"lib/console.ml" 115 2586 2610 "lib/console.ml" 115 2586 2629
type(
  Attr.t list -> string
)
ident(
  int_ref Attr.list_to_string "lib/console.ml" 82 1809 1817 "lib/console.ml" 82 1809 1831
)
"lib/console.ml" 115 2586 2631 "lib/console.ml" 115 2586 2637
type(
  Attr.t
)
type(
  Attr.t list
)
"lib/console.ml" 115 2586 2630 "lib/console.ml" 115 2586 2638
type(
  Attr.t list
)
"lib/console.ml" 115 2586 2610 "lib/console.ml" 115 2586 2638
call(
  stack
)
type(
  string
)
"lib/console.ml" 115 2586 2592 "lib/console.ml" 115 2586 2639
call(
  stack
)
type(
  unit
)
"lib/console.ml" 116 2641 2647 "lib/console.ml" 116 2641 2652
type(
  out_channel -> unit
)
ident(
  ext_ref Pervasives.flush
)
"lib/console.ml" 116 2641 2653 "lib/console.ml" 116 2641 2655
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 111 2388 2419 "lib/console.ml" 111 2388 2421
)
"lib/console.ml" 116 2641 2647 "lib/console.ml" 116 2641 2655
call(
  tail
)
type(
  unit
)
"lib/console.ml" 115 2586 2592 "lib/console.ml" 117 2656 2663
type(
  unit
)
"lib/console.ml" 114 2557 2563 "lib/console.ml" 117 2656 2663
type(
  unit
)
"lib/console.ml" 113 2488 2494 "lib/console.ml" 117 2656 2663
type(
  unit
)
"lib/console.ml" 118 2669 2675 "lib/console.ml" 118 2669 2681
type(
  out_channel -> bytes -> int -> int -> unit
)
ident(
  ext_ref Pervasives.output
)
"lib/console.ml" 118 2669 2682 "lib/console.ml" 118 2669 2684
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 111 2388 2419 "lib/console.ml" 111 2388 2421
)
"lib/console.ml" 118 2669 2685 "lib/console.ml" 118 2669 2686
type(
  bytes
)
ident(
  int_ref s "lib/console.ml" 111 2388 2422 "lib/console.ml" 111 2388 2423
)
"lib/console.ml" 118 2669 2687 "lib/console.ml" 118 2669 2692
type(
  int
)
ident(
  int_ref start "lib/console.ml" 111 2388 2424 "lib/console.ml" 111 2388 2429
)
"lib/console.ml" 118 2669 2693 "lib/console.ml" 118 2669 2696
type(
  int
)
ident(
  int_ref len "lib/console.ml" 111 2388 2430 "lib/console.ml" 111 2388 2433
)
"lib/console.ml" 118 2669 2675 "lib/console.ml" 118 2669 2696
call(
  tail
)
type(
  unit
)
"lib/console.ml" 112 2436 2440 "lib/console.ml" 118 2669 2696
type(
  unit
)
"lib/console.ml" 111 2388 2430 "lib/console.ml" 118 2669 2696
type(
  int -> unit
)
"lib/console.ml" 111 2388 2424 "lib/console.ml" 118 2669 2696
type(
  int -> int -> unit
)
"lib/console.ml" 111 2388 2422 "lib/console.ml" 118 2669 2696
type(
  bytes -> int -> int -> unit
)
"lib/console.ml" 111 2388 2419 "lib/console.ml" 118 2669 2696
type(
  out_channel -> bytes -> int -> int -> unit
)
"lib/console.ml" 111 2388 2401 "lib/console.ml" 118 2669 2696
type(
  attr list -> out_channel -> bytes -> int -> int -> unit
)
"lib/console.ml" 120 2698 2704 "lib/console.ml" 120 2698 2717
type(
  attr list -> out_channel -> bytes -> unit
)
ident(
  def output_string "lib/console.ml" 123 2786 2788 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 120 2698 2719 "lib/console.ml" 120 2698 2724
type(
  attr list
)
ident(
  def style "lib/console.ml" 120 2698 2736 "lib/console.ml" 121 2743 2784
)
"lib/console.ml" 120 2698 2736 "lib/console.ml" 120 2698 2738
type(
  out_channel
)
ident(
  def oc "lib/console.ml" 120 2698 2739 "lib/console.ml" 121 2743 2784
)
"lib/console.ml" 120 2698 2739 "lib/console.ml" 120 2698 2740
type(
  bytes
)
ident(
  def s "lib/console.ml" 121 2743 2747 "lib/console.ml" 121 2743 2784
)
"lib/console.ml" 121 2743 2747 "lib/console.ml" 121 2743 2753
type(
  attr list -> out_channel -> bytes -> int -> int -> unit
)
ident(
  int_ref output "lib/console.ml" 111 2388 2394 "lib/console.ml" 111 2388 2400
)
"lib/console.ml" 121 2743 2754 "lib/console.ml" 121 2743 2759
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 120 2698 2719 "lib/console.ml" 120 2698 2724
)
"lib/console.ml" 121 2743 2760 "lib/console.ml" 121 2743 2762
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 120 2698 2736 "lib/console.ml" 120 2698 2738
)
"lib/console.ml" 121 2743 2763 "lib/console.ml" 121 2743 2764
type(
  bytes
)
ident(
  int_ref s "lib/console.ml" 120 2698 2739 "lib/console.ml" 120 2698 2740
)
"lib/console.ml" 121 2743 2765 "lib/console.ml" 121 2743 2766
type(
  int
)
"lib/console.ml" 121 2743 2768 "lib/console.ml" 121 2743 2781
type(
  Core.Std.String.t -> int
)
ident(
  ext_ref Core.Std.String.length
)
"lib/console.ml" 121 2743 2782 "lib/console.ml" 121 2743 2783
type(
  bytes
)
ident(
  int_ref s "lib/console.ml" 120 2698 2739 "lib/console.ml" 120 2698 2740
)
"lib/console.ml" 121 2743 2768 "lib/console.ml" 121 2743 2783
type(
  int
)
"lib/console.ml" 121 2743 2747 "lib/console.ml" 121 2743 2784
call(
  tail
)
type(
  unit
)
"lib/console.ml" 120 2698 2739 "lib/console.ml" 121 2743 2784
type(
  bytes -> unit
)
"lib/console.ml" 120 2698 2736 "lib/console.ml" 121 2743 2784
type(
  out_channel -> bytes -> unit
)
"lib/console.ml" 120 2698 2718 "lib/console.ml" 121 2743 2784
type(
  attr list -> out_channel -> bytes -> unit
)
"lib/console.ml" 123 2786 2792 "lib/console.ml" 123 2786 2799
type(
  attr list ->
  out_channel -> ('b, out_channel, unit, unit, unit, unit) format6 -> 'b
)
ident(
  def fprintf "lib/console.ml" 134 3075 3077 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 123 2786 2801 "lib/console.ml" 123 2786 2806
type(
  attr list
)
ident(
  def style "lib/console.ml" 123 2786 2818 "lib/console.ml" 132 3052 3073
)
"lib/console.ml" 123 2786 2818 "lib/console.ml" 123 2786 2825
type(
  out_channel
)
ident(
  def channel "lib/console.ml" 123 2786 2826 "lib/console.ml" 132 3052 3073
)
"lib/console.ml" 123 2786 2826 "lib/console.ml" 123 2786 2829
type(
  ('b, out_channel, unit, unit, unit, unit) format6
)
ident(
  def fmt "lib/console.ml" 124 2832 2836 "lib/console.ml" 132 3052 3073
)
"lib/console.ml" 124 2832 2839 "lib/console.ml" 124 2832 2849
type(
  bool Core.Std.Lazy.t -> bool
)
ident(
  ext_ref Core.Std.Lazy.force
)
"lib/console.ml" 124 2832 2850 "lib/console.ml" 124 2832 2857
type(
  bool Core.Std.Lazy.t
)
ident(
  int_ref capable "lib/console.ml" 15 411 417 "lib/console.ml" 15 411 424
)
"lib/console.ml" 124 2832 2839 "lib/console.ml" 124 2832 2857
call(
  stack
)
type(
  bool
)
"lib/console.ml" 124 2832 2858 "lib/console.ml" 124 2832 2860
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/console.ml" 124 2832 2861 "lib/console.ml" 124 2832 2866
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 123 2786 2801 "lib/console.ml" 123 2786 2806
)
"lib/console.ml" 124 2832 2867 "lib/console.ml" 124 2832 2869
type(
  attr list -> attr list -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"lib/console.ml" 124 2832 2870 "lib/console.ml" 124 2832 2872
type(
  attr list
)
"lib/console.ml" 124 2832 2861 "lib/console.ml" 124 2832 2872
type(
  bool
)
"lib/console.ml" 124 2832 2839 "lib/console.ml" 124 2832 2872
type(
  bool
)
"lib/console.ml" 125 2878 2884 "lib/console.ml" 125 2878 2898
type(
  out_channel -> (string -> 'b, out_channel, unit) format -> string -> 'b
)
ident(
  ext_ref Core.Std.Printf.fprintf
)
"lib/console.ml" 126 2899 2907 "lib/console.ml" 126 2899 2914
type(
  out_channel
)
ident(
  int_ref channel "lib/console.ml" 123 2786 2818 "lib/console.ml" 123 2786 2825
)
"lib/console.ml" 127 2915 2925 "lib/console.ml" 127 2915 2929
type(
  (string -> 'b, out_channel, unit, unit, unit, 'b) format6
)
"lib/console.ml" 127 2915 2930 "lib/console.ml" 127 2915 2932
type(
  (string -> 'b, out_channel, unit, unit, unit, 'b) format6 ->
  ('b, out_channel, unit, unit, unit, unit) format6 ->
  (string -> 'b, out_channel, unit, unit, unit, unit) format6
)
ident(
  ext_ref Pervasives.( ^^ )
)
"lib/console.ml" 127 2915 2933 "lib/console.ml" 127 2915 2936
type(
  ('b, out_channel, unit, unit, unit, unit) format6
)
ident(
  int_ref fmt "lib/console.ml" 123 2786 2826 "lib/console.ml" 123 2786 2829
)
"lib/console.ml" 127 2915 2937 "lib/console.ml" 127 2915 2939
type(
  ('b, out_channel, unit, unit, unit, unit) format6 ->
  (unit, out_channel, unit, unit, unit, unit) format6 ->
  ('b, out_channel, unit, unit, unit, unit) format6
)
ident(
  ext_ref Pervasives.( ^^ )
)
"lib/console.ml" 127 2915 2940 "lib/console.ml" 127 2915 2951
type(
  (unit, out_channel, unit, unit, unit, unit) format6
)
"lib/console.ml" 127 2915 2933 "lib/console.ml" 127 2915 2951
call(
  stack
)
type(
  ('b, out_channel, unit, unit, unit, unit) format6
)
"lib/console.ml" 127 2915 2925 "lib/console.ml" 127 2915 2951
call(
  stack
)
type(
  (string -> 'b, out_channel, unit, unit, unit, unit) format6
)
"lib/console.ml" 128 2953 2962 "lib/console.ml" 128 2953 2981
type(
  Attr.t list -> string
)
ident(
  int_ref Attr.list_to_string "lib/console.ml" 82 1809 1817 "lib/console.ml" 82 1809 1831
)
"lib/console.ml" 128 2953 2983 "lib/console.ml" 128 2953 2988
type(
  Attr.t list
)
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 123 2786 2801 "lib/console.ml" 123 2786 2806
)
"lib/console.ml" 128 2953 2962 "lib/console.ml" 128 2953 3004
call(
  stack
)
type(
  string
)
"lib/console.ml" 125 2878 2884 "lib/console.ml" 128 2953 3005
call(
  tail
)
type(
  'b
)
"lib/console.ml" 130 3015 3021 "lib/console.ml" 130 3015 3035
type(
  out_channel -> ('b, out_channel, unit) format -> 'b
)
ident(
  ext_ref Core.Std.Printf.fprintf
)
"lib/console.ml" 131 3036 3044 "lib/console.ml" 131 3036 3051
type(
  out_channel
)
ident(
  int_ref channel "lib/console.ml" 123 2786 2818 "lib/console.ml" 123 2786 2825
)
"lib/console.ml" 132 3052 3061 "lib/console.ml" 132 3052 3064
type(
  ('b, out_channel, unit, unit, unit, unit) format6
)
ident(
  int_ref fmt "lib/console.ml" 123 2786 2826 "lib/console.ml" 123 2786 2829
)
"lib/console.ml" 132 3052 3065 "lib/console.ml" 132 3052 3067
type(
  ('b, out_channel, unit, unit, unit, unit) format6 ->
  (unit, out_channel, unit, unit, unit, unit) format6 ->
  ('b, out_channel, unit, unit, unit, unit) format6
)
ident(
  ext_ref Pervasives.( ^^ )
)
"lib/console.ml" 132 3052 3068 "lib/console.ml" 132 3052 3072
type(
  (unit, out_channel, unit, unit, unit, unit) format6
)
"lib/console.ml" 132 3052 3061 "lib/console.ml" 132 3052 3072
call(
  stack
)
type(
  ('b, out_channel, unit, unit, unit, unit) format6
)
"lib/console.ml" 130 3015 3021 "lib/console.ml" 132 3052 3073
call(
  tail
)
type(
  'b
)
"lib/console.ml" 124 2832 2836 "lib/console.ml" 132 3052 3073
type(
  'b
)
"lib/console.ml" 123 2786 2826 "lib/console.ml" 132 3052 3073
type(
  ('b, out_channel, unit, unit, unit, unit) format6 -> 'b
)
"lib/console.ml" 123 2786 2818 "lib/console.ml" 132 3052 3073
type(
  out_channel -> ('b, out_channel, unit, unit, unit, unit) format6 -> 'b
)
"lib/console.ml" 123 2786 2800 "lib/console.ml" 132 3052 3073
type(
  attr list ->
  out_channel -> ('b, out_channel, unit, unit, unit, unit) format6 -> 'b
)
"lib/console.ml" 134 3075 3081 "lib/console.ml" 134 3075 3088
type(
  attr list -> ('c, out_channel, unit, unit, unit, unit) format6 -> 'c
)
ident(
  def eprintf "lib/console.ml" 135 3126 3128 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 134 3075 3089 "lib/console.ml" 134 3075 3094
type(
  attr list
)
ident(
  def style "lib/console.ml" 134 3075 3095 "lib/console.ml" 134 3075 3125
)
"lib/console.ml" 134 3075 3095 "lib/console.ml" 134 3075 3098
type(
  ('c, out_channel, unit, unit, unit, unit) format6
)
ident(
  def fmt "lib/console.ml" 134 3075 3101 "lib/console.ml" 134 3075 3125
)
"lib/console.ml" 134 3075 3101 "lib/console.ml" 134 3075 3108
type(
  attr list ->
  out_channel -> ('c, out_channel, unit, unit, unit, unit) format6 -> 'c
)
ident(
  int_ref fprintf "lib/console.ml" 123 2786 2792 "lib/console.ml" 123 2786 2799
)
"lib/console.ml" 134 3075 3109 "lib/console.ml" 134 3075 3114
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 134 3075 3089 "lib/console.ml" 134 3075 3094
)
"lib/console.ml" 134 3075 3115 "lib/console.ml" 134 3075 3121
type(
  out_channel
)
ident(
  ext_ref Pervasives.stderr
)
"lib/console.ml" 134 3075 3122 "lib/console.ml" 134 3075 3125
type(
  ('c, out_channel, unit, unit, unit, unit) format6
)
ident(
  int_ref fmt "lib/console.ml" 134 3075 3095 "lib/console.ml" 134 3075 3098
)
"lib/console.ml" 134 3075 3101 "lib/console.ml" 134 3075 3125
call(
  tail
)
type(
  'c
)
"lib/console.ml" 134 3075 3095 "lib/console.ml" 134 3075 3125
type(
  ('c, out_channel, unit, unit, unit, unit) format6 -> 'c
)
"lib/console.ml" 134 3075 3089 "lib/console.ml" 134 3075 3125
type(
  attr list -> ('c, out_channel, unit, unit, unit, unit) format6 -> 'c
)
"lib/console.ml" 135 3126 3132 "lib/console.ml" 135 3126 3138
type(
  attr list -> ('d, out_channel, unit, unit, unit, unit) format6 -> 'd
)
ident(
  def printf "lib/console.ml" 135 3126 3176 "lib/console.ml" 137 3178 3181
)
"lib/console.ml" 135 3126 3140 "lib/console.ml" 135 3126 3145
type(
  attr list
)
ident(
  def style "lib/console.ml" 135 3126 3146 "lib/console.ml" 135 3126 3176
)
"lib/console.ml" 135 3126 3146 "lib/console.ml" 135 3126 3149
type(
  ('d, out_channel, unit, unit, unit, unit) format6
)
ident(
  def fmt "lib/console.ml" 135 3126 3152 "lib/console.ml" 135 3126 3176
)
"lib/console.ml" 135 3126 3152 "lib/console.ml" 135 3126 3159
type(
  attr list ->
  out_channel -> ('d, out_channel, unit, unit, unit, unit) format6 -> 'd
)
ident(
  int_ref fprintf "lib/console.ml" 123 2786 2792 "lib/console.ml" 123 2786 2799
)
"lib/console.ml" 135 3126 3160 "lib/console.ml" 135 3126 3165
type(
  attr list
)
ident(
  int_ref style "lib/console.ml" 135 3126 3140 "lib/console.ml" 135 3126 3145
)
"lib/console.ml" 135 3126 3166 "lib/console.ml" 135 3126 3172
type(
  out_channel
)
ident(
  ext_ref Pervasives.stdout
)
"lib/console.ml" 135 3126 3173 "lib/console.ml" 135 3126 3176
type(
  ('d, out_channel, unit, unit, unit, unit) format6
)
ident(
  int_ref fmt "lib/console.ml" 135 3126 3146 "lib/console.ml" 135 3126 3149
)
"lib/console.ml" 135 3126 3152 "lib/console.ml" 135 3126 3176
call(
  tail
)
type(
  'd
)
"lib/console.ml" 135 3126 3146 "lib/console.ml" 135 3126 3176
type(
  ('d, out_channel, unit, unit, unit, unit) format6 -> 'd
)
"lib/console.ml" 135 3126 3140 "lib/console.ml" 135 3126 3176
type(
  attr list -> ('d, out_channel, unit, unit, unit, unit) format6 -> 'd
)
"lib/console.ml" 139 3183 3187 "lib/console.ml" 139 3183 3199
type(
  unit -> bool
)
ident(
  def is_color_tty "lib/console.ml" 141 3230 3230 "lib/console.ml" 1 0 -1
)
"lib/console.ml" 139 3183 3200 "lib/console.ml" 139 3183 3202
type(
  unit
)
"lib/console.ml" 139 3183 3205 "lib/console.ml" 139 3183 3215
type(
  bool Core.Std.Lazy.t -> bool
)
ident(
  ext_ref Core.Std.Lazy.force
)
"lib/console.ml" 139 3183 3216 "lib/console.ml" 139 3183 3228
type(
  bool Core.Std.Lazy.t
)
ident(
  int_ref Ansi.capable "lib/console.ml" 15 411 417 "lib/console.ml" 15 411 424
)
"lib/console.ml" 139 3183 3205 "lib/console.ml" 139 3183 3228
call(
  tail
)
type(
  bool
)
"lib/console.ml" 139 3183 3200 "lib/console.ml" 139 3183 3228
type(
  unit -> bool
)
"lib/console.ml" 156 3469 3475 "lib/console.ml" 156 3469 3480
type(
  int -> 'a Core.Std.Array.t -> int
)
ident(
  def lines "lib/console.ml" 161 3631 3633 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 156 3469 3481 "lib/console.ml" 156 3469 3488
type(
  int
)
ident(
  def columns "lib/console.ml" 156 3469 3489 "lib/console.ml" 156 3469 3527
)
"lib/console.ml" 156 3469 3489 "lib/console.ml" 156 3469 3490
type(
  'a Core.Std.Array.t
)
ident(
  def a "lib/console.ml" 156 3469 3493 "lib/console.ml" 156 3469 3527
)
"lib/console.ml" 156 3469 3494 "lib/console.ml" 156 3469 3506
type(
  'a Core.Std.Array.t -> int
)
ident(
  ext_ref Core.Std.Array.length
)
"lib/console.ml" 156 3469 3507 "lib/console.ml" 156 3469 3508
type(
  'a Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 156 3469 3489 "lib/console.ml" 156 3469 3490
)
"lib/console.ml" 156 3469 3494 "lib/console.ml" 156 3469 3508
call(
  stack
)
type(
  int
)
"lib/console.ml" 156 3469 3509 "lib/console.ml" 156 3469 3510
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/console.ml" 156 3469 3511 "lib/console.ml" 156 3469 3512
type(
  int
)
"lib/console.ml" 156 3469 3494 "lib/console.ml" 156 3469 3512
type(
  int
)
"lib/console.ml" 156 3469 3514 "lib/console.ml" 156 3469 3515
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( / )
)
"lib/console.ml" 156 3469 3516 "lib/console.ml" 156 3469 3523
type(
  int
)
ident(
  int_ref columns "lib/console.ml" 156 3469 3481 "lib/console.ml" 156 3469 3488
)
"lib/console.ml" 156 3469 3493 "lib/console.ml" 156 3469 3523
type(
  int
)
"lib/console.ml" 156 3469 3524 "lib/console.ml" 156 3469 3525
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 156 3469 3526 "lib/console.ml" 156 3469 3527
type(
  int
)
"lib/console.ml" 156 3469 3493 "lib/console.ml" 156 3469 3527
type(
  int
)
"lib/console.ml" 156 3469 3489 "lib/console.ml" 156 3469 3527
type(
  'a Core.Std.Array.t -> int
)
"lib/console.ml" 156 3469 3481 "lib/console.ml" 156 3469 3527
type(
  int -> 'a Core.Std.Array.t -> int
)
"lib/console.ml" 161 3631 3637 "lib/console.ml" 161 3631 3640
type(
  int -> In.t Core.Std.Array.t -> int * int Core.Std.List.t
)
ident(
  def dim "lib/console.ml" 173 3999 4001 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 161 3631 3641 "lib/console.ml" 161 3631 3648
type(
  int
)
ident(
  def columns "lib/console.ml" 161 3631 3649 "lib/console.ml" 171 3960 3997
)
"lib/console.ml" 161 3631 3649 "lib/console.ml" 161 3631 3650
type(
  In.t Core.Std.Array.t
)
ident(
  def a "lib/console.ml" 162 3653 3657 "lib/console.ml" 171 3960 3997
)
"lib/console.ml" 162 3653 3661 "lib/console.ml" 162 3653 3666
type(
  int
)
ident(
  def lines "lib/console.ml" 163 3688 3692 "lib/console.ml" 171 3960 3997
)
"lib/console.ml" 162 3653 3669 "lib/console.ml" 162 3653 3674
type(
  int -> In.t Core.Std.Array.t -> int
)
ident(
  int_ref lines "lib/console.ml" 156 3469 3475 "lib/console.ml" 156 3469 3480
)
"lib/console.ml" 162 3653 3675 "lib/console.ml" 162 3653 3682
type(
  int
)
ident(
  int_ref columns "lib/console.ml" 161 3631 3641 "lib/console.ml" 161 3631 3648
)
"lib/console.ml" 162 3653 3683 "lib/console.ml" 162 3653 3684
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 161 3631 3649 "lib/console.ml" 161 3631 3650
)
"lib/console.ml" 162 3653 3669 "lib/console.ml" 162 3653 3684
call(
  stack
)
type(
  int
)
"lib/console.ml" 163 3688 3700 "lib/console.ml" 163 3688 3704
type(
  int -> int -> int list -> int Core.Std.List.t
)
ident(
  def loop "lib/console.ml" 163 3688 3692 "lib/console.ml" 171 3960 3997
)
"lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
type(
  int
)
ident(
  def cnt "lib/console.ml" 163 3688 3709 "lib/console.ml" 169 3894 3952
)
"lib/console.ml" 163 3688 3709 "lib/console.ml" 163 3688 3716
type(
  int
)
ident(
  def current "lib/console.ml" 163 3688 3717 "lib/console.ml" 169 3894 3952
)
"lib/console.ml" 163 3688 3717 "lib/console.ml" 163 3688 3720
type(
  int list
)
ident(
  def acc "lib/console.ml" 164 3723 3729 "lib/console.ml" 169 3894 3952
)
"lib/console.ml" 164 3723 3732 "lib/console.ml" 164 3723 3735
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
)
"lib/console.ml" 164 3723 3736 "lib/console.ml" 164 3723 3737
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/console.ml" 164 3723 3738 "lib/console.ml" 164 3723 3750
type(
  In.t Core.Std.Array.t -> int
)
ident(
  ext_ref Core.Std.Array.length
)
"lib/console.ml" 164 3723 3751 "lib/console.ml" 164 3723 3752
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 161 3631 3649 "lib/console.ml" 161 3631 3650
)
"lib/console.ml" 164 3723 3738 "lib/console.ml" 164 3723 3752
call(
  stack
)
type(
  int
)
"lib/console.ml" 164 3723 3732 "lib/console.ml" 164 3723 3752
type(
  bool
)
"lib/console.ml" 165 3758 3766 "lib/console.ml" 165 3758 3774
type(
  int Core.Std.List.t -> int Core.Std.List.t
)
ident(
  ext_ref Core.Std.List.rev
)
"lib/console.ml" 165 3758 3776 "lib/console.ml" 165 3758 3783
type(
  int
)
ident(
  int_ref current "lib/console.ml" 163 3688 3709 "lib/console.ml" 163 3688 3716
)
"lib/console.ml" 165 3758 3785 "lib/console.ml" 165 3758 3788
type(
  int list
)
ident(
  int_ref acc "lib/console.ml" 163 3688 3717 "lib/console.ml" 163 3688 3720
)
"lib/console.ml" 165 3758 3776 "lib/console.ml" 165 3758 3788
type(
  int Core.Std.List.t
)
"lib/console.ml" 165 3758 3766 "lib/console.ml" 165 3758 3789
call(
  tail
)
type(
  int Core.Std.List.t
)
"lib/console.ml" 166 3790 3804 "lib/console.ml" 166 3790 3807
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
)
"lib/console.ml" 166 3790 3812 "lib/console.ml" 166 3790 3817
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 162 3653 3661 "lib/console.ml" 162 3653 3666
)
"lib/console.ml" 166 3790 3804 "lib/console.ml" 166 3790 3817
type(
  int
)
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( mod )
)
"lib/console.ml" 166 3790 3818 "lib/console.ml" 166 3790 3819
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/console.ml" 166 3790 3820 "lib/console.ml" 166 3790 3821
type(
  int
)
"lib/console.ml" 166 3790 3804 "lib/console.ml" 166 3790 3821
type(
  bool
)
"lib/console.ml" 167 3827 3835 "lib/console.ml" 167 3827 3839
type(
  int -> int -> int list -> int Core.Std.List.t
)
ident(
  int_ref loop "lib/console.ml" 163 3688 3700 "lib/console.ml" 163 3688 3704
)
"lib/console.ml" 167 3827 3841 "lib/console.ml" 167 3827 3844
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
)
"lib/console.ml" 167 3827 3844 "lib/console.ml" 167 3827 3845
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 167 3827 3845 "lib/console.ml" 167 3827 3846
type(
  int
)
"lib/console.ml" 167 3827 3841 "lib/console.ml" 167 3827 3846
type(
  int
)
"lib/console.ml" 167 3827 3849 "lib/console.ml" 167 3827 3858
type(
  In.t -> int
)
ident(
  int_ref In.length "lib/console.ml" 144 3269 3274 "lib/console.ml" 144 3269 3295
)
"lib/console.ml" 167 3827 3859 "lib/console.ml" 167 3827 3860
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 161 3631 3649 "lib/console.ml" 161 3631 3650
)
"lib/console.ml" 167 3827 3862 "lib/console.ml" 167 3827 3865
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
)
"lib/console.ml" 167 3827 3859 "lib/console.ml" 167 3827 3866
type(
  In.t
)
type(
  In.t Core.Std.Array.t -> int -> In.t
)
ident(
  ext_ref Core.Std.Array.get
)
"lib/console.ml" 167 3827 3849 "lib/console.ml" 167 3827 3866
call(
  stack
)
type(
  int
)
"lib/console.ml" 167 3827 3869 "lib/console.ml" 167 3827 3876
type(
  int
)
ident(
  int_ref current "lib/console.ml" 163 3688 3709 "lib/console.ml" 163 3688 3716
)
"lib/console.ml" 167 3827 3878 "lib/console.ml" 167 3827 3881
type(
  int list
)
ident(
  int_ref acc "lib/console.ml" 163 3688 3717 "lib/console.ml" 163 3688 3720
)
"lib/console.ml" 167 3827 3869 "lib/console.ml" 167 3827 3881
type(
  int list
)
"lib/console.ml" 167 3827 3835 "lib/console.ml" 167 3827 3882
call(
  tail
)
type(
  int Core.Std.List.t
)
"lib/console.ml" 169 3894 3902 "lib/console.ml" 169 3894 3906
type(
  int -> int -> int list -> int Core.Std.List.t
)
ident(
  int_ref loop "lib/console.ml" 163 3688 3700 "lib/console.ml" 163 3688 3704
)
"lib/console.ml" 169 3894 3908 "lib/console.ml" 169 3894 3911
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
)
"lib/console.ml" 169 3894 3911 "lib/console.ml" 169 3894 3912
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 169 3894 3912 "lib/console.ml" 169 3894 3913
type(
  int
)
"lib/console.ml" 169 3894 3908 "lib/console.ml" 169 3894 3913
type(
  int
)
"lib/console.ml" 169 3894 3916 "lib/console.ml" 169 3894 3919
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.max
)
"lib/console.ml" 169 3894 3921 "lib/console.ml" 169 3894 3930
type(
  In.t -> int
)
ident(
  int_ref In.length "lib/console.ml" 144 3269 3274 "lib/console.ml" 144 3269 3295
)
"lib/console.ml" 169 3894 3931 "lib/console.ml" 169 3894 3932
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 161 3631 3649 "lib/console.ml" 161 3631 3650
)
"lib/console.ml" 169 3894 3934 "lib/console.ml" 169 3894 3937
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 163 3688 3705 "lib/console.ml" 163 3688 3708
)
"lib/console.ml" 169 3894 3931 "lib/console.ml" 169 3894 3938
type(
  In.t
)
type(
  In.t Core.Std.Array.t -> int -> In.t
)
ident(
  ext_ref Core.Std.Array.get
)
"lib/console.ml" 169 3894 3921 "lib/console.ml" 169 3894 3938
call(
  stack
)
type(
  int
)
"lib/console.ml" 169 3894 3940 "lib/console.ml" 169 3894 3947
type(
  int
)
ident(
  int_ref current "lib/console.ml" 163 3688 3709 "lib/console.ml" 163 3688 3716
)
"lib/console.ml" 169 3894 3916 "lib/console.ml" 169 3894 3947
call(
  stack
)
type(
  int
)
"lib/console.ml" 169 3894 3949 "lib/console.ml" 169 3894 3952
type(
  int list
)
ident(
  int_ref acc "lib/console.ml" 163 3688 3717 "lib/console.ml" 163 3688 3720
)
"lib/console.ml" 169 3894 3902 "lib/console.ml" 169 3894 3952
call(
  tail
)
type(
  int Core.Std.List.t
)
"lib/console.ml" 166 3790 3801 "lib/console.ml" 169 3894 3952
type(
  int Core.Std.List.t
)
"lib/console.ml" 164 3723 3729 "lib/console.ml" 169 3894 3952
type(
  int Core.Std.List.t
)
"lib/console.ml" 163 3688 3717 "lib/console.ml" 169 3894 3952
type(
  int list -> int Core.Std.List.t
)
"lib/console.ml" 163 3688 3709 "lib/console.ml" 169 3894 3952
type(
  int -> int list -> int Core.Std.List.t
)
"lib/console.ml" 163 3688 3705 "lib/console.ml" 169 3894 3952
type(
  int -> int -> int list -> int Core.Std.List.t
)
"lib/console.ml" 171 3960 3964 "lib/console.ml" 171 3960 3969
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 162 3653 3661 "lib/console.ml" 162 3653 3666
)
"lib/console.ml" 171 3960 3970 "lib/console.ml" 171 3960 3974
type(
  int -> int -> int list -> int Core.Std.List.t
)
ident(
  int_ref loop "lib/console.ml" 163 3688 3700 "lib/console.ml" 163 3688 3704
)
"lib/console.ml" 171 3960 3975 "lib/console.ml" 171 3960 3976
type(
  int
)
"lib/console.ml" 171 3960 3978 "lib/console.ml" 171 3960 3987
type(
  In.t -> int
)
ident(
  int_ref In.length "lib/console.ml" 144 3269 3274 "lib/console.ml" 144 3269 3295
)
"lib/console.ml" 171 3960 3988 "lib/console.ml" 171 3960 3989
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 161 3631 3649 "lib/console.ml" 161 3631 3650
)
"lib/console.ml" 171 3960 3991 "lib/console.ml" 171 3960 3992
type(
  int
)
"lib/console.ml" 171 3960 3988 "lib/console.ml" 171 3960 3993
type(
  In.t
)
type(
  In.t Core.Std.Array.t -> int -> In.t
)
ident(
  ext_ref Core.Std.Array.get
)
"lib/console.ml" 171 3960 3978 "lib/console.ml" 171 3960 3993
call(
  stack
)
type(
  int
)
"lib/console.ml" 171 3960 3995 "lib/console.ml" 171 3960 3997
type(
  int list
)
"lib/console.ml" 171 3960 3970 "lib/console.ml" 171 3960 3997
call(
  stack
)
type(
  int Core.Std.List.t
)
"lib/console.ml" 171 3960 3964 "lib/console.ml" 171 3960 3997
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 163 3688 3692 "lib/console.ml" 171 3960 3997
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 162 3653 3657 "lib/console.ml" 171 3960 3997
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 161 3631 3649 "lib/console.ml" 171 3960 3997
type(
  In.t Core.Std.Array.t -> int * int Core.Std.List.t
)
"lib/console.ml" 161 3631 3641 "lib/console.ml" 171 3960 3997
type(
  int -> In.t Core.Std.Array.t -> int * int Core.Std.List.t
)
"lib/console.ml" 173 3999 4009 "lib/console.ml" 173 3999 4017
type(
  sep_len:int -> int -> int list -> int
)
ident(
  def line_len "lib/console.ml" 173 3999 4001 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 173 3999 4027 "lib/console.ml" 173 3999 4030
type(
  int
)
ident(
  def acc "lib/console.ml" 173 3999 4033 "lib/console.ml" 176 4082 4135
)
"lib/console.ml" 174 4042 4048 "lib/console.ml" 174 4042 4050
type(
  int list
)
"lib/console.ml" 174 4042 4056 "lib/console.ml" 174 4042 4059
type(
  int
)
ident(
  int_ref acc "lib/console.ml" 173 3999 4027 "lib/console.ml" 173 3999 4030
)
"lib/console.ml" 175 4060 4067 "lib/console.ml" 175 4060 4068
type(
  int list
)
type(
  int
)
ident(
  def v "lib/console.ml" 175 4060 4074 "lib/console.ml" 175 4060 4081
)
"lib/console.ml" 175 4060 4066 "lib/console.ml" 175 4060 4069
type(
  int list
)
"lib/console.ml" 175 4060 4074 "lib/console.ml" 175 4060 4077
type(
  int
)
ident(
  int_ref acc "lib/console.ml" 173 3999 4027 "lib/console.ml" 173 3999 4030
)
"lib/console.ml" 175 4060 4078 "lib/console.ml" 175 4060 4079
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 175 4060 4080 "lib/console.ml" 175 4060 4081
type(
  int
)
ident(
  int_ref v "lib/console.ml" 175 4060 4067 "lib/console.ml" 175 4060 4068
)
"lib/console.ml" 175 4060 4074 "lib/console.ml" 175 4060 4081
type(
  int
)
"lib/console.ml" 176 4082 4088 "lib/console.ml" 176 4082 4089
type(
  int
)
ident(
  def h "lib/console.ml" 176 4082 4096 "lib/console.ml" 176 4082 4135
)
"lib/console.ml" 176 4082 4091 "lib/console.ml" 176 4082 4092
type(
  int list
)
ident(
  def t "lib/console.ml" 176 4082 4096 "lib/console.ml" 176 4082 4135
)
"lib/console.ml" 176 4082 4088 "lib/console.ml" 176 4082 4092
type(
  int list
)
"lib/console.ml" 176 4082 4096 "lib/console.ml" 176 4082 4104
type(
  sep_len:int -> int -> int list -> int
)
ident(
  int_ref line_len "lib/console.ml" 173 3999 4009 "lib/console.ml" 173 3999 4017
)
"lib/console.ml" 176 4082 4105 "lib/console.ml" 176 4082 4113
type(
  int
)
ident(
  int_ref sep_len "lib/console.ml" 173 3999 4018 "lib/console.ml" 176 4082 4135
)
"lib/console.ml" 176 4082 4115 "lib/console.ml" 176 4082 4118
type(
  int
)
ident(
  int_ref acc "lib/console.ml" 173 3999 4027 "lib/console.ml" 173 3999 4030
)
"lib/console.ml" 176 4082 4119 "lib/console.ml" 176 4082 4120
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 176 4082 4121 "lib/console.ml" 176 4082 4128
type(
  int
)
ident(
  int_ref sep_len "lib/console.ml" 173 3999 4018 "lib/console.ml" 176 4082 4135
)
"lib/console.ml" 176 4082 4115 "lib/console.ml" 176 4082 4128
type(
  int
)
"lib/console.ml" 176 4082 4129 "lib/console.ml" 176 4082 4130
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 176 4082 4131 "lib/console.ml" 176 4082 4132
type(
  int
)
ident(
  int_ref h "lib/console.ml" 176 4082 4088 "lib/console.ml" 176 4082 4089
)
"lib/console.ml" 176 4082 4115 "lib/console.ml" 176 4082 4132
type(
  int
)
"lib/console.ml" 176 4082 4134 "lib/console.ml" 176 4082 4135
type(
  int list
)
ident(
  int_ref t "lib/console.ml" 176 4082 4091 "lib/console.ml" 176 4082 4092
)
"lib/console.ml" 176 4082 4096 "lib/console.ml" 176 4082 4135
call(
  tail
)
type(
  int
)
"lib/console.ml" 173 3999 4033 "lib/console.ml" 176 4082 4135
type(
  int list -> int
)
"lib/console.ml" 173 3999 4027 "lib/console.ml" 176 4082 4135
type(
  int -> int list -> int
)
"lib/console.ml" 173 3999 4018 "lib/console.ml" 176 4082 4135
type(
  sep_len:int -> int -> int list -> int
)
type(
  int
)
ident(
  def sep_len "lib/console.ml" 173 3999 4027 "lib/console.ml" 176 4082 4135
)
"lib/console.ml" 178 4137 4143 "lib/console.ml" 178 4137 4151
type(
  sep_len:int -> In.t Core.Std.Array.t -> int -> int Core.Std.Array.t
)
ident(
  def find_dim "lib/console.ml" 192 4600 4602 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 178 4137 4161 "lib/console.ml" 178 4137 4162
type(
  In.t Core.Std.Array.t
)
ident(
  def a "lib/console.ml" 178 4137 4163 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 178 4137 4163 "lib/console.ml" 178 4137 4170
type(
  int
)
ident(
  def max_len "lib/console.ml" 179 4173 4177 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 179 4173 4185 "lib/console.ml" 179 4173 4189
type(
  int -> int Core.Std.List.t -> int -> int Core.Std.Array.t
)
ident(
  def loop "lib/console.ml" 179 4173 4177 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 179 4173 4190 "lib/console.ml" 179 4173 4195
type(
  int
)
ident(
  def lines "lib/console.ml" 179 4173 4196 "lib/console.ml" 187 4502 4537
)
"lib/console.ml" 179 4173 4196 "lib/console.ml" 179 4173 4200
type(
  int Core.Std.List.t
)
ident(
  def cols "lib/console.ml" 179 4173 4201 "lib/console.ml" 187 4502 4537
)
"lib/console.ml" 179 4173 4201 "lib/console.ml" 179 4173 4204
type(
  int
)
ident(
  def cnt "lib/console.ml" 180 4207 4213 "lib/console.ml" 187 4502 4537
)
"lib/console.ml" 180 4207 4218 "lib/console.ml" 180 4207 4224
type(
  int
)
ident(
  def nlines "lib/console.ml" 181 4251 4257 "lib/console.ml" 187 4502 4537
)
"lib/console.ml" 180 4207 4225 "lib/console.ml" 180 4207 4230
type(
  int Core.Std.List.t
)
ident(
  def ncols "lib/console.ml" 181 4251 4257 "lib/console.ml" 187 4502 4537
)
"lib/console.ml" 180 4207 4218 "lib/console.ml" 180 4207 4230
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 180 4207 4234 "lib/console.ml" 180 4207 4237
type(
  int -> In.t Core.Std.Array.t -> int * int Core.Std.List.t
)
ident(
  int_ref dim "lib/console.ml" 161 3631 3637 "lib/console.ml" 161 3631 3640
)
"lib/console.ml" 180 4207 4239 "lib/console.ml" 180 4207 4242
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 179 4173 4201 "lib/console.ml" 179 4173 4204
)
"lib/console.ml" 180 4207 4242 "lib/console.ml" 180 4207 4243
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 180 4207 4243 "lib/console.ml" 180 4207 4244
type(
  int
)
"lib/console.ml" 180 4207 4239 "lib/console.ml" 180 4207 4244
type(
  int
)
"lib/console.ml" 180 4207 4246 "lib/console.ml" 180 4207 4247
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 178 4137 4161 "lib/console.ml" 178 4137 4162
)
"lib/console.ml" 180 4207 4234 "lib/console.ml" 180 4207 4247
call(
  stack
)
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 181 4251 4260 "lib/console.ml" 181 4251 4266
type(
  int
)
ident(
  int_ref nlines "lib/console.ml" 180 4207 4218 "lib/console.ml" 180 4207 4224
)
"lib/console.ml" 181 4251 4267 "lib/console.ml" 181 4251 4268
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"lib/console.ml" 181 4251 4269 "lib/console.ml" 181 4251 4274
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 179 4173 4190 "lib/console.ml" 179 4173 4195
)
"lib/console.ml" 181 4251 4260 "lib/console.ml" 181 4251 4274
type(
  bool
)
"lib/console.ml" 181 4251 4275 "lib/console.ml" 181 4251 4277
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"lib/console.ml" 181 4251 4278 "lib/console.ml" 181 4251 4283
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 179 4173 4190 "lib/console.ml" 179 4173 4195
)
"lib/console.ml" 181 4251 4284 "lib/console.ml" 181 4251 4285
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/console.ml" 181 4251 4286 "lib/console.ml" 181 4251 4287
type(
  int
)
"lib/console.ml" 181 4251 4278 "lib/console.ml" 181 4251 4287
type(
  bool
)
"lib/console.ml" 183 4380 4388 "lib/console.ml" 183 4380 4390
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"lib/console.ml" 183 4380 4391 "lib/console.ml" 183 4380 4399
type(
  sep_len:int -> int -> int Core.Std.List.t -> int
)
ident(
  int_ref line_len "lib/console.ml" 173 3999 4009 "lib/console.ml" 173 3999 4017
)
"lib/console.ml" 183 4380 4400 "lib/console.ml" 183 4380 4408
type(
  int
)
ident(
  int_ref sep_len "lib/console.ml" 178 4137 4152 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 183 4380 4409 "lib/console.ml" 183 4380 4410
type(
  int
)
"lib/console.ml" 183 4380 4411 "lib/console.ml" 183 4380 4416
type(
  int Core.Std.List.t
)
ident(
  int_ref ncols "lib/console.ml" 180 4207 4225 "lib/console.ml" 180 4207 4230
)
"lib/console.ml" 183 4380 4391 "lib/console.ml" 183 4380 4416
call(
  stack
)
type(
  int
)
"lib/console.ml" 183 4380 4417 "lib/console.ml" 183 4380 4418
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( > )
)
"lib/console.ml" 183 4380 4419 "lib/console.ml" 183 4380 4426
type(
  int
)
ident(
  int_ref max_len "lib/console.ml" 178 4137 4163 "lib/console.ml" 178 4137 4170
)
"lib/console.ml" 183 4380 4391 "lib/console.ml" 183 4380 4426
type(
  bool
)
"lib/console.ml" 181 4251 4278 "lib/console.ml" 183 4380 4426
type(
  bool
)
"lib/console.ml" 181 4251 4260 "lib/console.ml" 183 4380 4426
type(
  bool
)
"lib/console.ml" 185 4464 4472 "lib/console.ml" 185 4464 4485
type(
  int Core.Std.List.t -> int Core.Std.Array.t
)
ident(
  ext_ref Core.Std.Array.of_list
)
"lib/console.ml" 185 4464 4486 "lib/console.ml" 185 4464 4490
type(
  int Core.Std.List.t
)
ident(
  int_ref cols "lib/console.ml" 179 4173 4196 "lib/console.ml" 179 4173 4200
)
"lib/console.ml" 185 4464 4472 "lib/console.ml" 185 4464 4490
call(
  tail
)
type(
  int Core.Std.Array.t
)
"lib/console.ml" 187 4502 4510 "lib/console.ml" 187 4502 4514
type(
  int -> int Core.Std.List.t -> int -> int Core.Std.Array.t
)
ident(
  int_ref loop "lib/console.ml" 179 4173 4185 "lib/console.ml" 179 4173 4189
)
"lib/console.ml" 187 4502 4515 "lib/console.ml" 187 4502 4521
type(
  int
)
ident(
  int_ref nlines "lib/console.ml" 180 4207 4218 "lib/console.ml" 180 4207 4224
)
"lib/console.ml" 187 4502 4522 "lib/console.ml" 187 4502 4527
type(
  int Core.Std.List.t
)
ident(
  int_ref ncols "lib/console.ml" 180 4207 4225 "lib/console.ml" 180 4207 4230
)
"lib/console.ml" 187 4502 4529 "lib/console.ml" 187 4502 4532
type(
  int
)
ident(
  int_ref cnt "lib/console.ml" 179 4173 4201 "lib/console.ml" 179 4173 4204
)
"lib/console.ml" 187 4502 4533 "lib/console.ml" 187 4502 4534
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 187 4502 4535 "lib/console.ml" 187 4502 4536
type(
  int
)
"lib/console.ml" 187 4502 4529 "lib/console.ml" 187 4502 4536
type(
  int
)
"lib/console.ml" 187 4502 4510 "lib/console.ml" 187 4502 4537
call(
  tail
)
type(
  int Core.Std.Array.t
)
"lib/console.ml" 181 4251 4257 "lib/console.ml" 187 4502 4537
type(
  int Core.Std.Array.t
)
"lib/console.ml" 180 4207 4213 "lib/console.ml" 187 4502 4537
type(
  int Core.Std.Array.t
)
"lib/console.ml" 179 4173 4201 "lib/console.ml" 187 4502 4537
type(
  int -> int Core.Std.Array.t
)
"lib/console.ml" 179 4173 4196 "lib/console.ml" 187 4502 4537
type(
  int Core.Std.List.t -> int -> int Core.Std.Array.t
)
"lib/console.ml" 179 4173 4190 "lib/console.ml" 187 4502 4537
type(
  int -> int Core.Std.List.t -> int -> int Core.Std.Array.t
)
"lib/console.ml" 189 4545 4553 "lib/console.ml" 189 4545 4558
type(
  int
)
ident(
  def lines "lib/console.ml" 190 4577 4581 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 189 4545 4559 "lib/console.ml" 189 4545 4563
type(
  int Core.Std.List.t
)
ident(
  def cols "lib/console.ml" 190 4577 4581 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 189 4545 4553 "lib/console.ml" 189 4545 4563
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 189 4545 4566 "lib/console.ml" 189 4545 4569
type(
  int -> In.t Core.Std.Array.t -> int * int Core.Std.List.t
)
ident(
  int_ref dim "lib/console.ml" 161 3631 3637 "lib/console.ml" 161 3631 3640
)
"lib/console.ml" 189 4545 4570 "lib/console.ml" 189 4545 4571
type(
  int
)
"lib/console.ml" 189 4545 4572 "lib/console.ml" 189 4545 4573
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 178 4137 4161 "lib/console.ml" 178 4137 4162
)
"lib/console.ml" 189 4545 4566 "lib/console.ml" 189 4545 4573
call(
  stack
)
type(
  int * int Core.Std.List.t
)
"lib/console.ml" 190 4577 4581 "lib/console.ml" 190 4577 4585
type(
  int -> int Core.Std.List.t -> int -> int Core.Std.Array.t
)
ident(
  int_ref loop "lib/console.ml" 179 4173 4185 "lib/console.ml" 179 4173 4189
)
"lib/console.ml" 190 4577 4586 "lib/console.ml" 190 4577 4591
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 189 4545 4553 "lib/console.ml" 189 4545 4558
)
"lib/console.ml" 190 4577 4592 "lib/console.ml" 190 4577 4596
type(
  int Core.Std.List.t
)
ident(
  int_ref cols "lib/console.ml" 189 4545 4559 "lib/console.ml" 189 4545 4563
)
"lib/console.ml" 190 4577 4597 "lib/console.ml" 190 4577 4598
type(
  int
)
"lib/console.ml" 190 4577 4581 "lib/console.ml" 190 4577 4598
call(
  tail
)
type(
  int Core.Std.Array.t
)
"lib/console.ml" 189 4545 4549 "lib/console.ml" 190 4577 4598
type(
  int Core.Std.Array.t
)
"lib/console.ml" 179 4173 4177 "lib/console.ml" 190 4577 4598
type(
  int Core.Std.Array.t
)
"lib/console.ml" 178 4137 4163 "lib/console.ml" 190 4577 4598
type(
  int -> int Core.Std.Array.t
)
"lib/console.ml" 178 4137 4161 "lib/console.ml" 190 4577 4598
type(
  In.t Core.Std.Array.t -> int -> int Core.Std.Array.t
)
"lib/console.ml" 178 4137 4152 "lib/console.ml" 190 4577 4598
type(
  sep_len:int -> In.t Core.Std.Array.t -> int -> int Core.Std.Array.t
)
type(
  int
)
ident(
  def sep_len "lib/console.ml" 178 4137 4161 "lib/console.ml" 190 4577 4598
)
"lib/console.ml" 192 4600 4606 "lib/console.ml" 192 4600 4615
type(
  'b Core.Std.Array.t -> int -> 'b list list
)
ident(
  def columnize "lib/console.ml" 206 4970 4972 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 192 4600 4616 "lib/console.ml" 192 4600 4617
type(
  'b Core.Std.Array.t
)
ident(
  def a "lib/console.ml" 192 4600 4618 "lib/console.ml" 204 4960 4968
)
"lib/console.ml" 192 4600 4618 "lib/console.ml" 192 4600 4625
type(
  int
)
ident(
  def columns "lib/console.ml" 193 4628 4632 "lib/console.ml" 204 4960 4968
)
"lib/console.ml" 193 4628 4636 "lib/console.ml" 193 4628 4641
type(
  int
)
ident(
  def lines "lib/console.ml" 194 4663 4667 "lib/console.ml" 204 4960 4968
)
"lib/console.ml" 193 4628 4644 "lib/console.ml" 193 4628 4649
type(
  int -> 'b Core.Std.Array.t -> int
)
ident(
  int_ref lines "lib/console.ml" 156 3469 3475 "lib/console.ml" 156 3469 3480
)
"lib/console.ml" 193 4628 4650 "lib/console.ml" 193 4628 4657
type(
  int
)
ident(
  int_ref columns "lib/console.ml" 192 4600 4618 "lib/console.ml" 192 4600 4625
)
"lib/console.ml" 193 4628 4658 "lib/console.ml" 193 4628 4659
type(
  'b Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 192 4600 4616 "lib/console.ml" 192 4600 4617
)
"lib/console.ml" 193 4628 4644 "lib/console.ml" 193 4628 4659
call(
  stack
)
type(
  int
)
"lib/console.ml" 194 4663 4671 "lib/console.ml" 194 4663 4674
type(
  'b list list ref
)
ident(
  def res "lib/console.ml" 195 4687 4691 "lib/console.ml" 204 4960 4968
)
"lib/console.ml" 194 4663 4677 "lib/console.ml" 194 4663 4680
type(
  'b list list -> 'b list list ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/console.ml" 194 4663 4681 "lib/console.ml" 194 4663 4683
type(
  'b list list
)
"lib/console.ml" 194 4663 4677 "lib/console.ml" 194 4663 4683
type(
  'b list list ref
)
"lib/console.ml" 195 4687 4699 "lib/console.ml" 195 4687 4704
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 193 4628 4636 "lib/console.ml" 193 4628 4641
)
"lib/console.ml" 195 4687 4705 "lib/console.ml" 195 4687 4706
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/console.ml" 195 4687 4707 "lib/console.ml" 195 4687 4708
type(
  int
)
"lib/console.ml" 195 4687 4699 "lib/console.ml" 195 4687 4708
type(
  int
)
"lib/console.ml" 195 4687 4716 "lib/console.ml" 195 4687 4717
type(
  int
)
"lib/console.ml" 196 4721 4731 "lib/console.ml" 196 4721 4739
type(
  'b list ref
)
ident(
  def line_acc "lib/console.ml" 197 4752 4758 "lib/console.ml" 202 4919 4949
)
"lib/console.ml" 196 4721 4742 "lib/console.ml" 196 4721 4745
type(
  'b list -> 'b list ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/console.ml" 196 4721 4746 "lib/console.ml" 196 4721 4748
type(
  'b list
)
"lib/console.ml" 196 4721 4742 "lib/console.ml" 196 4721 4748
type(
  'b list ref
)
"lib/console.ml" 197 4752 4766 "lib/console.ml" 197 4752 4773
type(
  int
)
ident(
  int_ref columns "lib/console.ml" 192 4600 4618 "lib/console.ml" 192 4600 4625
)
"lib/console.ml" 197 4752 4774 "lib/console.ml" 197 4752 4775
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/console.ml" 197 4752 4776 "lib/console.ml" 197 4752 4777
type(
  int
)
"lib/console.ml" 197 4752 4766 "lib/console.ml" 197 4752 4777
type(
  int
)
"lib/console.ml" 197 4752 4785 "lib/console.ml" 197 4752 4786
type(
  int
)
"lib/console.ml" 198 4791 4803 "lib/console.ml" 198 4791 4806
type(
  int
)
ident(
  def pos "lib/console.ml" 199 4827 4835 "lib/console.ml" 200 4864 4906
)
"lib/console.ml" 198 4791 4810 "lib/console.ml" 198 4791 4811
type(
  int
)
ident(
  int_ref i "lib/console.ml" 195 4687 4691 "lib/console.ml" 203 4950 4958
)
"lib/console.ml" 198 4791 4812 "lib/console.ml" 198 4791 4813
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/console.ml" 198 4791 4814 "lib/console.ml" 198 4791 4815
type(
  int
)
ident(
  int_ref j "lib/console.ml" 197 4752 4758 "lib/console.ml" 201 4907 4917
)
"lib/console.ml" 198 4791 4816 "lib/console.ml" 198 4791 4817
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( * )
)
"lib/console.ml" 198 4791 4818 "lib/console.ml" 198 4791 4823
type(
  int
)
ident(
  int_ref lines "lib/console.ml" 193 4628 4636 "lib/console.ml" 193 4628 4641
)
"lib/console.ml" 198 4791 4814 "lib/console.ml" 198 4791 4823
type(
  int
)
"lib/console.ml" 198 4791 4810 "lib/console.ml" 198 4791 4823
type(
  int
)
"lib/console.ml" 199 4827 4838 "lib/console.ml" 199 4827 4841
type(
  int
)
ident(
  int_ref pos "lib/console.ml" 198 4791 4803 "lib/console.ml" 198 4791 4806
)
"lib/console.ml" 199 4827 4842 "lib/console.ml" 199 4827 4843
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( < )
)
"lib/console.ml" 199 4827 4844 "lib/console.ml" 199 4827 4856
type(
  'b Core.Std.Array.t -> int
)
ident(
  ext_ref Core.Std.Array.length
)
"lib/console.ml" 199 4827 4857 "lib/console.ml" 199 4827 4858
type(
  'b Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 192 4600 4616 "lib/console.ml" 192 4600 4617
)
"lib/console.ml" 199 4827 4844 "lib/console.ml" 199 4827 4858
call(
  stack
)
type(
  int
)
"lib/console.ml" 199 4827 4838 "lib/console.ml" 199 4827 4858
type(
  bool
)
"lib/console.ml" 200 4864 4874 "lib/console.ml" 200 4864 4882
type(
  'b list ref
)
ident(
  int_ref line_acc "lib/console.ml" 196 4721 4731 "lib/console.ml" 196 4721 4739
)
"lib/console.ml" 200 4864 4886 "lib/console.ml" 200 4864 4887
type(
  'b Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 192 4600 4616 "lib/console.ml" 192 4600 4617
)
"lib/console.ml" 200 4864 4889 "lib/console.ml" 200 4864 4892
type(
  int
)
ident(
  int_ref pos "lib/console.ml" 198 4791 4803 "lib/console.ml" 198 4791 4806
)
"lib/console.ml" 200 4864 4886 "lib/console.ml" 200 4864 4893
type(
  'b
)
type(
  'b Core.Std.Array.t -> int -> 'b
)
ident(
  ext_ref Core.Std.Array.get
)
"lib/console.ml" 200 4864 4898 "lib/console.ml" 200 4864 4906
type(
  'b list ref
)
ident(
  int_ref line_acc "lib/console.ml" 196 4721 4731 "lib/console.ml" 196 4721 4739
)
"lib/console.ml" 200 4864 4897 "lib/console.ml" 200 4864 4906
type(
  'b list
)
type(
  'b list ref -> 'b list
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/console.ml" 200 4864 4886 "lib/console.ml" 200 4864 4906
type(
  'b list
)
"lib/console.ml" 200 4864 4874 "lib/console.ml" 200 4864 4906
type(
  unit
)
type(
  'b list ref -> 'b list -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/console.ml" 199 4827 4835 "lib/console.ml" 200 4864 4906
type(
  unit
)
type(
  unit
)
"lib/console.ml" 198 4791 4799 "lib/console.ml" 200 4864 4906
type(
  unit
)
"lib/console.ml" 197 4752 4758 "lib/console.ml" 201 4907 4917
type(
  unit
)
"lib/console.ml" 202 4919 4925 "lib/console.ml" 202 4919 4928
type(
  'b list list ref
)
ident(
  int_ref res "lib/console.ml" 194 4663 4671 "lib/console.ml" 194 4663 4674
)
"lib/console.ml" 202 4919 4933 "lib/console.ml" 202 4919 4941
type(
  'b list ref
)
ident(
  int_ref line_acc "lib/console.ml" 196 4721 4731 "lib/console.ml" 196 4721 4739
)
"lib/console.ml" 202 4919 4932 "lib/console.ml" 202 4919 4941
type(
  'b list
)
type(
  'b list ref -> 'b list
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/console.ml" 202 4919 4946 "lib/console.ml" 202 4919 4949
type(
  'b list list ref
)
ident(
  int_ref res "lib/console.ml" 194 4663 4671 "lib/console.ml" 194 4663 4674
)
"lib/console.ml" 202 4919 4945 "lib/console.ml" 202 4919 4949
type(
  'b list list
)
type(
  'b list list ref -> 'b list list
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/console.ml" 202 4919 4932 "lib/console.ml" 202 4919 4949
type(
  'b list list
)
"lib/console.ml" 202 4919 4925 "lib/console.ml" 202 4919 4949
type(
  unit
)
type(
  'b list list ref -> 'b list list -> unit
)
ident(
  ext_ref Pervasives.( := )
)
"lib/console.ml" 197 4752 4758 "lib/console.ml" 202 4919 4949
type(
  unit
)
"lib/console.ml" 196 4721 4727 "lib/console.ml" 202 4919 4949
type(
  unit
)
"lib/console.ml" 195 4687 4691 "lib/console.ml" 203 4950 4958
type(
  unit
)
"lib/console.ml" 204 4960 4965 "lib/console.ml" 204 4960 4968
type(
  'b list list ref
)
ident(
  int_ref res "lib/console.ml" 194 4663 4671 "lib/console.ml" 194 4663 4674
)
"lib/console.ml" 204 4960 4964 "lib/console.ml" 204 4960 4968
type(
  'b list list
)
type(
  'b list list ref -> 'b list list
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/console.ml" 195 4687 4691 "lib/console.ml" 204 4960 4968
type(
  'b list list
)
"lib/console.ml" 194 4663 4667 "lib/console.ml" 204 4960 4968
type(
  'b list list
)
"lib/console.ml" 193 4628 4632 "lib/console.ml" 204 4960 4968
type(
  'b list list
)
"lib/console.ml" 192 4600 4618 "lib/console.ml" 204 4960 4968
type(
  int -> 'b list list
)
"lib/console.ml" 192 4600 4616 "lib/console.ml" 204 4960 4968
type(
  'b Core.Std.Array.t -> int -> 'b list list
)
"lib/console.ml" 206 4970 4980 "lib/console.ml" 206 4970 4989
type(
  middle:(acc:'c -> sep:'d -> In.t -> int -> 'c) ->
  last:(acc:'c -> In.t -> int -> 'e) ->
  'd -> 'c -> int list -> In.t list -> 'e
)
ident(
  def fold_line "lib/console.ml" 206 4970 4972 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 206 4970 5004 "lib/console.ml" 206 4970 5007
type(
  'd
)
ident(
  def sep "lib/console.ml" 206 4970 5008 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 206 4970 5008 "lib/console.ml" 206 4970 5011
type(
  'c
)
ident(
  def acc "lib/console.ml" 206 4970 5012 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 206 4970 5012 "lib/console.ml" 206 4970 5019
type(
  int list
)
ident(
  def padding "lib/console.ml" 206 4970 5020 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 206 4970 5020 "lib/console.ml" 206 4970 5024
type(
  In.t list
)
ident(
  def line "lib/console.ml" 207 5027 5031 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 207 5027 5037 "lib/console.ml" 207 5027 5041
type(
  In.t list
)
ident(
  int_ref line "lib/console.ml" 206 4970 5020 "lib/console.ml" 206 4970 5024
)
"lib/console.ml" 207 5027 5042 "lib/console.ml" 207 5027 5049
type(
  int list
)
ident(
  int_ref padding "lib/console.ml" 206 4970 5012 "lib/console.ml" 206 4970 5019
)
"lib/console.ml" 207 5027 5037 "lib/console.ml" 207 5027 5049
type(
  In.t list * int list
)
"lib/console.ml" 208 5055 5062 "lib/console.ml" 208 5055 5063
type(
  In.t list
)
type(
  In.t
)
ident(
  def v "lib/console.ml" 209 5079 5087 "lib/console.ml" 209 5079 5118
)
"lib/console.ml" 208 5055 5061 "lib/console.ml" 208 5055 5064
type(
  In.t list
)
"lib/console.ml" 208 5055 5065 "lib/console.ml" 208 5055 5068
type(
  int
)
ident(
  def len "lib/console.ml" 209 5079 5087 "lib/console.ml" 209 5079 5118
)
"lib/console.ml" 208 5055 5070 "lib/console.ml" 208 5055 5071
type(
  int list
)
"lib/console.ml" 208 5055 5065 "lib/console.ml" 208 5055 5071
type(
  int list
)
"lib/console.ml" 208 5055 5061 "lib/console.ml" 208 5055 5071
type(
  In.t list * int list
)
"lib/console.ml" 209 5079 5087 "lib/console.ml" 209 5079 5091
type(
  acc:'c -> In.t -> int -> 'e
)
ident(
  int_ref last "lib/console.ml" 206 4970 4998 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 209 5079 5092 "lib/console.ml" 209 5079 5096
type(
  'c
)
ident(
  int_ref acc "lib/console.ml" 206 4970 5008 "lib/console.ml" 206 4970 5011
)
"lib/console.ml" 209 5079 5097 "lib/console.ml" 209 5079 5098
type(
  In.t
)
ident(
  int_ref v "lib/console.ml" 208 5055 5062 "lib/console.ml" 208 5055 5063
)
"lib/console.ml" 209 5079 5100 "lib/console.ml" 209 5079 5103
type(
  int
)
ident(
  int_ref len "lib/console.ml" 208 5055 5065 "lib/console.ml" 208 5055 5068
)
"lib/console.ml" 209 5079 5104 "lib/console.ml" 209 5079 5105
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/console.ml" 209 5079 5106 "lib/console.ml" 209 5079 5115
type(
  In.t -> int
)
ident(
  int_ref In.length "lib/console.ml" 144 3269 3274 "lib/console.ml" 144 3269 3295
)
"lib/console.ml" 209 5079 5116 "lib/console.ml" 209 5079 5117
type(
  In.t
)
ident(
  int_ref v "lib/console.ml" 208 5055 5062 "lib/console.ml" 208 5055 5063
)
"lib/console.ml" 209 5079 5106 "lib/console.ml" 209 5079 5117
call(
  stack
)
type(
  int
)
"lib/console.ml" 209 5079 5100 "lib/console.ml" 209 5079 5117
type(
  int
)
"lib/console.ml" 209 5079 5087 "lib/console.ml" 209 5079 5118
call(
  tail
)
type(
  'e
)
"lib/console.ml" 210 5119 5125 "lib/console.ml" 210 5119 5126
type(
  In.t
)
ident(
  def h "lib/console.ml" 211 5143 5151 "lib/console.ml" 212 5179 5236
)
"lib/console.ml" 210 5119 5128 "lib/console.ml" 210 5119 5129
type(
  In.t list
)
ident(
  def t "lib/console.ml" 211 5143 5151 "lib/console.ml" 212 5179 5236
)
"lib/console.ml" 210 5119 5125 "lib/console.ml" 210 5119 5129
type(
  In.t list
)
"lib/console.ml" 210 5119 5130 "lib/console.ml" 210 5119 5133
type(
  int
)
ident(
  def len "lib/console.ml" 211 5143 5151 "lib/console.ml" 212 5179 5236
)
"lib/console.ml" 210 5119 5135 "lib/console.ml" 210 5119 5139
type(
  int list
)
ident(
  def tlen "lib/console.ml" 211 5143 5151 "lib/console.ml" 212 5179 5236
)
"lib/console.ml" 210 5119 5130 "lib/console.ml" 210 5119 5139
type(
  int list
)
"lib/console.ml" 210 5119 5125 "lib/console.ml" 210 5119 5139
type(
  In.t list * int list
)
"lib/console.ml" 211 5143 5151 "lib/console.ml" 211 5143 5160
type(
  middle:(acc:'c -> sep:'d -> In.t -> int -> 'c) ->
  last:(acc:'c -> In.t -> int -> 'e) ->
  'd -> 'c -> int list -> In.t list -> 'e
)
ident(
  int_ref fold_line "lib/console.ml" 206 4970 4980 "lib/console.ml" 206 4970 4989
)
"lib/console.ml" 211 5143 5161 "lib/console.ml" 211 5143 5168
type(
  acc:'c -> sep:'d -> In.t -> int -> 'c
)
ident(
  int_ref middle "lib/console.ml" 206 4970 4990 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 211 5143 5169 "lib/console.ml" 211 5143 5174
type(
  acc:'c -> In.t -> int -> 'e
)
ident(
  int_ref last "lib/console.ml" 206 4970 4998 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 211 5143 5175 "lib/console.ml" 211 5143 5178
type(
  'd
)
ident(
  int_ref sep "lib/console.ml" 206 4970 5004 "lib/console.ml" 206 4970 5007
)
"lib/console.ml" 212 5179 5190 "lib/console.ml" 212 5179 5196
type(
  acc:'c -> sep:'d -> In.t -> int -> 'c
)
ident(
  int_ref middle "lib/console.ml" 206 4970 4990 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 212 5179 5197 "lib/console.ml" 212 5179 5201
type(
  'c
)
ident(
  int_ref acc "lib/console.ml" 206 4970 5008 "lib/console.ml" 206 4970 5011
)
"lib/console.ml" 212 5179 5202 "lib/console.ml" 212 5179 5206
type(
  'd
)
ident(
  int_ref sep "lib/console.ml" 206 4970 5004 "lib/console.ml" 206 4970 5007
)
"lib/console.ml" 212 5179 5207 "lib/console.ml" 212 5179 5208
type(
  In.t
)
ident(
  int_ref h "lib/console.ml" 210 5119 5125 "lib/console.ml" 210 5119 5126
)
"lib/console.ml" 212 5179 5210 "lib/console.ml" 212 5179 5213
type(
  int
)
ident(
  int_ref len "lib/console.ml" 210 5119 5130 "lib/console.ml" 210 5119 5133
)
"lib/console.ml" 212 5179 5214 "lib/console.ml" 212 5179 5215
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/console.ml" 212 5179 5216 "lib/console.ml" 212 5179 5225
type(
  In.t -> int
)
ident(
  int_ref In.length "lib/console.ml" 144 3269 3274 "lib/console.ml" 144 3269 3295
)
"lib/console.ml" 212 5179 5226 "lib/console.ml" 212 5179 5227
type(
  In.t
)
ident(
  int_ref h "lib/console.ml" 210 5119 5125 "lib/console.ml" 210 5119 5126
)
"lib/console.ml" 212 5179 5216 "lib/console.ml" 212 5179 5227
call(
  stack
)
type(
  int
)
"lib/console.ml" 212 5179 5210 "lib/console.ml" 212 5179 5227
type(
  int
)
"lib/console.ml" 212 5179 5190 "lib/console.ml" 212 5179 5228
call(
  stack
)
type(
  'c
)
"lib/console.ml" 212 5179 5230 "lib/console.ml" 212 5179 5234
type(
  int list
)
ident(
  int_ref tlen "lib/console.ml" 210 5119 5135 "lib/console.ml" 210 5119 5139
)
"lib/console.ml" 212 5179 5235 "lib/console.ml" 212 5179 5236
type(
  In.t list
)
ident(
  int_ref t "lib/console.ml" 210 5119 5128 "lib/console.ml" 210 5119 5129
)
"lib/console.ml" 211 5143 5151 "lib/console.ml" 212 5179 5236
call(
  tail
)
type(
  'e
)
"lib/console.ml" 213 5237 5243 "lib/console.ml" 213 5237 5244
type(
  In.t list * int list
)
"lib/console.ml" 213 5237 5261 "lib/console.ml" 213 5237 5273
type(
  'e
)
type(
  bool
)
"lib/console.ml" 207 5027 5031 "lib/console.ml" 213 5237 5273
type(
  'e
)
"lib/console.ml" 206 4970 5020 "lib/console.ml" 213 5237 5273
type(
  In.t list -> 'e
)
"lib/console.ml" 206 4970 5012 "lib/console.ml" 213 5237 5273
type(
  int list -> In.t list -> 'e
)
"lib/console.ml" 206 4970 5008 "lib/console.ml" 213 5237 5273
type(
  'c -> int list -> In.t list -> 'e
)
"lib/console.ml" 206 4970 5004 "lib/console.ml" 213 5237 5273
type(
  'd -> 'c -> int list -> In.t list -> 'e
)
"lib/console.ml" 206 4970 4998 "lib/console.ml" 213 5237 5273
type(
  last:(acc:'c -> In.t -> int -> 'e) ->
  'd -> 'c -> int list -> In.t list -> 'e
)
type(
  acc:'c -> In.t -> int -> 'e
)
ident(
  def last "lib/console.ml" 206 4970 5004 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 206 4970 4990 "lib/console.ml" 213 5237 5273
type(
  middle:(acc:'c -> sep:'d -> In.t -> int -> 'c) ->
  last:(acc:'c -> In.t -> int -> 'e) ->
  'd -> 'c -> int list -> In.t list -> 'e
)
type(
  acc:'c -> sep:'d -> In.t -> int -> 'c
)
ident(
  def middle "lib/console.ml" 206 4970 4998 "lib/console.ml" 213 5237 5273
)
"lib/console.ml" 215 5275 5281 "lib/console.ml" 215 5275 5285
type(
  init:'f ->
  middle:(acc:'f -> sep:In.t -> In.t -> int -> 'f) ->
  last:(acc:'f -> In.t -> int -> 'f) -> sep:In.t -> In.t list -> int -> 'f
)
ident(
  def fold "lib/console.ml" 227 5660 5662 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 215 5275 5311 "lib/console.ml" 215 5275 5312
type(
  In.t list
)
ident(
  def l "lib/console.ml" 215 5275 5313 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 215 5275 5313 "lib/console.ml" 215 5275 5320
type(
  int
)
ident(
  def max_len "lib/console.ml" 216 5323 5327 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 216 5323 5330 "lib/console.ml" 216 5323 5331
type(
  In.t list
)
ident(
  int_ref l "lib/console.ml" 215 5275 5311 "lib/console.ml" 215 5275 5312
)
"lib/console.ml" 216 5323 5332 "lib/console.ml" 216 5323 5333
type(
  In.t list -> In.t list -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/console.ml" 216 5323 5334 "lib/console.ml" 216 5323 5336
type(
  In.t list
)
"lib/console.ml" 216 5323 5330 "lib/console.ml" 216 5323 5336
type(
  bool
)
"lib/console.ml" 217 5342 5348 "lib/console.ml" 217 5342 5352
type(
  'f
)
ident(
  int_ref init "lib/console.ml" 215 5275 5286 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 219 5362 5372 "lib/console.ml" 219 5362 5373
type(
  In.t Core.Std.Array.t
)
ident(
  def a "lib/console.ml" 220 5395 5401 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 219 5362 5376 "lib/console.ml" 219 5362 5389
type(
  In.t list -> In.t Core.Std.Array.t
)
ident(
  ext_ref Core.Std.Array.of_list
)
"lib/console.ml" 219 5362 5390 "lib/console.ml" 219 5362 5391
type(
  In.t list
)
ident(
  int_ref l "lib/console.ml" 215 5275 5311 "lib/console.ml" 215 5275 5312
)
"lib/console.ml" 219 5362 5376 "lib/console.ml" 219 5362 5391
call(
  stack
)
type(
  In.t Core.Std.Array.t
)
"lib/console.ml" 220 5395 5405 "lib/console.ml" 220 5395 5412
type(
  int Core.Std.Array.t
)
ident(
  def columns "lib/console.ml" 221 5462 5468 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 220 5395 5415 "lib/console.ml" 220 5395 5423
type(
  sep_len:int -> In.t Core.Std.Array.t -> int -> int Core.Std.Array.t
)
ident(
  int_ref find_dim "lib/console.ml" 178 4137 4143 "lib/console.ml" 178 4137 4151
)
"lib/console.ml" 220 5395 5424 "lib/console.ml" 220 5395 5425
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 219 5362 5372 "lib/console.ml" 219 5362 5373
)
"lib/console.ml" 220 5395 5436 "lib/console.ml" 220 5395 5445
type(
  In.t -> int
)
ident(
  int_ref In.length "lib/console.ml" 144 3269 3274 "lib/console.ml" 144 3269 3295
)
"lib/console.ml" 220 5395 5446 "lib/console.ml" 220 5395 5449
type(
  In.t
)
ident(
  int_ref sep "lib/console.ml" 215 5275 5306 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 220 5395 5436 "lib/console.ml" 220 5395 5449
call(
  stack
)
type(
  int
)
"lib/console.ml" 220 5395 5451 "lib/console.ml" 220 5395 5458
type(
  int
)
ident(
  int_ref max_len "lib/console.ml" 215 5275 5313 "lib/console.ml" 215 5275 5320
)
"lib/console.ml" 220 5395 5415 "lib/console.ml" 220 5395 5458
call(
  stack
)
type(
  int Core.Std.Array.t
)
"lib/console.ml" 221 5462 5472 "lib/console.ml" 221 5462 5475
type(
  In.t list list
)
ident(
  def res "lib/console.ml" 222 5516 5522 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 221 5462 5478 "lib/console.ml" 221 5462 5487
type(
  In.t Core.Std.Array.t -> int -> In.t list list
)
ident(
  int_ref columnize "lib/console.ml" 192 4600 4606 "lib/console.ml" 192 4600 4615
)
"lib/console.ml" 221 5462 5488 "lib/console.ml" 221 5462 5489
type(
  In.t Core.Std.Array.t
)
ident(
  int_ref a "lib/console.ml" 219 5362 5372 "lib/console.ml" 219 5362 5373
)
"lib/console.ml" 221 5462 5491 "lib/console.ml" 221 5462 5503
type(
  int Core.Std.Array.t -> int
)
ident(
  ext_ref Core.Std.Array.length
)
"lib/console.ml" 221 5462 5504 "lib/console.ml" 221 5462 5511
type(
  int Core.Std.Array.t
)
ident(
  int_ref columns "lib/console.ml" 220 5395 5405 "lib/console.ml" 220 5395 5412
)
"lib/console.ml" 221 5462 5491 "lib/console.ml" 221 5462 5511
call(
  stack
)
type(
  int
)
"lib/console.ml" 221 5462 5478 "lib/console.ml" 221 5462 5512
call(
  stack
)
type(
  In.t list list
)
"lib/console.ml" 222 5516 5522 "lib/console.ml" 222 5516 5536
type(
  In.t list Core.Std.List.t -> init:'f -> f:('f -> In.t list -> 'f) -> 'f
)
ident(
  ext_ref Core.Std.List.fold_left
)
"lib/console.ml" 222 5516 5537 "lib/console.ml" 222 5516 5540
type(
  In.t list Core.Std.List.t
)
ident(
  int_ref res "lib/console.ml" 221 5462 5472 "lib/console.ml" 221 5462 5475
)
"lib/console.ml" 223 5541 5557 "lib/console.ml" 223 5541 5560
type(
  'f
)
ident(
  def acc "lib/console.ml" 223 5541 5561 "lib/console.ml" 224 5569 5643
)
"lib/console.ml" 223 5541 5561 "lib/console.ml" 223 5541 5565
type(
  In.t list
)
ident(
  def line "lib/console.ml" 224 5569 5583 "lib/console.ml" 224 5569 5643
)
"lib/console.ml" 224 5569 5583 "lib/console.ml" 224 5569 5592
type(
  middle:(acc:'f -> sep:In.t -> In.t -> int -> 'f) ->
  last:(acc:'f -> In.t -> int -> 'f) ->
  In.t -> 'f -> int list -> In.t list -> 'f
)
ident(
  int_ref fold_line "lib/console.ml" 206 4970 4980 "lib/console.ml" 206 4970 4989
)
"lib/console.ml" 224 5569 5593 "lib/console.ml" 224 5569 5600
type(
  acc:'f -> sep:In.t -> In.t -> int -> 'f
)
ident(
  int_ref middle "lib/console.ml" 215 5275 5292 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 224 5569 5601 "lib/console.ml" 224 5569 5606
type(
  acc:'f -> In.t -> int -> 'f
)
ident(
  int_ref last "lib/console.ml" 215 5275 5300 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 224 5569 5607 "lib/console.ml" 224 5569 5610
type(
  In.t
)
ident(
  int_ref sep "lib/console.ml" 215 5275 5306 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 224 5569 5611 "lib/console.ml" 224 5569 5614
type(
  'f
)
ident(
  int_ref acc "lib/console.ml" 223 5541 5557 "lib/console.ml" 223 5541 5560
)
"lib/console.ml" 224 5569 5616 "lib/console.ml" 224 5569 5629
type(
  int Core.Std.Array.t -> int list
)
ident(
  ext_ref Core.Std.Array.to_list
)
"lib/console.ml" 224 5569 5630 "lib/console.ml" 224 5569 5637
type(
  int Core.Std.Array.t
)
ident(
  int_ref columns "lib/console.ml" 220 5395 5405 "lib/console.ml" 220 5395 5412
)
"lib/console.ml" 224 5569 5616 "lib/console.ml" 224 5569 5637
call(
  stack
)
type(
  int list
)
"lib/console.ml" 224 5569 5639 "lib/console.ml" 224 5569 5643
type(
  In.t list
)
ident(
  int_ref line "lib/console.ml" 223 5541 5561 "lib/console.ml" 223 5541 5565
)
"lib/console.ml" 224 5569 5583 "lib/console.ml" 224 5569 5643
call(
  tail
)
type(
  'f
)
"lib/console.ml" 223 5541 5561 "lib/console.ml" 224 5569 5643
type(
  In.t list -> 'f
)
"lib/console.ml" 223 5541 5557 "lib/console.ml" 224 5569 5643
type(
  'f -> In.t list -> 'f
)
"lib/console.ml" 225 5645 5653 "lib/console.ml" 225 5645 5658
type(
  'f
)
ident(
  int_ref init "lib/console.ml" 215 5275 5286 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 222 5516 5522 "lib/console.ml" 225 5645 5658
call(
  tail
)
type(
  'f
)
"lib/console.ml" 221 5462 5468 "lib/console.ml" 225 5645 5658
type(
  'f
)
"lib/console.ml" 220 5395 5401 "lib/console.ml" 225 5645 5658
type(
  'f
)
"lib/console.ml" 219 5362 5368 "lib/console.ml" 225 5645 5658
type(
  'f
)
"lib/console.ml" 216 5323 5327 "lib/console.ml" 225 5645 5658
type(
  'f
)
"lib/console.ml" 215 5275 5313 "lib/console.ml" 225 5645 5658
type(
  int -> 'f
)
"lib/console.ml" 215 5275 5311 "lib/console.ml" 225 5645 5658
type(
  In.t list -> int -> 'f
)
"lib/console.ml" 215 5275 5306 "lib/console.ml" 225 5645 5658
type(
  sep:In.t -> In.t list -> int -> 'f
)
type(
  In.t
)
ident(
  def sep "lib/console.ml" 215 5275 5311 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 215 5275 5300 "lib/console.ml" 225 5645 5658
type(
  last:(acc:'f -> In.t -> int -> 'f) -> sep:In.t -> In.t list -> int -> 'f
)
type(
  acc:'f -> In.t -> int -> 'f
)
ident(
  def last "lib/console.ml" 215 5275 5306 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 215 5275 5292 "lib/console.ml" 225 5645 5658
type(
  middle:(acc:'f -> sep:In.t -> In.t -> int -> 'f) ->
  last:(acc:'f -> In.t -> int -> 'f) -> sep:In.t -> In.t list -> int -> 'f
)
type(
  acc:'f -> sep:In.t -> In.t -> int -> 'f
)
ident(
  def middle "lib/console.ml" 215 5275 5300 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 215 5275 5286 "lib/console.ml" 225 5645 5658
type(
  init:'f ->
  middle:(acc:'f -> sep:In.t -> In.t -> int -> 'f) ->
  last:(acc:'f -> In.t -> int -> 'f) -> sep:In.t -> In.t list -> int -> 'f
)
type(
  'f
)
ident(
  def init "lib/console.ml" 215 5275 5292 "lib/console.ml" 225 5645 5658
)
"lib/console.ml" 227 5660 5666 "lib/console.ml" 227 5660 5670
type(
  middle:(sep:In.t -> In.t -> int -> unit) ->
  last:(In.t -> int -> unit) -> sep:In.t -> In.t list -> int -> unit
)
ident(
  def iter "lib/console.ml" 228 5687 5764 "lib/console.ml" 230 5766 5769
)
"lib/console.ml" 228 5687 5691 "lib/console.ml" 228 5687 5695
type(
  init:unit ->
  middle:(acc:unit -> sep:In.t -> In.t -> int -> unit) ->
  last:(acc:unit -> In.t -> int -> unit) ->
  sep:In.t -> In.t list -> int -> unit
)
ident(
  int_ref fold "lib/console.ml" 215 5275 5281 "lib/console.ml" 215 5275 5285
)
"lib/console.ml" 228 5687 5702 "lib/console.ml" 228 5687 5704
type(
  unit
)
"lib/console.ml" 228 5687 5721 "lib/console.ml" 228 5687 5723
type(
  unit
)
"lib/console.ml" 228 5687 5727 "lib/console.ml" 228 5687 5731
type(
  In.t -> int -> unit
)
ident(
  int_ref last "lib/console.ml" 227 5660 5679 "lib/console.ml" 228 5687 5764
)
"lib/console.ml" 228 5687 5716 "lib/console.ml" 228 5687 5731
type(
  acc:unit -> In.t -> int -> unit
)
"lib/console.ml" 228 5687 5751 "lib/console.ml" 228 5687 5753
type(
  unit
)
"lib/console.ml" 228 5687 5757 "lib/console.ml" 228 5687 5763
type(
  sep:In.t -> In.t -> int -> unit
)
ident(
  int_ref middle "lib/console.ml" 227 5660 5671 "lib/console.ml" 228 5687 5764
)
"lib/console.ml" 228 5687 5746 "lib/console.ml" 228 5687 5763
type(
  acc:unit -> sep:In.t -> In.t -> int -> unit
)
"lib/console.ml" 228 5687 5691 "lib/console.ml" 228 5687 5764
call(
  tail
)
type(
  sep:In.t -> In.t list -> int -> unit
)
"lib/console.ml" 227 5660 5679 "lib/console.ml" 228 5687 5764
type(
  last:(In.t -> int -> unit) -> sep:In.t -> In.t list -> int -> unit
)
type(
  In.t -> int -> unit
)
ident(
  def last "lib/console.ml" 228 5687 5691 "lib/console.ml" 228 5687 5764
)
"lib/console.ml" 227 5660 5671 "lib/console.ml" 228 5687 5764
type(
  middle:(sep:In.t -> In.t -> int -> unit) ->
  last:(In.t -> int -> unit) -> sep:In.t -> In.t list -> int -> unit
)
type(
  sep:In.t -> In.t -> int -> unit
)
ident(
  def middle "lib/console.ml" 227 5660 5679 "lib/console.ml" 228 5687 5764
)
"lib/console.ml" 232 5771 5775 "lib/console.ml" 232 5771 5780
type(
  unit -> [> `Cols of int | `Not_a_tty | `Not_available ]
)
ident(
  def width "lib/console.ml" 238 5982 5982 "lib/console.ml" 1 0 -1
)
"lib/console.ml" 232 5771 5781 "lib/console.ml" 232 5771 5783
type(
  unit
)
"lib/console.ml" 233 5786 5794 "lib/console.ml" 233 5786 5821
type(
  (unit -> int * int) Core_kernel.Std.Or_error.t
)
ident(
  ext_ref Core.Std.Linux_ext.get_terminal_size
)
"lib/console.ml" 234 5827 5844 "lib/console.ml" 234 5827 5845
type(
  Core_kernel.Error.t
)
"lib/console.ml" 234 5827 5831 "lib/console.ml" 234 5827 5845
type(
  (unit -> int * int) Core_kernel.Std.Or_error.t
)
"lib/console.ml" 234 5827 5849 "lib/console.ml" 234 5827 5863
type(
  [> `Cols of int | `Not_a_tty | `Not_available ] as 'a
)
"lib/console.ml" 235 5864 5878 "lib/console.ml" 235 5864 5879
type(
  unit -> int * int
)
"lib/console.ml" 235 5864 5868 "lib/console.ml" 235 5864 5879
type(
  (unit -> int * int) Core_kernel.Std.Or_error.t
)
"lib/console.ml" 235 5864 5885 "lib/console.ml" 235 5864 5888
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"lib/console.ml" 235 5864 5890 "lib/console.ml" 235 5864 5901
type(
  Core.Std.Unix.File_descr.t -> bool
)
ident(
  ext_ref Core.Std.Unix.isatty
)
"lib/console.ml" 235 5864 5902 "lib/console.ml" 235 5864 5913
type(
  Core.Std.Unix.File_descr.t
)
ident(
  ext_ref Core.Std.Unix.stdout
)
"lib/console.ml" 235 5864 5890 "lib/console.ml" 235 5864 5913
call(
  stack
)
type(
  bool
)
"lib/console.ml" 235 5864 5885 "lib/console.ml" 235 5864 5914
type(
  bool
)
"lib/console.ml" 235 5864 5918 "lib/console.ml" 235 5864 5928
type(
  'a
)
"lib/console.ml" 236 5929 5943 "lib/console.ml" 236 5929 5951
type(
  unit -> int * int
)
ident(
  def get_size "lib/console.ml" 236 5929 5955 "lib/console.ml" 236 5929 5980
)
"lib/console.ml" 236 5929 5933 "lib/console.ml" 236 5929 5951
type(
  (unit -> int * int) Core_kernel.Std.Or_error.t
)
"lib/console.ml" 236 5929 5962 "lib/console.ml" 236 5929 5965
type(
  int * int -> int
)
ident(
  ext_ref Pervasives.snd
)
"lib/console.ml" 236 5929 5967 "lib/console.ml" 236 5929 5975
type(
  unit -> int * int
)
ident(
  int_ref get_size "lib/console.ml" 236 5929 5943 "lib/console.ml" 236 5929 5951
)
"lib/console.ml" 236 5929 5976 "lib/console.ml" 236 5929 5978
type(
  unit
)
"lib/console.ml" 236 5929 5967 "lib/console.ml" 236 5929 5978
call(
  stack
)
type(
  int * int
)
"lib/console.ml" 236 5929 5962 "lib/console.ml" 236 5929 5979
type(
  int
)
"lib/console.ml" 236 5929 5955 "lib/console.ml" 236 5929 5980
type(
  'a
)
"lib/console.ml" 233 5786 5788 "lib/console.ml" 236 5929 5980
type(
  'a
)
"lib/console.ml" 232 5771 5781 "lib/console.ml" 236 5929 5980
type(
  unit -> 'a
)
"lib/console.ml" 238 5982 5986 "lib/console.ml" 238 5982 5996
type(
  out_channel -> (bytes * Ansi.attr list) Core.Std.List.t -> unit
)
ident(
  def print_list "lib/console.ml" 1 0 0 "lib/console.ml" 1 0 -1
)
"lib/console.ml" 238 5982 5997 "lib/console.ml" 238 5982 5999
type(
  out_channel
)
ident(
  def oc "lib/console.ml" 238 5982 6000 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 238 5982 6000 "lib/console.ml" 238 5982 6001
type(
  (bytes * Ansi.attr list) Core.Std.List.t
)
ident(
  def l "lib/console.ml" 239 6004 6006 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 239 6004 6013 "lib/console.ml" 239 6004 6018
type(
  unit -> [ `Cols of int | `Not_a_tty | `Not_available ]
)
ident(
  int_ref width "lib/console.ml" 232 5771 5775 "lib/console.ml" 232 5771 5780
)
"lib/console.ml" 239 6004 6019 "lib/console.ml" 239 6004 6021
type(
  unit
)
"lib/console.ml" 239 6004 6013 "lib/console.ml" 239 6004 6021
call(
  stack
)
type(
  [ `Cols of int | `Not_a_tty | `Not_available ]
)
type(
  [ `Cols of int | `Not_a_tty | `Not_available ]
)
"lib/console.ml" 240 6078 6082 "lib/console.ml" 240 6078 6092
type(
  [ `Cols of int | `Not_a_tty | `Not_available ]
)
"lib/console.ml" 240 6078 6095 "lib/console.ml" 240 6078 6109
type(
  [ `Cols of int | `Not_a_tty | `Not_available ]
)
"lib/console.ml" 240 6078 6082 "lib/console.ml" 240 6078 6109
type(
  [ `Cols of int | `Not_a_tty | `Not_available ]
)
"lib/console.ml" 241 6113 6119 "lib/console.ml" 241 6113 6128
type(
  (bytes * Ansi.attr list) Core.Std.List.t ->
  f:(bytes * Ansi.attr list -> unit) -> unit
)
ident(
  ext_ref Core.Std.List.iter
)
"lib/console.ml" 241 6113 6129 "lib/console.ml" 241 6113 6130
type(
  (bytes * Ansi.attr list) Core.Std.List.t
)
ident(
  int_ref l "lib/console.ml" 238 5982 6000 "lib/console.ml" 238 5982 6001
)
"lib/console.ml" 241 6113 6140 "lib/console.ml" 241 6113 6141
type(
  bytes
)
ident(
  def s "lib/console.ml" 241 6113 6148 "lib/console.ml" 241 6113 6163
)
"lib/console.ml" 241 6113 6142 "lib/console.ml" 241 6113 6143
type(
  Ansi.attr list
)
"lib/console.ml" 241 6113 6140 "lib/console.ml" 241 6113 6143
type(
  bytes * Ansi.attr list
)
"lib/console.ml" 241 6113 6148 "lib/console.ml" 241 6113 6161
type(
  bytes -> unit
)
ident(
  ext_ref Pervasives.print_endline
)
"lib/console.ml" 241 6113 6162 "lib/console.ml" 241 6113 6163
type(
  bytes
)
ident(
  int_ref s "lib/console.ml" 241 6113 6140 "lib/console.ml" 241 6113 6141
)
"lib/console.ml" 241 6113 6148 "lib/console.ml" 241 6113 6163
call(
  tail
)
type(
  unit
)
"lib/console.ml" 241 6113 6139 "lib/console.ml" 241 6113 6163
type(
  bytes * Ansi.attr list -> unit
)
"lib/console.ml" 241 6113 6119 "lib/console.ml" 241 6113 6164
call(
  tail
)
type(
  unit
)
"lib/console.ml" 242 6165 6175 "lib/console.ml" 242 6165 6179
type(
  int
)
ident(
  def cols "lib/console.ml" 243 6183 6189 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 242 6165 6169 "lib/console.ml" 242 6165 6179
type(
  [ `Cols of int | `Not_a_tty | `Not_available ]
)
"lib/console.ml" 243 6183 6193 "lib/console.ml" 243 6183 6205
type(
  bytes * Ansi.attr list -> unit
)
ident(
  def print_styled "lib/console.ml" 246 6265 6271 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 243 6183 6207 "lib/console.ml" 243 6183 6208
type(
  bytes
)
ident(
  def s "lib/console.ml" 244 6218 6226 "lib/console.ml" 244 6218 6255
)
"lib/console.ml" 243 6183 6209 "lib/console.ml" 243 6183 6214
type(
  Ansi.attr list
)
ident(
  def style "lib/console.ml" 244 6218 6226 "lib/console.ml" 244 6218 6255
)
"lib/console.ml" 243 6183 6207 "lib/console.ml" 243 6183 6214
type(
  bytes * Ansi.attr list
)
"lib/console.ml" 244 6218 6226 "lib/console.ml" 244 6218 6244
type(
  Ansi.attr list -> out_channel -> bytes -> unit
)
ident(
  int_ref Ansi.output_string "lib/console.ml" 120 2698 2704 "lib/console.ml" 120 2698 2717
)
"lib/console.ml" 244 6218 6245 "lib/console.ml" 244 6218 6250
type(
  Ansi.attr list
)
ident(
  int_ref style "lib/console.ml" 243 6183 6209 "lib/console.ml" 243 6183 6214
)
"lib/console.ml" 244 6218 6251 "lib/console.ml" 244 6218 6253
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 238 5982 5997 "lib/console.ml" 238 5982 5999
)
"lib/console.ml" 244 6218 6254 "lib/console.ml" 244 6218 6255
type(
  bytes
)
ident(
  int_ref s "lib/console.ml" 243 6183 6207 "lib/console.ml" 243 6183 6208
)
"lib/console.ml" 244 6218 6226 "lib/console.ml" 244 6218 6255
call(
  tail
)
type(
  unit
)
"lib/console.ml" 243 6183 6206 "lib/console.ml" 244 6218 6255
type(
  bytes * Ansi.attr list -> unit
)
"lib/console.ml" 246 6265 6275 "lib/console.ml" 246 6265 6278
type(
  string * 'a list
)
ident(
  def sep "lib/console.ml" 247 6292 6298 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 246 6265 6281 "lib/console.ml" 246 6265 6285
type(
  string
)
"lib/console.ml" 246 6265 6286 "lib/console.ml" 246 6265 6288
type(
  'a list
)
"lib/console.ml" 246 6265 6281 "lib/console.ml" 246 6265 6288
type(
  string * 'a list
)
"lib/console.ml" 247 6292 6302 "lib/console.ml" 247 6292 6306
type(
  bytes * Ansi.attr list -> 'b -> unit
)
ident(
  def last "lib/console.ml" 253 6495 6501 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 247 6292 6307 "lib/console.ml" 247 6292 6308
type(
  bytes * Ansi.attr list
)
ident(
  def v "lib/console.ml" 247 6292 6309 "lib/console.ml" 247 6292 6350
)
"lib/console.ml" 247 6292 6309 "lib/console.ml" 247 6292 6310
type(
  'b
)
"lib/console.ml" 247 6292 6313 "lib/console.ml" 247 6292 6325
type(
  bytes * Ansi.attr list -> unit
)
ident(
  int_ref print_styled "lib/console.ml" 243 6183 6193 "lib/console.ml" 243 6183 6205
)
"lib/console.ml" 247 6292 6326 "lib/console.ml" 247 6292 6327
type(
  bytes * Ansi.attr list
)
ident(
  int_ref v "lib/console.ml" 247 6292 6307 "lib/console.ml" 247 6292 6308
)
"lib/console.ml" 247 6292 6313 "lib/console.ml" 247 6292 6327
call(
  stack
)
type(
  unit
)
"lib/console.ml" 247 6292 6329 "lib/console.ml" 247 6292 6342
type(
  out_channel -> string -> unit
)
ident(
  ext_ref Pervasives.output_string
)
"lib/console.ml" 247 6292 6343 "lib/console.ml" 247 6292 6345
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 238 5982 5997 "lib/console.ml" 238 5982 5999
)
"lib/console.ml" 247 6292 6346 "lib/console.ml" 247 6292 6350
type(
  string
)
"lib/console.ml" 247 6292 6329 "lib/console.ml" 247 6292 6350
call(
  tail
)
type(
  unit
)
"lib/console.ml" 247 6292 6313 "lib/console.ml" 247 6292 6350
type(
  unit
)
"lib/console.ml" 247 6292 6309 "lib/console.ml" 247 6292 6350
type(
  'b -> unit
)
"lib/console.ml" 247 6292 6307 "lib/console.ml" 247 6292 6350
type(
  bytes * Ansi.attr list -> 'b -> unit
)
"lib/console.ml" 248 6351 6361 "lib/console.ml" 248 6351 6367
type(
  sep:bytes * Ansi.attr list -> bytes * Ansi.attr list -> int -> unit
)
ident(
  def middle "lib/console.ml" 253 6495 6501 "lib/console.ml" 259 6657 6697
)
"lib/console.ml" 248 6351 6373 "lib/console.ml" 248 6351 6374
type(
  bytes * Ansi.attr list
)
ident(
  def v "lib/console.ml" 248 6351 6375 "lib/console.ml" 251 6461 6485
)
"lib/console.ml" 248 6351 6375 "lib/console.ml" 248 6351 6382
type(
  int
)
ident(
  def pad_len "lib/console.ml" 249 6385 6393 "lib/console.ml" 251 6461 6485
)
"lib/console.ml" 249 6385 6393 "lib/console.ml" 249 6385 6405
type(
  bytes * Ansi.attr list -> unit
)
ident(
  int_ref print_styled "lib/console.ml" 243 6183 6193 "lib/console.ml" 243 6183 6205
)
"lib/console.ml" 249 6385 6406 "lib/console.ml" 249 6385 6407
type(
  bytes * Ansi.attr list
)
ident(
  int_ref v "lib/console.ml" 248 6351 6373 "lib/console.ml" 248 6351 6374
)
"lib/console.ml" 249 6385 6393 "lib/console.ml" 249 6385 6407
call(
  stack
)
type(
  unit
)
"lib/console.ml" 250 6409 6417 "lib/console.ml" 250 6409 6430
type(
  out_channel -> Core.Std.String.t -> unit
)
ident(
  ext_ref Pervasives.output_string
)
"lib/console.ml" 250 6409 6431 "lib/console.ml" 250 6409 6433
type(
  out_channel
)
ident(
  int_ref oc "lib/console.ml" 238 5982 5997 "lib/console.ml" 238 5982 5999
)
"lib/console.ml" 250 6409 6435 "lib/console.ml" 250 6409 6446
type(
  int -> char -> Core.Std.String.t
)
ident(
  ext_ref Core.Std.String.make
)
"lib/console.ml" 250 6409 6447 "lib/console.ml" 250 6409 6454
type(
  int
)
ident(
  int_ref pad_len "lib/console.ml" 248 6351 6375 "lib/console.ml" 248 6351 6382
)
"lib/console.ml" 250 6409 6455 "lib/console.ml" 250 6409 6458
type(
  char
)
"lib/console.ml" 250 6409 6435 "lib/console.ml" 250 6409 6458
call(
  stack
)
type(
  Core.Std.String.t
)
"lib/console.ml" 250 6409 6417 "lib/console.ml" 250 6409 6459
call(
  stack
)
type(
  unit
)
"lib/console.ml" 251 6461 6469 "lib/console.ml" 251 6461 6481
type(
  bytes * Ansi.attr list -> unit
)
ident(
  int_ref print_styled "lib/console.ml" 243 6183 6193 "lib/console.ml" 243 6183 6205
)
"lib/console.ml" 251 6461 6482 "lib/console.ml" 251 6461 6485
type(
  bytes * Ansi.attr list
)
ident(
  int_ref sep "lib/console.ml" 248 6351 6368 "lib/console.ml" 251 6461 6485
)
"lib/console.ml" 251 6461 6469 "lib/console.ml" 251 6461 6485
call(
  tail
)
type(
  unit
)
"lib/console.ml" 250 6409 6417 "lib/console.ml" 251 6461 6485
type(
  unit
)
"lib/console.ml" 249 6385 6393 "lib/console.ml" 251 6461 6485
type(
  unit
)
"lib/console.ml" 248 6351 6375 "lib/console.ml" 251 6461 6485
type(
  int -> unit
)
"lib/console.ml" 248 6351 6373 "lib/console.ml" 251 6461 6485
type(
  bytes * Ansi.attr list -> int -> unit
)
"lib/console.ml" 248 6351 6368 "lib/console.ml" 251 6461 6485
type(
  sep:bytes * Ansi.attr list -> bytes * Ansi.attr list -> int -> unit
)
type(
  bytes * Ansi.attr list
)
ident(
  def sep "lib/console.ml" 248 6351 6373 "lib/console.ml" 251 6461 6485
)
"lib/console.ml" 256 6588 6603 "lib/console.ml" 256 6588 6609
type(
  Core.Std.String.t * 'c -> int
)
ident(
  def length "lib/console.ml" 256 6588 6633 "lib/console.ml" 257 6634 6646
)
"lib/console.ml" 256 6588 6611 "lib/console.ml" 256 6588 6612
type(
  Core.Std.String.t
)
ident(
  def s "lib/console.ml" 256 6588 6618 "lib/console.ml" 256 6588 6633
)
"lib/console.ml" 256 6588 6613 "lib/console.ml" 256 6588 6614
type(
  'c
)
"lib/console.ml" 256 6588 6611 "lib/console.ml" 256 6588 6614
type(
  Core.Std.String.t * 'c
)
"lib/console.ml" 256 6588 6618 "lib/console.ml" 256 6588 6631
type(
  Core.Std.String.t -> int
)
ident(
  ext_ref Core.Std.String.length
)
"lib/console.ml" 256 6588 6632 "lib/console.ml" 256 6588 6633
type(
  Core.Std.String.t
)
ident(
  int_ref s "lib/console.ml" 256 6588 6611 "lib/console.ml" 256 6588 6612
)
"lib/console.ml" 256 6588 6618 "lib/console.ml" 256 6588 6633
type(
  int
)
"lib/console.ml" 256 6588 6610 "lib/console.ml" 256 6588 6633
type(
  Core.Std.String.t * 'c -> int
)
"lib/console.ml" 253 6495 6518 "lib/console.ml" 257 6634 6647
call(
  stack
)
"lib/console.ml" 259 6657 6663 "lib/console.ml" 259 6657 6671
type(
  middle:(sep:bytes * Ansi.attr list -> bytes * Ansi.attr list -> int -> unit) ->
  last:(bytes * Ansi.attr list -> int -> unit) ->
  sep:bytes * Ansi.attr list ->
  (bytes * Ansi.attr list) Core.Std.List.t -> int -> unit
)
ident(
  int_ref Col.iter "lib/console.ml" 147 3310 3312 "lib/console.ml" 152 3442 3453
)
"lib/console.ml" 259 6657 6672 "lib/console.ml" 259 6657 6676
type(
  bytes * Ansi.attr list
)
ident(
  int_ref sep "lib/console.ml" 246 6265 6275 "lib/console.ml" 246 6265 6278
)
"lib/console.ml" 259 6657 6677 "lib/console.ml" 259 6657 6682
type(
  bytes * Ansi.attr list -> int -> unit
)
ident(
  int_ref last "lib/console.ml" 247 6292 6302 "lib/console.ml" 247 6292 6306
)
"lib/console.ml" 259 6657 6683 "lib/console.ml" 259 6657 6690
type(
  sep:bytes * Ansi.attr list -> bytes * Ansi.attr list -> int -> unit
)
ident(
  int_ref middle "lib/console.ml" 248 6351 6361 "lib/console.ml" 248 6351 6367
)
"lib/console.ml" 259 6657 6691 "lib/console.ml" 259 6657 6692
type(
  (bytes * Ansi.attr list) Core.Std.List.t
)
ident(
  int_ref l "lib/console.ml" 238 5982 6000 "lib/console.ml" 238 5982 6001
)
"lib/console.ml" 259 6657 6693 "lib/console.ml" 259 6657 6697
type(
  int
)
ident(
  int_ref cols "lib/console.ml" 242 6165 6175 "lib/console.ml" 242 6165 6179
)
"lib/console.ml" 259 6657 6663 "lib/console.ml" 259 6657 6697
call(
  tail
)
type(
  unit
)
"lib/console.ml" 253 6495 6501 "lib/console.ml" 259 6657 6697
type(
  unit
)
"lib/console.ml" 247 6292 6298 "lib/console.ml" 259 6657 6697
type(
  unit
)
"lib/console.ml" 246 6265 6271 "lib/console.ml" 259 6657 6697
type(
  unit
)
"lib/console.ml" 243 6183 6189 "lib/console.ml" 259 6657 6697
type(
  unit
)
"lib/console.ml" 239 6004 6006 "lib/console.ml" 259 6657 6697
type(
  unit
)
"lib/console.ml" 238 5982 6000 "lib/console.ml" 259 6657 6697
type(
  (bytes * Ansi.attr list) Core.Std.List.t -> unit
)
"lib/console.ml" 238 5982 5997 "lib/console.ml" 259 6657 6697
type(
  out_channel -> (bytes * Ansi.attr list) Core.Std.List.t -> unit
)