liblwt-ocaml-dev 2.7.1-4build1 / usr / lib / ocaml / lwt / lwt_switch.annot

"src/core/lwt_switch.ml" 35 1102 1106 "src/core/lwt_switch.ml" 35 1102 1112
type(
  unit -> t
)
ident(
  def create "src/core/lwt_switch.ml" 37 1152 1152 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 35 1102 1113 "src/core/lwt_switch.ml" 35 1102 1115
type(
  unit
)
"src/core/lwt_switch.ml" 35 1102 1144 "src/core/lwt_switch.ml" 35 1102 1146
type(
  (unit -> unit Lwt.t) list
)
"src/core/lwt_switch.ml" 35 1102 1134 "src/core/lwt_switch.ml" 35 1102 1148
type(
  on_switch
)
"src/core/lwt_switch.ml" 35 1102 1128 "src/core/lwt_switch.ml" 35 1102 1148
type(
  state
)
"src/core/lwt_switch.ml" 35 1102 1118 "src/core/lwt_switch.ml" 35 1102 1150
type(
  t
)
"src/core/lwt_switch.ml" 37 1152 1156 "src/core/lwt_switch.ml" 37 1152 1161
type(
  t -> bool
)
ident(
  def is_on "src/core/lwt_switch.ml" 42 1242 1242 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 37 1152 1162 "src/core/lwt_switch.ml" 37 1152 1168
type(
  t
)
ident(
  def switch "src/core/lwt_switch.ml" 38 1171 1173 "src/core/lwt_switch.ml" 40 1219 1240
)
"src/core/lwt_switch.ml" 38 1171 1179 "src/core/lwt_switch.ml" 38 1171 1185
type(
  t
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 37 1152 1162 "src/core/lwt_switch.ml" 37 1152 1168
)
"src/core/lwt_switch.ml" 38 1171 1179 "src/core/lwt_switch.ml" 38 1171 1191
type(
  state
)
"src/core/lwt_switch.ml" 39 1197 1209 "src/core/lwt_switch.ml" 39 1197 1210
type(
  on_switch
)
"src/core/lwt_switch.ml" 39 1197 1203 "src/core/lwt_switch.ml" 39 1197 1210
type(
  state
)
"src/core/lwt_switch.ml" 39 1197 1214 "src/core/lwt_switch.ml" 39 1197 1218
type(
  bool
)
"src/core/lwt_switch.ml" 40 1219 1225 "src/core/lwt_switch.ml" 40 1219 1231
type(
  state
)
"src/core/lwt_switch.ml" 40 1219 1235 "src/core/lwt_switch.ml" 40 1219 1240
type(
  bool
)
"src/core/lwt_switch.ml" 38 1171 1173 "src/core/lwt_switch.ml" 40 1219 1240
type(
  bool
)
"src/core/lwt_switch.ml" 42 1242 1246 "src/core/lwt_switch.ml" 42 1242 1251
type(
  t option -> unit
)
ident(
  def check "src/core/lwt_switch.ml" 46 1344 1344 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 43 1263 1281 "src/core/lwt_switch.ml" 43 1263 1287
type(
  state
)
"src/core/lwt_switch.ml" 43 1263 1271 "src/core/lwt_switch.ml" 43 1263 1289
type(
  t
)
"src/core/lwt_switch.ml" 43 1263 1267 "src/core/lwt_switch.ml" 43 1263 1289
type(
  t option
)
"src/core/lwt_switch.ml" 43 1263 1293 "src/core/lwt_switch.ml" 43 1263 1298
type(
  exn -> unit
)
ident(
  ext_ref Pervasives.raise
)
"src/core/lwt_switch.ml" 43 1263 1299 "src/core/lwt_switch.ml" 43 1263 1302
type(
  exn
)
"src/core/lwt_switch.ml" 43 1263 1293 "src/core/lwt_switch.ml" 43 1263 1302
type(
  unit
)
"src/core/lwt_switch.ml" 44 1303 1327 "src/core/lwt_switch.ml" 44 1303 1328
type(
  on_switch
)
"src/core/lwt_switch.ml" 44 1303 1321 "src/core/lwt_switch.ml" 44 1303 1328
type(
  state
)
"src/core/lwt_switch.ml" 44 1303 1312 "src/core/lwt_switch.ml" 44 1303 1329
type(
  t
)
"src/core/lwt_switch.ml" 44 1303 1307 "src/core/lwt_switch.ml" 44 1303 1329
type(
  t option
)
"src/core/lwt_switch.ml" 44 1303 1332 "src/core/lwt_switch.ml" 44 1303 1336
type(
  t option
)
"src/core/lwt_switch.ml" 44 1303 1307 "src/core/lwt_switch.ml" 44 1303 1336
type(
  t option
)
"src/core/lwt_switch.ml" 44 1303 1340 "src/core/lwt_switch.ml" 44 1303 1342
type(
  unit
)
"src/core/lwt_switch.ml" 42 1242 1254 "src/core/lwt_switch.ml" 44 1303 1342
type(
  t option -> unit
)
"src/core/lwt_switch.ml" 46 1344 1348 "src/core/lwt_switch.ml" 46 1344 1356
type(
  t option -> (unit -> unit Lwt.t) -> unit
)
ident(
  def add_hook "src/core/lwt_switch.ml" 55 1540 1540 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 46 1344 1357 "src/core/lwt_switch.ml" 46 1344 1363
type(
  t option
)
ident(
  def switch "src/core/lwt_switch.ml" 46 1344 1364 "src/core/lwt_switch.ml" 53 1528 1538
)
"src/core/lwt_switch.ml" 46 1344 1364 "src/core/lwt_switch.ml" 46 1344 1368
type(
  unit -> unit Lwt.t
)
ident(
  def hook "src/core/lwt_switch.ml" 47 1371 1373 "src/core/lwt_switch.ml" 53 1528 1538
)
"src/core/lwt_switch.ml" 47 1371 1379 "src/core/lwt_switch.ml" 47 1371 1385
type(
  t option
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 46 1344 1357 "src/core/lwt_switch.ml" 46 1344 1363
)
"src/core/lwt_switch.ml" 48 1391 1418 "src/core/lwt_switch.ml" 48 1391 1420
type(
  on_switch
)
ident(
  def os "src/core/lwt_switch.ml" 49 1426 1434 "src/core/lwt_switch.ml" 49 1426 1462
)
"src/core/lwt_switch.ml" 48 1391 1412 "src/core/lwt_switch.ml" 48 1391 1420
type(
  state
)
"src/core/lwt_switch.ml" 48 1391 1402 "src/core/lwt_switch.ml" 48 1391 1422
type(
  t
)
"src/core/lwt_switch.ml" 48 1391 1397 "src/core/lwt_switch.ml" 48 1391 1422
type(
  t option
)
"src/core/lwt_switch.ml" 49 1426 1434 "src/core/lwt_switch.ml" 49 1426 1436
type(
  on_switch
)
ident(
  int_ref os "src/core/lwt_switch.ml" 48 1391 1418 "src/core/lwt_switch.ml" 48 1391 1420
)
"src/core/lwt_switch.ml" 49 1426 1446 "src/core/lwt_switch.ml" 49 1426 1450
type(
  unit -> unit Lwt.t
)
ident(
  int_ref hook "src/core/lwt_switch.ml" 46 1344 1364 "src/core/lwt_switch.ml" 46 1344 1368
)
"src/core/lwt_switch.ml" 49 1426 1454 "src/core/lwt_switch.ml" 49 1426 1456
type(
  on_switch
)
ident(
  int_ref os "src/core/lwt_switch.ml" 48 1391 1418 "src/core/lwt_switch.ml" 48 1391 1420
)
"src/core/lwt_switch.ml" 49 1426 1454 "src/core/lwt_switch.ml" 49 1426 1462
type(
  (unit -> unit Lwt.t) list
)
"src/core/lwt_switch.ml" 49 1426 1446 "src/core/lwt_switch.ml" 49 1426 1462
type(
  (unit -> unit Lwt.t) list
)
"src/core/lwt_switch.ml" 49 1426 1434 "src/core/lwt_switch.ml" 49 1426 1462
type(
  unit
)
"src/core/lwt_switch.ml" 50 1463 1484 "src/core/lwt_switch.ml" 50 1463 1490
type(
  state
)
"src/core/lwt_switch.ml" 50 1463 1474 "src/core/lwt_switch.ml" 50 1463 1492
type(
  t
)
"src/core/lwt_switch.ml" 50 1463 1469 "src/core/lwt_switch.ml" 50 1463 1492
type(
  t option
)
"src/core/lwt_switch.ml" 51 1496 1504 "src/core/lwt_switch.ml" 51 1496 1509
type(
  exn -> unit
)
ident(
  ext_ref Pervasives.raise
)
"src/core/lwt_switch.ml" 51 1496 1510 "src/core/lwt_switch.ml" 51 1496 1513
type(
  exn
)
"src/core/lwt_switch.ml" 51 1496 1504 "src/core/lwt_switch.ml" 51 1496 1513
type(
  unit
)
"src/core/lwt_switch.ml" 52 1514 1520 "src/core/lwt_switch.ml" 52 1514 1524
type(
  t option
)
"src/core/lwt_switch.ml" 53 1528 1536 "src/core/lwt_switch.ml" 53 1528 1538
type(
  unit
)
"src/core/lwt_switch.ml" 47 1371 1373 "src/core/lwt_switch.ml" 53 1528 1538
type(
  unit
)
"src/core/lwt_switch.ml" 55 1540 1544 "src/core/lwt_switch.ml" 55 1540 1560
type(
  t option -> (unit -> unit Lwt.t) -> unit Lwt.t
)
ident(
  def add_hook_or_exec "src/core/lwt_switch.ml" 65 1780 1780 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 55 1540 1561 "src/core/lwt_switch.ml" 55 1540 1567
type(
  t option
)
ident(
  def switch "src/core/lwt_switch.ml" 55 1540 1568 "src/core/lwt_switch.ml" 63 1755 1778
)
"src/core/lwt_switch.ml" 55 1540 1568 "src/core/lwt_switch.ml" 55 1540 1572
type(
  unit -> unit Lwt.t
)
ident(
  def hook "src/core/lwt_switch.ml" 56 1575 1577 "src/core/lwt_switch.ml" 63 1755 1778
)
"src/core/lwt_switch.ml" 56 1575 1583 "src/core/lwt_switch.ml" 56 1575 1589
type(
  t option
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 55 1540 1561 "src/core/lwt_switch.ml" 55 1540 1567
)
"src/core/lwt_switch.ml" 57 1595 1622 "src/core/lwt_switch.ml" 57 1595 1624
type(
  on_switch
)
ident(
  def os "src/core/lwt_switch.ml" 58 1630 1638 "src/core/lwt_switch.ml" 59 1668 1691
)
"src/core/lwt_switch.ml" 57 1595 1616 "src/core/lwt_switch.ml" 57 1595 1624
type(
  state
)
"src/core/lwt_switch.ml" 57 1595 1606 "src/core/lwt_switch.ml" 57 1595 1626
type(
  t
)
"src/core/lwt_switch.ml" 57 1595 1601 "src/core/lwt_switch.ml" 57 1595 1626
type(
  t option
)
"src/core/lwt_switch.ml" 58 1630 1638 "src/core/lwt_switch.ml" 58 1630 1640
type(
  on_switch
)
ident(
  int_ref os "src/core/lwt_switch.ml" 57 1595 1622 "src/core/lwt_switch.ml" 57 1595 1624
)
"src/core/lwt_switch.ml" 58 1630 1650 "src/core/lwt_switch.ml" 58 1630 1654
type(
  unit -> unit Lwt.t
)
ident(
  int_ref hook "src/core/lwt_switch.ml" 55 1540 1568 "src/core/lwt_switch.ml" 55 1540 1572
)
"src/core/lwt_switch.ml" 58 1630 1658 "src/core/lwt_switch.ml" 58 1630 1660
type(
  on_switch
)
ident(
  int_ref os "src/core/lwt_switch.ml" 57 1595 1622 "src/core/lwt_switch.ml" 57 1595 1624
)
"src/core/lwt_switch.ml" 58 1630 1658 "src/core/lwt_switch.ml" 58 1630 1666
type(
  (unit -> unit Lwt.t) list
)
"src/core/lwt_switch.ml" 58 1630 1650 "src/core/lwt_switch.ml" 58 1630 1666
type(
  (unit -> unit Lwt.t) list
)
"src/core/lwt_switch.ml" 58 1630 1638 "src/core/lwt_switch.ml" 58 1630 1666
type(
  unit
)
"src/core/lwt_switch.ml" 59 1668 1676 "src/core/lwt_switch.ml" 59 1668 1691
type(
  unit Lwt.t
)
ident(
  ext_ref Lwt.return_unit
)
"src/core/lwt_switch.ml" 58 1630 1638 "src/core/lwt_switch.ml" 59 1668 1691
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 60 1692 1713 "src/core/lwt_switch.ml" 60 1692 1719
type(
  state
)
"src/core/lwt_switch.ml" 60 1692 1703 "src/core/lwt_switch.ml" 60 1692 1721
type(
  t
)
"src/core/lwt_switch.ml" 60 1692 1698 "src/core/lwt_switch.ml" 60 1692 1721
type(
  t option
)
"src/core/lwt_switch.ml" 61 1725 1733 "src/core/lwt_switch.ml" 61 1725 1737
type(
  unit -> unit Lwt.t
)
ident(
  int_ref hook "src/core/lwt_switch.ml" 55 1540 1568 "src/core/lwt_switch.ml" 55 1540 1572
)
"src/core/lwt_switch.ml" 61 1725 1738 "src/core/lwt_switch.ml" 61 1725 1740
type(
  unit
)
"src/core/lwt_switch.ml" 61 1725 1733 "src/core/lwt_switch.ml" 61 1725 1740
call(
  tail
)
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 62 1741 1747 "src/core/lwt_switch.ml" 62 1741 1751
type(
  t option
)
"src/core/lwt_switch.ml" 63 1755 1763 "src/core/lwt_switch.ml" 63 1755 1778
type(
  unit Lwt.t
)
ident(
  ext_ref Lwt.return_unit
)
"src/core/lwt_switch.ml" 56 1575 1577 "src/core/lwt_switch.ml" 63 1755 1778
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 65 1780 1784 "src/core/lwt_switch.ml" 65 1780 1792
type(
  t -> unit Lwt.t
)
ident(
  def turn_off "src/core/lwt_switch.ml" 73 2000 2000 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 65 1780 1793 "src/core/lwt_switch.ml" 65 1780 1799
type(
  t
)
ident(
  def switch "src/core/lwt_switch.ml" 66 1802 1804 "src/core/lwt_switch.ml" 71 1975 1998
)
"src/core/lwt_switch.ml" 66 1802 1810 "src/core/lwt_switch.ml" 66 1802 1816
type(
  t
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 65 1780 1793 "src/core/lwt_switch.ml" 65 1780 1799
)
"src/core/lwt_switch.ml" 66 1802 1810 "src/core/lwt_switch.ml" 66 1802 1822
type(
  state
)
"src/core/lwt_switch.ml" 67 1828 1850 "src/core/lwt_switch.ml" 67 1828 1855
type(
  (unit -> unit Lwt.t) list
)
ident(
  def hooks "src/core/lwt_switch.ml" 68 1861 1869 "src/core/lwt_switch.ml" 69 1893 1958
)
"src/core/lwt_switch.ml" 67 1828 1840 "src/core/lwt_switch.ml" 67 1828 1857
type(
  on_switch
)
"src/core/lwt_switch.ml" 67 1828 1834 "src/core/lwt_switch.ml" 67 1828 1857
type(
  state
)
"src/core/lwt_switch.ml" 68 1861 1869 "src/core/lwt_switch.ml" 68 1861 1875
type(
  t
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 65 1780 1793 "src/core/lwt_switch.ml" 65 1780 1799
)
"src/core/lwt_switch.ml" 68 1861 1885 "src/core/lwt_switch.ml" 68 1861 1891
type(
  state
)
"src/core/lwt_switch.ml" 68 1861 1869 "src/core/lwt_switch.ml" 68 1861 1891
type(
  unit
)
"src/core/lwt_switch.ml" 69 1893 1901 "src/core/lwt_switch.ml" 69 1893 1909
type(
  unit Lwt.t list -> unit Lwt.t
)
ident(
  ext_ref Lwt.join
)
"src/core/lwt_switch.ml" 69 1893 1911 "src/core/lwt_switch.ml" 69 1893 1919
type(
  ((unit -> unit Lwt.t) -> unit Lwt.t) ->
  (unit -> unit Lwt.t) list -> unit Lwt.t list
)
ident(
  ext_ref List.map
)
"src/core/lwt_switch.ml" 69 1893 1925 "src/core/lwt_switch.ml" 69 1893 1929
type(
  unit -> unit Lwt.t
)
ident(
  def hook "src/core/lwt_switch.ml" 69 1893 1933 "src/core/lwt_switch.ml" 69 1893 1950
)
"src/core/lwt_switch.ml" 69 1893 1933 "src/core/lwt_switch.ml" 69 1893 1942
type(
  (unit -> unit Lwt.t) -> unit -> unit Lwt.t
)
ident(
  ext_ref Lwt.apply
)
"src/core/lwt_switch.ml" 69 1893 1943 "src/core/lwt_switch.ml" 69 1893 1947
type(
  unit -> unit Lwt.t
)
ident(
  int_ref hook "src/core/lwt_switch.ml" 69 1893 1925 "src/core/lwt_switch.ml" 69 1893 1929
)
"src/core/lwt_switch.ml" 69 1893 1948 "src/core/lwt_switch.ml" 69 1893 1950
type(
  unit
)
"src/core/lwt_switch.ml" 69 1893 1933 "src/core/lwt_switch.ml" 69 1893 1950
call(
  tail
)
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 69 1893 1920 "src/core/lwt_switch.ml" 69 1893 1951
type(
  (unit -> unit Lwt.t) -> unit Lwt.t
)
"src/core/lwt_switch.ml" 69 1893 1952 "src/core/lwt_switch.ml" 69 1893 1957
type(
  (unit -> unit Lwt.t) list
)
ident(
  int_ref hooks "src/core/lwt_switch.ml" 67 1828 1850 "src/core/lwt_switch.ml" 67 1828 1855
)
"src/core/lwt_switch.ml" 69 1893 1910 "src/core/lwt_switch.ml" 69 1893 1958
call(
  stack
)
type(
  unit Lwt.t list
)
"src/core/lwt_switch.ml" 69 1893 1901 "src/core/lwt_switch.ml" 69 1893 1958
call(
  tail
)
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 68 1861 1869 "src/core/lwt_switch.ml" 69 1893 1958
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 70 1959 1965 "src/core/lwt_switch.ml" 70 1959 1971
type(
  state
)
"src/core/lwt_switch.ml" 71 1975 1983 "src/core/lwt_switch.ml" 71 1975 1998
type(
  unit Lwt.t
)
ident(
  ext_ref Lwt.return_unit
)
"src/core/lwt_switch.ml" 66 1802 1804 "src/core/lwt_switch.ml" 71 1975 1998
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 73 2000 2004 "src/core/lwt_switch.ml" 73 2000 2015
type(
  (t -> 'a Lwt.t) -> 'a Lwt.t
)
ident(
  def with_switch "src/core/lwt_switch.ml" 77 2090 2121 "src/core/lwt_switch.ml" 1 0 -1
)
"src/core/lwt_switch.ml" 73 2000 2016 "src/core/lwt_switch.ml" 73 2000 2018
type(
  t -> 'a Lwt.t
)
ident(
  def fn "src/core/lwt_switch.ml" 74 2021 2023 "src/core/lwt_switch.ml" 77 2090 2121
)
"src/core/lwt_switch.ml" 74 2021 2027 "src/core/lwt_switch.ml" 74 2021 2033
type(
  t
)
ident(
  def switch "src/core/lwt_switch.ml" 75 2049 2051 "src/core/lwt_switch.ml" 77 2090 2121
)
"src/core/lwt_switch.ml" 74 2021 2036 "src/core/lwt_switch.ml" 74 2021 2042
type(
  unit -> t
)
ident(
  int_ref create "src/core/lwt_switch.ml" 35 1102 1106 "src/core/lwt_switch.ml" 35 1102 1112
)
"src/core/lwt_switch.ml" 74 2021 2043 "src/core/lwt_switch.ml" 74 2021 2045
type(
  unit
)
"src/core/lwt_switch.ml" 74 2021 2036 "src/core/lwt_switch.ml" 74 2021 2045
call(
  stack
)
type(
  t
)
"src/core/lwt_switch.ml" 75 2049 2051 "src/core/lwt_switch.ml" 75 2049 2063
type(
  (unit -> 'a Lwt.t) -> (unit -> unit Lwt.t) -> 'a Lwt.t
)
ident(
  ext_ref Lwt.finalize
)
"src/core/lwt_switch.ml" 76 2064 2073 "src/core/lwt_switch.ml" 76 2064 2075
type(
  unit
)
"src/core/lwt_switch.ml" 76 2064 2079 "src/core/lwt_switch.ml" 76 2064 2081
type(
  t -> 'a Lwt.t
)
ident(
  int_ref fn "src/core/lwt_switch.ml" 73 2000 2016 "src/core/lwt_switch.ml" 73 2000 2018
)
"src/core/lwt_switch.ml" 76 2064 2082 "src/core/lwt_switch.ml" 76 2064 2088
type(
  t
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 74 2021 2027 "src/core/lwt_switch.ml" 74 2021 2033
)
"src/core/lwt_switch.ml" 76 2064 2079 "src/core/lwt_switch.ml" 76 2064 2088
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_switch.ml" 76 2064 2068 "src/core/lwt_switch.ml" 76 2064 2089
type(
  unit -> 'a Lwt.t
)
"src/core/lwt_switch.ml" 77 2090 2099 "src/core/lwt_switch.ml" 77 2090 2101
type(
  unit
)
"src/core/lwt_switch.ml" 77 2090 2105 "src/core/lwt_switch.ml" 77 2090 2113
type(
  t -> unit Lwt.t
)
ident(
  int_ref turn_off "src/core/lwt_switch.ml" 65 1780 1784 "src/core/lwt_switch.ml" 65 1780 1792
)
"src/core/lwt_switch.ml" 77 2090 2114 "src/core/lwt_switch.ml" 77 2090 2120
type(
  t
)
ident(
  int_ref switch "src/core/lwt_switch.ml" 74 2021 2027 "src/core/lwt_switch.ml" 74 2021 2033
)
"src/core/lwt_switch.ml" 77 2090 2105 "src/core/lwt_switch.ml" 77 2090 2120
call(
  tail
)
type(
  unit Lwt.t
)
"src/core/lwt_switch.ml" 77 2090 2094 "src/core/lwt_switch.ml" 77 2090 2121
type(
  unit -> unit Lwt.t
)
"src/core/lwt_switch.ml" 75 2049 2051 "src/core/lwt_switch.ml" 77 2090 2121
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_switch.ml" 74 2021 2023 "src/core/lwt_switch.ml" 77 2090 2121
type(
  'a Lwt.t
)