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

"src/core/lwt_result.ml" 29 1031 1035 "src/core/lwt_result.ml" 29 1031 1041
type(
  'a -> ('a, 'b) Result.result Lwt.t
)
ident(
  def return "src/core/lwt_result.ml" 30 1064 1064 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 29 1031 1042 "src/core/lwt_result.ml" 29 1031 1043
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 29 1031 1046 "src/core/lwt_result.ml" 29 1031 1063
)
"src/core/lwt_result.ml" 29 1031 1046 "src/core/lwt_result.ml" 29 1031 1056
type(
  ('a, 'b) Result.result -> ('a, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.return
)
"src/core/lwt_result.ml" 29 1031 1061 "src/core/lwt_result.ml" 29 1031 1062
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 29 1031 1042 "src/core/lwt_result.ml" 29 1031 1043
)
"src/core/lwt_result.ml" 29 1031 1057 "src/core/lwt_result.ml" 29 1031 1063
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 29 1031 1046 "src/core/lwt_result.ml" 29 1031 1063
call(
  tail
)
type(
  ('a, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 30 1064 1068 "src/core/lwt_result.ml" 30 1064 1072
type(
  'a -> ('b, 'a) Result.result Lwt.t
)
ident(
  def fail "src/core/lwt_result.ml" 32 1099 1099 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 30 1064 1073 "src/core/lwt_result.ml" 30 1064 1074
type(
  'a
)
ident(
  def e "src/core/lwt_result.ml" 30 1064 1077 "src/core/lwt_result.ml" 30 1064 1097
)
"src/core/lwt_result.ml" 30 1064 1077 "src/core/lwt_result.ml" 30 1064 1087
type(
  ('b, 'a) Result.result -> ('b, 'a) Result.result Lwt.t
)
ident(
  ext_ref Lwt.return
)
"src/core/lwt_result.ml" 30 1064 1095 "src/core/lwt_result.ml" 30 1064 1096
type(
  'a
)
ident(
  int_ref e "src/core/lwt_result.ml" 30 1064 1073 "src/core/lwt_result.ml" 30 1064 1074
)
"src/core/lwt_result.ml" 30 1064 1088 "src/core/lwt_result.ml" 30 1064 1097
type(
  ('b, 'a) Result.result
)
"src/core/lwt_result.ml" 30 1064 1077 "src/core/lwt_result.ml" 30 1064 1097
call(
  tail
)
type(
  ('b, 'a) Result.result Lwt.t
)
"src/core/lwt_result.ml" 32 1099 1103 "src/core/lwt_result.ml" 32 1099 1107
type(
  'a -> 'a Lwt.t
)
ident(
  def lift "src/core/lwt_result.ml" 33 1121 1121 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 32 1099 1110 "src/core/lwt_result.ml" 32 1099 1120
type(
  'a -> 'a Lwt.t
)
ident(
  ext_ref Lwt.return
)
"src/core/lwt_result.ml" 33 1121 1125 "src/core/lwt_result.ml" 33 1121 1127
type(
  'a Lwt.t -> ('a, 'b) Result.result Lwt.t
)
ident(
  def ok "src/core/lwt_result.ml" 35 1159 1159 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 33 1121 1128 "src/core/lwt_result.ml" 33 1121 1129
type(
  'a Lwt.t
)
ident(
  def x "src/core/lwt_result.ml" 33 1121 1132 "src/core/lwt_result.ml" 33 1121 1157
)
"src/core/lwt_result.ml" 33 1121 1132 "src/core/lwt_result.ml" 33 1121 1139
type(
  ('a -> ('a, 'b) Result.result) -> 'a Lwt.t -> ('a, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.map
)
"src/core/lwt_result.ml" 33 1121 1145 "src/core/lwt_result.ml" 33 1121 1146
type(
  'a
)
ident(
  def y "src/core/lwt_result.ml" 33 1121 1150 "src/core/lwt_result.ml" 33 1121 1154
)
"src/core/lwt_result.ml" 33 1121 1153 "src/core/lwt_result.ml" 33 1121 1154
type(
  'a
)
ident(
  int_ref y "src/core/lwt_result.ml" 33 1121 1145 "src/core/lwt_result.ml" 33 1121 1146
)
"src/core/lwt_result.ml" 33 1121 1150 "src/core/lwt_result.ml" 33 1121 1154
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 33 1121 1140 "src/core/lwt_result.ml" 33 1121 1155
type(
  'a -> ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 33 1121 1156 "src/core/lwt_result.ml" 33 1121 1157
type(
  'a Lwt.t
)
ident(
  int_ref x "src/core/lwt_result.ml" 33 1121 1128 "src/core/lwt_result.ml" 33 1121 1129
)
"src/core/lwt_result.ml" 33 1121 1132 "src/core/lwt_result.ml" 33 1121 1157
call(
  tail
)
type(
  ('a, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 35 1159 1163 "src/core/lwt_result.ml" 35 1159 1166
type(
  ('a -> 'b) -> ('a, 'c) Result.result Lwt.t -> ('b, 'c) Result.result Lwt.t
)
ident(
  def map "src/core/lwt_result.ml" 42 1257 1257 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 35 1159 1167 "src/core/lwt_result.ml" 35 1159 1168
type(
  'a -> 'b
)
ident(
  def f "src/core/lwt_result.ml" 35 1159 1169 "src/core/lwt_result.ml" 40 1250 1255
)
"src/core/lwt_result.ml" 35 1159 1169 "src/core/lwt_result.ml" 35 1159 1170
type(
  ('a, 'c) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 36 1173 1175 "src/core/lwt_result.ml" 40 1250 1255
)
"src/core/lwt_result.ml" 36 1173 1175 "src/core/lwt_result.ml" 36 1173 1182
type(
  (('a, 'c) Result.result -> ('b, 'c) Result.result) ->
  ('a, 'c) Result.result Lwt.t -> ('b, 'c) Result.result Lwt.t
)
ident(
  ext_ref Lwt.map
)
"src/core/lwt_result.ml" 38 1197 1211 "src/core/lwt_result.ml" 38 1197 1212
type(
  'c
)
ident(
  def e "src/core/lwt_result.ml" 38 1197 1216 "src/core/lwt_result.ml" 38 1197 1223
)
"src/core/lwt_result.ml" 38 1197 1205 "src/core/lwt_result.ml" 38 1197 1212
type(
  ('a, 'c) Result.result
)
"src/core/lwt_result.ml" 38 1197 1222 "src/core/lwt_result.ml" 38 1197 1223
type(
  'c
)
ident(
  int_ref e "src/core/lwt_result.ml" 38 1197 1211 "src/core/lwt_result.ml" 38 1197 1212
)
"src/core/lwt_result.ml" 38 1197 1216 "src/core/lwt_result.ml" 38 1197 1223
type(
  ('b, 'c) Result.result
)
"src/core/lwt_result.ml" 39 1224 1235 "src/core/lwt_result.ml" 39 1224 1236
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 39 1224 1240 "src/core/lwt_result.ml" 39 1224 1248
)
"src/core/lwt_result.ml" 39 1224 1232 "src/core/lwt_result.ml" 39 1224 1236
type(
  ('a, 'c) Result.result
)
"src/core/lwt_result.ml" 39 1224 1244 "src/core/lwt_result.ml" 39 1224 1245
type(
  'a -> 'b
)
ident(
  int_ref f "src/core/lwt_result.ml" 35 1159 1167 "src/core/lwt_result.ml" 35 1159 1168
)
"src/core/lwt_result.ml" 39 1224 1246 "src/core/lwt_result.ml" 39 1224 1247
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 39 1224 1235 "src/core/lwt_result.ml" 39 1224 1236
)
"src/core/lwt_result.ml" 39 1224 1243 "src/core/lwt_result.ml" 39 1224 1248
call(
  stack
)
type(
  'b
)
"src/core/lwt_result.ml" 39 1224 1240 "src/core/lwt_result.ml" 39 1224 1248
type(
  ('b, 'c) Result.result
)
"src/core/lwt_result.ml" 37 1183 1187 "src/core/lwt_result.ml" 39 1224 1249
type(
  ('a, 'c) Result.result -> ('b, 'c) Result.result
)
"src/core/lwt_result.ml" 40 1250 1254 "src/core/lwt_result.ml" 40 1250 1255
type(
  ('a, 'c) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 35 1159 1169 "src/core/lwt_result.ml" 35 1159 1170
)
"src/core/lwt_result.ml" 36 1173 1175 "src/core/lwt_result.ml" 40 1250 1255
call(
  tail
)
type(
  ('b, 'c) Result.result Lwt.t
)
"src/core/lwt_result.ml" 42 1257 1261 "src/core/lwt_result.ml" 42 1257 1268
type(
  ('a -> 'b) -> ('c, 'a) Result.result Lwt.t -> ('c, 'b) Result.result Lwt.t
)
ident(
  def map_err "src/core/lwt_result.ml" 49 1359 1359 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 42 1257 1269 "src/core/lwt_result.ml" 42 1257 1270
type(
  'a -> 'b
)
ident(
  def f "src/core/lwt_result.ml" 42 1257 1271 "src/core/lwt_result.ml" 47 1352 1357
)
"src/core/lwt_result.ml" 42 1257 1271 "src/core/lwt_result.ml" 42 1257 1272
type(
  ('c, 'a) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 43 1275 1277 "src/core/lwt_result.ml" 47 1352 1357
)
"src/core/lwt_result.ml" 43 1275 1277 "src/core/lwt_result.ml" 43 1275 1284
type(
  (('c, 'a) Result.result -> ('c, 'b) Result.result) ->
  ('c, 'a) Result.result Lwt.t -> ('c, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.map
)
"src/core/lwt_result.ml" 45 1299 1313 "src/core/lwt_result.ml" 45 1299 1314
type(
  'a
)
ident(
  def e "src/core/lwt_result.ml" 45 1299 1318 "src/core/lwt_result.ml" 45 1299 1329
)
"src/core/lwt_result.ml" 45 1299 1307 "src/core/lwt_result.ml" 45 1299 1314
type(
  ('c, 'a) Result.result
)
"src/core/lwt_result.ml" 45 1299 1325 "src/core/lwt_result.ml" 45 1299 1326
type(
  'a -> 'b
)
ident(
  int_ref f "src/core/lwt_result.ml" 42 1257 1269 "src/core/lwt_result.ml" 42 1257 1270
)
"src/core/lwt_result.ml" 45 1299 1327 "src/core/lwt_result.ml" 45 1299 1328
type(
  'a
)
ident(
  int_ref e "src/core/lwt_result.ml" 45 1299 1313 "src/core/lwt_result.ml" 45 1299 1314
)
"src/core/lwt_result.ml" 45 1299 1324 "src/core/lwt_result.ml" 45 1299 1329
call(
  stack
)
type(
  'b
)
"src/core/lwt_result.ml" 45 1299 1318 "src/core/lwt_result.ml" 45 1299 1329
type(
  ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 46 1330 1341 "src/core/lwt_result.ml" 46 1330 1342
type(
  'c
)
ident(
  def x "src/core/lwt_result.ml" 46 1330 1346 "src/core/lwt_result.ml" 46 1330 1350
)
"src/core/lwt_result.ml" 46 1330 1338 "src/core/lwt_result.ml" 46 1330 1342
type(
  ('c, 'a) Result.result
)
"src/core/lwt_result.ml" 46 1330 1349 "src/core/lwt_result.ml" 46 1330 1350
type(
  'c
)
ident(
  int_ref x "src/core/lwt_result.ml" 46 1330 1341 "src/core/lwt_result.ml" 46 1330 1342
)
"src/core/lwt_result.ml" 46 1330 1346 "src/core/lwt_result.ml" 46 1330 1350
type(
  ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 44 1285 1289 "src/core/lwt_result.ml" 46 1330 1351
type(
  ('c, 'a) Result.result -> ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 47 1352 1356 "src/core/lwt_result.ml" 47 1352 1357
type(
  ('c, 'a) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 42 1257 1271 "src/core/lwt_result.ml" 42 1257 1272
)
"src/core/lwt_result.ml" 43 1275 1277 "src/core/lwt_result.ml" 47 1352 1357
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 49 1359 1363 "src/core/lwt_result.ml" 49 1359 1368
type(
  'a Lwt.t -> ('a, exn) Result.result Lwt.t
)
ident(
  def catch "src/core/lwt_result.ml" 54 1416 1416 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 49 1359 1369 "src/core/lwt_result.ml" 49 1359 1370
type(
  'a Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 50 1373 1375 "src/core/lwt_result.ml" 52 1406 1414
)
"src/core/lwt_result.ml" 50 1373 1375 "src/core/lwt_result.ml" 50 1373 1384
type(
  (unit -> ('a, exn) Result.result Lwt.t) ->
  (exn -> ('a, exn) Result.result Lwt.t) -> ('a, exn) Result.result Lwt.t
)
ident(
  ext_ref Lwt.catch
)
"src/core/lwt_result.ml" 51 1385 1394 "src/core/lwt_result.ml" 51 1385 1396
type(
  unit
)
"src/core/lwt_result.ml" 51 1385 1400 "src/core/lwt_result.ml" 51 1385 1402
type(
  'a Lwt.t -> ('a, exn) Result.result Lwt.t
)
ident(
  int_ref ok "src/core/lwt_result.ml" 33 1121 1125 "src/core/lwt_result.ml" 33 1121 1127
)
"src/core/lwt_result.ml" 51 1385 1403 "src/core/lwt_result.ml" 51 1385 1404
type(
  'a Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 49 1359 1369 "src/core/lwt_result.ml" 49 1359 1370
)
"src/core/lwt_result.ml" 51 1385 1400 "src/core/lwt_result.ml" 51 1385 1404
call(
  tail
)
type(
  ('a, exn) Result.result Lwt.t
)
"src/core/lwt_result.ml" 51 1385 1389 "src/core/lwt_result.ml" 51 1385 1405
type(
  unit -> ('a, exn) Result.result Lwt.t
)
"src/core/lwt_result.ml" 52 1406 1410 "src/core/lwt_result.ml" 52 1406 1414
type(
  exn -> ('a, exn) Result.result Lwt.t
)
ident(
  int_ref fail "src/core/lwt_result.ml" 30 1064 1068 "src/core/lwt_result.ml" 30 1064 1072
)
"src/core/lwt_result.ml" 50 1373 1375 "src/core/lwt_result.ml" 52 1406 1414
call(
  tail
)
type(
  ('a, exn) Result.result Lwt.t
)
"src/core/lwt_result.ml" 54 1416 1420 "src/core/lwt_result.ml" 54 1416 1427
type(
  ('a, exn) Result.result Lwt.t -> 'a Lwt.t
)
ident(
  def get_exn "src/core/lwt_result.ml" 60 1520 1520 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 54 1416 1428 "src/core/lwt_result.ml" 54 1416 1429
type(
  ('a, exn) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 55 1432 1434 "src/core/lwt_result.ml" 58 1488 1518
)
"src/core/lwt_result.ml" 55 1432 1434 "src/core/lwt_result.ml" 55 1432 1442
type(
  ('a, exn) Result.result Lwt.t ->
  (('a, exn) Result.result -> 'a Lwt.t) -> 'a Lwt.t
)
ident(
  ext_ref Lwt.bind
)
"src/core/lwt_result.ml" 55 1432 1443 "src/core/lwt_result.ml" 55 1432 1444
type(
  ('a, exn) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 54 1416 1428 "src/core/lwt_result.ml" 54 1416 1429
)
"src/core/lwt_result.ml" 57 1459 1470 "src/core/lwt_result.ml" 57 1459 1471
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 57 1459 1475 "src/core/lwt_result.ml" 57 1459 1487
)
"src/core/lwt_result.ml" 57 1459 1467 "src/core/lwt_result.ml" 57 1459 1471
type(
  ('a, exn) Result.result
)
"src/core/lwt_result.ml" 57 1459 1475 "src/core/lwt_result.ml" 57 1459 1485
type(
  'a -> 'a Lwt.t
)
ident(
  ext_ref Lwt.return
)
"src/core/lwt_result.ml" 57 1459 1486 "src/core/lwt_result.ml" 57 1459 1487
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 57 1459 1470 "src/core/lwt_result.ml" 57 1459 1471
)
"src/core/lwt_result.ml" 57 1459 1475 "src/core/lwt_result.ml" 57 1459 1487
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_result.ml" 58 1488 1502 "src/core/lwt_result.ml" 58 1488 1503
type(
  exn
)
ident(
  def e "src/core/lwt_result.ml" 58 1488 1507 "src/core/lwt_result.ml" 58 1488 1517
)
"src/core/lwt_result.ml" 58 1488 1496 "src/core/lwt_result.ml" 58 1488 1503
type(
  ('a, exn) Result.result
)
"src/core/lwt_result.ml" 58 1488 1507 "src/core/lwt_result.ml" 58 1488 1515
type(
  exn -> 'a Lwt.t
)
ident(
  ext_ref Lwt.fail
)
"src/core/lwt_result.ml" 58 1488 1516 "src/core/lwt_result.ml" 58 1488 1517
type(
  exn
)
ident(
  int_ref e "src/core/lwt_result.ml" 58 1488 1502 "src/core/lwt_result.ml" 58 1488 1503
)
"src/core/lwt_result.ml" 58 1488 1507 "src/core/lwt_result.ml" 58 1488 1517
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_result.ml" 56 1445 1449 "src/core/lwt_result.ml" 58 1488 1518
type(
  ('a, exn) Result.result -> 'a Lwt.t
)
"src/core/lwt_result.ml" 55 1432 1434 "src/core/lwt_result.ml" 58 1488 1518
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_result.ml" 60 1520 1524 "src/core/lwt_result.ml" 60 1520 1528
type(
  ('a, 'b) Result.result Lwt.t ->
  ('a -> ('c, 'b) Result.result Lwt.t) -> ('c, 'b) Result.result Lwt.t
)
ident(
  def bind "src/core/lwt_result.ml" 66 1624 1624 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 60 1520 1529 "src/core/lwt_result.ml" 60 1520 1530
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 60 1520 1531 "src/core/lwt_result.ml" 64 1602 1622
)
"src/core/lwt_result.ml" 60 1520 1531 "src/core/lwt_result.ml" 60 1520 1532
type(
  'a -> ('c, 'b) Result.result Lwt.t
)
ident(
  def f "src/core/lwt_result.ml" 61 1535 1537 "src/core/lwt_result.ml" 64 1602 1622
)
"src/core/lwt_result.ml" 61 1535 1537 "src/core/lwt_result.ml" 61 1535 1545
type(
  ('a, 'b) Result.result Lwt.t ->
  (('a, 'b) Result.result -> ('c, 'b) Result.result Lwt.t) ->
  ('c, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.bind
)
"src/core/lwt_result.ml" 61 1535 1546 "src/core/lwt_result.ml" 61 1535 1547
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 60 1520 1529 "src/core/lwt_result.ml" 60 1520 1530
)
"src/core/lwt_result.ml" 63 1562 1576 "src/core/lwt_result.ml" 63 1562 1577
type(
  'b
)
ident(
  def e "src/core/lwt_result.ml" 63 1562 1581 "src/core/lwt_result.ml" 63 1562 1601
)
"src/core/lwt_result.ml" 63 1562 1570 "src/core/lwt_result.ml" 63 1562 1577
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 63 1562 1581 "src/core/lwt_result.ml" 63 1562 1591
type(
  ('c, 'b) Result.result -> ('c, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.return
)
"src/core/lwt_result.ml" 63 1562 1599 "src/core/lwt_result.ml" 63 1562 1600
type(
  'b
)
ident(
  int_ref e "src/core/lwt_result.ml" 63 1562 1576 "src/core/lwt_result.ml" 63 1562 1577
)
"src/core/lwt_result.ml" 63 1562 1592 "src/core/lwt_result.ml" 63 1562 1601
type(
  ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 63 1562 1581 "src/core/lwt_result.ml" 63 1562 1601
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 64 1602 1613 "src/core/lwt_result.ml" 64 1602 1614
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 64 1602 1618 "src/core/lwt_result.ml" 64 1602 1621
)
"src/core/lwt_result.ml" 64 1602 1610 "src/core/lwt_result.ml" 64 1602 1614
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 64 1602 1618 "src/core/lwt_result.ml" 64 1602 1619
type(
  'a -> ('c, 'b) Result.result Lwt.t
)
ident(
  int_ref f "src/core/lwt_result.ml" 60 1520 1531 "src/core/lwt_result.ml" 60 1520 1532
)
"src/core/lwt_result.ml" 64 1602 1620 "src/core/lwt_result.ml" 64 1602 1621
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 64 1602 1613 "src/core/lwt_result.ml" 64 1602 1614
)
"src/core/lwt_result.ml" 64 1602 1618 "src/core/lwt_result.ml" 64 1602 1621
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 62 1548 1552 "src/core/lwt_result.ml" 64 1602 1622
type(
  ('a, 'b) Result.result -> ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 61 1535 1537 "src/core/lwt_result.ml" 64 1602 1622
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 66 1624 1628 "src/core/lwt_result.ml" 66 1624 1636
type(
  ('a, 'b) Result.result Lwt.t ->
  ('a -> 'c Lwt.t) -> ('c, 'b) Result.result Lwt.t
)
ident(
  def bind_lwt "src/core/lwt_result.ml" 72 1723 1723 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 66 1624 1637 "src/core/lwt_result.ml" 66 1624 1638
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 66 1624 1639 "src/core/lwt_result.ml" 70 1695 1721
)
"src/core/lwt_result.ml" 66 1624 1639 "src/core/lwt_result.ml" 66 1624 1640
type(
  'a -> 'c Lwt.t
)
ident(
  def f "src/core/lwt_result.ml" 67 1643 1645 "src/core/lwt_result.ml" 70 1695 1721
)
"src/core/lwt_result.ml" 67 1643 1645 "src/core/lwt_result.ml" 67 1643 1653
type(
  ('a, 'b) Result.result Lwt.t ->
  (('a, 'b) Result.result -> ('c, 'b) Result.result Lwt.t) ->
  ('c, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.bind
)
"src/core/lwt_result.ml" 67 1643 1654 "src/core/lwt_result.ml" 67 1643 1655
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 66 1624 1637 "src/core/lwt_result.ml" 66 1624 1638
)
"src/core/lwt_result.ml" 69 1670 1681 "src/core/lwt_result.ml" 69 1670 1682
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 69 1670 1686 "src/core/lwt_result.ml" 69 1670 1694
)
"src/core/lwt_result.ml" 69 1670 1678 "src/core/lwt_result.ml" 69 1670 1682
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 69 1670 1686 "src/core/lwt_result.ml" 69 1670 1688
type(
  'c Lwt.t -> ('c, 'b) Result.result Lwt.t
)
ident(
  int_ref ok "src/core/lwt_result.ml" 33 1121 1125 "src/core/lwt_result.ml" 33 1121 1127
)
"src/core/lwt_result.ml" 69 1670 1690 "src/core/lwt_result.ml" 69 1670 1691
type(
  'a -> 'c Lwt.t
)
ident(
  int_ref f "src/core/lwt_result.ml" 66 1624 1639 "src/core/lwt_result.ml" 66 1624 1640
)
"src/core/lwt_result.ml" 69 1670 1692 "src/core/lwt_result.ml" 69 1670 1693
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 69 1670 1681 "src/core/lwt_result.ml" 69 1670 1682
)
"src/core/lwt_result.ml" 69 1670 1689 "src/core/lwt_result.ml" 69 1670 1694
call(
  stack
)
type(
  'c Lwt.t
)
"src/core/lwt_result.ml" 69 1670 1686 "src/core/lwt_result.ml" 69 1670 1694
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 70 1695 1709 "src/core/lwt_result.ml" 70 1695 1710
type(
  'b
)
ident(
  def e "src/core/lwt_result.ml" 70 1695 1714 "src/core/lwt_result.ml" 70 1695 1720
)
"src/core/lwt_result.ml" 70 1695 1703 "src/core/lwt_result.ml" 70 1695 1710
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 70 1695 1714 "src/core/lwt_result.ml" 70 1695 1718
type(
  'b -> ('c, 'b) Result.result Lwt.t
)
ident(
  int_ref fail "src/core/lwt_result.ml" 30 1064 1068 "src/core/lwt_result.ml" 30 1064 1072
)
"src/core/lwt_result.ml" 70 1695 1719 "src/core/lwt_result.ml" 70 1695 1720
type(
  'b
)
ident(
  int_ref e "src/core/lwt_result.ml" 70 1695 1709 "src/core/lwt_result.ml" 70 1695 1710
)
"src/core/lwt_result.ml" 70 1695 1714 "src/core/lwt_result.ml" 70 1695 1720
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 68 1656 1660 "src/core/lwt_result.ml" 70 1695 1721
type(
  ('a, 'b) Result.result -> ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 67 1643 1645 "src/core/lwt_result.ml" 70 1695 1721
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 72 1723 1727 "src/core/lwt_result.ml" 72 1723 1738
type(
  ('a, 'b) Result.result Lwt.t ->
  ('a -> ('c, 'b) Result.result) -> ('c, 'b) Result.result Lwt.t
)
ident(
  def bind_result "src/core/lwt_result.ml" 79 1824 1824 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 72 1723 1739 "src/core/lwt_result.ml" 72 1723 1740
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 72 1723 1741 "src/core/lwt_result.ml" 77 1817 1822
)
"src/core/lwt_result.ml" 72 1723 1741 "src/core/lwt_result.ml" 72 1723 1742
type(
  'a -> ('c, 'b) Result.result
)
ident(
  def f "src/core/lwt_result.ml" 73 1745 1747 "src/core/lwt_result.ml" 77 1817 1822
)
"src/core/lwt_result.ml" 73 1745 1747 "src/core/lwt_result.ml" 73 1745 1754
type(
  (('a, 'b) Result.result -> ('c, 'b) Result.result) ->
  ('a, 'b) Result.result Lwt.t -> ('c, 'b) Result.result Lwt.t
)
ident(
  ext_ref Lwt.map
)
"src/core/lwt_result.ml" 75 1769 1783 "src/core/lwt_result.ml" 75 1769 1784
type(
  'b
)
ident(
  def e "src/core/lwt_result.ml" 75 1769 1788 "src/core/lwt_result.ml" 75 1769 1795
)
"src/core/lwt_result.ml" 75 1769 1777 "src/core/lwt_result.ml" 75 1769 1784
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 75 1769 1794 "src/core/lwt_result.ml" 75 1769 1795
type(
  'b
)
ident(
  int_ref e "src/core/lwt_result.ml" 75 1769 1783 "src/core/lwt_result.ml" 75 1769 1784
)
"src/core/lwt_result.ml" 75 1769 1788 "src/core/lwt_result.ml" 75 1769 1795
type(
  ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 76 1796 1807 "src/core/lwt_result.ml" 76 1796 1808
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 76 1796 1812 "src/core/lwt_result.ml" 76 1796 1815
)
"src/core/lwt_result.ml" 76 1796 1804 "src/core/lwt_result.ml" 76 1796 1808
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 76 1796 1812 "src/core/lwt_result.ml" 76 1796 1813
type(
  'a -> ('c, 'b) Result.result
)
ident(
  int_ref f "src/core/lwt_result.ml" 72 1723 1741 "src/core/lwt_result.ml" 72 1723 1742
)
"src/core/lwt_result.ml" 76 1796 1814 "src/core/lwt_result.ml" 76 1796 1815
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 76 1796 1807 "src/core/lwt_result.ml" 76 1796 1808
)
"src/core/lwt_result.ml" 76 1796 1812 "src/core/lwt_result.ml" 76 1796 1815
call(
  tail
)
type(
  ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 74 1755 1759 "src/core/lwt_result.ml" 76 1796 1816
type(
  ('a, 'b) Result.result -> ('c, 'b) Result.result
)
"src/core/lwt_result.ml" 77 1817 1821 "src/core/lwt_result.ml" 77 1817 1822
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 72 1723 1739 "src/core/lwt_result.ml" 72 1723 1740
)
"src/core/lwt_result.ml" 73 1745 1747 "src/core/lwt_result.ml" 77 1817 1822
call(
  tail
)
type(
  ('c, 'b) Result.result Lwt.t
)
"src/core/lwt_result.ml" 79 1824 1828 "src/core/lwt_result.ml" 79 1824 1840
type(
  ('a, 'b) Result.result Lwt.t ->
  ('b -> 'c Lwt.t) -> ('a, 'c) Result.result Lwt.t
)
ident(
  def bind_lwt_err "src/core/lwt_result.ml" 85 1940 1940 "src/core/lwt_result.ml" 1 0 -1
)
"src/core/lwt_result.ml" 79 1824 1841 "src/core/lwt_result.ml" 79 1824 1842
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 79 1824 1843 "src/core/lwt_result.ml" 83 1913 1938
)
"src/core/lwt_result.ml" 79 1824 1843 "src/core/lwt_result.ml" 79 1824 1844
type(
  'b -> 'c Lwt.t
)
ident(
  def f "src/core/lwt_result.ml" 80 1847 1849 "src/core/lwt_result.ml" 83 1913 1938
)
"src/core/lwt_result.ml" 80 1847 1849 "src/core/lwt_result.ml" 80 1847 1857
type(
  ('a, 'b) Result.result Lwt.t ->
  (('a, 'b) Result.result -> ('a, 'c) Result.result Lwt.t) ->
  ('a, 'c) Result.result Lwt.t
)
ident(
  ext_ref Lwt.bind
)
"src/core/lwt_result.ml" 80 1847 1858 "src/core/lwt_result.ml" 80 1847 1859
type(
  ('a, 'b) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 79 1824 1841 "src/core/lwt_result.ml" 79 1824 1842
)
"src/core/lwt_result.ml" 82 1874 1888 "src/core/lwt_result.ml" 82 1874 1889
type(
  'b
)
ident(
  def e "src/core/lwt_result.ml" 82 1874 1893 "src/core/lwt_result.ml" 82 1874 1912
)
"src/core/lwt_result.ml" 82 1874 1882 "src/core/lwt_result.ml" 82 1874 1889
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 82 1874 1893 "src/core/lwt_result.ml" 82 1874 1901
type(
  'c Lwt.t ->
  ('c -> ('a, 'c) Result.result Lwt.t) -> ('a, 'c) Result.result Lwt.t
)
ident(
  ext_ref Lwt.bind
)
"src/core/lwt_result.ml" 82 1874 1903 "src/core/lwt_result.ml" 82 1874 1904
type(
  'b -> 'c Lwt.t
)
ident(
  int_ref f "src/core/lwt_result.ml" 79 1824 1843 "src/core/lwt_result.ml" 79 1824 1844
)
"src/core/lwt_result.ml" 82 1874 1905 "src/core/lwt_result.ml" 82 1874 1906
type(
  'b
)
ident(
  int_ref e "src/core/lwt_result.ml" 82 1874 1888 "src/core/lwt_result.ml" 82 1874 1889
)
"src/core/lwt_result.ml" 82 1874 1902 "src/core/lwt_result.ml" 82 1874 1907
call(
  stack
)
type(
  'c Lwt.t
)
"src/core/lwt_result.ml" 82 1874 1908 "src/core/lwt_result.ml" 82 1874 1912
type(
  'c -> ('a, 'c) Result.result Lwt.t
)
ident(
  int_ref fail "src/core/lwt_result.ml" 30 1064 1068 "src/core/lwt_result.ml" 30 1064 1072
)
"src/core/lwt_result.ml" 82 1874 1893 "src/core/lwt_result.ml" 82 1874 1912
call(
  tail
)
type(
  ('a, 'c) Result.result Lwt.t
)
"src/core/lwt_result.ml" 83 1913 1924 "src/core/lwt_result.ml" 83 1913 1925
type(
  'a
)
ident(
  def x "src/core/lwt_result.ml" 83 1913 1929 "src/core/lwt_result.ml" 83 1913 1937
)
"src/core/lwt_result.ml" 83 1913 1921 "src/core/lwt_result.ml" 83 1913 1925
type(
  ('a, 'b) Result.result
)
"src/core/lwt_result.ml" 83 1913 1929 "src/core/lwt_result.ml" 83 1913 1935
type(
  'a -> ('a, 'c) Result.result Lwt.t
)
ident(
  int_ref return "src/core/lwt_result.ml" 29 1031 1035 "src/core/lwt_result.ml" 29 1031 1041
)
"src/core/lwt_result.ml" 83 1913 1936 "src/core/lwt_result.ml" 83 1913 1937
type(
  'a
)
ident(
  int_ref x "src/core/lwt_result.ml" 83 1913 1924 "src/core/lwt_result.ml" 83 1913 1925
)
"src/core/lwt_result.ml" 83 1913 1929 "src/core/lwt_result.ml" 83 1913 1937
call(
  tail
)
type(
  ('a, 'c) Result.result Lwt.t
)
"src/core/lwt_result.ml" 81 1860 1864 "src/core/lwt_result.ml" 83 1913 1938
type(
  ('a, 'b) Result.result -> ('a, 'c) Result.result Lwt.t
)
"src/core/lwt_result.ml" 80 1847 1849 "src/core/lwt_result.ml" 83 1913 1938
call(
  tail
)
type(
  ('a, 'c) Result.result Lwt.t
)
"src/core/lwt_result.ml" 86 1962 1968 "src/core/lwt_result.ml" 86 1962 1973
type(
  ('a, 'b) Result.result Lwt.t ->
  ('a -> ('c, 'b) Result.result Lwt.t) -> ('c, 'b) Result.result Lwt.t
)
ident(
  def >>= "src/core/lwt_result.ml" 87 1981 1983 "src/core/lwt_result.ml" 88 2007 2010
)
"src/core/lwt_result.ml" 86 1962 1976 "src/core/lwt_result.ml" 86 1962 1980
type(
  ('a, 'b) Result.result Lwt.t ->
  ('a -> ('c, 'b) Result.result Lwt.t) -> ('c, 'b) Result.result Lwt.t
)
ident(
  int_ref bind "src/core/lwt_result.ml" 60 1520 1524 "src/core/lwt_result.ml" 60 1520 1528
)
"src/core/lwt_result.ml" 87 1981 1987 "src/core/lwt_result.ml" 87 1981 1992
type(
  ('d, 'e) Result.result Lwt.t -> ('d -> 'f) -> ('f, 'e) Result.result Lwt.t
)
ident(
  def >|= "src/core/lwt_result.ml" 87 1981 2006 "src/core/lwt_result.ml" 88 2007 2010
)
"src/core/lwt_result.ml" 87 1981 1993 "src/core/lwt_result.ml" 87 1981 1994
type(
  ('d, 'e) Result.result Lwt.t
)
ident(
  def e "src/core/lwt_result.ml" 87 1981 1995 "src/core/lwt_result.ml" 87 1981 2006
)
"src/core/lwt_result.ml" 87 1981 1995 "src/core/lwt_result.ml" 87 1981 1996
type(
  'd -> 'f
)
ident(
  def f "src/core/lwt_result.ml" 87 1981 1999 "src/core/lwt_result.ml" 87 1981 2006
)
"src/core/lwt_result.ml" 87 1981 1999 "src/core/lwt_result.ml" 87 1981 2002
type(
  ('d -> 'f) -> ('d, 'e) Result.result Lwt.t -> ('f, 'e) Result.result Lwt.t
)
ident(
  int_ref map "src/core/lwt_result.ml" 35 1159 1163 "src/core/lwt_result.ml" 35 1159 1166
)
"src/core/lwt_result.ml" 87 1981 2003 "src/core/lwt_result.ml" 87 1981 2004
type(
  'd -> 'f
)
ident(
  int_ref f "src/core/lwt_result.ml" 87 1981 1995 "src/core/lwt_result.ml" 87 1981 1996
)
"src/core/lwt_result.ml" 87 1981 2005 "src/core/lwt_result.ml" 87 1981 2006
type(
  ('d, 'e) Result.result Lwt.t
)
ident(
  int_ref e "src/core/lwt_result.ml" 87 1981 1993 "src/core/lwt_result.ml" 87 1981 1994
)
"src/core/lwt_result.ml" 87 1981 1999 "src/core/lwt_result.ml" 87 1981 2006
call(
  tail
)
type(
  ('f, 'e) Result.result Lwt.t
)