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

"src/core/lwt_mutex.ml" 28 1091 1095 "src/core/lwt_mutex.ml" 28 1091 1101
type(
  unit -> t
)
ident(
  def create "src/core/lwt_mutex.ml" 30 1161 1161 "src/core/lwt_mutex.ml" 1 0 -1
)
"src/core/lwt_mutex.ml" 28 1091 1102 "src/core/lwt_mutex.ml" 28 1091 1104
type(
  unit
)
"src/core/lwt_mutex.ml" 28 1091 1118 "src/core/lwt_mutex.ml" 28 1091 1123
type(
  bool
)
"src/core/lwt_mutex.ml" 28 1091 1135 "src/core/lwt_mutex.ml" 28 1091 1154
type(
  unit -> unit Lwt.u Lwt_sequence.t
)
ident(
  ext_ref Lwt_sequence.create
)
"src/core/lwt_mutex.ml" 28 1091 1155 "src/core/lwt_mutex.ml" 28 1091 1157
type(
  unit
)
"src/core/lwt_mutex.ml" 28 1091 1135 "src/core/lwt_mutex.ml" 28 1091 1157
call(
  stack
)
type(
  unit Lwt.u Lwt_sequence.t
)
"src/core/lwt_mutex.ml" 28 1091 1107 "src/core/lwt_mutex.ml" 28 1091 1159
type(
  t
)
"src/core/lwt_mutex.ml" 30 1161 1165 "src/core/lwt_mutex.ml" 30 1161 1169
type(
  t -> unit Lwt.t
)
ident(
  def lock "src/core/lwt_mutex.ml" 38 1284 1284 "src/core/lwt_mutex.ml" 1 0 -1
)
"src/core/lwt_mutex.ml" 30 1161 1170 "src/core/lwt_mutex.ml" 30 1161 1171
type(
  t
)
ident(
  def m "src/core/lwt_mutex.ml" 31 1174 1176 "src/core/lwt_mutex.ml" 36 1277 1282
)
"src/core/lwt_mutex.ml" 31 1174 1179 "src/core/lwt_mutex.ml" 31 1174 1180
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 30 1161 1170 "src/core/lwt_mutex.ml" 30 1161 1171
)
"src/core/lwt_mutex.ml" 31 1174 1179 "src/core/lwt_mutex.ml" 31 1174 1187
type(
  bool
)
"src/core/lwt_mutex.ml" 32 1193 1197 "src/core/lwt_mutex.ml" 32 1193 1211
type(
  unit Lwt.u Lwt_sequence.t -> unit Lwt.t
)
ident(
  ext_ref Lwt.add_task_r
)
"src/core/lwt_mutex.ml" 32 1193 1212 "src/core/lwt_mutex.ml" 32 1193 1213
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 30 1161 1170 "src/core/lwt_mutex.ml" 30 1161 1171
)
"src/core/lwt_mutex.ml" 32 1193 1212 "src/core/lwt_mutex.ml" 32 1193 1221
type(
  unit Lwt.u Lwt_sequence.t
)
"src/core/lwt_mutex.ml" 32 1193 1197 "src/core/lwt_mutex.ml" 32 1193 1221
call(
  tail
)
type(
  unit Lwt.t
)
"src/core/lwt_mutex.ml" 34 1235 1239 "src/core/lwt_mutex.ml" 34 1235 1240
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 30 1161 1170 "src/core/lwt_mutex.ml" 30 1161 1171
)
"src/core/lwt_mutex.ml" 34 1235 1251 "src/core/lwt_mutex.ml" 34 1235 1255
type(
  bool
)
"src/core/lwt_mutex.ml" 34 1235 1239 "src/core/lwt_mutex.ml" 34 1235 1255
type(
  unit
)
"src/core/lwt_mutex.ml" 35 1257 1261 "src/core/lwt_mutex.ml" 35 1257 1276
type(
  unit Lwt.t
)
ident(
  ext_ref Lwt.return_unit
)
"src/core/lwt_mutex.ml" 33 1222 1229 "src/core/lwt_mutex.ml" 36 1277 1282
type(
  unit Lwt.t
)
"src/core/lwt_mutex.ml" 31 1174 1176 "src/core/lwt_mutex.ml" 36 1277 1282
type(
  unit Lwt.t
)
"src/core/lwt_mutex.ml" 38 1284 1288 "src/core/lwt_mutex.ml" 38 1284 1294
type(
  t -> unit
)
ident(
  def unlock "src/core/lwt_mutex.ml" 48 1578 1578 "src/core/lwt_mutex.ml" 1 0 -1
)
"src/core/lwt_mutex.ml" 38 1284 1295 "src/core/lwt_mutex.ml" 38 1284 1296
type(
  t
)
ident(
  def m "src/core/lwt_mutex.ml" 39 1299 1301 "src/core/lwt_mutex.ml" 46 1571 1576
)
"src/core/lwt_mutex.ml" 39 1299 1304 "src/core/lwt_mutex.ml" 39 1299 1305
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 38 1284 1295 "src/core/lwt_mutex.ml" 38 1284 1296
)
"src/core/lwt_mutex.ml" 39 1299 1304 "src/core/lwt_mutex.ml" 39 1299 1312
type(
  bool
)
"src/core/lwt_mutex.ml" 40 1324 1331 "src/core/lwt_mutex.ml" 40 1324 1352
type(
  unit Lwt.u Lwt_sequence.t -> bool
)
ident(
  ext_ref Lwt_sequence.is_empty
)
"src/core/lwt_mutex.ml" 40 1324 1353 "src/core/lwt_mutex.ml" 40 1324 1354
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 38 1284 1295 "src/core/lwt_mutex.ml" 38 1284 1296
)
"src/core/lwt_mutex.ml" 40 1324 1353 "src/core/lwt_mutex.ml" 40 1324 1362
type(
  unit Lwt.u Lwt_sequence.t
)
"src/core/lwt_mutex.ml" 40 1324 1331 "src/core/lwt_mutex.ml" 40 1324 1362
call(
  stack
)
type(
  bool
)
"src/core/lwt_mutex.ml" 41 1368 1374 "src/core/lwt_mutex.ml" 41 1368 1375
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 38 1284 1295 "src/core/lwt_mutex.ml" 38 1284 1296
)
"src/core/lwt_mutex.ml" 41 1368 1386 "src/core/lwt_mutex.ml" 41 1368 1391
type(
  bool
)
"src/core/lwt_mutex.ml" 41 1368 1374 "src/core/lwt_mutex.ml" 41 1368 1391
type(
  unit
)
"src/core/lwt_mutex.ml" 45 1513 1519 "src/core/lwt_mutex.ml" 45 1513 1535
type(
  unit Lwt.u -> unit -> unit
)
ident(
  ext_ref Lwt.wakeup_later
)
"src/core/lwt_mutex.ml" 45 1513 1537 "src/core/lwt_mutex.ml" 45 1513 1556
type(
  unit Lwt.u Lwt_sequence.t -> unit Lwt.u
)
ident(
  ext_ref Lwt_sequence.take_l
)
"src/core/lwt_mutex.ml" 45 1513 1557 "src/core/lwt_mutex.ml" 45 1513 1558
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 38 1284 1295 "src/core/lwt_mutex.ml" 38 1284 1296
)
"src/core/lwt_mutex.ml" 45 1513 1557 "src/core/lwt_mutex.ml" 45 1513 1566
type(
  unit Lwt.u Lwt_sequence.t
)
"src/core/lwt_mutex.ml" 45 1513 1536 "src/core/lwt_mutex.ml" 45 1513 1567
call(
  stack
)
type(
  unit Lwt.u
)
"src/core/lwt_mutex.ml" 45 1513 1568 "src/core/lwt_mutex.ml" 45 1513 1570
type(
  unit
)
"src/core/lwt_mutex.ml" 45 1513 1519 "src/core/lwt_mutex.ml" 45 1513 1570
call(
  tail
)
type(
  unit
)
"src/core/lwt_mutex.ml" 39 1299 1318 "src/core/lwt_mutex.ml" 46 1571 1576
type(
  unit
)
"src/core/lwt_mutex.ml" 39 1299 1301 "src/core/lwt_mutex.ml" 46 1571 1576
type(
  unit
)
"src/core/lwt_mutex.ml" 48 1578 1582 "src/core/lwt_mutex.ml" 48 1578 1591
type(
  t -> (unit -> 'a Lwt.t) -> 'a Lwt.t
)
ident(
  def with_lock "src/core/lwt_mutex.ml" 52 1677 1677 "src/core/lwt_mutex.ml" 1 0 -1
)
"src/core/lwt_mutex.ml" 48 1578 1592 "src/core/lwt_mutex.ml" 48 1578 1593
type(
  t
)
ident(
  def m "src/core/lwt_mutex.ml" 48 1578 1594 "src/core/lwt_mutex.ml" 50 1621 1675
)
"src/core/lwt_mutex.ml" 48 1578 1594 "src/core/lwt_mutex.ml" 48 1578 1595
type(
  unit -> 'a Lwt.t
)
ident(
  def f "src/core/lwt_mutex.ml" 49 1598 1600 "src/core/lwt_mutex.ml" 50 1621 1675
)
"src/core/lwt_mutex.ml" 49 1598 1600 "src/core/lwt_mutex.ml" 49 1598 1604
type(
  t -> unit Lwt.t
)
ident(
  int_ref lock "src/core/lwt_mutex.ml" 30 1161 1165 "src/core/lwt_mutex.ml" 30 1161 1169
)
"src/core/lwt_mutex.ml" 49 1598 1605 "src/core/lwt_mutex.ml" 49 1598 1606
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 48 1578 1592 "src/core/lwt_mutex.ml" 48 1578 1593
)
"src/core/lwt_mutex.ml" 49 1598 1600 "src/core/lwt_mutex.ml" 49 1598 1606
call(
  stack
)
type(
  unit Lwt.t
)
"src/core/lwt_mutex.ml" 49 1598 1607 "src/core/lwt_mutex.ml" 49 1598 1610
type(
  unit Lwt.t -> (unit -> 'a Lwt.t) -> 'a Lwt.t
)
ident(
  ext_ref Lwt.Infix.( >>= )
)
"src/core/lwt_mutex.ml" 49 1598 1615 "src/core/lwt_mutex.ml" 49 1598 1617
type(
  unit
)
"src/core/lwt_mutex.ml" 50 1621 1623 "src/core/lwt_mutex.ml" 50 1621 1635
type(
  (unit -> 'a Lwt.t) -> (unit -> unit Lwt.t) -> 'a Lwt.t
)
ident(
  ext_ref Lwt.finalize
)
"src/core/lwt_mutex.ml" 50 1621 1636 "src/core/lwt_mutex.ml" 50 1621 1637
type(
  unit -> 'a Lwt.t
)
ident(
  int_ref f "src/core/lwt_mutex.ml" 48 1578 1594 "src/core/lwt_mutex.ml" 48 1578 1595
)
"src/core/lwt_mutex.ml" 50 1621 1643 "src/core/lwt_mutex.ml" 50 1621 1645
type(
  unit
)
"src/core/lwt_mutex.ml" 50 1621 1649 "src/core/lwt_mutex.ml" 50 1621 1655
type(
  t -> unit
)
ident(
  int_ref unlock "src/core/lwt_mutex.ml" 38 1284 1288 "src/core/lwt_mutex.ml" 38 1284 1294
)
"src/core/lwt_mutex.ml" 50 1621 1656 "src/core/lwt_mutex.ml" 50 1621 1657
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 48 1578 1592 "src/core/lwt_mutex.ml" 48 1578 1593
)
"src/core/lwt_mutex.ml" 50 1621 1649 "src/core/lwt_mutex.ml" 50 1621 1657
call(
  stack
)
type(
  unit
)
"src/core/lwt_mutex.ml" 50 1621 1659 "src/core/lwt_mutex.ml" 50 1621 1674
type(
  unit Lwt.t
)
ident(
  ext_ref Lwt.return_unit
)
"src/core/lwt_mutex.ml" 50 1621 1649 "src/core/lwt_mutex.ml" 50 1621 1674
type(
  unit Lwt.t
)
"src/core/lwt_mutex.ml" 50 1621 1638 "src/core/lwt_mutex.ml" 50 1621 1675
type(
  unit -> unit Lwt.t
)
"src/core/lwt_mutex.ml" 50 1621 1623 "src/core/lwt_mutex.ml" 50 1621 1675
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_mutex.ml" 49 1598 1611 "src/core/lwt_mutex.ml" 50 1621 1675
type(
  unit -> 'a Lwt.t
)
"src/core/lwt_mutex.ml" 49 1598 1600 "src/core/lwt_mutex.ml" 50 1621 1675
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_mutex.ml" 52 1677 1681 "src/core/lwt_mutex.ml" 52 1677 1690
type(
  t -> bool
)
ident(
  def is_locked "src/core/lwt_mutex.ml" 53 1704 1704 "src/core/lwt_mutex.ml" 1 0 -1
)
"src/core/lwt_mutex.ml" 52 1677 1691 "src/core/lwt_mutex.ml" 52 1677 1692
type(
  t
)
ident(
  def m "src/core/lwt_mutex.ml" 52 1677 1695 "src/core/lwt_mutex.ml" 52 1677 1703
)
"src/core/lwt_mutex.ml" 52 1677 1695 "src/core/lwt_mutex.ml" 52 1677 1696
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 52 1677 1691 "src/core/lwt_mutex.ml" 52 1677 1692
)
"src/core/lwt_mutex.ml" 52 1677 1695 "src/core/lwt_mutex.ml" 52 1677 1703
type(
  bool
)
"src/core/lwt_mutex.ml" 53 1704 1708 "src/core/lwt_mutex.ml" 53 1704 1716
type(
  t -> bool
)
ident(
  def is_empty "src/core/lwt_mutex.ml" 53 1704 1752 "src/core/lwt_mutex.ml" 1 0 -1
)
"src/core/lwt_mutex.ml" 53 1704 1717 "src/core/lwt_mutex.ml" 53 1704 1718
type(
  t
)
ident(
  def m "src/core/lwt_mutex.ml" 53 1704 1721 "src/core/lwt_mutex.ml" 53 1704 1752
)
"src/core/lwt_mutex.ml" 53 1704 1721 "src/core/lwt_mutex.ml" 53 1704 1742
type(
  unit Lwt.u Lwt_sequence.t -> bool
)
ident(
  ext_ref Lwt_sequence.is_empty
)
"src/core/lwt_mutex.ml" 53 1704 1743 "src/core/lwt_mutex.ml" 53 1704 1744
type(
  t
)
ident(
  int_ref m "src/core/lwt_mutex.ml" 53 1704 1717 "src/core/lwt_mutex.ml" 53 1704 1718
)
"src/core/lwt_mutex.ml" 53 1704 1743 "src/core/lwt_mutex.ml" 53 1704 1752
type(
  unit Lwt.u Lwt_sequence.t
)
"src/core/lwt_mutex.ml" 53 1704 1721 "src/core/lwt_mutex.ml" 53 1704 1752
call(
  tail
)
type(
  bool
)