"menhir-20120123/src/infiniteArray.ml" 26 1321 1325 "menhir-20120123/src/infiniteArray.ml" 26 1321 1337
type(
  int
)
ident(
  def default_size "menhir-20120123/src/infiniteArray.ml" 29 1372 1372 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 27 1340 1342 "menhir-20120123/src/infiniteArray.ml" 27 1340 1347
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 29 1372 1376 "menhir-20120123/src/infiniteArray.ml" 29 1372 1380
type(
  'a -> 'a t
)
ident(
  def make "menhir-20120123/src/infiniteArray.ml" 35 1457 1457 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 29 1372 1381 "menhir-20120123/src/infiniteArray.ml" 29 1372 1382
type(
  'a
)
ident(
  def x "menhir-20120123/src/infiniteArray.ml" 29 1372 1385 "menhir-20120123/src/infiniteArray.ml" 33 1453 1454
)
"menhir-20120123/src/infiniteArray.ml" 30 1387 1399 "menhir-20120123/src/infiniteArray.ml" 30 1387 1400
type(
  'a
)
ident(
  int_ref x "menhir-20120123/src/infiniteArray.ml" 29 1372 1381 "menhir-20120123/src/infiniteArray.ml" 29 1372 1382
)
"menhir-20120123/src/infiniteArray.ml" 31 1402 1412 "menhir-20120123/src/infiniteArray.ml" 31 1402 1422
type(
  int -> 'a -> 'a array
)
ident(
  int_ref Stdlib.Array.make "array.mli" 38 1943 1943 "array.mli" 38 1943 1999
)
"menhir-20120123/src/infiniteArray.ml" 31 1402 1423 "menhir-20120123/src/infiniteArray.ml" 31 1402 1435
type(
  int
)
ident(
  int_ref default_size "menhir-20120123/src/infiniteArray.ml" 26 1321 1325 "menhir-20120123/src/infiniteArray.ml" 26 1321 1337
)
"menhir-20120123/src/infiniteArray.ml" 31 1402 1436 "menhir-20120123/src/infiniteArray.ml" 31 1402 1437
type(
  'a
)
ident(
  int_ref x "menhir-20120123/src/infiniteArray.ml" 29 1372 1381 "menhir-20120123/src/infiniteArray.ml" 29 1372 1382
)
"menhir-20120123/src/infiniteArray.ml" 31 1402 1412 "menhir-20120123/src/infiniteArray.ml" 31 1402 1437
type(
  'a array
)
"menhir-20120123/src/infiniteArray.ml" 32 1439 1450 "menhir-20120123/src/infiniteArray.ml" 32 1439 1451
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 29 1372 1385 "menhir-20120123/src/infiniteArray.ml" 33 1453 1454
type(
  'a t
)
"menhir-20120123/src/infiniteArray.ml" 35 1457 1465 "menhir-20120123/src/infiniteArray.ml" 35 1457 1475
type(
  int -> int -> int
)
ident(
  def new_length "menhir-20120123/src/infiniteArray.ml" 35 1457 1457 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 35 1457 1476 "menhir-20120123/src/infiniteArray.ml" 35 1457 1482
type(
  int
)
ident(
  def length "menhir-20120123/src/infiniteArray.ml" 35 1457 1483 "menhir-20120123/src/infiniteArray.ml" 39 1526 1555
)
"menhir-20120123/src/infiniteArray.ml" 35 1457 1483 "menhir-20120123/src/infiniteArray.ml" 35 1457 1484
type(
  int
)
ident(
  def i "menhir-20120123/src/infiniteArray.ml" 36 1487 1489 "menhir-20120123/src/infiniteArray.ml" 39 1526 1555
)
"menhir-20120123/src/infiniteArray.ml" 36 1487 1492 "menhir-20120123/src/infiniteArray.ml" 36 1487 1493
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 35 1457 1483 "menhir-20120123/src/infiniteArray.ml" 35 1457 1484
)
"menhir-20120123/src/infiniteArray.ml" 36 1487 1494 "menhir-20120123/src/infiniteArray.ml" 36 1487 1495
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( < ) "stdlib.mli" 70 2854 2854 "stdlib.mli" 70 2854 2901
)
"menhir-20120123/src/infiniteArray.ml" 36 1487 1496 "menhir-20120123/src/infiniteArray.ml" 36 1487 1502
type(
  int
)
ident(
  int_ref length "menhir-20120123/src/infiniteArray.ml" 35 1457 1476 "menhir-20120123/src/infiniteArray.ml" 35 1457 1482
)
"menhir-20120123/src/infiniteArray.ml" 36 1487 1492 "menhir-20120123/src/infiniteArray.ml" 36 1487 1502
type(
  bool
)
"menhir-20120123/src/infiniteArray.ml" 37 1508 1512 "menhir-20120123/src/infiniteArray.ml" 37 1508 1518
type(
  int
)
ident(
  int_ref length "menhir-20120123/src/infiniteArray.ml" 35 1457 1476 "menhir-20120123/src/infiniteArray.ml" 35 1457 1482
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1530 "menhir-20120123/src/infiniteArray.ml" 39 1526 1540
type(
  int -> int -> int
)
ident(
  int_ref new_length "menhir-20120123/src/infiniteArray.ml" 35 1457 1465 "menhir-20120123/src/infiniteArray.ml" 35 1457 1475
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1542 "menhir-20120123/src/infiniteArray.ml" 39 1526 1543
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1544 "menhir-20120123/src/infiniteArray.ml" 39 1526 1545
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( * ) "stdlib.mli" 275 10645 10645 "stdlib.mli" 275 10645 10691
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1546 "menhir-20120123/src/infiniteArray.ml" 39 1526 1552
type(
  int
)
ident(
  int_ref length "menhir-20120123/src/infiniteArray.ml" 35 1457 1476 "menhir-20120123/src/infiniteArray.ml" 35 1457 1482
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1541 "menhir-20120123/src/infiniteArray.ml" 39 1526 1553
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1554 "menhir-20120123/src/infiniteArray.ml" 39 1526 1555
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 35 1457 1483 "menhir-20120123/src/infiniteArray.ml" 35 1457 1484
)
"menhir-20120123/src/infiniteArray.ml" 39 1526 1530 "menhir-20120123/src/infiniteArray.ml" 39 1526 1555
call(
  tail
)
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 36 1487 1489 "menhir-20120123/src/infiniteArray.ml" 39 1526 1555
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 41 1557 1561 "menhir-20120123/src/infiniteArray.ml" 41 1557 1567
type(
  'a t -> int -> unit
)
ident(
  def ensure "menhir-20120123/src/infiniteArray.ml" 50 1802 1802 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 41 1557 1568 "menhir-20120123/src/infiniteArray.ml" 41 1557 1569
type(
  'a t
)
ident(
  def a "menhir-20120123/src/infiniteArray.ml" 41 1557 1570 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
)
"menhir-20120123/src/infiniteArray.ml" 41 1557 1570 "menhir-20120123/src/infiniteArray.ml" 41 1557 1571
type(
  int
)
ident(
  def i "menhir-20120123/src/infiniteArray.ml" 42 1574 1576 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
)
"menhir-20120123/src/infiniteArray.ml" 42 1574 1580 "menhir-20120123/src/infiniteArray.ml" 42 1574 1585
type(
  'a array
)
ident(
  def table "menhir-20120123/src/infiniteArray.ml" 43 1599 1601 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
)
"menhir-20120123/src/infiniteArray.ml" 42 1574 1588 "menhir-20120123/src/infiniteArray.ml" 42 1574 1589
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 41 1557 1568 "menhir-20120123/src/infiniteArray.ml" 41 1557 1569
)
"menhir-20120123/src/infiniteArray.ml" 42 1574 1588 "menhir-20120123/src/infiniteArray.ml" 42 1574 1595
type(
  'a array
)
"menhir-20120123/src/infiniteArray.ml" 43 1599 1605 "menhir-20120123/src/infiniteArray.ml" 43 1599 1611
type(
  int
)
ident(
  def length "menhir-20120123/src/infiniteArray.ml" 44 1636 1638 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
)
"menhir-20120123/src/infiniteArray.ml" 43 1599 1614 "menhir-20120123/src/infiniteArray.ml" 43 1599 1626
type(
  'a array -> int
)
ident(
  int_ref Stdlib.Array.length "array.mli" 18 1105 1105 "array.mli" 18 1105 1156
)
"menhir-20120123/src/infiniteArray.ml" 43 1599 1627 "menhir-20120123/src/infiniteArray.ml" 43 1599 1632
type(
  'a array
)
ident(
  int_ref table "menhir-20120123/src/infiniteArray.ml" 42 1574 1580 "menhir-20120123/src/infiniteArray.ml" 42 1574 1585
)
"menhir-20120123/src/infiniteArray.ml" 43 1599 1614 "menhir-20120123/src/infiniteArray.ml" 43 1599 1632
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 44 1636 1641 "menhir-20120123/src/infiniteArray.ml" 44 1636 1642
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 41 1557 1570 "menhir-20120123/src/infiniteArray.ml" 41 1557 1571
)
"menhir-20120123/src/infiniteArray.ml" 44 1636 1643 "menhir-20120123/src/infiniteArray.ml" 44 1636 1645
type(
  int -> int -> bool
)
ident(
  int_ref Stdlib.( >= ) "stdlib.mli" 82 3273 3273 "stdlib.mli" 82 3273 3325
)
"menhir-20120123/src/infiniteArray.ml" 44 1636 1646 "menhir-20120123/src/infiniteArray.ml" 44 1636 1652
type(
  int
)
ident(
  int_ref length "menhir-20120123/src/infiniteArray.ml" 43 1599 1605 "menhir-20120123/src/infiniteArray.ml" 43 1599 1611
)
"menhir-20120123/src/infiniteArray.ml" 44 1636 1641 "menhir-20120123/src/infiniteArray.ml" 44 1636 1652
type(
  bool
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1672 "menhir-20120123/src/infiniteArray.ml" 45 1664 1678
type(
  'a array
)
ident(
  def table' "menhir-20120123/src/infiniteArray.ml" 46 1733 1737 "menhir-20120123/src/infiniteArray.ml" 47 1773 1794
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1681 "menhir-20120123/src/infiniteArray.ml" 45 1664 1691
type(
  int -> 'a -> 'a array
)
ident(
  int_ref Stdlib.Array.make "array.mli" 38 1943 1943 "array.mli" 38 1943 1999
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1693 "menhir-20120123/src/infiniteArray.ml" 45 1664 1703
type(
  int -> int -> int
)
ident(
  int_ref new_length "menhir-20120123/src/infiniteArray.ml" 35 1457 1465 "menhir-20120123/src/infiniteArray.ml" 35 1457 1475
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1705 "menhir-20120123/src/infiniteArray.ml" 45 1664 1706
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1707 "menhir-20120123/src/infiniteArray.ml" 45 1664 1708
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( * ) "stdlib.mli" 275 10645 10645 "stdlib.mli" 275 10645 10691
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1709 "menhir-20120123/src/infiniteArray.ml" 45 1664 1715
type(
  int
)
ident(
  int_ref length "menhir-20120123/src/infiniteArray.ml" 43 1599 1605 "menhir-20120123/src/infiniteArray.ml" 43 1599 1611
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1704 "menhir-20120123/src/infiniteArray.ml" 45 1664 1716
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1717 "menhir-20120123/src/infiniteArray.ml" 45 1664 1718
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 41 1557 1570 "menhir-20120123/src/infiniteArray.ml" 41 1557 1571
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1692 "menhir-20120123/src/infiniteArray.ml" 45 1664 1719
call(
  stack
)
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1720 "menhir-20120123/src/infiniteArray.ml" 45 1664 1721
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 41 1557 1568 "menhir-20120123/src/infiniteArray.ml" 41 1557 1569
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1720 "menhir-20120123/src/infiniteArray.ml" 45 1664 1729
type(
  'a
)
"menhir-20120123/src/infiniteArray.ml" 45 1664 1681 "menhir-20120123/src/infiniteArray.ml" 45 1664 1729
type(
  'a array
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1737 "menhir-20120123/src/infiniteArray.ml" 46 1733 1747
type(
  'a array -> int -> 'a array -> int -> int -> unit
)
ident(
  int_ref Stdlib.Array.blit "array.mli" 118 5394 5394 "array.mli" 118 5394 5454
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1748 "menhir-20120123/src/infiniteArray.ml" 46 1733 1753
type(
  'a array
)
ident(
  int_ref table "menhir-20120123/src/infiniteArray.ml" 42 1574 1580 "menhir-20120123/src/infiniteArray.ml" 42 1574 1585
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1754 "menhir-20120123/src/infiniteArray.ml" 46 1733 1755
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1756 "menhir-20120123/src/infiniteArray.ml" 46 1733 1762
type(
  'a array
)
ident(
  int_ref table' "menhir-20120123/src/infiniteArray.ml" 45 1664 1672 "menhir-20120123/src/infiniteArray.ml" 45 1664 1678
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1763 "menhir-20120123/src/infiniteArray.ml" 46 1733 1764
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1765 "menhir-20120123/src/infiniteArray.ml" 46 1733 1771
type(
  int
)
ident(
  int_ref length "menhir-20120123/src/infiniteArray.ml" 43 1599 1605 "menhir-20120123/src/infiniteArray.ml" 43 1599 1611
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1737 "menhir-20120123/src/infiniteArray.ml" 46 1733 1771
call(
  stack
)
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 47 1773 1777 "menhir-20120123/src/infiniteArray.ml" 47 1773 1778
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 41 1557 1568 "menhir-20120123/src/infiniteArray.ml" 41 1557 1569
)
"menhir-20120123/src/infiniteArray.ml" 47 1773 1788 "menhir-20120123/src/infiniteArray.ml" 47 1773 1794
type(
  'a array
)
ident(
  int_ref table' "menhir-20120123/src/infiniteArray.ml" 45 1664 1672 "menhir-20120123/src/infiniteArray.ml" 45 1664 1678
)
"menhir-20120123/src/infiniteArray.ml" 47 1773 1777 "menhir-20120123/src/infiniteArray.ml" 47 1773 1794
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 46 1733 1737 "menhir-20120123/src/infiniteArray.ml" 47 1773 1794
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 44 1636 1658 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 44 1636 1638 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 43 1599 1601 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 42 1574 1576 "menhir-20120123/src/infiniteArray.ml" 48 1795 1800
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 50 1802 1806 "menhir-20120123/src/infiniteArray.ml" 50 1802 1809
type(
  'a t -> int -> 'a
)
ident(
  def get "menhir-20120123/src/infiniteArray.ml" 54 1845 1845 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 50 1802 1810 "menhir-20120123/src/infiniteArray.ml" 50 1802 1811
type(
  'a t
)
ident(
  def a "menhir-20120123/src/infiniteArray.ml" 50 1802 1812 "menhir-20120123/src/infiniteArray.ml" 52 1830 1843
)
"menhir-20120123/src/infiniteArray.ml" 50 1802 1812 "menhir-20120123/src/infiniteArray.ml" 50 1802 1813
type(
  int
)
ident(
  def i "menhir-20120123/src/infiniteArray.ml" 51 1816 1818 "menhir-20120123/src/infiniteArray.ml" 52 1830 1843
)
"menhir-20120123/src/infiniteArray.ml" 51 1816 1818 "menhir-20120123/src/infiniteArray.ml" 51 1816 1824
type(
  'a t -> int -> unit
)
ident(
  int_ref ensure "menhir-20120123/src/infiniteArray.ml" 41 1557 1561 "menhir-20120123/src/infiniteArray.ml" 41 1557 1567
)
"menhir-20120123/src/infiniteArray.ml" 51 1816 1825 "menhir-20120123/src/infiniteArray.ml" 51 1816 1826
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 50 1802 1810 "menhir-20120123/src/infiniteArray.ml" 50 1802 1811
)
"menhir-20120123/src/infiniteArray.ml" 51 1816 1827 "menhir-20120123/src/infiniteArray.ml" 51 1816 1828
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 50 1802 1812 "menhir-20120123/src/infiniteArray.ml" 50 1802 1813
)
"menhir-20120123/src/infiniteArray.ml" 51 1816 1818 "menhir-20120123/src/infiniteArray.ml" 51 1816 1828
call(
  stack
)
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 52 1830 1832 "menhir-20120123/src/infiniteArray.ml" 52 1830 1833
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 50 1802 1810 "menhir-20120123/src/infiniteArray.ml" 50 1802 1811
)
"menhir-20120123/src/infiniteArray.ml" 52 1830 1832 "menhir-20120123/src/infiniteArray.ml" 52 1830 1839
type(
  'a array
)
"menhir-20120123/src/infiniteArray.ml" 52 1830 1841 "menhir-20120123/src/infiniteArray.ml" 52 1830 1842
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 50 1802 1812 "menhir-20120123/src/infiniteArray.ml" 50 1802 1813
)
"menhir-20120123/src/infiniteArray.ml" 52 1830 1832 "menhir-20120123/src/infiniteArray.ml" 52 1830 1843
type(
  'a
)
"menhir-20120123/src/infiniteArray.ml" 51 1816 1818 "menhir-20120123/src/infiniteArray.ml" 52 1830 1843
type(
  'a
)
"menhir-20120123/src/infiniteArray.ml" 54 1845 1849 "menhir-20120123/src/infiniteArray.ml" 54 1845 1852
type(
  'a t -> int -> 'a -> unit
)
ident(
  def set "menhir-20120123/src/infiniteArray.ml" 59 1931 1931 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 54 1845 1853 "menhir-20120123/src/infiniteArray.ml" 54 1845 1854
type(
  'a t
)
ident(
  def a "menhir-20120123/src/infiniteArray.ml" 54 1845 1855 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
)
"menhir-20120123/src/infiniteArray.ml" 54 1845 1855 "menhir-20120123/src/infiniteArray.ml" 54 1845 1856
type(
  int
)
ident(
  def i "menhir-20120123/src/infiniteArray.ml" 54 1845 1857 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
)
"menhir-20120123/src/infiniteArray.ml" 54 1845 1857 "menhir-20120123/src/infiniteArray.ml" 54 1845 1858
type(
  'a
)
ident(
  def x "menhir-20120123/src/infiniteArray.ml" 55 1861 1863 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
)
"menhir-20120123/src/infiniteArray.ml" 55 1861 1863 "menhir-20120123/src/infiniteArray.ml" 55 1861 1869
type(
  'a t -> int -> unit
)
ident(
  int_ref ensure "menhir-20120123/src/infiniteArray.ml" 41 1557 1561 "menhir-20120123/src/infiniteArray.ml" 41 1557 1567
)
"menhir-20120123/src/infiniteArray.ml" 55 1861 1870 "menhir-20120123/src/infiniteArray.ml" 55 1861 1871
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 54 1845 1853 "menhir-20120123/src/infiniteArray.ml" 54 1845 1854
)
"menhir-20120123/src/infiniteArray.ml" 55 1861 1872 "menhir-20120123/src/infiniteArray.ml" 55 1861 1873
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 54 1845 1855 "menhir-20120123/src/infiniteArray.ml" 54 1845 1856
)
"menhir-20120123/src/infiniteArray.ml" 55 1861 1863 "menhir-20120123/src/infiniteArray.ml" 55 1861 1873
call(
  stack
)
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 56 1875 1877 "menhir-20120123/src/infiniteArray.ml" 56 1875 1878
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 54 1845 1853 "menhir-20120123/src/infiniteArray.ml" 54 1845 1854
)
"menhir-20120123/src/infiniteArray.ml" 56 1875 1877 "menhir-20120123/src/infiniteArray.ml" 56 1875 1884
type(
  'a array
)
"menhir-20120123/src/infiniteArray.ml" 56 1875 1886 "menhir-20120123/src/infiniteArray.ml" 56 1875 1887
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 54 1845 1855 "menhir-20120123/src/infiniteArray.ml" 54 1845 1856
)
"menhir-20120123/src/infiniteArray.ml" 56 1875 1892 "menhir-20120123/src/infiniteArray.ml" 56 1875 1893
type(
  'a
)
ident(
  int_ref x "menhir-20120123/src/infiniteArray.ml" 54 1845 1857 "menhir-20120123/src/infiniteArray.ml" 54 1845 1858
)
"menhir-20120123/src/infiniteArray.ml" 56 1875 1877 "menhir-20120123/src/infiniteArray.ml" 56 1875 1893
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1897 "menhir-20120123/src/infiniteArray.ml" 57 1895 1898
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 54 1845 1853 "menhir-20120123/src/infiniteArray.ml" 54 1845 1854
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1909 "menhir-20120123/src/infiniteArray.ml" 57 1895 1912
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.max "stdlib.mli" 117 5030 5030 "stdlib.mli" 117 5030 5054
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1914 "menhir-20120123/src/infiniteArray.ml" 57 1895 1915
type(
  int
)
ident(
  int_ref i "menhir-20120123/src/infiniteArray.ml" 54 1845 1855 "menhir-20120123/src/infiniteArray.ml" 54 1845 1856
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1916 "menhir-20120123/src/infiniteArray.ml" 57 1895 1917
type(
  int -> int -> int
)
ident(
  int_ref Stdlib.( + ) "stdlib.mli" 267 10384 10384 "stdlib.mli" 267 10384 10430
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1918 "menhir-20120123/src/infiniteArray.ml" 57 1895 1919
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1913 "menhir-20120123/src/infiniteArray.ml" 57 1895 1920
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1921 "menhir-20120123/src/infiniteArray.ml" 57 1895 1922
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 54 1845 1853 "menhir-20120123/src/infiniteArray.ml" 54 1845 1854
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1921 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1909 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
call(
  stack
)
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 57 1895 1897 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 56 1875 1877 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 55 1861 1863 "menhir-20120123/src/infiniteArray.ml" 57 1895 1929
type(
  unit
)
"menhir-20120123/src/infiniteArray.ml" 59 1931 1935 "menhir-20120123/src/infiniteArray.ml" 59 1931 1941
type(
  'a t -> int
)
ident(
  def extent "menhir-20120123/src/infiniteArray.ml" 62 1958 1958 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 59 1931 1942 "menhir-20120123/src/infiniteArray.ml" 59 1931 1943
type(
  'a t
)
ident(
  def a "menhir-20120123/src/infiniteArray.ml" 60 1946 1948 "menhir-20120123/src/infiniteArray.ml" 60 1946 1956
)
"menhir-20120123/src/infiniteArray.ml" 60 1946 1948 "menhir-20120123/src/infiniteArray.ml" 60 1946 1949
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 59 1931 1942 "menhir-20120123/src/infiniteArray.ml" 59 1931 1943
)
"menhir-20120123/src/infiniteArray.ml" 60 1946 1948 "menhir-20120123/src/infiniteArray.ml" 60 1946 1956
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 62 1958 1962 "menhir-20120123/src/infiniteArray.ml" 62 1958 1968
type(
  'a t -> 'a array
)
ident(
  def domain "menhir-20120123/src/infiniteArray.ml" 63 1973 2003 "menhir-20120123/src/infiniteArray.ml" 1 0 -1
)
"menhir-20120123/src/infiniteArray.ml" 62 1958 1969 "menhir-20120123/src/infiniteArray.ml" 62 1958 1970
type(
  'a t
)
ident(
  def a "menhir-20120123/src/infiniteArray.ml" 63 1973 1975 "menhir-20120123/src/infiniteArray.ml" 63 1973 2003
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1975 "menhir-20120123/src/infiniteArray.ml" 63 1973 1984
type(
  'a array -> int -> int -> 'a array
)
ident(
  int_ref Stdlib.Array.sub "array.mli" 98 4593 4593 "array.mli" 98 4593 4637
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1985 "menhir-20120123/src/infiniteArray.ml" 63 1973 1986
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 62 1958 1969 "menhir-20120123/src/infiniteArray.ml" 62 1958 1970
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1985 "menhir-20120123/src/infiniteArray.ml" 63 1973 1992
type(
  'a array
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1993 "menhir-20120123/src/infiniteArray.ml" 63 1973 1994
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1995 "menhir-20120123/src/infiniteArray.ml" 63 1973 1996
type(
  'a t
)
ident(
  int_ref a "menhir-20120123/src/infiniteArray.ml" 62 1958 1969 "menhir-20120123/src/infiniteArray.ml" 62 1958 1970
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1995 "menhir-20120123/src/infiniteArray.ml" 63 1973 2003
type(
  int
)
"menhir-20120123/src/infiniteArray.ml" 63 1973 1975 "menhir-20120123/src/infiniteArray.ml" 63 1973 2003
call(
  tail
)
type(
  'a array
)
