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

"src/core/lwt_mvar.ml" 43 1944 1948 "src/core/lwt_mvar.ml" 43 1944 1960
type(
  unit -> 'a t
)
ident(
  def create_empty "src/core/lwt_mvar.ml" 48 2070 2070 "src/core/lwt_mvar.ml" 1 0 -1
)
"src/core/lwt_mvar.ml" 43 1944 1961 "src/core/lwt_mvar.ml" 43 1944 1963
type(
  unit
)
"src/core/lwt_mvar.ml" 44 1966 1986 "src/core/lwt_mvar.ml" 44 1966 1990
type(
  'a option
)
"src/core/lwt_mvar.ml" 45 1992 2006 "src/core/lwt_mvar.ml" 45 1992 2025
type(
  unit -> ('a * unit Lwt.u) Lwt_sequence.t
)
ident(
  ext_ref Lwt_sequence.create
)
"src/core/lwt_mvar.ml" 45 1992 2026 "src/core/lwt_mvar.ml" 45 1992 2028
type(
  unit
)
"src/core/lwt_mvar.ml" 45 1992 2006 "src/core/lwt_mvar.ml" 45 1992 2028
call(
  stack
)
type(
  ('a * unit Lwt.u) Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 46 2030 2044 "src/core/lwt_mvar.ml" 46 2030 2063
type(
  unit -> 'a Lwt.u Lwt_sequence.t
)
ident(
  ext_ref Lwt_sequence.create
)
"src/core/lwt_mvar.ml" 46 2030 2064 "src/core/lwt_mvar.ml" 46 2030 2066
type(
  unit
)
"src/core/lwt_mvar.ml" 46 2030 2044 "src/core/lwt_mvar.ml" 46 2030 2066
call(
  stack
)
type(
  'a Lwt.u Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 44 1966 1968 "src/core/lwt_mvar.ml" 46 2030 2068
type(
  'a t
)
"src/core/lwt_mvar.ml" 48 2070 2074 "src/core/lwt_mvar.ml" 48 2070 2080
type(
  'a -> 'a t
)
ident(
  def create "src/core/lwt_mvar.ml" 53 2191 2191 "src/core/lwt_mvar.ml" 1 0 -1
)
"src/core/lwt_mvar.ml" 48 2070 2081 "src/core/lwt_mvar.ml" 48 2070 2082
type(
  'a
)
ident(
  def v "src/core/lwt_mvar.ml" 49 2085 2087 "src/core/lwt_mvar.ml" 51 2151 2189
)
"src/core/lwt_mvar.ml" 49 2085 2110 "src/core/lwt_mvar.ml" 49 2085 2111
type(
  'a
)
ident(
  int_ref v "src/core/lwt_mvar.ml" 48 2070 2081 "src/core/lwt_mvar.ml" 48 2070 2082
)
"src/core/lwt_mvar.ml" 49 2085 2105 "src/core/lwt_mvar.ml" 49 2085 2111
type(
  'a option
)
"src/core/lwt_mvar.ml" 50 2113 2127 "src/core/lwt_mvar.ml" 50 2113 2146
type(
  unit -> ('a * unit Lwt.u) Lwt_sequence.t
)
ident(
  ext_ref Lwt_sequence.create
)
"src/core/lwt_mvar.ml" 50 2113 2147 "src/core/lwt_mvar.ml" 50 2113 2149
type(
  unit
)
"src/core/lwt_mvar.ml" 50 2113 2127 "src/core/lwt_mvar.ml" 50 2113 2149
call(
  stack
)
type(
  ('a * unit Lwt.u) Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 51 2151 2165 "src/core/lwt_mvar.ml" 51 2151 2184
type(
  unit -> 'a Lwt.u Lwt_sequence.t
)
ident(
  ext_ref Lwt_sequence.create
)
"src/core/lwt_mvar.ml" 51 2151 2185 "src/core/lwt_mvar.ml" 51 2151 2187
type(
  unit
)
"src/core/lwt_mvar.ml" 51 2151 2165 "src/core/lwt_mvar.ml" 51 2151 2187
call(
  stack
)
type(
  'a Lwt.u Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 49 2085 2087 "src/core/lwt_mvar.ml" 51 2151 2189
type(
  'a t
)
"src/core/lwt_mvar.ml" 53 2191 2195 "src/core/lwt_mvar.ml" 53 2191 2198
type(
  'a t -> 'a -> unit Lwt.t
)
ident(
  def put "src/core/lwt_mvar.ml" 69 2664 2664 "src/core/lwt_mvar.ml" 1 0 -1
)
"src/core/lwt_mvar.ml" 53 2191 2199 "src/core/lwt_mvar.ml" 53 2191 2203
type(
  'a t
)
ident(
  def mvar "src/core/lwt_mvar.ml" 53 2191 2204 "src/core/lwt_mvar.ml" 67 2651 2662
)
"src/core/lwt_mvar.ml" 53 2191 2204 "src/core/lwt_mvar.ml" 53 2191 2205
type(
  'a
)
ident(
  def v "src/core/lwt_mvar.ml" 54 2208 2210 "src/core/lwt_mvar.ml" 67 2651 2662
)
"src/core/lwt_mvar.ml" 54 2208 2216 "src/core/lwt_mvar.ml" 54 2208 2220
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 53 2191 2199 "src/core/lwt_mvar.ml" 53 2191 2203
)
"src/core/lwt_mvar.ml" 54 2208 2216 "src/core/lwt_mvar.ml" 54 2208 2234
type(
  'a option
)
"src/core/lwt_mvar.ml" 55 2240 2246 "src/core/lwt_mvar.ml" 55 2240 2250
type(
  'a option
)
"src/core/lwt_mvar.ml" 56 2254 2274 "src/core/lwt_mvar.ml" 56 2254 2297
type(
  'a Lwt.u Lwt_sequence.t -> 'a Lwt.u option
)
ident(
  ext_ref Lwt_sequence.take_opt_l
)
"src/core/lwt_mvar.ml" 56 2254 2298 "src/core/lwt_mvar.ml" 56 2254 2302
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 53 2191 2199 "src/core/lwt_mvar.ml" 53 2191 2203
)
"src/core/lwt_mvar.ml" 56 2254 2298 "src/core/lwt_mvar.ml" 56 2254 2310
type(
  'a Lwt.u Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 56 2254 2274 "src/core/lwt_mvar.ml" 56 2254 2310
call(
  stack
)
type(
  'a Lwt.u option
)
"src/core/lwt_mvar.ml" 57 2316 2328 "src/core/lwt_mvar.ml" 57 2316 2332
type(
  'a Lwt.u option
)
"src/core/lwt_mvar.ml" 58 2336 2350 "src/core/lwt_mvar.ml" 58 2336 2354
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 53 2191 2199 "src/core/lwt_mvar.ml" 53 2191 2203
)
"src/core/lwt_mvar.ml" 58 2336 2377 "src/core/lwt_mvar.ml" 58 2336 2378
type(
  'a
)
ident(
  int_ref v "src/core/lwt_mvar.ml" 53 2191 2204 "src/core/lwt_mvar.ml" 53 2191 2205
)
"src/core/lwt_mvar.ml" 58 2336 2372 "src/core/lwt_mvar.ml" 58 2336 2378
type(
  'a option
)
"src/core/lwt_mvar.ml" 58 2336 2350 "src/core/lwt_mvar.ml" 58 2336 2378
type(
  unit
)
"src/core/lwt_mvar.ml" 59 2379 2396 "src/core/lwt_mvar.ml" 59 2379 2397
type(
  'a Lwt.u
)
ident(
  def w "src/core/lwt_mvar.ml" 60 2401 2415 "src/core/lwt_mvar.ml" 60 2401 2435
)
"src/core/lwt_mvar.ml" 59 2379 2391 "src/core/lwt_mvar.ml" 59 2379 2397
type(
  'a Lwt.u option
)
"src/core/lwt_mvar.ml" 60 2401 2415 "src/core/lwt_mvar.ml" 60 2401 2431
type(
  'a Lwt.u -> 'a -> unit
)
ident(
  ext_ref Lwt.wakeup_later
)
"src/core/lwt_mvar.ml" 60 2401 2432 "src/core/lwt_mvar.ml" 60 2401 2433
type(
  'a Lwt.u
)
ident(
  int_ref w "src/core/lwt_mvar.ml" 59 2379 2396 "src/core/lwt_mvar.ml" 59 2379 2397
)
"src/core/lwt_mvar.ml" 60 2401 2434 "src/core/lwt_mvar.ml" 60 2401 2435
type(
  'a
)
ident(
  int_ref v "src/core/lwt_mvar.ml" 53 2191 2204 "src/core/lwt_mvar.ml" 53 2191 2205
)
"src/core/lwt_mvar.ml" 60 2401 2415 "src/core/lwt_mvar.ml" 60 2401 2435
call(
  stack
)
type(
  unit
)
"src/core/lwt_mvar.ml" 56 2254 2262 "src/core/lwt_mvar.ml" 61 2436 2447
type(
  unit
)
"src/core/lwt_mvar.ml" 62 2449 2457 "src/core/lwt_mvar.ml" 62 2449 2472
type(
  unit Lwt.t
)
ident(
  ext_ref Lwt.return_unit
)
"src/core/lwt_mvar.ml" 56 2254 2262 "src/core/lwt_mvar.ml" 62 2449 2472
type(
  unit Lwt.t
)
"src/core/lwt_mvar.ml" 63 2473 2484 "src/core/lwt_mvar.ml" 63 2473 2485
type(
  'a
)
"src/core/lwt_mvar.ml" 63 2473 2479 "src/core/lwt_mvar.ml" 63 2473 2485
type(
  'a option
)
"src/core/lwt_mvar.ml" 64 2489 2502 "src/core/lwt_mvar.ml" 64 2489 2505
type(
  unit Lwt.t
)
ident(
  def res "src/core/lwt_mvar.ml" 65 2527 2535 "src/core/lwt_mvar.ml" 67 2651 2662
)
"src/core/lwt_mvar.ml" 64 2489 2507 "src/core/lwt_mvar.ml" 64 2489 2508
type(
  unit Lwt.u
)
ident(
  def w "src/core/lwt_mvar.ml" 65 2527 2535 "src/core/lwt_mvar.ml" 67 2651 2662
)
"src/core/lwt_mvar.ml" 64 2489 2501 "src/core/lwt_mvar.ml" 64 2489 2509
type(
  unit Lwt.t * unit Lwt.u
)
"src/core/lwt_mvar.ml" 64 2489 2512 "src/core/lwt_mvar.ml" 64 2489 2520
type(
  unit -> unit Lwt.t * unit Lwt.u
)
ident(
  ext_ref Lwt.task
)
"src/core/lwt_mvar.ml" 64 2489 2521 "src/core/lwt_mvar.ml" 64 2489 2523
type(
  unit
)
"src/core/lwt_mvar.ml" 64 2489 2512 "src/core/lwt_mvar.ml" 64 2489 2523
call(
  stack
)
type(
  unit Lwt.t * unit Lwt.u
)
"src/core/lwt_mvar.ml" 65 2527 2539 "src/core/lwt_mvar.ml" 65 2527 2543
type(
  ('a * unit Lwt.u) Lwt_sequence.node
)
ident(
  def node "src/core/lwt_mvar.ml" 66 2588 2596 "src/core/lwt_mvar.ml" 67 2651 2662
)
"src/core/lwt_mvar.ml" 65 2527 2546 "src/core/lwt_mvar.ml" 65 2527 2564
type(
  'a * unit Lwt.u ->
  ('a * unit Lwt.u) Lwt_sequence.t -> ('a * unit Lwt.u) Lwt_sequence.node
)
ident(
  ext_ref Lwt_sequence.add_r
)
"src/core/lwt_mvar.ml" 65 2527 2566 "src/core/lwt_mvar.ml" 65 2527 2567
type(
  'a
)
ident(
  int_ref v "src/core/lwt_mvar.ml" 53 2191 2204 "src/core/lwt_mvar.ml" 53 2191 2205
)
"src/core/lwt_mvar.ml" 65 2527 2569 "src/core/lwt_mvar.ml" 65 2527 2570
type(
  unit Lwt.u
)
ident(
  int_ref w "src/core/lwt_mvar.ml" 64 2489 2507 "src/core/lwt_mvar.ml" 64 2489 2508
)
"src/core/lwt_mvar.ml" 65 2527 2565 "src/core/lwt_mvar.ml" 65 2527 2571
type(
  'a * unit Lwt.u
)
"src/core/lwt_mvar.ml" 65 2527 2572 "src/core/lwt_mvar.ml" 65 2527 2576
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 53 2191 2199 "src/core/lwt_mvar.ml" 53 2191 2203
)
"src/core/lwt_mvar.ml" 65 2527 2572 "src/core/lwt_mvar.ml" 65 2527 2584
type(
  ('a * unit Lwt.u) Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 65 2527 2546 "src/core/lwt_mvar.ml" 65 2527 2584
call(
  stack
)
type(
  ('a * unit Lwt.u) Lwt_sequence.node
)
"src/core/lwt_mvar.ml" 66 2588 2596 "src/core/lwt_mvar.ml" 66 2588 2609
type(
  unit Lwt.t -> (unit -> unit) -> unit
)
ident(
  ext_ref Lwt.on_cancel
)
"src/core/lwt_mvar.ml" 66 2588 2610 "src/core/lwt_mvar.ml" 66 2588 2613
type(
  unit Lwt.t
)
ident(
  int_ref res "src/core/lwt_mvar.ml" 64 2489 2502 "src/core/lwt_mvar.ml" 64 2489 2505
)
"src/core/lwt_mvar.ml" 66 2588 2619 "src/core/lwt_mvar.ml" 66 2588 2620
type(
  unit
)
"src/core/lwt_mvar.ml" 66 2588 2624 "src/core/lwt_mvar.ml" 66 2588 2643
type(
  ('a * unit Lwt.u) Lwt_sequence.node -> unit
)
ident(
  ext_ref Lwt_sequence.remove
)
"src/core/lwt_mvar.ml" 66 2588 2644 "src/core/lwt_mvar.ml" 66 2588 2648
type(
  ('a * unit Lwt.u) Lwt_sequence.node
)
ident(
  int_ref node "src/core/lwt_mvar.ml" 65 2527 2539 "src/core/lwt_mvar.ml" 65 2527 2543
)
"src/core/lwt_mvar.ml" 66 2588 2624 "src/core/lwt_mvar.ml" 66 2588 2648
call(
  tail
)
type(
  unit
)
"src/core/lwt_mvar.ml" 66 2588 2614 "src/core/lwt_mvar.ml" 66 2588 2649
type(
  unit -> unit
)
"src/core/lwt_mvar.ml" 66 2588 2596 "src/core/lwt_mvar.ml" 66 2588 2649
call(
  stack
)
type(
  unit
)
"src/core/lwt_mvar.ml" 67 2651 2659 "src/core/lwt_mvar.ml" 67 2651 2662
type(
  unit Lwt.t
)
ident(
  int_ref res "src/core/lwt_mvar.ml" 64 2489 2502 "src/core/lwt_mvar.ml" 64 2489 2505
)
"src/core/lwt_mvar.ml" 66 2588 2596 "src/core/lwt_mvar.ml" 67 2651 2662
type(
  unit Lwt.t
)
"src/core/lwt_mvar.ml" 65 2527 2535 "src/core/lwt_mvar.ml" 67 2651 2662
type(
  unit Lwt.t
)
"src/core/lwt_mvar.ml" 64 2489 2497 "src/core/lwt_mvar.ml" 67 2651 2662
type(
  unit Lwt.t
)
"src/core/lwt_mvar.ml" 54 2208 2210 "src/core/lwt_mvar.ml" 67 2651 2662
type(
  unit Lwt.t
)
"src/core/lwt_mvar.ml" 69 2664 2668 "src/core/lwt_mvar.ml" 69 2664 2672
type(
  'a t -> 'a Lwt.t
)
ident(
  def take "src/core/lwt_mvar.ml" 81 3007 3042 "src/core/lwt_mvar.ml" 1 0 -1
)
"src/core/lwt_mvar.ml" 69 2664 2673 "src/core/lwt_mvar.ml" 69 2664 2677
type(
  'a t
)
ident(
  def mvar "src/core/lwt_mvar.ml" 70 2680 2682 "src/core/lwt_mvar.ml" 81 3007 3042
)
"src/core/lwt_mvar.ml" 70 2680 2688 "src/core/lwt_mvar.ml" 70 2680 2692
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 69 2664 2673 "src/core/lwt_mvar.ml" 69 2664 2677
)
"src/core/lwt_mvar.ml" 70 2680 2688 "src/core/lwt_mvar.ml" 70 2680 2706
type(
  'a option
)
"src/core/lwt_mvar.ml" 71 2712 2723 "src/core/lwt_mvar.ml" 71 2712 2724
type(
  'a
)
ident(
  def v "src/core/lwt_mvar.ml" 72 2728 2736 "src/core/lwt_mvar.ml" 79 2972 2992
)
"src/core/lwt_mvar.ml" 71 2712 2718 "src/core/lwt_mvar.ml" 71 2712 2724
type(
  'a option
)
"src/core/lwt_mvar.ml" 72 2728 2748 "src/core/lwt_mvar.ml" 72 2728 2771
type(
  ('a * unit Lwt.u) Lwt_sequence.t -> ('a * unit Lwt.u) option
)
ident(
  ext_ref Lwt_sequence.take_opt_l
)
"src/core/lwt_mvar.ml" 72 2728 2772 "src/core/lwt_mvar.ml" 72 2728 2776
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 69 2664 2673 "src/core/lwt_mvar.ml" 69 2664 2677
)
"src/core/lwt_mvar.ml" 72 2728 2772 "src/core/lwt_mvar.ml" 72 2728 2784
type(
  ('a * unit Lwt.u) Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 72 2728 2748 "src/core/lwt_mvar.ml" 72 2728 2784
call(
  stack
)
type(
  ('a * unit Lwt.u) option
)
"src/core/lwt_mvar.ml" 73 2790 2807 "src/core/lwt_mvar.ml" 73 2790 2809
type(
  'a
)
ident(
  def v' "src/core/lwt_mvar.ml" 74 2817 2831 "src/core/lwt_mvar.ml" 75 2862 2897
)
"src/core/lwt_mvar.ml" 73 2790 2811 "src/core/lwt_mvar.ml" 73 2790 2812
type(
  unit Lwt.u
)
ident(
  def w "src/core/lwt_mvar.ml" 74 2817 2831 "src/core/lwt_mvar.ml" 75 2862 2897
)
"src/core/lwt_mvar.ml" 73 2790 2806 "src/core/lwt_mvar.ml" 73 2790 2813
type(
  'a * unit Lwt.u
)
"src/core/lwt_mvar.ml" 73 2790 2802 "src/core/lwt_mvar.ml" 73 2790 2813
type(
  ('a * unit Lwt.u) option
)
"src/core/lwt_mvar.ml" 74 2817 2831 "src/core/lwt_mvar.ml" 74 2817 2835
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 69 2664 2673 "src/core/lwt_mvar.ml" 69 2664 2677
)
"src/core/lwt_mvar.ml" 74 2817 2858 "src/core/lwt_mvar.ml" 74 2817 2860
type(
  'a
)
ident(
  int_ref v' "src/core/lwt_mvar.ml" 73 2790 2807 "src/core/lwt_mvar.ml" 73 2790 2809
)
"src/core/lwt_mvar.ml" 74 2817 2853 "src/core/lwt_mvar.ml" 74 2817 2860
type(
  'a option
)
"src/core/lwt_mvar.ml" 74 2817 2831 "src/core/lwt_mvar.ml" 74 2817 2860
type(
  unit
)
"src/core/lwt_mvar.ml" 75 2862 2876 "src/core/lwt_mvar.ml" 75 2862 2892
type(
  unit Lwt.u -> unit -> unit
)
ident(
  ext_ref Lwt.wakeup_later
)
"src/core/lwt_mvar.ml" 75 2862 2893 "src/core/lwt_mvar.ml" 75 2862 2894
type(
  unit Lwt.u
)
ident(
  int_ref w "src/core/lwt_mvar.ml" 73 2790 2811 "src/core/lwt_mvar.ml" 73 2790 2812
)
"src/core/lwt_mvar.ml" 75 2862 2895 "src/core/lwt_mvar.ml" 75 2862 2897
type(
  unit
)
"src/core/lwt_mvar.ml" 75 2862 2876 "src/core/lwt_mvar.ml" 75 2862 2897
call(
  stack
)
type(
  unit
)
"src/core/lwt_mvar.ml" 74 2817 2831 "src/core/lwt_mvar.ml" 75 2862 2897
type(
  unit
)
"src/core/lwt_mvar.ml" 76 2898 2910 "src/core/lwt_mvar.ml" 76 2898 2914
type(
  ('a * unit Lwt.u) option
)
"src/core/lwt_mvar.ml" 77 2918 2932 "src/core/lwt_mvar.ml" 77 2918 2936
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 69 2664 2673 "src/core/lwt_mvar.ml" 69 2664 2677
)
"src/core/lwt_mvar.ml" 77 2918 2954 "src/core/lwt_mvar.ml" 77 2918 2958
type(
  'a option
)
"src/core/lwt_mvar.ml" 77 2918 2932 "src/core/lwt_mvar.ml" 77 2918 2958
type(
  unit
)
"src/core/lwt_mvar.ml" 72 2728 2736 "src/core/lwt_mvar.ml" 78 2959 2970
type(
  unit
)
"src/core/lwt_mvar.ml" 79 2972 2980 "src/core/lwt_mvar.ml" 79 2972 2990
type(
  'a -> 'a Lwt.t
)
ident(
  ext_ref Lwt.return
)
"src/core/lwt_mvar.ml" 79 2972 2991 "src/core/lwt_mvar.ml" 79 2972 2992
type(
  'a
)
ident(
  int_ref v "src/core/lwt_mvar.ml" 71 2712 2723 "src/core/lwt_mvar.ml" 71 2712 2724
)
"src/core/lwt_mvar.ml" 79 2972 2980 "src/core/lwt_mvar.ml" 79 2972 2992
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_mvar.ml" 72 2728 2736 "src/core/lwt_mvar.ml" 79 2972 2992
type(
  'a Lwt.t
)
"src/core/lwt_mvar.ml" 80 2993 2999 "src/core/lwt_mvar.ml" 80 2993 3003
type(
  'a option
)
"src/core/lwt_mvar.ml" 81 3007 3015 "src/core/lwt_mvar.ml" 81 3007 3029
type(
  'a Lwt.u Lwt_sequence.t -> 'a Lwt.t
)
ident(
  ext_ref Lwt.add_task_r
)
"src/core/lwt_mvar.ml" 81 3007 3030 "src/core/lwt_mvar.ml" 81 3007 3034
type(
  'a t
)
ident(
  int_ref mvar "src/core/lwt_mvar.ml" 69 2664 2673 "src/core/lwt_mvar.ml" 69 2664 2677
)
"src/core/lwt_mvar.ml" 81 3007 3030 "src/core/lwt_mvar.ml" 81 3007 3042
type(
  'a Lwt.u Lwt_sequence.t
)
"src/core/lwt_mvar.ml" 81 3007 3015 "src/core/lwt_mvar.ml" 81 3007 3042
call(
  tail
)
type(
  'a Lwt.t
)
"src/core/lwt_mvar.ml" 70 2680 2682 "src/core/lwt_mvar.ml" 81 3007 3042
type(
  'a Lwt.t
)