libre-ocaml-dev 1.6.1-2build1 / usr / lib / ocaml / re / re_glob.annot

"lib/re_glob.ml" 38 1098 1102 "lib/re_glob.ml" 38 1098 1111
type(
  string -> t
)
ident(
  def of_string "lib/re_glob.ml" 94 2211 2211 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 38 1098 1112 "lib/re_glob.ml" 38 1098 1113
type(
  string
)
ident(
  def s "lib/re_glob.ml" 38 1098 1114 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 39 1120 1126 "lib/re_glob.ml" 39 1120 1127
type(
  int ref
)
ident(
  def i "lib/re_glob.ml" 40 1139 1141 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 39 1120 1130 "lib/re_glob.ml" 39 1120 1133
type(
  int -> int ref
)
ident(
  ext_ref Pervasives.ref
)
"lib/re_glob.ml" 39 1120 1134 "lib/re_glob.ml" 39 1120 1135
type(
  int
)
"lib/re_glob.ml" 39 1120 1130 "lib/re_glob.ml" 39 1120 1135
type(
  int ref
)
"lib/re_glob.ml" 40 1139 1145 "lib/re_glob.ml" 40 1139 1146
type(
  int
)
ident(
  def l "lib/re_glob.ml" 41 1168 1170 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 40 1139 1149 "lib/re_glob.ml" 40 1139 1162
type(
  string -> int
)
ident(
  ext_ref String.length
)
"lib/re_glob.ml" 40 1139 1163 "lib/re_glob.ml" 40 1139 1164
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 38 1098 1112 "lib/re_glob.ml" 38 1098 1113
)
"lib/re_glob.ml" 40 1139 1149 "lib/re_glob.ml" 40 1139 1164
type(
  int
)
"lib/re_glob.ml" 41 1168 1174 "lib/re_glob.ml" 41 1168 1177
type(
  unit -> bool
)
ident(
  def eos "lib/re_glob.ml" 42 1193 1195 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 41 1168 1178 "lib/re_glob.ml" 41 1168 1180
type(
  unit
)
"lib/re_glob.ml" 41 1168 1183 "lib/re_glob.ml" 41 1168 1184
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/re_glob.ml" 41 1168 1184 "lib/re_glob.ml" 41 1168 1185
type(
  int ref
)
ident(
  int_ref i "lib/re_glob.ml" 39 1120 1126 "lib/re_glob.ml" 39 1120 1127
)
"lib/re_glob.ml" 41 1168 1183 "lib/re_glob.ml" 41 1168 1185
type(
  int
)
"lib/re_glob.ml" 41 1168 1186 "lib/re_glob.ml" 41 1168 1187
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/re_glob.ml" 41 1168 1188 "lib/re_glob.ml" 41 1168 1189
type(
  int
)
ident(
  int_ref l "lib/re_glob.ml" 40 1139 1145 "lib/re_glob.ml" 40 1139 1146
)
"lib/re_glob.ml" 41 1168 1183 "lib/re_glob.ml" 41 1168 1189
type(
  bool
)
"lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
type(
  char -> bool
)
ident(
  def read "lib/re_glob.ml" 48 1284 1286 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 42 1193 1204 "lib/re_glob.ml" 42 1193 1205
type(
  char
)
ident(
  def c "lib/re_glob.ml" 43 1208 1212 "lib/re_glob.ml" 45 1272 1277
)
"lib/re_glob.ml" 43 1208 1216 "lib/re_glob.ml" 43 1208 1217
type(
  bool
)
ident(
  def r "lib/re_glob.ml" 44 1250 1254 "lib/re_glob.ml" 45 1272 1277
)
"lib/re_glob.ml" 43 1208 1220 "lib/re_glob.ml" 43 1208 1223
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"lib/re_glob.ml" 43 1208 1225 "lib/re_glob.ml" 43 1208 1228
type(
  unit -> bool
)
ident(
  int_ref eos "lib/re_glob.ml" 41 1168 1174 "lib/re_glob.ml" 41 1168 1177
)
"lib/re_glob.ml" 43 1208 1229 "lib/re_glob.ml" 43 1208 1231
type(
  unit
)
"lib/re_glob.ml" 43 1208 1224 "lib/re_glob.ml" 43 1208 1232
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 43 1208 1220 "lib/re_glob.ml" 43 1208 1232
type(
  bool
)
"lib/re_glob.ml" 43 1208 1233 "lib/re_glob.ml" 43 1208 1235
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/re_glob.ml" 43 1208 1236 "lib/re_glob.ml" 43 1208 1237
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 38 1098 1112 "lib/re_glob.ml" 38 1098 1113
)
"lib/re_glob.ml" 43 1208 1239 "lib/re_glob.ml" 43 1208 1240
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/re_glob.ml" 43 1208 1240 "lib/re_glob.ml" 43 1208 1241
type(
  int ref
)
ident(
  int_ref i "lib/re_glob.ml" 39 1120 1126 "lib/re_glob.ml" 39 1120 1127
)
"lib/re_glob.ml" 43 1208 1239 "lib/re_glob.ml" 43 1208 1241
type(
  int
)
"lib/re_glob.ml" 43 1208 1236 "lib/re_glob.ml" 43 1208 1242
type(
  char
)
"lib/re_glob.ml" 43 1208 1243 "lib/re_glob.ml" 43 1208 1244
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/re_glob.ml" 43 1208 1245 "lib/re_glob.ml" 43 1208 1246
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 42 1193 1204 "lib/re_glob.ml" 42 1193 1205
)
"lib/re_glob.ml" 43 1208 1236 "lib/re_glob.ml" 43 1208 1246
type(
  bool
)
"lib/re_glob.ml" 43 1208 1220 "lib/re_glob.ml" 43 1208 1246
type(
  bool
)
"lib/re_glob.ml" 44 1250 1257 "lib/re_glob.ml" 44 1250 1258
type(
  bool
)
ident(
  int_ref r "lib/re_glob.ml" 43 1208 1216 "lib/re_glob.ml" 43 1208 1217
)
"lib/re_glob.ml" 44 1250 1264 "lib/re_glob.ml" 44 1250 1268
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/re_glob.ml" 44 1250 1269 "lib/re_glob.ml" 44 1250 1270
type(
  int ref
)
ident(
  int_ref i "lib/re_glob.ml" 39 1120 1126 "lib/re_glob.ml" 39 1120 1127
)
"lib/re_glob.ml" 44 1250 1264 "lib/re_glob.ml" 44 1250 1270
type(
  unit
)
"lib/re_glob.ml" 44 1250 1254 "lib/re_glob.ml" 44 1250 1270
type(
  unit
)
"lib/re_glob.ml" 45 1272 1276 "lib/re_glob.ml" 45 1272 1277
type(
  bool
)
ident(
  int_ref r "lib/re_glob.ml" 43 1208 1216 "lib/re_glob.ml" 43 1208 1217
)
"lib/re_glob.ml" 44 1250 1254 "lib/re_glob.ml" 45 1272 1277
type(
  bool
)
"lib/re_glob.ml" 43 1208 1212 "lib/re_glob.ml" 45 1272 1277
type(
  bool
)
"lib/re_glob.ml" 48 1284 1290 "lib/re_glob.ml" 48 1284 1294
type(
  unit -> char
)
ident(
  def char "lib/re_glob.ml" 56 1415 1417 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 48 1284 1295 "lib/re_glob.ml" 48 1284 1297
type(
  unit
)
"lib/re_glob.ml" 49 1300 1304 "lib/re_glob.ml" 49 1300 1310
type(
  bool -> unit
)
ident(
  ext_ref Pervasives.ignore
)
"lib/re_glob.ml" 49 1300 1312 "lib/re_glob.ml" 49 1300 1316
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 49 1300 1317 "lib/re_glob.ml" 49 1300 1321
type(
  char
)
"lib/re_glob.ml" 49 1300 1312 "lib/re_glob.ml" 49 1300 1321
call(
  stack
)
type(
  bool
)
type(
  bool
)
"lib/re_glob.ml" 49 1300 1304 "lib/re_glob.ml" 49 1300 1329
type(
  unit
)
"lib/re_glob.ml" 50 1331 1338 "lib/re_glob.ml" 50 1331 1341
type(
  unit -> bool
)
ident(
  int_ref eos "lib/re_glob.ml" 41 1168 1174 "lib/re_glob.ml" 41 1168 1177
)
"lib/re_glob.ml" 50 1331 1342 "lib/re_glob.ml" 50 1331 1344
type(
  unit
)
"lib/re_glob.ml" 50 1331 1338 "lib/re_glob.ml" 50 1331 1344
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 50 1331 1350 "lib/re_glob.ml" 50 1331 1355
type(
  exn -> unit
)
ident(
  ext_ref Pervasives.raise
)
"lib/re_glob.ml" 50 1331 1356 "lib/re_glob.ml" 50 1331 1367
type(
  exn
)
"lib/re_glob.ml" 50 1331 1350 "lib/re_glob.ml" 50 1331 1367
type(
  unit
)
"lib/re_glob.ml" 50 1331 1335 "lib/re_glob.ml" 50 1331 1367
type(
  unit
)
"lib/re_glob.ml" 51 1369 1377 "lib/re_glob.ml" 51 1369 1378
type(
  char
)
ident(
  def r "lib/re_glob.ml" 52 1391 1395 "lib/re_glob.ml" 53 1403 1408
)
"lib/re_glob.ml" 51 1369 1381 "lib/re_glob.ml" 51 1369 1382
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 38 1098 1112 "lib/re_glob.ml" 38 1098 1113
)
"lib/re_glob.ml" 51 1369 1384 "lib/re_glob.ml" 51 1369 1385
type(
  int ref -> int
)
ident(
  ext_ref Pervasives.( ! )
)
"lib/re_glob.ml" 51 1369 1385 "lib/re_glob.ml" 51 1369 1386
type(
  int ref
)
ident(
  int_ref i "lib/re_glob.ml" 39 1120 1126 "lib/re_glob.ml" 39 1120 1127
)
"lib/re_glob.ml" 51 1369 1384 "lib/re_glob.ml" 51 1369 1386
type(
  int
)
"lib/re_glob.ml" 51 1369 1381 "lib/re_glob.ml" 51 1369 1387
type(
  char
)
"lib/re_glob.ml" 52 1391 1395 "lib/re_glob.ml" 52 1391 1399
type(
  int ref -> unit
)
ident(
  ext_ref Pervasives.incr
)
"lib/re_glob.ml" 52 1391 1400 "lib/re_glob.ml" 52 1391 1401
type(
  int ref
)
ident(
  int_ref i "lib/re_glob.ml" 39 1120 1126 "lib/re_glob.ml" 39 1120 1127
)
"lib/re_glob.ml" 52 1391 1395 "lib/re_glob.ml" 52 1391 1401
type(
  unit
)
"lib/re_glob.ml" 53 1403 1407 "lib/re_glob.ml" 53 1403 1408
type(
  char
)
ident(
  int_ref r "lib/re_glob.ml" 51 1369 1377 "lib/re_glob.ml" 51 1369 1378
)
"lib/re_glob.ml" 52 1391 1395 "lib/re_glob.ml" 53 1403 1408
type(
  char
)
"lib/re_glob.ml" 51 1369 1373 "lib/re_glob.ml" 53 1403 1408
type(
  char
)
"lib/re_glob.ml" 50 1331 1335 "lib/re_glob.ml" 53 1403 1408
type(
  char
)
"lib/re_glob.ml" 49 1300 1304 "lib/re_glob.ml" 53 1403 1408
type(
  char
)
"lib/re_glob.ml" 56 1415 1421 "lib/re_glob.ml" 56 1415 1429
type(
  unit -> enclosed list
)
ident(
  def enclosed "lib/re_glob.ml" 74 1861 1863 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 56 1415 1430 "lib/re_glob.ml" 56 1415 1432
type(
  unit
)
"lib/re_glob.ml" 57 1451 1463 "lib/re_glob.ml" 57 1451 1467
type(
  enclosed list -> enclosed list
)
ident(
  def loop "lib/re_glob.ml" 57 1451 1455 "lib/re_glob.ml" 71 1843 1854
)
"lib/re_glob.ml" 57 1451 1468 "lib/re_glob.ml" 57 1451 1469
type(
  enclosed list
)
ident(
  def s "lib/re_glob.ml" 59 1557 1563 "lib/re_glob.ml" 69 1800 1835
)
"lib/re_glob.ml" 59 1557 1566 "lib/re_glob.ml" 59 1557 1567
type(
  enclosed list
)
ident(
  int_ref s "lib/re_glob.ml" 57 1451 1468 "lib/re_glob.ml" 57 1451 1469
)
"lib/re_glob.ml" 59 1557 1568 "lib/re_glob.ml" 59 1557 1570
type(
  enclosed list -> enclosed list -> bool
)
ident(
  ext_ref Pervasives.( <> )
)
"lib/re_glob.ml" 59 1557 1571 "lib/re_glob.ml" 59 1557 1573
type(
  enclosed list
)
"lib/re_glob.ml" 59 1557 1566 "lib/re_glob.ml" 59 1557 1573
type(
  bool
)
"lib/re_glob.ml" 59 1557 1574 "lib/re_glob.ml" 59 1557 1576
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/re_glob.ml" 59 1557 1577 "lib/re_glob.ml" 59 1557 1581
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 59 1557 1582 "lib/re_glob.ml" 59 1557 1585
type(
  char
)
"lib/re_glob.ml" 59 1557 1577 "lib/re_glob.ml" 59 1557 1585
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 59 1557 1566 "lib/re_glob.ml" 59 1557 1585
type(
  bool
)
"lib/re_glob.ml" 60 1586 1597 "lib/re_glob.ml" 60 1586 1598
type(
  enclosed list
)
ident(
  int_ref s "lib/re_glob.ml" 57 1451 1468 "lib/re_glob.ml" 57 1451 1469
)
"lib/re_glob.ml" 62 1610 1622 "lib/re_glob.ml" 62 1610 1623
type(
  char
)
ident(
  def c "lib/re_glob.ml" 63 1637 1645 "lib/re_glob.ml" 69 1800 1835
)
"lib/re_glob.ml" 62 1610 1626 "lib/re_glob.ml" 62 1610 1630
type(
  unit -> char
)
ident(
  int_ref char "lib/re_glob.ml" 48 1284 1290 "lib/re_glob.ml" 48 1284 1294
)
"lib/re_glob.ml" 62 1610 1631 "lib/re_glob.ml" 62 1610 1633
type(
  unit
)
"lib/re_glob.ml" 62 1610 1626 "lib/re_glob.ml" 62 1610 1633
call(
  stack
)
type(
  char
)
"lib/re_glob.ml" 63 1637 1648 "lib/re_glob.ml" 63 1637 1651
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"lib/re_glob.ml" 63 1637 1653 "lib/re_glob.ml" 63 1637 1657
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 63 1637 1658 "lib/re_glob.ml" 63 1637 1661
type(
  char
)
"lib/re_glob.ml" 63 1637 1652 "lib/re_glob.ml" 63 1637 1662
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 63 1637 1648 "lib/re_glob.ml" 63 1637 1662
type(
  bool
)
"lib/re_glob.ml" 64 1663 1676 "lib/re_glob.ml" 64 1663 1680
type(
  enclosed list -> enclosed list
)
ident(
  int_ref loop "lib/re_glob.ml" 57 1451 1463 "lib/re_glob.ml" 57 1451 1467
)
"lib/re_glob.ml" 64 1663 1687 "lib/re_glob.ml" 64 1663 1688
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 62 1610 1622 "lib/re_glob.ml" 62 1610 1623
)
"lib/re_glob.ml" 64 1663 1682 "lib/re_glob.ml" 64 1663 1688
type(
  enclosed
)
"lib/re_glob.ml" 64 1663 1692 "lib/re_glob.ml" 64 1663 1693
type(
  enclosed list
)
ident(
  int_ref s "lib/re_glob.ml" 57 1451 1468 "lib/re_glob.ml" 57 1451 1469
)
"lib/re_glob.ml" 64 1663 1681 "lib/re_glob.ml" 64 1663 1694
type(
  enclosed list
)
"lib/re_glob.ml" 64 1663 1676 "lib/re_glob.ml" 64 1663 1694
call(
  tail
)
type(
  enclosed list
)
"lib/re_glob.ml" 65 1695 1711 "lib/re_glob.ml" 65 1695 1715
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 65 1695 1716 "lib/re_glob.ml" 65 1695 1719
type(
  char
)
"lib/re_glob.ml" 65 1695 1711 "lib/re_glob.ml" 65 1695 1719
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 66 1720 1738 "lib/re_glob.ml" 66 1720 1739
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 62 1610 1622 "lib/re_glob.ml" 62 1610 1623
)
"lib/re_glob.ml" 66 1720 1733 "lib/re_glob.ml" 66 1720 1739
type(
  enclosed
)
"lib/re_glob.ml" 66 1720 1748 "lib/re_glob.ml" 66 1720 1751
type(
  char
)
"lib/re_glob.ml" 66 1720 1743 "lib/re_glob.ml" 66 1720 1751
type(
  enclosed
)
"lib/re_glob.ml" 66 1720 1755 "lib/re_glob.ml" 66 1720 1756
type(
  enclosed list
)
ident(
  int_ref s "lib/re_glob.ml" 57 1451 1468 "lib/re_glob.ml" 57 1451 1469
)
"lib/re_glob.ml" 66 1720 1743 "lib/re_glob.ml" 66 1720 1756
type(
  enclosed list
)
"lib/re_glob.ml" 66 1720 1733 "lib/re_glob.ml" 66 1720 1756
type(
  enclosed list
)
"lib/re_glob.ml" 68 1770 1784 "lib/re_glob.ml" 68 1770 1786
type(
  char
)
ident(
  def c' "lib/re_glob.ml" 69 1800 1810 "lib/re_glob.ml" 69 1800 1835
)
"lib/re_glob.ml" 68 1770 1789 "lib/re_glob.ml" 68 1770 1793
type(
  unit -> char
)
ident(
  int_ref char "lib/re_glob.ml" 48 1284 1290 "lib/re_glob.ml" 48 1284 1294
)
"lib/re_glob.ml" 68 1770 1794 "lib/re_glob.ml" 68 1770 1796
type(
  unit
)
"lib/re_glob.ml" 68 1770 1789 "lib/re_glob.ml" 68 1770 1796
call(
  stack
)
type(
  char
)
"lib/re_glob.ml" 69 1800 1810 "lib/re_glob.ml" 69 1800 1814
type(
  enclosed list -> enclosed list
)
ident(
  int_ref loop "lib/re_glob.ml" 57 1451 1463 "lib/re_glob.ml" 57 1451 1467
)
"lib/re_glob.ml" 69 1800 1823 "lib/re_glob.ml" 69 1800 1824
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 62 1610 1622 "lib/re_glob.ml" 62 1610 1623
)
"lib/re_glob.ml" 69 1800 1826 "lib/re_glob.ml" 69 1800 1828
type(
  char
)
ident(
  int_ref c' "lib/re_glob.ml" 68 1770 1784 "lib/re_glob.ml" 68 1770 1786
)
"lib/re_glob.ml" 69 1800 1816 "lib/re_glob.ml" 69 1800 1829
type(
  enclosed
)
"lib/re_glob.ml" 69 1800 1833 "lib/re_glob.ml" 69 1800 1834
type(
  enclosed list
)
ident(
  int_ref s "lib/re_glob.ml" 57 1451 1468 "lib/re_glob.ml" 57 1451 1469
)
"lib/re_glob.ml" 69 1800 1815 "lib/re_glob.ml" 69 1800 1835
type(
  enclosed list
)
"lib/re_glob.ml" 69 1800 1810 "lib/re_glob.ml" 69 1800 1835
call(
  tail
)
type(
  enclosed list
)
"lib/re_glob.ml" 68 1770 1780 "lib/re_glob.ml" 69 1800 1835
type(
  enclosed list
)
"lib/re_glob.ml" 65 1695 1708 "lib/re_glob.ml" 69 1800 1835
type(
  enclosed list
)
"lib/re_glob.ml" 63 1637 1645 "lib/re_glob.ml" 69 1800 1835
type(
  enclosed list
)
"lib/re_glob.ml" 62 1610 1618 "lib/re_glob.ml" 69 1800 1835
type(
  enclosed list
)
"lib/re_glob.ml" 59 1557 1563 "lib/re_glob.ml" 69 1800 1835
type(
  enclosed list
)
"lib/re_glob.ml" 71 1843 1847 "lib/re_glob.ml" 71 1843 1851
type(
  enclosed list -> enclosed list
)
ident(
  int_ref loop "lib/re_glob.ml" 57 1451 1463 "lib/re_glob.ml" 57 1451 1467
)
"lib/re_glob.ml" 71 1843 1852 "lib/re_glob.ml" 71 1843 1854
type(
  enclosed list
)
"lib/re_glob.ml" 71 1843 1847 "lib/re_glob.ml" 71 1843 1854
call(
  tail
)
type(
  enclosed list
)
"lib/re_glob.ml" 57 1451 1455 "lib/re_glob.ml" 71 1843 1854
type(
  enclosed list
)
type(
  enclosed list
)
"lib/re_glob.ml" 74 1861 1867 "lib/re_glob.ml" 74 1861 1872
type(
  unit -> piece
)
ident(
  def piece "lib/re_glob.ml" 86 2096 2098 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 74 1861 1873 "lib/re_glob.ml" 74 1861 1875
type(
  unit
)
"lib/re_glob.ml" 75 1878 1885 "lib/re_glob.ml" 75 1878 1889
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 75 1878 1890 "lib/re_glob.ml" 75 1878 1893
type(
  char
)
"lib/re_glob.ml" 75 1878 1885 "lib/re_glob.ml" 75 1878 1893
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 76 1894 1903 "lib/re_glob.ml" 76 1894 1907
type(
  piece
)
"lib/re_glob.ml" 77 1908 1920 "lib/re_glob.ml" 77 1908 1924
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 77 1908 1925 "lib/re_glob.ml" 77 1908 1928
type(
  char
)
"lib/re_glob.ml" 77 1908 1920 "lib/re_glob.ml" 77 1908 1928
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 78 1929 1938 "lib/re_glob.ml" 78 1929 1941
type(
  piece
)
"lib/re_glob.ml" 79 1942 1954 "lib/re_glob.ml" 79 1942 1957
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"lib/re_glob.ml" 79 1942 1959 "lib/re_glob.ml" 79 1942 1963
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 79 1942 1964 "lib/re_glob.ml" 79 1942 1967
type(
  char
)
"lib/re_glob.ml" 79 1942 1958 "lib/re_glob.ml" 79 1942 1968
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 79 1942 1954 "lib/re_glob.ml" 79 1942 1968
type(
  bool
)
"lib/re_glob.ml" 80 1969 1987 "lib/re_glob.ml" 80 1969 1991
type(
  unit -> char
)
ident(
  int_ref char "lib/re_glob.ml" 48 1284 1290 "lib/re_glob.ml" 48 1284 1294
)
"lib/re_glob.ml" 80 1969 1992 "lib/re_glob.ml" 80 1969 1994
type(
  unit
)
"lib/re_glob.ml" 80 1969 1986 "lib/re_glob.ml" 80 1969 1995
call(
  stack
)
type(
  char
)
"lib/re_glob.ml" 80 1969 1978 "lib/re_glob.ml" 80 1969 1995
type(
  piece
)
"lib/re_glob.ml" 81 1996 2008 "lib/re_glob.ml" 81 1996 2012
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 81 1996 2013 "lib/re_glob.ml" 81 1996 2016
type(
  char
)
"lib/re_glob.ml" 81 1996 2008 "lib/re_glob.ml" 81 1996 2016
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 81 1996 2017 "lib/re_glob.ml" 81 1996 2019
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"lib/re_glob.ml" 81 1996 2020 "lib/re_glob.ml" 81 1996 2024
type(
  char -> bool
)
ident(
  int_ref read "lib/re_glob.ml" 42 1193 1199 "lib/re_glob.ml" 42 1193 1203
)
"lib/re_glob.ml" 81 1996 2025 "lib/re_glob.ml" 81 1996 2028
type(
  char
)
"lib/re_glob.ml" 81 1996 2020 "lib/re_glob.ml" 81 1996 2028
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 81 1996 2008 "lib/re_glob.ml" 81 1996 2028
type(
  bool
)
"lib/re_glob.ml" 82 2029 2047 "lib/re_glob.ml" 82 2029 2055
type(
  unit -> enclosed list
)
ident(
  int_ref enclosed "lib/re_glob.ml" 56 1415 1421 "lib/re_glob.ml" 56 1415 1429
)
"lib/re_glob.ml" 82 2029 2056 "lib/re_glob.ml" 82 2029 2058
type(
  unit
)
"lib/re_glob.ml" 82 2029 2046 "lib/re_glob.ml" 82 2029 2059
call(
  stack
)
type(
  enclosed list
)
"lib/re_glob.ml" 82 2029 2038 "lib/re_glob.ml" 82 2029 2059
type(
  piece
)
"lib/re_glob.ml" 83 2060 2077 "lib/re_glob.ml" 83 2060 2085
type(
  unit -> enclosed list
)
ident(
  int_ref enclosed "lib/re_glob.ml" 56 1415 1421 "lib/re_glob.ml" 56 1415 1429
)
"lib/re_glob.ml" 83 2060 2086 "lib/re_glob.ml" 83 2060 2088
type(
  unit
)
"lib/re_glob.ml" 83 2060 2076 "lib/re_glob.ml" 83 2060 2089
call(
  stack
)
type(
  enclosed list
)
"lib/re_glob.ml" 83 2060 2069 "lib/re_glob.ml" 83 2060 2089
type(
  piece
)
"lib/re_glob.ml" 81 1996 2005 "lib/re_glob.ml" 83 2060 2089
type(
  piece
)
"lib/re_glob.ml" 79 1942 1951 "lib/re_glob.ml" 83 2060 2089
type(
  piece
)
"lib/re_glob.ml" 77 1908 1917 "lib/re_glob.ml" 83 2060 2089
type(
  piece
)
"lib/re_glob.ml" 75 1878 1882 "lib/re_glob.ml" 83 2060 2089
type(
  piece
)
"lib/re_glob.ml" 86 2096 2106 "lib/re_glob.ml" 86 2096 2110
type(
  piece list -> piece list
)
ident(
  def loop "lib/re_glob.ml" 86 2096 2098 "lib/re_glob.ml" 92 2200 2209
)
"lib/re_glob.ml" 86 2096 2111 "lib/re_glob.ml" 86 2096 2117
type(
  piece list
)
ident(
  def pieces "lib/re_glob.ml" 87 2120 2124 "lib/re_glob.ml" 89 2159 2193
)
"lib/re_glob.ml" 87 2120 2127 "lib/re_glob.ml" 87 2120 2130
type(
  unit -> bool
)
ident(
  int_ref eos "lib/re_glob.ml" 41 1168 1174 "lib/re_glob.ml" 41 1168 1177
)
"lib/re_glob.ml" 87 2120 2131 "lib/re_glob.ml" 87 2120 2133
type(
  unit
)
"lib/re_glob.ml" 87 2120 2127 "lib/re_glob.ml" 87 2120 2133
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 88 2134 2143 "lib/re_glob.ml" 88 2134 2151
type(
  piece list -> piece list
)
ident(
  ext_ref List.rev
)
"lib/re_glob.ml" 88 2134 2152 "lib/re_glob.ml" 88 2134 2158
type(
  piece list
)
ident(
  int_ref pieces "lib/re_glob.ml" 86 2096 2111 "lib/re_glob.ml" 86 2096 2117
)
"lib/re_glob.ml" 88 2134 2143 "lib/re_glob.ml" 88 2134 2158
call(
  tail
)
type(
  piece list
)
"lib/re_glob.ml" 89 2159 2168 "lib/re_glob.ml" 89 2159 2172
type(
  piece list -> piece list
)
ident(
  int_ref loop "lib/re_glob.ml" 86 2096 2106 "lib/re_glob.ml" 86 2096 2110
)
"lib/re_glob.ml" 89 2159 2174 "lib/re_glob.ml" 89 2159 2179
type(
  unit -> piece
)
ident(
  int_ref piece "lib/re_glob.ml" 74 1861 1867 "lib/re_glob.ml" 74 1861 1872
)
"lib/re_glob.ml" 89 2159 2180 "lib/re_glob.ml" 89 2159 2182
type(
  unit
)
"lib/re_glob.ml" 89 2159 2174 "lib/re_glob.ml" 89 2159 2182
call(
  stack
)
type(
  piece
)
"lib/re_glob.ml" 89 2159 2186 "lib/re_glob.ml" 89 2159 2192
type(
  piece list
)
ident(
  int_ref pieces "lib/re_glob.ml" 86 2096 2111 "lib/re_glob.ml" 86 2096 2117
)
"lib/re_glob.ml" 89 2159 2173 "lib/re_glob.ml" 89 2159 2193
type(
  piece list
)
"lib/re_glob.ml" 89 2159 2168 "lib/re_glob.ml" 89 2159 2193
call(
  tail
)
type(
  piece list
)
"lib/re_glob.ml" 87 2120 2124 "lib/re_glob.ml" 89 2159 2193
type(
  piece list
)
"lib/re_glob.ml" 92 2200 2202 "lib/re_glob.ml" 92 2200 2206
type(
  piece list -> t
)
ident(
  int_ref loop "lib/re_glob.ml" 86 2096 2106 "lib/re_glob.ml" 86 2096 2110
)
"lib/re_glob.ml" 92 2200 2207 "lib/re_glob.ml" 92 2200 2209
type(
  piece list
)
"lib/re_glob.ml" 92 2200 2202 "lib/re_glob.ml" 92 2200 2209
call(
  tail
)
type(
  t
)
"lib/re_glob.ml" 86 2096 2098 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 74 1861 1863 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 56 1415 1417 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 48 1284 1286 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 42 1193 1195 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 41 1168 1170 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 40 1139 1141 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
"lib/re_glob.ml" 39 1120 1122 "lib/re_glob.ml" 92 2200 2209
type(
  t
)
type(
  t
)
"lib/re_glob.ml" 94 2211 2215 "lib/re_glob.ml" 94 2211 2218
type(
  string list -> string list -> string list
)
ident(
  def mul "lib/re_glob.ml" 97 2297 2297 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 94 2211 2219 "lib/re_glob.ml" 94 2211 2220
type(
  string list
)
ident(
  def l "lib/re_glob.ml" 94 2211 2221 "lib/re_glob.ml" 95 2226 2295
)
"lib/re_glob.ml" 94 2211 2221 "lib/re_glob.ml" 94 2211 2223
type(
  string list
)
ident(
  def l' "lib/re_glob.ml" 95 2226 2228 "lib/re_glob.ml" 95 2226 2295
)
"lib/re_glob.ml" 95 2226 2228 "lib/re_glob.ml" 95 2226 2240
type(
  string list list -> string list
)
ident(
  ext_ref List.flatten
)
"lib/re_glob.ml" 95 2226 2242 "lib/re_glob.ml" 95 2226 2250
type(
  (string -> string list) -> string list -> string list list
)
ident(
  ext_ref List.map
)
"lib/re_glob.ml" 95 2226 2256 "lib/re_glob.ml" 95 2226 2257
type(
  string
)
ident(
  def s "lib/re_glob.ml" 95 2226 2261 "lib/re_glob.ml" 95 2226 2291
)
"lib/re_glob.ml" 95 2226 2261 "lib/re_glob.ml" 95 2226 2269
type(
  (string -> string) -> string list -> string list
)
ident(
  ext_ref List.map
)
"lib/re_glob.ml" 95 2226 2275 "lib/re_glob.ml" 95 2226 2277
type(
  string
)
ident(
  def s' "lib/re_glob.ml" 95 2226 2281 "lib/re_glob.ml" 95 2226 2287
)
"lib/re_glob.ml" 95 2226 2281 "lib/re_glob.ml" 95 2226 2282
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 95 2226 2256 "lib/re_glob.ml" 95 2226 2257
)
"lib/re_glob.ml" 95 2226 2283 "lib/re_glob.ml" 95 2226 2284
type(
  string -> string -> string
)
ident(
  ext_ref Pervasives.( ^ )
)
"lib/re_glob.ml" 95 2226 2285 "lib/re_glob.ml" 95 2226 2287
type(
  string
)
ident(
  int_ref s' "lib/re_glob.ml" 95 2226 2275 "lib/re_glob.ml" 95 2226 2277
)
"lib/re_glob.ml" 95 2226 2281 "lib/re_glob.ml" 95 2226 2287
call(
  tail
)
type(
  string
)
"lib/re_glob.ml" 95 2226 2270 "lib/re_glob.ml" 95 2226 2288
type(
  string -> string
)
"lib/re_glob.ml" 95 2226 2289 "lib/re_glob.ml" 95 2226 2291
type(
  string list
)
ident(
  int_ref l' "lib/re_glob.ml" 94 2211 2221 "lib/re_glob.ml" 94 2211 2223
)
"lib/re_glob.ml" 95 2226 2261 "lib/re_glob.ml" 95 2226 2291
call(
  tail
)
type(
  string list
)
"lib/re_glob.ml" 95 2226 2251 "lib/re_glob.ml" 95 2226 2292
type(
  string -> string list
)
"lib/re_glob.ml" 95 2226 2293 "lib/re_glob.ml" 95 2226 2294
type(
  string list
)
ident(
  int_ref l "lib/re_glob.ml" 94 2211 2219 "lib/re_glob.ml" 94 2211 2220
)
"lib/re_glob.ml" 95 2226 2241 "lib/re_glob.ml" 95 2226 2295
call(
  stack
)
type(
  string list list
)
"lib/re_glob.ml" 95 2226 2228 "lib/re_glob.ml" 95 2226 2295
call(
  tail
)
type(
  string list
)
"lib/re_glob.ml" 97 2297 2301 "lib/re_glob.ml" 97 2297 2308
type(
  string -> string list
)
ident(
  def explode "lib/re_glob.ml" 120 3033 3033 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
type(
  string
)
ident(
  def str "lib/re_glob.ml" 98 2315 2317 "lib/re_glob.ml" 118 2990 3031
)
"lib/re_glob.ml" 98 2315 2321 "lib/re_glob.ml" 98 2315 2322
type(
  int
)
ident(
  def l "lib/re_glob.ml" 99 2346 2348 "lib/re_glob.ml" 118 2990 3031
)
"lib/re_glob.ml" 98 2315 2325 "lib/re_glob.ml" 98 2315 2338
type(
  string -> int
)
ident(
  ext_ref String.length
)
"lib/re_glob.ml" 98 2315 2339 "lib/re_glob.ml" 98 2315 2342
type(
  string
)
ident(
  int_ref str "lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
)
"lib/re_glob.ml" 98 2315 2325 "lib/re_glob.ml" 98 2315 2342
type(
  int
)
"lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  def expl "lib/re_glob.ml" 99 2346 2348 "lib/re_glob.ml" 118 2990 3031
)
"lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
type(
  bool
)
ident(
  def inner "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 116 2948 2984
)
"lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
type(
  int
)
ident(
  def s "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 116 2948 2984
)
"lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
type(
  int
)
ident(
  def i "lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 116 2948 2984
)
"lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 99 2346 2374
type(
  string list
)
ident(
  def acc "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 116 2948 2984
)
"lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
type(
  string list
)
ident(
  def beg "lib/re_glob.ml" 100 2381 2385 "lib/re_glob.ml" 116 2948 2984
)
"lib/re_glob.ml" 100 2381 2388 "lib/re_glob.ml" 100 2381 2389
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 100 2381 2390 "lib/re_glob.ml" 100 2381 2392
type(
  int -> int -> bool
)
ident(
  ext_ref Pervasives.( >= )
)
"lib/re_glob.ml" 100 2381 2393 "lib/re_glob.ml" 100 2381 2394
type(
  int
)
ident(
  int_ref l "lib/re_glob.ml" 98 2315 2321 "lib/re_glob.ml" 98 2315 2322
)
"lib/re_glob.ml" 100 2381 2388 "lib/re_glob.ml" 100 2381 2394
type(
  bool
)
"lib/re_glob.ml" 101 2406 2415 "lib/re_glob.ml" 101 2406 2420
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 101 2406 2426 "lib/re_glob.ml" 101 2406 2431
type(
  exn -> unit
)
ident(
  ext_ref Pervasives.raise
)
"lib/re_glob.ml" 101 2406 2432 "lib/re_glob.ml" 101 2406 2443
type(
  exn
)
"lib/re_glob.ml" 101 2406 2426 "lib/re_glob.ml" 101 2406 2443
type(
  unit
)
"lib/re_glob.ml" 101 2406 2412 "lib/re_glob.ml" 101 2406 2443
type(
  unit
)
"lib/re_glob.ml" 102 2445 2452 "lib/re_glob.ml" 102 2445 2455
type(
  string list -> string list -> string list
)
ident(
  int_ref mul "lib/re_glob.ml" 94 2211 2215 "lib/re_glob.ml" 94 2211 2218
)
"lib/re_glob.ml" 102 2445 2456 "lib/re_glob.ml" 102 2445 2459
type(
  string list
)
ident(
  int_ref beg "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
)
"lib/re_glob.ml" 102 2445 2461 "lib/re_glob.ml" 102 2445 2471
type(
  string -> int -> int -> string
)
ident(
  ext_ref String.sub
)
"lib/re_glob.ml" 102 2445 2472 "lib/re_glob.ml" 102 2445 2475
type(
  string
)
ident(
  int_ref str "lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
)
"lib/re_glob.ml" 102 2445 2476 "lib/re_glob.ml" 102 2445 2477
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 102 2445 2479 "lib/re_glob.ml" 102 2445 2480
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 102 2445 2481 "lib/re_glob.ml" 102 2445 2482
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/re_glob.ml" 102 2445 2483 "lib/re_glob.ml" 102 2445 2484
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 102 2445 2478 "lib/re_glob.ml" 102 2445 2485
type(
  int
)
"lib/re_glob.ml" 102 2445 2461 "lib/re_glob.ml" 102 2445 2485
call(
  stack
)
type(
  string
)
"lib/re_glob.ml" 102 2445 2460 "lib/re_glob.ml" 102 2445 2486
type(
  string list
)
"lib/re_glob.ml" 102 2445 2452 "lib/re_glob.ml" 102 2445 2486
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 102 2445 2488 "lib/re_glob.ml" 102 2445 2489
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 102 2445 2451 "lib/re_glob.ml" 102 2445 2490
type(
  string list * int
)
"lib/re_glob.ml" 100 2381 2400 "lib/re_glob.ml" 103 2491 2498
type(
  string list * int
)
"lib/re_glob.ml" 104 2504 2516 "lib/re_glob.ml" 104 2504 2519
type(
  string
)
ident(
  int_ref str "lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
)
"lib/re_glob.ml" 104 2504 2521 "lib/re_glob.ml" 104 2504 2522
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 104 2504 2516 "lib/re_glob.ml" 104 2504 2523
type(
  char
)
"lib/re_glob.ml" 105 2529 2537 "lib/re_glob.ml" 105 2529 2541
type(
  char
)
"lib/re_glob.ml" 105 2529 2545 "lib/re_glob.ml" 105 2529 2549
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  int_ref expl "lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
)
"lib/re_glob.ml" 105 2529 2550 "lib/re_glob.ml" 105 2529 2555
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 105 2529 2556 "lib/re_glob.ml" 105 2529 2557
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 105 2529 2559 "lib/re_glob.ml" 105 2529 2560
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 105 2529 2561 "lib/re_glob.ml" 105 2529 2562
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 105 2529 2563 "lib/re_glob.ml" 105 2529 2564
type(
  int
)
"lib/re_glob.ml" 105 2529 2558 "lib/re_glob.ml" 105 2529 2565
type(
  int
)
"lib/re_glob.ml" 105 2529 2566 "lib/re_glob.ml" 105 2529 2569
type(
  string list
)
ident(
  int_ref acc "lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 99 2346 2374
)
"lib/re_glob.ml" 105 2529 2570 "lib/re_glob.ml" 105 2529 2573
type(
  string list
)
ident(
  int_ref beg "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
)
"lib/re_glob.ml" 105 2529 2545 "lib/re_glob.ml" 105 2529 2573
call(
  tail
)
type(
  string list * int
)
"lib/re_glob.ml" 106 2574 2582 "lib/re_glob.ml" 106 2574 2585
type(
  char
)
"lib/re_glob.ml" 107 2589 2602 "lib/re_glob.ml" 107 2589 2603
type(
  string list
)
ident(
  def t "lib/re_glob.ml" 108 2648 2656 "lib/re_glob.ml" 109 2677 2731
)
"lib/re_glob.ml" 107 2589 2605 "lib/re_glob.ml" 107 2589 2607
type(
  int
)
ident(
  def i' "lib/re_glob.ml" 108 2648 2656 "lib/re_glob.ml" 109 2677 2731
)
"lib/re_glob.ml" 107 2589 2601 "lib/re_glob.ml" 107 2589 2608
type(
  string list * int
)
"lib/re_glob.ml" 107 2589 2611 "lib/re_glob.ml" 107 2589 2615
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  int_ref expl "lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
)
"lib/re_glob.ml" 107 2589 2616 "lib/re_glob.ml" 107 2589 2620
type(
  bool
)
"lib/re_glob.ml" 107 2589 2622 "lib/re_glob.ml" 107 2589 2623
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 107 2589 2624 "lib/re_glob.ml" 107 2589 2625
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 107 2589 2626 "lib/re_glob.ml" 107 2589 2627
type(
  int
)
"lib/re_glob.ml" 107 2589 2621 "lib/re_glob.ml" 107 2589 2628
type(
  int
)
"lib/re_glob.ml" 107 2589 2630 "lib/re_glob.ml" 107 2589 2631
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 107 2589 2632 "lib/re_glob.ml" 107 2589 2633
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 107 2589 2634 "lib/re_glob.ml" 107 2589 2635
type(
  int
)
"lib/re_glob.ml" 107 2589 2629 "lib/re_glob.ml" 107 2589 2636
type(
  int
)
"lib/re_glob.ml" 107 2589 2637 "lib/re_glob.ml" 107 2589 2639
type(
  string list
)
"lib/re_glob.ml" 107 2589 2641 "lib/re_glob.ml" 107 2589 2643
type(
  string
)
"lib/re_glob.ml" 107 2589 2640 "lib/re_glob.ml" 107 2589 2644
type(
  string list
)
"lib/re_glob.ml" 107 2589 2611 "lib/re_glob.ml" 107 2589 2644
call(
  stack
)
type(
  string list * int
)
"lib/re_glob.ml" 108 2648 2656 "lib/re_glob.ml" 108 2648 2660
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  int_ref expl "lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
)
"lib/re_glob.ml" 108 2648 2661 "lib/re_glob.ml" 108 2648 2666
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 108 2648 2667 "lib/re_glob.ml" 108 2648 2669
type(
  int
)
ident(
  int_ref i' "lib/re_glob.ml" 107 2589 2605 "lib/re_glob.ml" 107 2589 2607
)
"lib/re_glob.ml" 108 2648 2670 "lib/re_glob.ml" 108 2648 2672
type(
  int
)
ident(
  int_ref i' "lib/re_glob.ml" 107 2589 2605 "lib/re_glob.ml" 107 2589 2607
)
"lib/re_glob.ml" 108 2648 2673 "lib/re_glob.ml" 108 2648 2676
type(
  string list
)
ident(
  int_ref acc "lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 99 2346 2374
)
"lib/re_glob.ml" 109 2677 2688 "lib/re_glob.ml" 109 2677 2691
type(
  string list -> string list -> string list
)
ident(
  int_ref mul "lib/re_glob.ml" 94 2211 2215 "lib/re_glob.ml" 94 2211 2218
)
"lib/re_glob.ml" 109 2677 2692 "lib/re_glob.ml" 109 2677 2695
type(
  string list
)
ident(
  int_ref beg "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
)
"lib/re_glob.ml" 109 2677 2697 "lib/re_glob.ml" 109 2677 2700
type(
  string list -> string list -> string list
)
ident(
  int_ref mul "lib/re_glob.ml" 94 2211 2215 "lib/re_glob.ml" 94 2211 2218
)
"lib/re_glob.ml" 109 2677 2702 "lib/re_glob.ml" 109 2677 2712
type(
  string -> int -> int -> string
)
ident(
  ext_ref String.sub
)
"lib/re_glob.ml" 109 2677 2713 "lib/re_glob.ml" 109 2677 2716
type(
  string
)
ident(
  int_ref str "lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
)
"lib/re_glob.ml" 109 2677 2717 "lib/re_glob.ml" 109 2677 2718
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 109 2677 2720 "lib/re_glob.ml" 109 2677 2721
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 109 2677 2722 "lib/re_glob.ml" 109 2677 2723
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/re_glob.ml" 109 2677 2724 "lib/re_glob.ml" 109 2677 2725
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 109 2677 2719 "lib/re_glob.ml" 109 2677 2726
type(
  int
)
"lib/re_glob.ml" 109 2677 2702 "lib/re_glob.ml" 109 2677 2726
call(
  stack
)
type(
  string
)
"lib/re_glob.ml" 109 2677 2701 "lib/re_glob.ml" 109 2677 2727
type(
  string list
)
"lib/re_glob.ml" 109 2677 2728 "lib/re_glob.ml" 109 2677 2729
type(
  string list
)
ident(
  int_ref t "lib/re_glob.ml" 107 2589 2602 "lib/re_glob.ml" 107 2589 2603
)
"lib/re_glob.ml" 109 2677 2696 "lib/re_glob.ml" 109 2677 2730
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 109 2677 2687 "lib/re_glob.ml" 109 2677 2731
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 108 2648 2656 "lib/re_glob.ml" 109 2677 2731
call(
  tail
)
type(
  string list * int
)
"lib/re_glob.ml" 107 2589 2597 "lib/re_glob.ml" 109 2677 2731
type(
  string list * int
)
"lib/re_glob.ml" 110 2732 2740 "lib/re_glob.ml" 110 2732 2743
type(
  char
)
"lib/re_glob.ml" 110 2732 2749 "lib/re_glob.ml" 110 2732 2754
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 111 2758 2766 "lib/re_glob.ml" 111 2758 2770
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  int_ref expl "lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
)
"lib/re_glob.ml" 111 2758 2771 "lib/re_glob.ml" 111 2758 2776
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 111 2758 2778 "lib/re_glob.ml" 111 2758 2779
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 111 2758 2780 "lib/re_glob.ml" 111 2758 2781
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 111 2758 2782 "lib/re_glob.ml" 111 2758 2783
type(
  int
)
"lib/re_glob.ml" 111 2758 2777 "lib/re_glob.ml" 111 2758 2784
type(
  int
)
"lib/re_glob.ml" 111 2758 2786 "lib/re_glob.ml" 111 2758 2787
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 111 2758 2788 "lib/re_glob.ml" 111 2758 2789
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 111 2758 2790 "lib/re_glob.ml" 111 2758 2791
type(
  int
)
"lib/re_glob.ml" 111 2758 2785 "lib/re_glob.ml" 111 2758 2792
type(
  int
)
"lib/re_glob.ml" 112 2793 2804 "lib/re_glob.ml" 112 2793 2807
type(
  string list -> string list -> string list
)
ident(
  int_ref mul "lib/re_glob.ml" 94 2211 2215 "lib/re_glob.ml" 94 2211 2218
)
"lib/re_glob.ml" 112 2793 2808 "lib/re_glob.ml" 112 2793 2811
type(
  string list
)
ident(
  int_ref beg "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
)
"lib/re_glob.ml" 112 2793 2813 "lib/re_glob.ml" 112 2793 2823
type(
  string -> int -> int -> string
)
ident(
  ext_ref String.sub
)
"lib/re_glob.ml" 112 2793 2824 "lib/re_glob.ml" 112 2793 2827
type(
  string
)
ident(
  int_ref str "lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
)
"lib/re_glob.ml" 112 2793 2828 "lib/re_glob.ml" 112 2793 2829
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 112 2793 2831 "lib/re_glob.ml" 112 2793 2832
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 112 2793 2833 "lib/re_glob.ml" 112 2793 2834
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/re_glob.ml" 112 2793 2835 "lib/re_glob.ml" 112 2793 2836
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 112 2793 2830 "lib/re_glob.ml" 112 2793 2837
type(
  int
)
"lib/re_glob.ml" 112 2793 2813 "lib/re_glob.ml" 112 2793 2837
call(
  stack
)
type(
  string
)
"lib/re_glob.ml" 112 2793 2812 "lib/re_glob.ml" 112 2793 2838
type(
  string list
)
"lib/re_glob.ml" 112 2793 2804 "lib/re_glob.ml" 112 2793 2838
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 112 2793 2839 "lib/re_glob.ml" 112 2793 2840
type(
  string list -> string list -> string list
)
ident(
  ext_ref Pervasives.( @ )
)
"lib/re_glob.ml" 112 2793 2841 "lib/re_glob.ml" 112 2793 2844
type(
  string list
)
ident(
  int_ref acc "lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 99 2346 2374
)
"lib/re_glob.ml" 112 2793 2803 "lib/re_glob.ml" 112 2793 2845
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 112 2793 2847 "lib/re_glob.ml" 112 2793 2849
type(
  string
)
"lib/re_glob.ml" 112 2793 2846 "lib/re_glob.ml" 112 2793 2850
type(
  string list
)
"lib/re_glob.ml" 111 2758 2766 "lib/re_glob.ml" 112 2793 2850
call(
  tail
)
type(
  string list * int
)
"lib/re_glob.ml" 113 2851 2859 "lib/re_glob.ml" 113 2851 2862
type(
  char
)
"lib/re_glob.ml" 113 2851 2868 "lib/re_glob.ml" 113 2851 2873
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 114 2877 2886 "lib/re_glob.ml" 114 2877 2889
type(
  string list -> string list -> string list
)
ident(
  int_ref mul "lib/re_glob.ml" 94 2211 2215 "lib/re_glob.ml" 94 2211 2218
)
"lib/re_glob.ml" 114 2877 2890 "lib/re_glob.ml" 114 2877 2893
type(
  string list
)
ident(
  int_ref beg "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
)
"lib/re_glob.ml" 114 2877 2895 "lib/re_glob.ml" 114 2877 2905
type(
  string -> int -> int -> string
)
ident(
  ext_ref String.sub
)
"lib/re_glob.ml" 114 2877 2906 "lib/re_glob.ml" 114 2877 2909
type(
  string
)
ident(
  int_ref str "lib/re_glob.ml" 97 2297 2309 "lib/re_glob.ml" 97 2297 2312
)
"lib/re_glob.ml" 114 2877 2910 "lib/re_glob.ml" 114 2877 2911
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 114 2877 2913 "lib/re_glob.ml" 114 2877 2914
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 114 2877 2915 "lib/re_glob.ml" 114 2877 2916
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( - )
)
"lib/re_glob.ml" 114 2877 2917 "lib/re_glob.ml" 114 2877 2918
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 114 2877 2912 "lib/re_glob.ml" 114 2877 2919
type(
  int
)
"lib/re_glob.ml" 114 2877 2895 "lib/re_glob.ml" 114 2877 2919
call(
  stack
)
type(
  string
)
"lib/re_glob.ml" 114 2877 2894 "lib/re_glob.ml" 114 2877 2920
type(
  string list
)
"lib/re_glob.ml" 114 2877 2886 "lib/re_glob.ml" 114 2877 2920
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 114 2877 2921 "lib/re_glob.ml" 114 2877 2922
type(
  string list -> string list -> string list
)
ident(
  ext_ref Pervasives.( @ )
)
"lib/re_glob.ml" 114 2877 2923 "lib/re_glob.ml" 114 2877 2926
type(
  string list
)
ident(
  int_ref acc "lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 99 2346 2374
)
"lib/re_glob.ml" 114 2877 2886 "lib/re_glob.ml" 114 2877 2926
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 114 2877 2928 "lib/re_glob.ml" 114 2877 2929
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 114 2877 2930 "lib/re_glob.ml" 114 2877 2931
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 114 2877 2932 "lib/re_glob.ml" 114 2877 2933
type(
  int
)
"lib/re_glob.ml" 114 2877 2928 "lib/re_glob.ml" 114 2877 2933
type(
  int
)
"lib/re_glob.ml" 114 2877 2885 "lib/re_glob.ml" 114 2877 2934
type(
  string list * int
)
"lib/re_glob.ml" 115 2935 2943 "lib/re_glob.ml" 115 2935 2944
type(
  char
)
"lib/re_glob.ml" 116 2948 2956 "lib/re_glob.ml" 116 2948 2960
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  int_ref expl "lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
)
"lib/re_glob.ml" 116 2948 2961 "lib/re_glob.ml" 116 2948 2966
type(
  bool
)
ident(
  int_ref inner "lib/re_glob.ml" 99 2346 2361 "lib/re_glob.ml" 99 2346 2366
)
"lib/re_glob.ml" 116 2948 2967 "lib/re_glob.ml" 116 2948 2968
type(
  int
)
ident(
  int_ref s "lib/re_glob.ml" 99 2346 2367 "lib/re_glob.ml" 99 2346 2368
)
"lib/re_glob.ml" 116 2948 2970 "lib/re_glob.ml" 116 2948 2971
type(
  int
)
ident(
  int_ref i "lib/re_glob.ml" 99 2346 2369 "lib/re_glob.ml" 99 2346 2370
)
"lib/re_glob.ml" 116 2948 2972 "lib/re_glob.ml" 116 2948 2973
type(
  int -> int -> int
)
ident(
  ext_ref Pervasives.( + )
)
"lib/re_glob.ml" 116 2948 2974 "lib/re_glob.ml" 116 2948 2975
type(
  int
)
"lib/re_glob.ml" 116 2948 2969 "lib/re_glob.ml" 116 2948 2976
type(
  int
)
"lib/re_glob.ml" 116 2948 2977 "lib/re_glob.ml" 116 2948 2980
type(
  string list
)
ident(
  int_ref acc "lib/re_glob.ml" 99 2346 2371 "lib/re_glob.ml" 99 2346 2374
)
"lib/re_glob.ml" 116 2948 2981 "lib/re_glob.ml" 116 2948 2984
type(
  string list
)
ident(
  int_ref beg "lib/re_glob.ml" 99 2346 2375 "lib/re_glob.ml" 99 2346 2378
)
"lib/re_glob.ml" 116 2948 2956 "lib/re_glob.ml" 116 2948 2984
call(
  tail
)
type(
  string list * int
)
"lib/re_glob.ml" 104 2504 2510 "lib/re_glob.ml" 116 2948 2984
type(
  string list * int
)
"lib/re_glob.ml" 100 2381 2385 "lib/re_glob.ml" 116 2948 2984
type(
  string list * int
)
"lib/re_glob.ml" 118 2990 2992 "lib/re_glob.ml" 118 2990 3000
type(
  string list -> string list
)
ident(
  ext_ref List.rev
)
"lib/re_glob.ml" 118 2990 3002 "lib/re_glob.ml" 118 2990 3005
type(
  string list * int -> string list
)
ident(
  ext_ref Pervasives.fst
)
"lib/re_glob.ml" 118 2990 3007 "lib/re_glob.ml" 118 2990 3011
type(
  bool -> int -> int -> string list -> string list -> string list * int
)
ident(
  int_ref expl "lib/re_glob.ml" 99 2346 2356 "lib/re_glob.ml" 99 2346 2360
)
"lib/re_glob.ml" 118 2990 3012 "lib/re_glob.ml" 118 2990 3017
type(
  bool
)
"lib/re_glob.ml" 118 2990 3018 "lib/re_glob.ml" 118 2990 3019
type(
  int
)
"lib/re_glob.ml" 118 2990 3020 "lib/re_glob.ml" 118 2990 3021
type(
  int
)
"lib/re_glob.ml" 118 2990 3022 "lib/re_glob.ml" 118 2990 3024
type(
  string list
)
"lib/re_glob.ml" 118 2990 3026 "lib/re_glob.ml" 118 2990 3028
type(
  string
)
"lib/re_glob.ml" 118 2990 3025 "lib/re_glob.ml" 118 2990 3029
type(
  string list
)
"lib/re_glob.ml" 118 2990 3006 "lib/re_glob.ml" 118 2990 3030
call(
  stack
)
type(
  string list * int
)
"lib/re_glob.ml" 118 2990 3001 "lib/re_glob.ml" 118 2990 3031
type(
  string list
)
"lib/re_glob.ml" 118 2990 2992 "lib/re_glob.ml" 118 2990 3031
call(
  tail
)
type(
  string list
)
"lib/re_glob.ml" 99 2346 2348 "lib/re_glob.ml" 118 2990 3031
type(
  string list
)
"lib/re_glob.ml" 98 2315 2317 "lib/re_glob.ml" 118 2990 3031
type(
  string list
)
"lib/re_glob.ml" 131 3520 3526 "lib/re_glob.ml" 131 3520 3532
type(
  period:bool -> pathname:bool -> piece list -> t
)
ident(
  def create "lib/re_glob.ml" 141 3721 3723 "lib/re_glob.ml" 162 4248 4251
)
"lib/re_glob.ml" 131 3520 3534 "lib/re_glob.ml" 131 3520 3540
type(
  bool
)
ident(
  def period "lib/re_glob.ml" 131 3520 3541 "lib/re_glob.ml" 139 3714 3719
)
"lib/re_glob.ml" 131 3520 3542 "lib/re_glob.ml" 131 3520 3550
type(
  bool
)
ident(
  def pathname "lib/re_glob.ml" 131 3520 3551 "lib/re_glob.ml" 139 3714 3719
)
"lib/re_glob.ml" 131 3520 3551 "lib/re_glob.ml" 131 3520 3560
type(
  piece list
)
ident(
  def remaining "lib/re_glob.ml" 132 3563 3567 "lib/re_glob.ml" 139 3714 3719
)
"lib/re_glob.ml" 133 3569 3587 "lib/re_glob.ml" 133 3569 3589
type(
  Re.t list
)
"lib/re_glob.ml" 134 3591 3622 "lib/re_glob.ml" 134 3591 3626
type(
  bool
)
"lib/re_glob.ml" 135 3628 3661 "lib/re_glob.ml" 135 3628 3665
type(
  bool
)
"lib/re_glob.ml" 136 3667 3673 "lib/re_glob.ml" 136 3667 3681
type(
  bool
)
ident(
  int_ref pathname "lib/re_glob.ml" 131 3520 3542 "lib/re_glob.ml" 131 3520 3550
)
"lib/re_glob.ml" 137 3683 3689 "lib/re_glob.ml" 137 3683 3695
type(
  bool
)
ident(
  int_ref period "lib/re_glob.ml" 131 3520 3534 "lib/re_glob.ml" 131 3520 3540
)
"lib/re_glob.ml" 138 3697 3703 "lib/re_glob.ml" 138 3697 3712
type(
  piece list
)
ident(
  int_ref remaining "lib/re_glob.ml" 131 3520 3551 "lib/re_glob.ml" 131 3520 3560
)
"lib/re_glob.ml" 132 3563 3567 "lib/re_glob.ml" 139 3714 3719
type(
  t
)
"lib/re_glob.ml" 141 3721 3727 "lib/re_glob.ml" 141 3721 3742
type(
  t -> bool
)
ident(
  def explicit_period "lib/re_glob.ml" 147 3855 3857 "lib/re_glob.ml" 162 4248 4251
)
"lib/re_glob.ml" 141 3721 3743 "lib/re_glob.ml" 141 3721 3744
type(
  t
)
ident(
  def t "lib/re_glob.ml" 142 3747 3751 "lib/re_glob.ml" 145 3848 3853
)
"lib/re_glob.ml" 142 3747 3751 "lib/re_glob.ml" 142 3747 3752
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 141 3721 3743 "lib/re_glob.ml" 141 3721 3744
)
"lib/re_glob.ml" 142 3747 3751 "lib/re_glob.ml" 142 3747 3759
type(
  bool
)
"lib/re_glob.ml" 142 3747 3760 "lib/re_glob.ml" 142 3747 3762
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/re_glob.ml" 143 3765 3771 "lib/re_glob.ml" 143 3765 3772
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 141 3721 3743 "lib/re_glob.ml" 141 3721 3744
)
"lib/re_glob.ml" 143 3765 3771 "lib/re_glob.ml" 143 3765 3795
type(
  bool
)
"lib/re_glob.ml" 143 3765 3796 "lib/re_glob.ml" 143 3765 3798
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( || )
)
"lib/re_glob.ml" 144 3799 3806 "lib/re_glob.ml" 144 3799 3807
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 141 3721 3743 "lib/re_glob.ml" 141 3721 3744
)
"lib/re_glob.ml" 144 3799 3806 "lib/re_glob.ml" 144 3799 3832
type(
  bool
)
"lib/re_glob.ml" 144 3799 3833 "lib/re_glob.ml" 144 3799 3835
type(
  bool -> bool -> bool
)
ident(
  ext_ref Pervasives.( && )
)
"lib/re_glob.ml" 144 3799 3836 "lib/re_glob.ml" 144 3799 3837
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 141 3721 3743 "lib/re_glob.ml" 141 3721 3744
)
"lib/re_glob.ml" 144 3799 3836 "lib/re_glob.ml" 144 3799 3846
type(
  bool
)
"lib/re_glob.ml" 144 3799 3805 "lib/re_glob.ml" 144 3799 3847
type(
  bool
)
"lib/re_glob.ml" 142 3747 3763 "lib/re_glob.ml" 145 3848 3853
type(
  bool
)
"lib/re_glob.ml" 142 3747 3751 "lib/re_glob.ml" 145 3848 3853
type(
  bool
)
"lib/re_glob.ml" 147 3855 3861 "lib/re_glob.ml" 147 3855 3875
type(
  t -> bool
)
ident(
  def explicit_slash "lib/re_glob.ml" 149 3892 3894 "lib/re_glob.ml" 162 4248 4251
)
"lib/re_glob.ml" 147 3855 3876 "lib/re_glob.ml" 147 3855 3877
type(
  t
)
ident(
  def t "lib/re_glob.ml" 147 3855 3880 "lib/re_glob.ml" 147 3855 3890
)
"lib/re_glob.ml" 147 3855 3880 "lib/re_glob.ml" 147 3855 3881
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 147 3855 3876 "lib/re_glob.ml" 147 3855 3877
)
"lib/re_glob.ml" 147 3855 3880 "lib/re_glob.ml" 147 3855 3890
type(
  bool
)
"lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
type(
  ?am_at_start_of_component:bool -> t -> Re.t -> t
)
ident(
  def append "lib/re_glob.ml" 156 4079 4081 "lib/re_glob.ml" 162 4248 4251
)
"lib/re_glob.ml" 149 3892 3907 "lib/re_glob.ml" 149 3892 3931
type(
  bool
)
"lib/re_glob.ml" 149 3892 3932 "lib/re_glob.ml" 149 3892 3937
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "lib/re_glob.ml" 149 3892 3932 "lib/re_glob.ml" 149 3892 3937
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"lib/re_glob.ml" 149 3892 3939 "lib/re_glob.ml" 149 3892 3940
type(
  t
)
ident(
  def t "lib/re_glob.ml" 149 3892 3941 "lib/re_glob.ml" 154 4072 4077
)
"lib/re_glob.ml" 149 3892 3941 "lib/re_glob.ml" 149 3892 3946
type(
  Re.t
)
ident(
  def piece "lib/re_glob.ml" 150 3949 3953 "lib/re_glob.ml" 154 4072 4077
)
"lib/re_glob.ml" 150 3949 3955 "lib/re_glob.ml" 150 3949 3956
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 149 3892 3939 "lib/re_glob.ml" 149 3892 3940
)
"lib/re_glob.ml" 151 3962 3980 "lib/re_glob.ml" 151 3962 3985
type(
  Re.t
)
ident(
  int_ref piece "lib/re_glob.ml" 149 3892 3941 "lib/re_glob.ml" 149 3892 3946
)
"lib/re_glob.ml" 151 3962 3989 "lib/re_glob.ml" 151 3962 3990
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 149 3892 3939 "lib/re_glob.ml" 149 3892 3940
)
"lib/re_glob.ml" 151 3962 3989 "lib/re_glob.ml" 151 3962 4000
type(
  Re.t list
)
"lib/re_glob.ml" 151 3962 3980 "lib/re_glob.ml" 151 3962 4000
type(
  Re.t list
)
"lib/re_glob.ml" 152 4002 4033 "lib/re_glob.ml" 152 4002 4038
type(
  bool
)
"lib/re_glob.ml" 153 4040 4046 "lib/re_glob.ml" 153 4040 4070
type(
  bool
)
ident(
  int_ref am_at_start_of_component "lib/re_glob.ml" 149 3892 3907 "lib/re_glob.ml" 149 3892 3931
)
"lib/re_glob.ml" 150 3949 3953 "lib/re_glob.ml" 154 4072 4077
type(
  t
)
"lib/re_glob.ml" 156 4079 4085 "lib/re_glob.ml" 156 4079 4090
type(
  t -> Re.t
)
ident(
  def to_re "lib/re_glob.ml" 158 4126 4128 "lib/re_glob.ml" 162 4248 4251
)
"lib/re_glob.ml" 156 4079 4091 "lib/re_glob.ml" 156 4079 4092
type(
  t
)
ident(
  def t "lib/re_glob.ml" 156 4079 4095 "lib/re_glob.ml" 156 4079 4124
)
"lib/re_glob.ml" 156 4079 4095 "lib/re_glob.ml" 156 4079 4101
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.seq
)
"lib/re_glob.ml" 156 4079 4103 "lib/re_glob.ml" 156 4079 4111
type(
  Re.t list -> Re.t list
)
ident(
  ext_ref List.rev
)
"lib/re_glob.ml" 156 4079 4112 "lib/re_glob.ml" 156 4079 4113
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 156 4079 4091 "lib/re_glob.ml" 156 4079 4092
)
"lib/re_glob.ml" 156 4079 4112 "lib/re_glob.ml" 156 4079 4123
type(
  Re.t list
)
"lib/re_glob.ml" 156 4079 4102 "lib/re_glob.ml" 156 4079 4124
call(
  stack
)
type(
  Re.t list
)
"lib/re_glob.ml" 156 4079 4095 "lib/re_glob.ml" 156 4079 4124
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 158 4126 4132 "lib/re_glob.ml" 158 4126 4136
type(
  t -> (piece * t) option
)
ident(
  def next "lib/re_glob.ml" 161 4185 4247 "lib/re_glob.ml" 162 4248 4251
)
"lib/re_glob.ml" 158 4126 4137 "lib/re_glob.ml" 158 4126 4138
type(
  t
)
ident(
  def t "lib/re_glob.ml" 159 4141 4145 "lib/re_glob.ml" 161 4185 4247
)
"lib/re_glob.ml" 159 4141 4151 "lib/re_glob.ml" 159 4141 4152
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 158 4126 4137 "lib/re_glob.ml" 158 4126 4138
)
"lib/re_glob.ml" 159 4141 4151 "lib/re_glob.ml" 159 4141 4162
type(
  piece list
)
"lib/re_glob.ml" 160 4168 4174 "lib/re_glob.ml" 160 4168 4176
type(
  piece list
)
"lib/re_glob.ml" 160 4168 4180 "lib/re_glob.ml" 160 4168 4184
type(
  (piece * t) option
)
"lib/re_glob.ml" 161 4185 4191 "lib/re_glob.ml" 161 4185 4196
type(
  piece
)
ident(
  def piece "lib/re_glob.ml" 161 4185 4213 "lib/re_glob.ml" 161 4185 4247
)
"lib/re_glob.ml" 161 4185 4200 "lib/re_glob.ml" 161 4185 4209
type(
  piece list
)
ident(
  def remaining "lib/re_glob.ml" 161 4185 4213 "lib/re_glob.ml" 161 4185 4247
)
"lib/re_glob.ml" 161 4185 4191 "lib/re_glob.ml" 161 4185 4209
type(
  piece list
)
"lib/re_glob.ml" 161 4185 4219 "lib/re_glob.ml" 161 4185 4224
type(
  piece
)
ident(
  int_ref piece "lib/re_glob.ml" 161 4185 4191 "lib/re_glob.ml" 161 4185 4196
)
"lib/re_glob.ml" 161 4185 4228 "lib/re_glob.ml" 161 4185 4229
type(
  t
)
ident(
  int_ref t "lib/re_glob.ml" 158 4126 4137 "lib/re_glob.ml" 158 4126 4138
)
"lib/re_glob.ml" 161 4185 4235 "lib/re_glob.ml" 161 4185 4244
type(
  piece list
)
ident(
  int_ref remaining "lib/re_glob.ml" 161 4185 4200 "lib/re_glob.ml" 161 4185 4209
)
"lib/re_glob.ml" 161 4185 4226 "lib/re_glob.ml" 161 4185 4246
type(
  t
)
"lib/re_glob.ml" 161 4185 4218 "lib/re_glob.ml" 161 4185 4247
type(
  piece * t
)
"lib/re_glob.ml" 161 4185 4213 "lib/re_glob.ml" 161 4185 4247
type(
  (piece * t) option
)
"lib/re_glob.ml" 159 4141 4145 "lib/re_glob.ml" 161 4185 4247
type(
  (piece * t) option
)
"lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  def one "lib/re_glob.ml" 172 4440 4440 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 164 4253 4262 "lib/re_glob.ml" 164 4253 4276
type(
  bool
)
ident(
  def explicit_slash "lib/re_glob.ml" 164 4253 4277 "lib/re_glob.ml" 170 4434 4438
)
"lib/re_glob.ml" 164 4253 4278 "lib/re_glob.ml" 164 4253 4293
type(
  bool
)
ident(
  def explicit_period "lib/re_glob.ml" 165 4296 4298 "lib/re_glob.ml" 170 4434 4438
)
"lib/re_glob.ml" 165 4296 4302 "lib/re_glob.ml" 165 4296 4307
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.compl
)
"lib/re_glob.ml" 166 4310 4314 "lib/re_glob.ml" 166 4310 4325
type(
  Re.t list list -> Re.t list
)
ident(
  ext_ref List.concat
)
"lib/re_glob.ml" 167 4328 4337 "lib/re_glob.ml" 167 4328 4351
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 164 4253 4262 "lib/re_glob.ml" 164 4253 4276
)
"lib/re_glob.ml" 167 4328 4359 "lib/re_glob.ml" 167 4328 4363
type(
  char -> Re.t
)
ident(
  ext_ref Re.char
)
"lib/re_glob.ml" 167 4328 4364 "lib/re_glob.ml" 167 4328 4367
type(
  char
)
"lib/re_glob.ml" 167 4328 4359 "lib/re_glob.ml" 167 4328 4367
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 167 4328 4358 "lib/re_glob.ml" 167 4328 4368
type(
  Re.t list
)
"lib/re_glob.ml" 167 4328 4374 "lib/re_glob.ml" 167 4328 4376
type(
  Re.t list
)
"lib/re_glob.ml" 167 4328 4334 "lib/re_glob.ml" 167 4328 4376
type(
  Re.t list
)
"lib/re_glob.ml" 168 4378 4387 "lib/re_glob.ml" 168 4378 4402
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 164 4253 4278 "lib/re_glob.ml" 164 4253 4293
)
"lib/re_glob.ml" 168 4378 4409 "lib/re_glob.ml" 168 4378 4413
type(
  char -> Re.t
)
ident(
  ext_ref Re.char
)
"lib/re_glob.ml" 168 4378 4414 "lib/re_glob.ml" 168 4378 4417
type(
  char
)
"lib/re_glob.ml" 168 4378 4409 "lib/re_glob.ml" 168 4378 4417
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 168 4378 4408 "lib/re_glob.ml" 168 4378 4418
type(
  Re.t list
)
"lib/re_glob.ml" 168 4378 4424 "lib/re_glob.ml" 168 4378 4426
type(
  Re.t list
)
"lib/re_glob.ml" 168 4378 4384 "lib/re_glob.ml" 168 4378 4426
type(
  Re.t list
)
"lib/re_glob.ml" 166 4310 4326 "lib/re_glob.ml" 169 4428 4433
type(
  Re.t list list
)
"lib/re_glob.ml" 165 4296 4308 "lib/re_glob.ml" 170 4434 4437
call(
  stack
)
type(
  Re.t list
)
"lib/re_glob.ml" 165 4296 4302 "lib/re_glob.ml" 170 4434 4437
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 172 4440 4444 "lib/re_glob.ml" 172 4440 4452
type(
  enclosed -> Re.t
)
ident(
  def enclosed "lib/re_glob.ml" 177 4551 4551 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 172 4440 4453 "lib/re_glob.ml" 172 4440 4461
type(
  enclosed
)
ident(
  def enclosed "lib/re_glob.ml" 173 4464 4466 "lib/re_glob.ml" 175 4510 4549
)
"lib/re_glob.ml" 173 4464 4472 "lib/re_glob.ml" 173 4464 4480
type(
  enclosed
)
ident(
  int_ref enclosed "lib/re_glob.ml" 172 4440 4453 "lib/re_glob.ml" 172 4440 4461
)
"lib/re_glob.ml" 174 4486 4495 "lib/re_glob.ml" 174 4486 4496
type(
  char
)
ident(
  def c "lib/re_glob.ml" 174 4486 4500 "lib/re_glob.ml" 174 4486 4509
)
"lib/re_glob.ml" 174 4486 4490 "lib/re_glob.ml" 174 4486 4496
type(
  enclosed
)
"lib/re_glob.ml" 174 4486 4500 "lib/re_glob.ml" 174 4486 4507
type(
  char -> Re.t
)
ident(
  ext_ref Re.char
)
"lib/re_glob.ml" 174 4486 4508 "lib/re_glob.ml" 174 4486 4509
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 174 4486 4495 "lib/re_glob.ml" 174 4486 4496
)
"lib/re_glob.ml" 174 4486 4500 "lib/re_glob.ml" 174 4486 4509
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 175 4510 4521 "lib/re_glob.ml" 175 4510 4524
type(
  char
)
ident(
  def low "lib/re_glob.ml" 175 4510 4535 "lib/re_glob.ml" 175 4510 4549
)
"lib/re_glob.ml" 175 4510 4526 "lib/re_glob.ml" 175 4510 4530
type(
  char
)
ident(
  def high "lib/re_glob.ml" 175 4510 4535 "lib/re_glob.ml" 175 4510 4549
)
"lib/re_glob.ml" 175 4510 4514 "lib/re_glob.ml" 175 4510 4531
type(
  enclosed
)
"lib/re_glob.ml" 175 4510 4535 "lib/re_glob.ml" 175 4510 4540
type(
  char -> char -> Re.t
)
ident(
  ext_ref Re.rg
)
"lib/re_glob.ml" 175 4510 4541 "lib/re_glob.ml" 175 4510 4544
type(
  char
)
ident(
  int_ref low "lib/re_glob.ml" 175 4510 4521 "lib/re_glob.ml" 175 4510 4524
)
"lib/re_glob.ml" 175 4510 4545 "lib/re_glob.ml" 175 4510 4549
type(
  char
)
ident(
  int_ref high "lib/re_glob.ml" 175 4510 4526 "lib/re_glob.ml" 175 4510 4530
)
"lib/re_glob.ml" 175 4510 4535 "lib/re_glob.ml" 175 4510 4549
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 173 4464 4466 "lib/re_glob.ml" 175 4510 4549
type(
  Re.t
)
"lib/re_glob.ml" 177 4551 4555 "lib/re_glob.ml" 177 4551 4567
type(
  explicit_slash:bool ->
  explicit_period:bool -> [< `Any_but | `Any_of ] -> enclosed list -> Re.t
)
ident(
  def enclosed_set "lib/re_glob.ml" 186 4813 4813 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 177 4551 4569 "lib/re_glob.ml" 177 4551 4583
type(
  bool
)
ident(
  def explicit_slash "lib/re_glob.ml" 177 4551 4584 "lib/re_glob.ml" 184 4751 4811
)
"lib/re_glob.ml" 177 4551 4585 "lib/re_glob.ml" 177 4551 4600
type(
  bool
)
ident(
  def explicit_period "lib/re_glob.ml" 177 4551 4601 "lib/re_glob.ml" 184 4751 4811
)
"lib/re_glob.ml" 177 4551 4601 "lib/re_glob.ml" 177 4551 4605
type(
  [< `Any_but | `Any_of ] as 'a
)
ident(
  def kind "lib/re_glob.ml" 177 4551 4606 "lib/re_glob.ml" 184 4751 4811
)
"lib/re_glob.ml" 177 4551 4606 "lib/re_glob.ml" 177 4551 4609
type(
  enclosed list
)
ident(
  def set "lib/re_glob.ml" 178 4612 4614 "lib/re_glob.ml" 184 4751 4811
)
"lib/re_glob.ml" 178 4612 4618 "lib/re_glob.ml" 178 4612 4621
type(
  Re.t list
)
ident(
  def set "lib/re_glob.ml" 179 4649 4651 "lib/re_glob.ml" 184 4751 4811
)
"lib/re_glob.ml" 178 4612 4624 "lib/re_glob.ml" 178 4612 4632
type(
  (enclosed -> Re.t) -> enclosed list -> Re.t list
)
ident(
  ext_ref List.map
)
"lib/re_glob.ml" 178 4612 4633 "lib/re_glob.ml" 178 4612 4641
type(
  enclosed -> Re.t
)
ident(
  int_ref enclosed "lib/re_glob.ml" 172 4440 4444 "lib/re_glob.ml" 172 4440 4452
)
"lib/re_glob.ml" 178 4612 4642 "lib/re_glob.ml" 178 4612 4645
type(
  enclosed list
)
ident(
  int_ref set "lib/re_glob.ml" 177 4551 4606 "lib/re_glob.ml" 177 4551 4609
)
"lib/re_glob.ml" 178 4612 4624 "lib/re_glob.ml" 178 4612 4645
call(
  stack
)
type(
  Re.t list
)
"lib/re_glob.ml" 179 4649 4655 "lib/re_glob.ml" 179 4649 4664
type(
  Re.t
)
ident(
  def enclosure "lib/re_glob.ml" 184 4751 4753 "lib/re_glob.ml" 184 4751 4811
)
"lib/re_glob.ml" 180 4667 4677 "lib/re_glob.ml" 180 4667 4681
type(
  'a
)
ident(
  int_ref kind "lib/re_glob.ml" 177 4551 4601 "lib/re_glob.ml" 177 4551 4605
)
"lib/re_glob.ml" 181 4687 4693 "lib/re_glob.ml" 181 4687 4700
type(
  'a
)
"lib/re_glob.ml" 181 4687 4704 "lib/re_glob.ml" 181 4687 4710
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.alt
)
"lib/re_glob.ml" 181 4687 4711 "lib/re_glob.ml" 181 4687 4714
type(
  Re.t list
)
ident(
  int_ref set "lib/re_glob.ml" 178 4612 4618 "lib/re_glob.ml" 178 4612 4621
)
"lib/re_glob.ml" 181 4687 4704 "lib/re_glob.ml" 181 4687 4714
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 182 4715 4721 "lib/re_glob.ml" 182 4715 4729
type(
  'a
)
"lib/re_glob.ml" 182 4715 4733 "lib/re_glob.ml" 182 4715 4741
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.compl
)
"lib/re_glob.ml" 182 4715 4742 "lib/re_glob.ml" 182 4715 4745
type(
  Re.t list
)
ident(
  int_ref set "lib/re_glob.ml" 178 4612 4618 "lib/re_glob.ml" 178 4612 4621
)
"lib/re_glob.ml" 182 4715 4733 "lib/re_glob.ml" 182 4715 4745
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 180 4667 4671 "lib/re_glob.ml" 182 4715 4745
type(
  Re.t
)
"lib/re_glob.ml" 184 4751 4753 "lib/re_glob.ml" 184 4751 4761
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.inter
)
"lib/re_glob.ml" 184 4751 4763 "lib/re_glob.ml" 184 4751 4772
type(
  Re.t
)
ident(
  int_ref enclosure "lib/re_glob.ml" 179 4649 4655 "lib/re_glob.ml" 179 4649 4664
)
"lib/re_glob.ml" 184 4751 4774 "lib/re_glob.ml" 184 4751 4777
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 184 4751 4779 "lib/re_glob.ml" 184 4751 4793
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 177 4551 4569 "lib/re_glob.ml" 177 4551 4583
)
"lib/re_glob.ml" 184 4751 4795 "lib/re_glob.ml" 184 4751 4810
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 177 4551 4585 "lib/re_glob.ml" 177 4551 4600
)
"lib/re_glob.ml" 184 4751 4774 "lib/re_glob.ml" 184 4751 4810
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 184 4751 4762 "lib/re_glob.ml" 184 4751 4811
type(
  Re.t list
)
"lib/re_glob.ml" 184 4751 4753 "lib/re_glob.ml" 184 4751 4811
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 179 4649 4651 "lib/re_glob.ml" 184 4751 4811
type(
  Re.t
)
"lib/re_glob.ml" 178 4612 4614 "lib/re_glob.ml" 184 4751 4811
type(
  Re.t
)
"lib/re_glob.ml" 186 4813 4817 "lib/re_glob.ml" 186 4813 4824
type(
  State.t -> char -> State.t
)
ident(
  def exactly "lib/re_glob.ml" 189 4905 4905 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 186 4813 4825 "lib/re_glob.ml" 186 4813 4830
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 186 4813 4831 "lib/re_glob.ml" 187 4835 4903
)
"lib/re_glob.ml" 186 4813 4831 "lib/re_glob.ml" 186 4813 4832
type(
  char
)
ident(
  def c "lib/re_glob.ml" 187 4835 4837 "lib/re_glob.ml" 187 4835 4903
)
"lib/re_glob.ml" 187 4835 4837 "lib/re_glob.ml" 187 4835 4849
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 187 4835 4850 "lib/re_glob.ml" 187 4835 4855
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 186 4813 4825 "lib/re_glob.ml" 186 4813 4830
)
"lib/re_glob.ml" 187 4835 4857 "lib/re_glob.ml" 187 4835 4864
type(
  char -> Re.t
)
ident(
  ext_ref Re.char
)
"lib/re_glob.ml" 187 4835 4865 "lib/re_glob.ml" 187 4835 4866
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 186 4813 4831 "lib/re_glob.ml" 186 4813 4832
)
"lib/re_glob.ml" 187 4835 4856 "lib/re_glob.ml" 187 4835 4867
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 187 4835 4895 "lib/re_glob.ml" 187 4835 4896
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 186 4813 4831 "lib/re_glob.ml" 186 4813 4832
)
"lib/re_glob.ml" 187 4835 4897 "lib/re_glob.ml" 187 4835 4898
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/re_glob.ml" 187 4835 4899 "lib/re_glob.ml" 187 4835 4902
type(
  char
)
"lib/re_glob.ml" 187 4835 4894 "lib/re_glob.ml" 187 4835 4903
type(
  bool
)
"lib/re_glob.ml" 187 4835 4837 "lib/re_glob.ml" 187 4835 4903
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 189 4905 4909 "lib/re_glob.ml" 189 4905 4913
type(
  State.t -> State.t
)
ident(
  def many "lib/re_glob.ml" 246 7014 7014 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 189 4905 4915 "lib/re_glob.ml" 189 4905 4920
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 190 4934 4936 "lib/re_glob.ml" 244 7007 7012
)
"lib/re_glob.ml" 190 4934 4940 "lib/re_glob.ml" 190 4934 4954
type(
  bool
)
ident(
  def explicit_slash "lib/re_glob.ml" 191 4987 4989 "lib/re_glob.ml" 244 7007 7012
)
"lib/re_glob.ml" 190 4934 4957 "lib/re_glob.ml" 190 4934 4977
type(
  State.t -> bool
)
ident(
  int_ref State.explicit_slash "lib/re_glob.ml" 147 3855 3861 "lib/re_glob.ml" 147 3855 3875
)
"lib/re_glob.ml" 190 4934 4978 "lib/re_glob.ml" 190 4934 4983
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 189 4905 4915 "lib/re_glob.ml" 189 4905 4920
)
"lib/re_glob.ml" 190 4934 4957 "lib/re_glob.ml" 190 4934 4983
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 191 4987 4993 "lib/re_glob.ml" 191 4987 5008
type(
  bool
)
ident(
  def explicit_period "lib/re_glob.ml" 195 5223 5225 "lib/re_glob.ml" 244 7007 7012
)
"lib/re_glob.ml" 191 4987 5011 "lib/re_glob.ml" 191 4987 5032
type(
  State.t -> bool
)
ident(
  int_ref State.explicit_period "lib/re_glob.ml" 141 3721 3727 "lib/re_glob.ml" 141 3721 3742
)
"lib/re_glob.ml" 191 4987 5033 "lib/re_glob.ml" 191 4987 5038
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 189 4905 4915 "lib/re_glob.ml" 189 4905 4920
)
"lib/re_glob.ml" 191 4987 5011 "lib/re_glob.ml" 191 4987 5038
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 195 5223 5228 "lib/re_glob.ml" 195 5223 5231
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"lib/re_glob.ml" 195 5223 5232 "lib/re_glob.ml" 195 5223 5247
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 191 4987 4993 "lib/re_glob.ml" 191 4987 5008
)
"lib/re_glob.ml" 195 5223 5228 "lib/re_glob.ml" 195 5223 5247
type(
  bool
)
"lib/re_glob.ml" 196 5259 5263 "lib/re_glob.ml" 196 5259 5275
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 196 5259 5276 "lib/re_glob.ml" 196 5259 5281
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 189 4905 4915 "lib/re_glob.ml" 189 4905 4920
)
"lib/re_glob.ml" 196 5259 5283 "lib/re_glob.ml" 196 5259 5289
type(
  Re.t -> Re.t
)
ident(
  ext_ref Re.rep
)
"lib/re_glob.ml" 196 5259 5291 "lib/re_glob.ml" 196 5259 5294
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 196 5259 5296 "lib/re_glob.ml" 196 5259 5310
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 190 4934 4940 "lib/re_glob.ml" 190 4934 4954
)
"lib/re_glob.ml" 196 5259 5312 "lib/re_glob.ml" 196 5259 5327
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 191 4987 4993 "lib/re_glob.ml" 191 4987 5008
)
"lib/re_glob.ml" 196 5259 5290 "lib/re_glob.ml" 196 5259 5328
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 196 5259 5282 "lib/re_glob.ml" 196 5259 5329
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 195 5223 5253 "lib/re_glob.ml" 197 5330 5335
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 197 5330 5344 "lib/re_glob.ml" 197 5330 5347
type(
  bool -> bool
)
ident(
  ext_ref Pervasives.not
)
"lib/re_glob.ml" 197 5330 5348 "lib/re_glob.ml" 197 5330 5362
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 190 4934 4940 "lib/re_glob.ml" 190 4934 4954
)
"lib/re_glob.ml" 197 5330 5344 "lib/re_glob.ml" 197 5330 5362
type(
  bool
)
"lib/re_glob.ml" 199 5454 5458 "lib/re_glob.ml" 199 5454 5470
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 199 5454 5471 "lib/re_glob.ml" 199 5454 5476
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 189 4905 4915 "lib/re_glob.ml" 189 4905 4920
)
"lib/re_glob.ml" 199 5454 5478 "lib/re_glob.ml" 199 5454 5484
type(
  Re.t -> Re.t
)
ident(
  ext_ref Re.opt
)
"lib/re_glob.ml" 200 5487 5493 "lib/re_glob.ml" 200 5487 5499
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.seq
)
"lib/re_glob.ml" 201 5502 5510 "lib/re_glob.ml" 201 5502 5513
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 201 5502 5538 "lib/re_glob.ml" 201 5502 5543
type(
  bool
)
"lib/re_glob.ml" 201 5502 5545 "lib/re_glob.ml" 201 5502 5560
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 191 4987 4993 "lib/re_glob.ml" 191 4987 5008
)
"lib/re_glob.ml" 201 5502 5510 "lib/re_glob.ml" 201 5502 5560
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 202 5562 5570 "lib/re_glob.ml" 202 5562 5576
type(
  Re.t -> Re.t
)
ident(
  ext_ref Re.rep
)
"lib/re_glob.ml" 202 5562 5578 "lib/re_glob.ml" 202 5562 5581
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 202 5562 5598 "lib/re_glob.ml" 202 5562 5603
type(
  bool
)
"lib/re_glob.ml" 202 5562 5621 "lib/re_glob.ml" 202 5562 5626
type(
  bool
)
"lib/re_glob.ml" 202 5562 5577 "lib/re_glob.ml" 202 5562 5627
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 202 5562 5570 "lib/re_glob.ml" 202 5562 5627
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 200 5487 5500 "lib/re_glob.ml" 203 5629 5636
type(
  Re.t list
)
"lib/re_glob.ml" 199 5454 5485 "lib/re_glob.ml" 204 5637 5642
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 199 5454 5477 "lib/re_glob.ml" 204 5637 5643
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 197 5330 5368 "lib/re_glob.ml" 205 5644 5649
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 206 5661 5669 "lib/re_glob.ml" 206 5661 5678
type(
  Re.t
)
ident(
  def not_empty "lib/re_glob.ml" 214 5935 5939 "lib/re_glob.ml" 243 6987 7006
)
"lib/re_glob.ml" 207 5681 5687 "lib/re_glob.ml" 207 5681 5693
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.seq
)
"lib/re_glob.ml" 208 5696 5704 "lib/re_glob.ml" 208 5696 5707
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 208 5696 5732 "lib/re_glob.ml" 208 5696 5736
type(
  bool
)
"lib/re_glob.ml" 208 5696 5754 "lib/re_glob.ml" 208 5696 5758
type(
  bool
)
"lib/re_glob.ml" 208 5696 5704 "lib/re_glob.ml" 208 5696 5758
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 209 5760 5768 "lib/re_glob.ml" 209 5760 5774
type(
  Re.t -> Re.t
)
ident(
  ext_ref Re.rep
)
"lib/re_glob.ml" 209 5760 5776 "lib/re_glob.ml" 209 5760 5779
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 209 5760 5796 "lib/re_glob.ml" 209 5760 5800
type(
  bool
)
"lib/re_glob.ml" 209 5760 5818 "lib/re_glob.ml" 209 5760 5823
type(
  bool
)
"lib/re_glob.ml" 209 5760 5775 "lib/re_glob.ml" 209 5760 5824
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 209 5760 5768 "lib/re_glob.ml" 209 5760 5824
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 207 5681 5694 "lib/re_glob.ml" 210 5826 5833
type(
  Re.t list
)
"lib/re_glob.ml" 207 5681 5687 "lib/re_glob.ml" 210 5826 5833
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 214 5935 5943 "lib/re_glob.ml" 214 5935 5954
type(
  Re.t
)
ident(
  def maybe_empty "lib/re_glob.ml" 215 5977 5981 "lib/re_glob.ml" 243 6987 7006
)
"lib/re_glob.ml" 214 5935 5957 "lib/re_glob.ml" 214 5935 5963
type(
  Re.t -> Re.t
)
ident(
  ext_ref Re.opt
)
"lib/re_glob.ml" 214 5935 5964 "lib/re_glob.ml" 214 5935 5973
type(
  Re.t
)
ident(
  int_ref not_empty "lib/re_glob.ml" 206 5661 5669 "lib/re_glob.ml" 206 5661 5678
)
"lib/re_glob.ml" 214 5935 5957 "lib/re_glob.ml" 214 5935 5973
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 215 5977 5985 "lib/re_glob.ml" 215 5977 5997
type(
  State.t -> [< `Any_but | `Any_of ] -> enclosed list -> State.t
)
ident(
  def enclosed_set "lib/re_glob.ml" 225 6342 6346 "lib/re_glob.ml" 243 6987 7006
)
"lib/re_glob.ml" 215 5977 5998 "lib/re_glob.ml" 215 5977 6003
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 215 5977 6004 "lib/re_glob.ml" 223 6326 6334
)
"lib/re_glob.ml" 215 5977 6004 "lib/re_glob.ml" 215 5977 6008
type(
  [< `Any_but | `Any_of ] as 'a
)
ident(
  def kind "lib/re_glob.ml" 215 5977 6009 "lib/re_glob.ml" 223 6326 6334
)
"lib/re_glob.ml" 215 5977 6009 "lib/re_glob.ml" 215 5977 6012
type(
  enclosed list
)
ident(
  def set "lib/re_glob.ml" 216 6015 6021 "lib/re_glob.ml" 223 6326 6334
)
"lib/re_glob.ml" 216 6015 6021 "lib/re_glob.ml" 216 6015 6033
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 216 6015 6034 "lib/re_glob.ml" 216 6015 6039
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 215 5977 5998 "lib/re_glob.ml" 215 5977 6003
)
"lib/re_glob.ml" 216 6015 6041 "lib/re_glob.ml" 216 6015 6047
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.alt
)
"lib/re_glob.ml" 217 6050 6058 "lib/re_glob.ml" 217 6050 6070
type(
  explicit_slash:bool -> explicit_period:bool -> 'a -> enclosed list -> Re.t
)
ident(
  int_ref enclosed_set "lib/re_glob.ml" 177 4551 4555 "lib/re_glob.ml" 177 4551 4567
)
"lib/re_glob.ml" 217 6050 6071 "lib/re_glob.ml" 217 6050 6075
type(
  'a
)
ident(
  int_ref kind "lib/re_glob.ml" 215 5977 6004 "lib/re_glob.ml" 215 5977 6008
)
"lib/re_glob.ml" 217 6050 6076 "lib/re_glob.ml" 217 6050 6079
type(
  enclosed list
)
ident(
  int_ref set "lib/re_glob.ml" 215 5977 6009 "lib/re_glob.ml" 215 5977 6012
)
"lib/re_glob.ml" 217 6050 6096 "lib/re_glob.ml" 217 6050 6100
type(
  bool
)
"lib/re_glob.ml" 217 6050 6118 "lib/re_glob.ml" 217 6050 6122
type(
  bool
)
"lib/re_glob.ml" 217 6050 6058 "lib/re_glob.ml" 217 6050 6122
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 218 6124 6132 "lib/re_glob.ml" 218 6124 6138
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.seq
)
"lib/re_glob.ml" 219 6141 6151 "lib/re_glob.ml" 219 6141 6160
type(
  Re.t
)
ident(
  int_ref not_empty "lib/re_glob.ml" 206 5661 5669 "lib/re_glob.ml" 206 5661 5678
)
"lib/re_glob.ml" 221 6238 6248 "lib/re_glob.ml" 221 6238 6260
type(
  explicit_slash:bool -> explicit_period:bool -> 'a -> enclosed list -> Re.t
)
ident(
  int_ref enclosed_set "lib/re_glob.ml" 177 4551 4555 "lib/re_glob.ml" 177 4551 4567
)
"lib/re_glob.ml" 221 6238 6261 "lib/re_glob.ml" 221 6238 6265
type(
  'a
)
ident(
  int_ref kind "lib/re_glob.ml" 215 5977 6004 "lib/re_glob.ml" 215 5977 6008
)
"lib/re_glob.ml" 221 6238 6266 "lib/re_glob.ml" 221 6238 6269
type(
  enclosed list
)
ident(
  int_ref set "lib/re_glob.ml" 215 5977 6009 "lib/re_glob.ml" 215 5977 6012
)
"lib/re_glob.ml" 221 6238 6286 "lib/re_glob.ml" 221 6238 6290
type(
  bool
)
"lib/re_glob.ml" 221 6238 6308 "lib/re_glob.ml" 221 6238 6313
type(
  bool
)
"lib/re_glob.ml" 221 6238 6248 "lib/re_glob.ml" 221 6238 6313
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 218 6124 6139 "lib/re_glob.ml" 222 6315 6324
type(
  Re.t list
)
"lib/re_glob.ml" 218 6124 6132 "lib/re_glob.ml" 222 6315 6324
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 216 6015 6048 "lib/re_glob.ml" 223 6326 6333
type(
  Re.t list
)
"lib/re_glob.ml" 216 6015 6040 "lib/re_glob.ml" 223 6326 6334
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 216 6015 6021 "lib/re_glob.ml" 223 6326 6334
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 225 6342 6354 "lib/re_glob.ml" 225 6342 6363
type(
  State.t -> State.t
)
ident(
  def lookahead "lib/re_glob.ml" 225 6342 6346 "lib/re_glob.ml" 243 6987 7006
)
"lib/re_glob.ml" 225 6342 6364 "lib/re_glob.ml" 225 6342 6369
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 226 6372 6378 "lib/re_glob.ml" 241 6901 6979
)
"lib/re_glob.ml" 226 6372 6384 "lib/re_glob.ml" 226 6372 6394
type(
  State.t -> (piece * State.t) option
)
ident(
  int_ref State.next "lib/re_glob.ml" 158 4126 4132 "lib/re_glob.ml" 158 4126 4136
)
"lib/re_glob.ml" 226 6372 6395 "lib/re_glob.ml" 226 6372 6400
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 225 6342 6364 "lib/re_glob.ml" 225 6342 6369
)
"lib/re_glob.ml" 226 6372 6384 "lib/re_glob.ml" 226 6372 6400
call(
  stack
)
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 227 6406 6414 "lib/re_glob.ml" 227 6406 6418
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 227 6406 6422 "lib/re_glob.ml" 227 6406 6434
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 227 6406 6435 "lib/re_glob.ml" 227 6406 6440
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 225 6342 6364 "lib/re_glob.ml" 225 6342 6369
)
"lib/re_glob.ml" 227 6406 6441 "lib/re_glob.ml" 227 6406 6452
type(
  Re.t
)
ident(
  int_ref maybe_empty "lib/re_glob.ml" 214 5935 5943 "lib/re_glob.ml" 214 5935 5954
)
"lib/re_glob.ml" 227 6406 6422 "lib/re_glob.ml" 227 6406 6452
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 229 6486 6500 "lib/re_glob.ml" 229 6486 6504
type(
  piece
)
"lib/re_glob.ml" 229 6486 6506 "lib/re_glob.ml" 229 6486 6511
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 229 6486 6516 "lib/re_glob.ml" 229 6486 6531
)
"lib/re_glob.ml" 229 6486 6499 "lib/re_glob.ml" 229 6486 6512
type(
  piece * State.t
)
"lib/re_glob.ml" 229 6486 6494 "lib/re_glob.ml" 229 6486 6512
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 229 6486 6516 "lib/re_glob.ml" 229 6486 6525
type(
  State.t -> State.t
)
ident(
  int_ref lookahead "lib/re_glob.ml" 225 6342 6354 "lib/re_glob.ml" 225 6342 6363
)
"lib/re_glob.ml" 229 6486 6526 "lib/re_glob.ml" 229 6486 6531
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 229 6486 6506 "lib/re_glob.ml" 229 6486 6511
)
"lib/re_glob.ml" 229 6486 6516 "lib/re_glob.ml" 229 6486 6531
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 230 6532 6554 "lib/re_glob.ml" 230 6532 6555
type(
  char
)
ident(
  def c "lib/re_glob.ml" 231 6567 6575 "lib/re_glob.ml" 237 6710 6733
)
"lib/re_glob.ml" 230 6532 6546 "lib/re_glob.ml" 230 6532 6555
type(
  piece
)
"lib/re_glob.ml" 230 6532 6557 "lib/re_glob.ml" 230 6532 6562
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 231 6567 6575 "lib/re_glob.ml" 237 6710 6733
)
"lib/re_glob.ml" 230 6532 6545 "lib/re_glob.ml" 230 6532 6563
type(
  piece * State.t
)
"lib/re_glob.ml" 230 6532 6540 "lib/re_glob.ml" 230 6532 6563
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 231 6567 6579 "lib/re_glob.ml" 231 6567 6584
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 237 6710 6718 "lib/re_glob.ml" 237 6710 6733
)
"lib/re_glob.ml" 232 6587 6597 "lib/re_glob.ml" 232 6587 6609
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 232 6587 6610 "lib/re_glob.ml" 232 6587 6615
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 230 6532 6557 "lib/re_glob.ml" 230 6532 6562
)
"lib/re_glob.ml" 233 6616 6632 "lib/re_glob.ml" 233 6616 6633
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 230 6532 6554 "lib/re_glob.ml" 230 6532 6555
)
"lib/re_glob.ml" 233 6616 6634 "lib/re_glob.ml" 233 6616 6635
type(
  char -> char -> bool
)
ident(
  ext_ref Pervasives.( = )
)
"lib/re_glob.ml" 233 6616 6636 "lib/re_glob.ml" 233 6616 6639
type(
  char
)
"lib/re_glob.ml" 233 6616 6632 "lib/re_glob.ml" 233 6616 6639
type(
  bool
)
"lib/re_glob.ml" 234 6640 6658 "lib/re_glob.ml" 234 6640 6667
type(
  Re.t
)
ident(
  int_ref not_empty "lib/re_glob.ml" 206 5661 5669 "lib/re_glob.ml" 206 5661 5678
)
"lib/re_glob.ml" 235 6668 6686 "lib/re_glob.ml" 235 6668 6697
type(
  Re.t
)
ident(
  int_ref maybe_empty "lib/re_glob.ml" 214 5935 5943 "lib/re_glob.ml" 214 5935 5954
)
"lib/re_glob.ml" 233 6616 6628 "lib/re_glob.ml" 235 6668 6698
type(
  Re.t
)
"lib/re_glob.ml" 232 6587 6597 "lib/re_glob.ml" 235 6668 6698
call(
  stack
)
type(
  State.t
)
"lib/re_glob.ml" 237 6710 6718 "lib/re_glob.ml" 237 6710 6725
type(
  State.t -> char -> State.t
)
ident(
  int_ref exactly "lib/re_glob.ml" 186 4813 4817 "lib/re_glob.ml" 186 4813 4824
)
"lib/re_glob.ml" 237 6710 6726 "lib/re_glob.ml" 237 6710 6731
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 231 6567 6579 "lib/re_glob.ml" 231 6567 6584
)
"lib/re_glob.ml" 237 6710 6732 "lib/re_glob.ml" 237 6710 6733
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 230 6532 6554 "lib/re_glob.ml" 230 6532 6555
)
"lib/re_glob.ml" 237 6710 6718 "lib/re_glob.ml" 237 6710 6733
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 231 6567 6575 "lib/re_glob.ml" 237 6710 6733
type(
  State.t
)
"lib/re_glob.ml" 239 6766 6780 "lib/re_glob.ml" 239 6766 6783
type(
  piece
)
"lib/re_glob.ml" 239 6766 6785 "lib/re_glob.ml" 239 6766 6790
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 239 6766 6795 "lib/re_glob.ml" 239 6766 6823
)
"lib/re_glob.ml" 239 6766 6779 "lib/re_glob.ml" 239 6766 6791
type(
  piece * State.t
)
"lib/re_glob.ml" 239 6766 6774 "lib/re_glob.ml" 239 6766 6791
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 239 6766 6795 "lib/re_glob.ml" 239 6766 6807
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 239 6766 6808 "lib/re_glob.ml" 239 6766 6813
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 239 6766 6785 "lib/re_glob.ml" 239 6766 6790
)
"lib/re_glob.ml" 239 6766 6814 "lib/re_glob.ml" 239 6766 6823
type(
  Re.t
)
ident(
  int_ref not_empty "lib/re_glob.ml" 206 5661 5669 "lib/re_glob.ml" 206 5661 5678
)
"lib/re_glob.ml" 239 6766 6795 "lib/re_glob.ml" 239 6766 6823
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 240 6824 6845 "lib/re_glob.ml" 240 6824 6853
type(
  enclosed list
)
ident(
  def enclosed "lib/re_glob.ml" 240 6824 6865 "lib/re_glob.ml" 240 6824 6900
)
"lib/re_glob.ml" 240 6824 6838 "lib/re_glob.ml" 240 6824 6853
type(
  piece
)
"lib/re_glob.ml" 240 6824 6855 "lib/re_glob.ml" 240 6824 6860
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 240 6824 6865 "lib/re_glob.ml" 240 6824 6900
)
"lib/re_glob.ml" 240 6824 6837 "lib/re_glob.ml" 240 6824 6861
type(
  piece * State.t
)
"lib/re_glob.ml" 240 6824 6832 "lib/re_glob.ml" 240 6824 6861
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 240 6824 6865 "lib/re_glob.ml" 240 6824 6877
type(
  State.t -> _[< `Any_but | `Any_of > `Any_of ] -> enclosed list -> State.t
)
ident(
  int_ref enclosed_set "lib/re_glob.ml" 215 5977 5985 "lib/re_glob.ml" 215 5977 5997
)
"lib/re_glob.ml" 240 6824 6878 "lib/re_glob.ml" 240 6824 6883
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 240 6824 6855 "lib/re_glob.ml" 240 6824 6860
)
"lib/re_glob.ml" 240 6824 6884 "lib/re_glob.ml" 240 6824 6891
type(
  _[< `Any_but | `Any_of > `Any_of ] as 'b
)
"lib/re_glob.ml" 240 6824 6892 "lib/re_glob.ml" 240 6824 6900
type(
  enclosed list
)
ident(
  int_ref enclosed "lib/re_glob.ml" 240 6824 6845 "lib/re_glob.ml" 240 6824 6853
)
"lib/re_glob.ml" 240 6824 6865 "lib/re_glob.ml" 240 6824 6900
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 241 6901 6923 "lib/re_glob.ml" 241 6901 6931
type(
  enclosed list
)
ident(
  def enclosed "lib/re_glob.ml" 241 6901 6943 "lib/re_glob.ml" 241 6901 6979
)
"lib/re_glob.ml" 241 6901 6915 "lib/re_glob.ml" 241 6901 6931
type(
  piece
)
"lib/re_glob.ml" 241 6901 6933 "lib/re_glob.ml" 241 6901 6938
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 241 6901 6943 "lib/re_glob.ml" 241 6901 6979
)
"lib/re_glob.ml" 241 6901 6914 "lib/re_glob.ml" 241 6901 6939
type(
  piece * State.t
)
"lib/re_glob.ml" 241 6901 6909 "lib/re_glob.ml" 241 6901 6939
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 241 6901 6943 "lib/re_glob.ml" 241 6901 6955
type(
  State.t -> _[< `Any_but | `Any_of > `Any_but ] -> enclosed list -> State.t
)
ident(
  int_ref enclosed_set "lib/re_glob.ml" 215 5977 5985 "lib/re_glob.ml" 215 5977 5997
)
"lib/re_glob.ml" 241 6901 6956 "lib/re_glob.ml" 241 6901 6961
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 241 6901 6933 "lib/re_glob.ml" 241 6901 6938
)
"lib/re_glob.ml" 241 6901 6962 "lib/re_glob.ml" 241 6901 6970
type(
  _[< `Any_but | `Any_of > `Any_but ] as 'c
)
"lib/re_glob.ml" 241 6901 6971 "lib/re_glob.ml" 241 6901 6979
type(
  enclosed list
)
ident(
  int_ref enclosed "lib/re_glob.ml" 241 6901 6923 "lib/re_glob.ml" 241 6901 6931
)
"lib/re_glob.ml" 241 6901 6943 "lib/re_glob.ml" 241 6901 6979
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 226 6372 6378 "lib/re_glob.ml" 241 6901 6979
type(
  State.t
)
"lib/re_glob.ml" 243 6987 6991 "lib/re_glob.ml" 243 6987 7000
type(
  State.t -> State.t
)
ident(
  int_ref lookahead "lib/re_glob.ml" 225 6342 6354 "lib/re_glob.ml" 225 6342 6363
)
"lib/re_glob.ml" 243 6987 7001 "lib/re_glob.ml" 243 6987 7006
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 189 4905 4915 "lib/re_glob.ml" 189 4905 4920
)
"lib/re_glob.ml" 243 6987 6991 "lib/re_glob.ml" 243 6987 7006
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 225 6342 6346 "lib/re_glob.ml" 243 6987 7006
type(
  State.t
)
"lib/re_glob.ml" 215 5977 5981 "lib/re_glob.ml" 243 6987 7006
type(
  State.t
)
"lib/re_glob.ml" 214 5935 5939 "lib/re_glob.ml" 243 6987 7006
type(
  State.t
)
"lib/re_glob.ml" 205 5644 5655 "lib/re_glob.ml" 244 7007 7012
type(
  State.t
)
"lib/re_glob.ml" 197 5330 5341 "lib/re_glob.ml" 244 7007 7012
type(
  State.t
)
"lib/re_glob.ml" 195 5223 5225 "lib/re_glob.ml" 244 7007 7012
type(
  State.t
)
"lib/re_glob.ml" 191 4987 4989 "lib/re_glob.ml" 244 7007 7012
type(
  State.t
)
"lib/re_glob.ml" 190 4934 4936 "lib/re_glob.ml" 244 7007 7012
type(
  State.t
)
"lib/re_glob.ml" 246 7014 7018 "lib/re_glob.ml" 246 7014 7023
type(
  State.t -> piece -> State.t
)
ident(
  def piece "lib/re_glob.ml" 258 7515 7515 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 246 7014 7030 "lib/re_glob.ml" 256 7481 7513
)
"lib/re_glob.ml" 246 7014 7030 "lib/re_glob.ml" 246 7014 7035
type(
  piece
)
ident(
  def piece "lib/re_glob.ml" 247 7038 7040 "lib/re_glob.ml" 256 7481 7513
)
"lib/re_glob.ml" 247 7038 7044 "lib/re_glob.ml" 247 7038 7058
type(
  bool
)
ident(
  def explicit_slash "lib/re_glob.ml" 248 7091 7093 "lib/re_glob.ml" 256 7481 7513
)
"lib/re_glob.ml" 247 7038 7061 "lib/re_glob.ml" 247 7038 7081
type(
  State.t -> bool
)
ident(
  int_ref State.explicit_slash "lib/re_glob.ml" 147 3855 3861 "lib/re_glob.ml" 147 3855 3875
)
"lib/re_glob.ml" 247 7038 7082 "lib/re_glob.ml" 247 7038 7087
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 247 7038 7061 "lib/re_glob.ml" 247 7038 7087
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 248 7091 7097 "lib/re_glob.ml" 248 7091 7112
type(
  bool
)
ident(
  def explicit_period "lib/re_glob.ml" 249 7146 7148 "lib/re_glob.ml" 256 7481 7513
)
"lib/re_glob.ml" 248 7091 7115 "lib/re_glob.ml" 248 7091 7136
type(
  State.t -> bool
)
ident(
  int_ref State.explicit_period "lib/re_glob.ml" 141 3721 3727 "lib/re_glob.ml" 141 3721 3742
)
"lib/re_glob.ml" 248 7091 7137 "lib/re_glob.ml" 248 7091 7142
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 248 7091 7115 "lib/re_glob.ml" 248 7091 7142
call(
  stack
)
type(
  bool
)
"lib/re_glob.ml" 249 7146 7154 "lib/re_glob.ml" 249 7146 7159
type(
  piece
)
ident(
  int_ref piece "lib/re_glob.ml" 246 7014 7030 "lib/re_glob.ml" 246 7014 7035
)
"lib/re_glob.ml" 250 7165 7169 "lib/re_glob.ml" 250 7165 7172
type(
  piece
)
"lib/re_glob.ml" 250 7165 7176 "lib/re_glob.ml" 250 7165 7188
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 250 7165 7189 "lib/re_glob.ml" 250 7165 7194
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 250 7165 7196 "lib/re_glob.ml" 250 7165 7199
type(
  explicit_slash:bool -> explicit_period:bool -> Re.t
)
ident(
  int_ref one "lib/re_glob.ml" 164 4253 4257 "lib/re_glob.ml" 164 4253 4260
)
"lib/re_glob.ml" 250 7165 7201 "lib/re_glob.ml" 250 7165 7215
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 247 7038 7044 "lib/re_glob.ml" 247 7038 7058
)
"lib/re_glob.ml" 250 7165 7217 "lib/re_glob.ml" 250 7165 7232
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 248 7091 7097 "lib/re_glob.ml" 248 7091 7112
)
"lib/re_glob.ml" 250 7165 7195 "lib/re_glob.ml" 250 7165 7233
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 250 7165 7176 "lib/re_glob.ml" 250 7165 7233
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 251 7234 7238 "lib/re_glob.ml" 251 7234 7242
type(
  piece
)
"lib/re_glob.ml" 251 7234 7246 "lib/re_glob.ml" 251 7234 7250
type(
  State.t -> State.t
)
ident(
  int_ref many "lib/re_glob.ml" 189 4905 4909 "lib/re_glob.ml" 189 4905 4913
)
"lib/re_glob.ml" 251 7234 7251 "lib/re_glob.ml" 251 7234 7256
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 251 7234 7246 "lib/re_glob.ml" 251 7234 7256
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 252 7257 7268 "lib/re_glob.ml" 252 7257 7276
type(
  enclosed list
)
ident(
  def enclosed "lib/re_glob.ml" 253 7280 7284 "lib/re_glob.ml" 253 7280 7367
)
"lib/re_glob.ml" 252 7257 7261 "lib/re_glob.ml" 252 7257 7276
type(
  piece
)
"lib/re_glob.ml" 253 7280 7284 "lib/re_glob.ml" 253 7280 7296
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 253 7280 7297 "lib/re_glob.ml" 253 7280 7302
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 253 7280 7304 "lib/re_glob.ml" 253 7280 7316
type(
  explicit_slash:bool ->
  explicit_period:bool ->
  _[< `Any_but | `Any_of > `Any_of ] -> enclosed list -> Re.t
)
ident(
  int_ref enclosed_set "lib/re_glob.ml" 177 4551 4555 "lib/re_glob.ml" 177 4551 4567
)
"lib/re_glob.ml" 253 7280 7317 "lib/re_glob.ml" 253 7280 7324
type(
  _[< `Any_but | `Any_of > `Any_of ] as 'a
)
"lib/re_glob.ml" 253 7280 7326 "lib/re_glob.ml" 253 7280 7340
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 247 7038 7044 "lib/re_glob.ml" 247 7038 7058
)
"lib/re_glob.ml" 253 7280 7342 "lib/re_glob.ml" 253 7280 7357
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 248 7091 7097 "lib/re_glob.ml" 248 7091 7112
)
"lib/re_glob.ml" 253 7280 7358 "lib/re_glob.ml" 253 7280 7366
type(
  enclosed list
)
ident(
  int_ref enclosed "lib/re_glob.ml" 252 7257 7268 "lib/re_glob.ml" 252 7257 7276
)
"lib/re_glob.ml" 253 7280 7303 "lib/re_glob.ml" 253 7280 7367
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 253 7280 7284 "lib/re_glob.ml" 253 7280 7367
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 254 7368 7380 "lib/re_glob.ml" 254 7368 7388
type(
  enclosed list
)
ident(
  def enclosed "lib/re_glob.ml" 255 7392 7396 "lib/re_glob.ml" 255 7392 7480
)
"lib/re_glob.ml" 254 7368 7372 "lib/re_glob.ml" 254 7368 7388
type(
  piece
)
"lib/re_glob.ml" 255 7392 7396 "lib/re_glob.ml" 255 7392 7408
type(
  ?am_at_start_of_component:bool -> State.t -> Re.t -> State.t
)
ident(
  int_ref State.append "lib/re_glob.ml" 149 3892 3898 "lib/re_glob.ml" 149 3892 3904
)
"lib/re_glob.ml" 255 7392 7409 "lib/re_glob.ml" 255 7392 7414
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 255 7392 7416 "lib/re_glob.ml" 255 7392 7428
type(
  explicit_slash:bool ->
  explicit_period:bool ->
  _[< `Any_but | `Any_of > `Any_but ] -> enclosed list -> Re.t
)
ident(
  int_ref enclosed_set "lib/re_glob.ml" 177 4551 4555 "lib/re_glob.ml" 177 4551 4567
)
"lib/re_glob.ml" 255 7392 7429 "lib/re_glob.ml" 255 7392 7437
type(
  _[< `Any_but | `Any_of > `Any_but ] as 'b
)
"lib/re_glob.ml" 255 7392 7439 "lib/re_glob.ml" 255 7392 7453
type(
  bool
)
ident(
  int_ref explicit_slash "lib/re_glob.ml" 247 7038 7044 "lib/re_glob.ml" 247 7038 7058
)
"lib/re_glob.ml" 255 7392 7455 "lib/re_glob.ml" 255 7392 7470
type(
  bool
)
ident(
  int_ref explicit_period "lib/re_glob.ml" 248 7091 7097 "lib/re_glob.ml" 248 7091 7112
)
"lib/re_glob.ml" 255 7392 7471 "lib/re_glob.ml" 255 7392 7479
type(
  enclosed list
)
ident(
  int_ref enclosed "lib/re_glob.ml" 254 7368 7380 "lib/re_glob.ml" 254 7368 7388
)
"lib/re_glob.ml" 255 7392 7415 "lib/re_glob.ml" 255 7392 7480
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 255 7392 7396 "lib/re_glob.ml" 255 7392 7480
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 256 7481 7493 "lib/re_glob.ml" 256 7481 7494
type(
  char
)
ident(
  def c "lib/re_glob.ml" 256 7481 7498 "lib/re_glob.ml" 256 7481 7513
)
"lib/re_glob.ml" 256 7481 7485 "lib/re_glob.ml" 256 7481 7494
type(
  piece
)
"lib/re_glob.ml" 256 7481 7498 "lib/re_glob.ml" 256 7481 7505
type(
  State.t -> char -> State.t
)
ident(
  int_ref exactly "lib/re_glob.ml" 186 4813 4817 "lib/re_glob.ml" 186 4813 4824
)
"lib/re_glob.ml" 256 7481 7506 "lib/re_glob.ml" 256 7481 7511
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 246 7014 7024 "lib/re_glob.ml" 246 7014 7029
)
"lib/re_glob.ml" 256 7481 7512 "lib/re_glob.ml" 256 7481 7513
type(
  char
)
ident(
  int_ref c "lib/re_glob.ml" 256 7481 7493 "lib/re_glob.ml" 256 7481 7494
)
"lib/re_glob.ml" 256 7481 7498 "lib/re_glob.ml" 256 7481 7513
call(
  tail
)
type(
  State.t
)
"lib/re_glob.ml" 249 7146 7148 "lib/re_glob.ml" 256 7481 7513
type(
  State.t
)
"lib/re_glob.ml" 248 7091 7093 "lib/re_glob.ml" 256 7481 7513
type(
  State.t
)
"lib/re_glob.ml" 247 7038 7040 "lib/re_glob.ml" 256 7481 7513
type(
  State.t
)
"lib/re_glob.ml" 258 7515 7519 "lib/re_glob.ml" 258 7515 7523
type(
  pathname:bool -> period:bool -> piece list -> Re.t
)
ident(
  def glob "lib/re_glob.ml" 266 7733 7733 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 258 7515 7525 "lib/re_glob.ml" 258 7515 7533
type(
  bool
)
ident(
  def pathname "lib/re_glob.ml" 258 7515 7534 "lib/re_glob.ml" 264 7687 7731
)
"lib/re_glob.ml" 258 7515 7535 "lib/re_glob.ml" 258 7515 7541
type(
  bool
)
ident(
  def period "lib/re_glob.ml" 258 7515 7542 "lib/re_glob.ml" 264 7687 7731
)
"lib/re_glob.ml" 258 7515 7542 "lib/re_glob.ml" 258 7515 7546
type(
  piece list
)
ident(
  def glob "lib/re_glob.ml" 259 7549 7551 "lib/re_glob.ml" 264 7687 7731
)
"lib/re_glob.ml" 259 7549 7559 "lib/re_glob.ml" 259 7549 7563
type(
  State.t -> Re.t
)
ident(
  def loop "lib/re_glob.ml" 259 7549 7551 "lib/re_glob.ml" 264 7687 7731
)
"lib/re_glob.ml" 259 7549 7564 "lib/re_glob.ml" 259 7549 7569
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 260 7572 7576 "lib/re_glob.ml" 262 7636 7681
)
"lib/re_glob.ml" 260 7572 7582 "lib/re_glob.ml" 260 7572 7592
type(
  State.t -> (piece * State.t) option
)
ident(
  int_ref State.next "lib/re_glob.ml" 158 4126 4132 "lib/re_glob.ml" 158 4126 4136
)
"lib/re_glob.ml" 260 7572 7593 "lib/re_glob.ml" 260 7572 7598
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 259 7549 7564 "lib/re_glob.ml" 259 7549 7569
)
"lib/re_glob.ml" 260 7572 7582 "lib/re_glob.ml" 260 7572 7598
call(
  stack
)
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 261 7604 7610 "lib/re_glob.ml" 261 7604 7614
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 261 7604 7618 "lib/re_glob.ml" 261 7604 7629
type(
  State.t -> Re.t
)
ident(
  int_ref State.to_re "lib/re_glob.ml" 156 4079 4085 "lib/re_glob.ml" 156 4079 4090
)
"lib/re_glob.ml" 261 7604 7630 "lib/re_glob.ml" 261 7604 7635
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 259 7549 7564 "lib/re_glob.ml" 259 7549 7569
)
"lib/re_glob.ml" 261 7604 7618 "lib/re_glob.ml" 261 7604 7635
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 262 7636 7648 "lib/re_glob.ml" 262 7636 7649
type(
  piece
)
ident(
  def p "lib/re_glob.ml" 262 7636 7661 "lib/re_glob.ml" 262 7636 7681
)
"lib/re_glob.ml" 262 7636 7651 "lib/re_glob.ml" 262 7636 7656
type(
  State.t
)
ident(
  def state "lib/re_glob.ml" 262 7636 7661 "lib/re_glob.ml" 262 7636 7681
)
"lib/re_glob.ml" 262 7636 7647 "lib/re_glob.ml" 262 7636 7657
type(
  piece * State.t
)
"lib/re_glob.ml" 262 7636 7642 "lib/re_glob.ml" 262 7636 7657
type(
  (piece * State.t) option
)
"lib/re_glob.ml" 262 7636 7661 "lib/re_glob.ml" 262 7636 7665
type(
  State.t -> Re.t
)
ident(
  int_ref loop "lib/re_glob.ml" 259 7549 7559 "lib/re_glob.ml" 259 7549 7563
)
"lib/re_glob.ml" 262 7636 7667 "lib/re_glob.ml" 262 7636 7672
type(
  State.t -> piece -> State.t
)
ident(
  int_ref piece "lib/re_glob.ml" 246 7014 7018 "lib/re_glob.ml" 246 7014 7023
)
"lib/re_glob.ml" 262 7636 7673 "lib/re_glob.ml" 262 7636 7678
type(
  State.t
)
ident(
  int_ref state "lib/re_glob.ml" 262 7636 7651 "lib/re_glob.ml" 262 7636 7656
)
"lib/re_glob.ml" 262 7636 7679 "lib/re_glob.ml" 262 7636 7680
type(
  piece
)
ident(
  int_ref p "lib/re_glob.ml" 262 7636 7648 "lib/re_glob.ml" 262 7636 7649
)
"lib/re_glob.ml" 262 7636 7666 "lib/re_glob.ml" 262 7636 7681
call(
  stack
)
type(
  State.t
)
"lib/re_glob.ml" 262 7636 7661 "lib/re_glob.ml" 262 7636 7681
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 260 7572 7576 "lib/re_glob.ml" 262 7636 7681
type(
  Re.t
)
"lib/re_glob.ml" 264 7687 7689 "lib/re_glob.ml" 264 7687 7693
type(
  State.t -> Re.t
)
ident(
  int_ref loop "lib/re_glob.ml" 259 7549 7559 "lib/re_glob.ml" 259 7549 7563
)
"lib/re_glob.ml" 264 7687 7695 "lib/re_glob.ml" 264 7687 7707
type(
  period:bool -> pathname:bool -> piece list -> State.t
)
ident(
  int_ref State.create "lib/re_glob.ml" 131 3520 3526 "lib/re_glob.ml" 131 3520 3532
)
"lib/re_glob.ml" 264 7687 7709 "lib/re_glob.ml" 264 7687 7717
type(
  bool
)
ident(
  int_ref pathname "lib/re_glob.ml" 258 7515 7525 "lib/re_glob.ml" 258 7515 7533
)
"lib/re_glob.ml" 264 7687 7719 "lib/re_glob.ml" 264 7687 7725
type(
  bool
)
ident(
  int_ref period "lib/re_glob.ml" 258 7515 7535 "lib/re_glob.ml" 258 7515 7541
)
"lib/re_glob.ml" 264 7687 7726 "lib/re_glob.ml" 264 7687 7730
type(
  piece list
)
ident(
  int_ref glob "lib/re_glob.ml" 258 7515 7542 "lib/re_glob.ml" 258 7515 7546
)
"lib/re_glob.ml" 264 7687 7694 "lib/re_glob.ml" 264 7687 7731
call(
  stack
)
type(
  State.t
)
"lib/re_glob.ml" 264 7687 7689 "lib/re_glob.ml" 264 7687 7731
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 259 7549 7551 "lib/re_glob.ml" 264 7687 7731
type(
  Re.t
)
"lib/re_glob.ml" 266 7733 7737 "lib/re_glob.ml" 266 7733 7741
type(
  ?anchored:bool ->
  ?pathname:bool -> ?period:bool -> ?expand_braces:bool -> string -> Re.t
)
ident(
  def glob "lib/re_glob.ml" 283 8067 8067 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 267 7742 7750 "lib/re_glob.ml" 267 7742 7758
type(
  bool
)
"lib/re_glob.ml" 267 7742 7761 "lib/re_glob.ml" 267 7742 7766
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "lib/re_glob.ml" 267 7742 7761 "lib/re_glob.ml" 267 7742 7766
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"lib/re_glob.ml" 268 7768 7776 "lib/re_glob.ml" 268 7768 7784
type(
  bool
)
"lib/re_glob.ml" 268 7768 7787 "lib/re_glob.ml" 268 7768 7791
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "lib/re_glob.ml" 268 7768 7787 "lib/re_glob.ml" 268 7768 7791
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"lib/re_glob.ml" 269 7793 7801 "lib/re_glob.ml" 269 7793 7807
type(
  bool
)
"lib/re_glob.ml" 269 7793 7810 "lib/re_glob.ml" 269 7793 7814
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "lib/re_glob.ml" 269 7793 7810 "lib/re_glob.ml" 269 7793 7814
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"lib/re_glob.ml" 270 7816 7824 "lib/re_glob.ml" 270 7816 7837
type(
  bool
)
"lib/re_glob.ml" 270 7816 7840 "lib/re_glob.ml" 270 7816 7845
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "lib/re_glob.ml" 270 7816 7840 "lib/re_glob.ml" 270 7816 7845
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"lib/re_glob.ml" 271 7847 7853 "lib/re_glob.ml" 271 7847 7854
type(
  string
)
ident(
  def s "lib/re_glob.ml" 273 7859 7861 "lib/re_glob.ml" 281 8051 8065
)
"lib/re_glob.ml" 273 7859 7865 "lib/re_glob.ml" 273 7859 7870
type(
  string -> Re.t
)
ident(
  def to_re "lib/re_glob.ml" 279 7989 7991 "lib/re_glob.ml" 281 8051 8065
)
"lib/re_glob.ml" 273 7859 7871 "lib/re_glob.ml" 273 7859 7872
type(
  string
)
ident(
  def s "lib/re_glob.ml" 274 7875 7879 "lib/re_glob.ml" 277 7972 7983
)
"lib/re_glob.ml" 274 7875 7883 "lib/re_glob.ml" 274 7875 7885
type(
  Re.t
)
ident(
  def re "lib/re_glob.ml" 275 7928 7932 "lib/re_glob.ml" 277 7972 7983
)
"lib/re_glob.ml" 274 7875 7888 "lib/re_glob.ml" 274 7875 7892
type(
  pathname:bool -> period:bool -> t -> Re.t
)
ident(
  int_ref glob "lib/re_glob.ml" 258 7515 7519 "lib/re_glob.ml" 258 7515 7523
)
"lib/re_glob.ml" 274 7875 7894 "lib/re_glob.ml" 274 7875 7902
type(
  bool
)
ident(
  int_ref pathname "lib/re_glob.ml" 268 7768 7776 "lib/re_glob.ml" 268 7768 7784
)
"lib/re_glob.ml" 274 7875 7904 "lib/re_glob.ml" 274 7875 7910
type(
  bool
)
ident(
  int_ref period "lib/re_glob.ml" 269 7793 7801 "lib/re_glob.ml" 269 7793 7807
)
"lib/re_glob.ml" 274 7875 7912 "lib/re_glob.ml" 274 7875 7921
type(
  string -> t
)
ident(
  int_ref of_string "lib/re_glob.ml" 38 1098 1102 "lib/re_glob.ml" 38 1098 1111
)
"lib/re_glob.ml" 274 7875 7922 "lib/re_glob.ml" 274 7875 7923
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 273 7859 7871 "lib/re_glob.ml" 273 7859 7872
)
"lib/re_glob.ml" 274 7875 7911 "lib/re_glob.ml" 274 7875 7924
call(
  stack
)
type(
  t
)
"lib/re_glob.ml" 274 7875 7888 "lib/re_glob.ml" 274 7875 7924
call(
  stack
)
type(
  Re.t
)
"lib/re_glob.ml" 275 7928 7935 "lib/re_glob.ml" 275 7928 7943
type(
  bool
)
ident(
  int_ref anchored "lib/re_glob.ml" 267 7742 7750 "lib/re_glob.ml" 267 7742 7758
)
"lib/re_glob.ml" 276 7944 7953 "lib/re_glob.ml" 276 7944 7968
type(
  Re.t -> Re.t
)
ident(
  ext_ref Re.whole_string
)
"lib/re_glob.ml" 276 7944 7969 "lib/re_glob.ml" 276 7944 7971
type(
  Re.t
)
ident(
  int_ref re "lib/re_glob.ml" 274 7875 7883 "lib/re_glob.ml" 274 7875 7885
)
"lib/re_glob.ml" 276 7944 7953 "lib/re_glob.ml" 276 7944 7971
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 277 7972 7981 "lib/re_glob.ml" 277 7972 7983
type(
  Re.t
)
ident(
  int_ref re "lib/re_glob.ml" 274 7875 7883 "lib/re_glob.ml" 274 7875 7885
)
"lib/re_glob.ml" 275 7928 7932 "lib/re_glob.ml" 277 7972 7983
type(
  Re.t
)
"lib/re_glob.ml" 274 7875 7879 "lib/re_glob.ml" 277 7972 7983
type(
  Re.t
)
"lib/re_glob.ml" 279 7989 7994 "lib/re_glob.ml" 279 7989 8007
type(
  bool
)
ident(
  int_ref expand_braces "lib/re_glob.ml" 270 7816 7824 "lib/re_glob.ml" 270 7816 7837
)
"lib/re_glob.ml" 280 8008 8015 "lib/re_glob.ml" 280 8008 8021
type(
  Re.t list -> Re.t
)
ident(
  ext_ref Re.alt
)
"lib/re_glob.ml" 280 8008 8023 "lib/re_glob.ml" 280 8008 8031
type(
  (string -> Re.t) -> string list -> Re.t list
)
ident(
  ext_ref List.map
)
"lib/re_glob.ml" 280 8008 8032 "lib/re_glob.ml" 280 8008 8037
type(
  string -> Re.t
)
ident(
  int_ref to_re "lib/re_glob.ml" 273 7859 7865 "lib/re_glob.ml" 273 7859 7870
)
"lib/re_glob.ml" 280 8008 8039 "lib/re_glob.ml" 280 8008 8046
type(
  string -> string list
)
ident(
  int_ref explode "lib/re_glob.ml" 97 2297 2301 "lib/re_glob.ml" 97 2297 2308
)
"lib/re_glob.ml" 280 8008 8047 "lib/re_glob.ml" 280 8008 8048
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 271 7847 7853 "lib/re_glob.ml" 271 7847 7854
)
"lib/re_glob.ml" 280 8008 8038 "lib/re_glob.ml" 280 8008 8049
call(
  stack
)
type(
  string list
)
"lib/re_glob.ml" 280 8008 8022 "lib/re_glob.ml" 280 8008 8050
call(
  stack
)
type(
  Re.t list
)
"lib/re_glob.ml" 280 8008 8015 "lib/re_glob.ml" 280 8008 8050
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 281 8051 8058 "lib/re_glob.ml" 281 8051 8063
type(
  string -> Re.t
)
ident(
  int_ref to_re "lib/re_glob.ml" 273 7859 7865 "lib/re_glob.ml" 273 7859 7870
)
"lib/re_glob.ml" 281 8051 8064 "lib/re_glob.ml" 281 8051 8065
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 271 7847 7853 "lib/re_glob.ml" 271 7847 7854
)
"lib/re_glob.ml" 281 8051 8058 "lib/re_glob.ml" 281 8051 8065
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 279 7989 7991 "lib/re_glob.ml" 281 8051 8065
type(
  Re.t
)
"lib/re_glob.ml" 273 7859 7861 "lib/re_glob.ml" 281 8051 8065
type(
  Re.t
)
"lib/re_glob.ml" 283 8067 8071 "lib/re_glob.ml" 283 8067 8076
type(
  ?anchored:bool -> bool -> string -> Re.t
)
ident(
  def glob' "lib/re_glob.ml" 285 8124 8124 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 283 8067 8078 "lib/re_glob.ml" 283 8067 8086
type(
  bool option
)
ident(
  def anchored "lib/re_glob.ml" 283 8067 8087 "lib/re_glob.ml" 283 8067 8122
)
"lib/re_glob.ml" 283 8067 8087 "lib/re_glob.ml" 283 8067 8093
type(
  bool
)
ident(
  def period "lib/re_glob.ml" 283 8067 8094 "lib/re_glob.ml" 283 8067 8122
)
"lib/re_glob.ml" 283 8067 8094 "lib/re_glob.ml" 283 8067 8095
type(
  string
)
ident(
  def s "lib/re_glob.ml" 283 8067 8098 "lib/re_glob.ml" 283 8067 8122
)
"lib/re_glob.ml" 283 8067 8098 "lib/re_glob.ml" 283 8067 8102
type(
  ?anchored:bool ->
  ?pathname:bool -> ?period:bool -> ?expand_braces:bool -> string -> Re.t
)
ident(
  int_ref glob "lib/re_glob.ml" 266 7733 7737 "lib/re_glob.ml" 266 7733 7741
)
"lib/re_glob.ml" 283 8067 8104 "lib/re_glob.ml" 283 8067 8112
type(
  bool option
)
ident(
  int_ref anchored "lib/re_glob.ml" 283 8067 8078 "lib/re_glob.ml" 283 8067 8086
)
"lib/re_glob.ml" 283 8067 8114 "lib/re_glob.ml" 283 8067 8120
type(
  bool
)
ident(
  int_ref period "lib/re_glob.ml" 283 8067 8087 "lib/re_glob.ml" 283 8067 8093
)
"lib/re_glob.ml" 283 8067 8121 "lib/re_glob.ml" 283 8067 8122
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 283 8067 8094 "lib/re_glob.ml" 283 8067 8095
)
"lib/re_glob.ml" 283 8067 8098 "lib/re_glob.ml" 283 8067 8122
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 285 8124 8128 "lib/re_glob.ml" 285 8124 8133
type(
  ?anchored:bool -> string -> Re.t
)
ident(
  def globx "lib/re_glob.ml" 287 8186 8186 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 285 8124 8135 "lib/re_glob.ml" 285 8124 8143
type(
  bool option
)
ident(
  def anchored "lib/re_glob.ml" 285 8124 8144 "lib/re_glob.ml" 285 8124 8184
)
"lib/re_glob.ml" 285 8124 8144 "lib/re_glob.ml" 285 8124 8145
type(
  string
)
ident(
  def s "lib/re_glob.ml" 285 8124 8148 "lib/re_glob.ml" 285 8124 8184
)
"lib/re_glob.ml" 285 8124 8148 "lib/re_glob.ml" 285 8124 8152
type(
  ?anchored:bool ->
  ?pathname:bool -> ?period:bool -> ?expand_braces:bool -> string -> Re.t
)
ident(
  int_ref glob "lib/re_glob.ml" 266 7733 7737 "lib/re_glob.ml" 266 7733 7741
)
"lib/re_glob.ml" 285 8124 8154 "lib/re_glob.ml" 285 8124 8162
type(
  bool option
)
ident(
  int_ref anchored "lib/re_glob.ml" 285 8124 8135 "lib/re_glob.ml" 285 8124 8143
)
"lib/re_glob.ml" 285 8124 8178 "lib/re_glob.ml" 285 8124 8182
type(
  bool
)
"lib/re_glob.ml" 285 8124 8183 "lib/re_glob.ml" 285 8124 8184
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 285 8124 8144 "lib/re_glob.ml" 285 8124 8145
)
"lib/re_glob.ml" 285 8124 8148 "lib/re_glob.ml" 285 8124 8184
call(
  tail
)
type(
  Re.t
)
"lib/re_glob.ml" 287 8186 8190 "lib/re_glob.ml" 287 8186 8196
type(
  ?anchored:bool -> bool -> string -> Re.t
)
ident(
  def globx' "lib/re_glob.ml" 287 8186 8262 "lib/re_glob.ml" 1 0 -1
)
"lib/re_glob.ml" 287 8186 8198 "lib/re_glob.ml" 287 8186 8206
type(
  bool option
)
ident(
  def anchored "lib/re_glob.ml" 287 8186 8207 "lib/re_glob.ml" 287 8186 8262
)
"lib/re_glob.ml" 287 8186 8207 "lib/re_glob.ml" 287 8186 8213
type(
  bool
)
ident(
  def period "lib/re_glob.ml" 287 8186 8214 "lib/re_glob.ml" 287 8186 8262
)
"lib/re_glob.ml" 287 8186 8214 "lib/re_glob.ml" 287 8186 8215
type(
  string
)
ident(
  def s "lib/re_glob.ml" 287 8186 8218 "lib/re_glob.ml" 287 8186 8262
)
"lib/re_glob.ml" 287 8186 8218 "lib/re_glob.ml" 287 8186 8222
type(
  ?anchored:bool ->
  ?pathname:bool -> ?period:bool -> ?expand_braces:bool -> string -> Re.t
)
ident(
  int_ref glob "lib/re_glob.ml" 266 7733 7737 "lib/re_glob.ml" 266 7733 7741
)
"lib/re_glob.ml" 287 8186 8224 "lib/re_glob.ml" 287 8186 8232
type(
  bool option
)
ident(
  int_ref anchored "lib/re_glob.ml" 287 8186 8198 "lib/re_glob.ml" 287 8186 8206
)
"lib/re_glob.ml" 287 8186 8248 "lib/re_glob.ml" 287 8186 8252
type(
  bool
)
"lib/re_glob.ml" 287 8186 8254 "lib/re_glob.ml" 287 8186 8260
type(
  bool
)
ident(
  int_ref period "lib/re_glob.ml" 287 8186 8207 "lib/re_glob.ml" 287 8186 8213
)
"lib/re_glob.ml" 287 8186 8261 "lib/re_glob.ml" 287 8186 8262
type(
  string
)
ident(
  int_ref s "lib/re_glob.ml" 287 8186 8214 "lib/re_glob.ml" 287 8186 8215
)
"lib/re_glob.ml" 287 8186 8218 "lib/re_glob.ml" 287 8186 8262
call(
  tail
)
type(
  Re.t
)